@@ -27,15 +27,15 @@ fn make_none_bool() -> Option<bool> {
27
27
28
28
#[ no_mangle]
29
29
fn make_some_ordering ( x : Ordering ) -> Option < Ordering > {
30
- // CHECK-LABEL: i8 @make_some_ordering(i8 %x)
30
+ // CHECK-LABEL: i8 @make_some_ordering(i8{{( signext)?}} %x)
31
31
// CHECK-NEXT: start:
32
32
// CHECK-NEXT: ret i8 %x
33
33
Some ( x)
34
34
}
35
35
36
36
#[ no_mangle]
37
37
fn make_some_u16 ( x : u16 ) -> Option < u16 > {
38
- // CHECK-LABEL: { i16, i16 } @make_some_u16(i16 %x)
38
+ // CHECK-LABEL: { i16, i16 } @make_some_u16(i16{{( zeroext)?}} %x)
39
39
// CHECK-NEXT: start:
40
40
// CHECK-NEXT: %0 = insertvalue { i16, i16 } { i16 1, i16 poison }, i16 %x, 1
41
41
// CHECK-NEXT: ret { i16, i16 } %0
@@ -52,7 +52,7 @@ fn make_none_u16() -> Option<u16> {
52
52
53
53
#[ no_mangle]
54
54
fn make_some_nzu32 ( x : NonZero < u32 > ) -> Option < NonZero < u32 > > {
55
- // CHECK-LABEL: i32 @make_some_nzu32(i32 %x)
55
+ // CHECK-LABEL: i32 @make_some_nzu32(i32{{( signext)?}} %x)
56
56
// CHECK-NEXT: start:
57
57
// CHECK-NEXT: ret i32 %x
58
58
Some ( x)
@@ -114,7 +114,7 @@ fn make_uninhabited_err_indirectly(n: Never) -> Result<u32, Never> {
114
114
fn make_fully_uninhabited_result ( v : u32 , n : Never ) -> Result < ( u32 , Never ) , ( Never , u32 ) > {
115
115
// Actually reaching this would be UB, so we don't actually build a result.
116
116
117
- // CHECK-LABEL: { i32, i32 } @make_fully_uninhabited_result(i32 %v)
117
+ // CHECK-LABEL: { i32, i32 } @make_fully_uninhabited_result(i32{{( signext)?}} %v)
118
118
// CHECK-NEXT: start:
119
119
// CHECK-NEXT: call void @llvm.trap()
120
120
// CHECK-NEXT: call void @llvm.trap()
0 commit comments