user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Expand the select_unpredictable test for ZSTs

Browse source 
For ZSTs there is no selection that needs to take place, so assert that
no `select` statement is emitted.
This commit is contained in:
Trevor Gross 2025-01-05 08:44:01 +00:00
parent d42c3ae02f
commit 74d2d4bfa4
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/codegen/intrinsics/select_unpredictable.rs
View file

@ -31,9 +31,12 @@ pub fn test_struct(p: bool, a: Large, b: Large) -> Large {
core::intrinsics::select_unpredictable(p, a, b)
}
// ZSTs should not need a `select` expression.
#[no_mangle]
pub fn test_zst(p: bool, a: (), b: ()) -> () {
// CHECK-LABEL: define{{.*}} @test_zst
// CHECK-NEXT: start:
// CHECK-NEXT: ret void
core::intrinsics::select_unpredictable(p, a, b)
}
@ -63,5 +66,7 @@ pub fn test_struct2(p: bool, a: Large, b: Large) -> Large {
#[no_mangle]
pub fn test_zst2(p: bool, a: (), b: ()) -> () {
// CHECK-LABEL: define{{.*}} @test_zst2
// CHECK-NEXT: start:
// CHECK-NEXT: ret void
p.select_unpredictable(a, b)
}