@@ -27,15 +27,15 @@ fn make_none_bool() -> Option<bool> {
2727
2828#[ no_mangle]
2929fn 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)
3131 // CHECK-NEXT: start:
3232 // CHECK-NEXT: ret i8 %x
3333 Some ( x)
3434}
3535
3636#[ no_mangle]
3737fn 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)
3939 // CHECK-NEXT: start:
4040 // CHECK-NEXT: %0 = insertvalue { i16, i16 } { i16 1, i16 poison }, i16 %x, 1
4141 // CHECK-NEXT: ret { i16, i16 } %0
@@ -52,7 +52,7 @@ fn make_none_u16() -> Option<u16> {
5252
5353#[ no_mangle]
5454fn 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)
5656 // CHECK-NEXT: start:
5757 // CHECK-NEXT: ret i32 %x
5858 Some ( x)
@@ -114,7 +114,7 @@ fn make_uninhabited_err_indirectly(n: Never) -> Result<u32, Never> {
114114fn make_fully_uninhabited_result ( v : u32 , n : Never ) -> Result < ( u32 , Never ) , ( Never , u32 ) > {
115115 // Actually reaching this would be UB, so we don't actually build a result.
116116
117- // CHECK-LABEL: { i32, i32 } @make_fully_uninhabited_result(i32 %v)
117+ // CHECK-LABEL: { i32, i32 } @make_fully_uninhabited_result(i32{{( signext)?}} %v)
118118 // CHECK-NEXT: start:
119119 // CHECK-NEXT: call void @llvm.trap()
120120 // CHECK-NEXT: call void @llvm.trap()
0 commit comments