|
4 | 4 | //@ only-linux |
5 | 5 | #![crate_type = "lib"] |
6 | 6 |
|
7 | | -// CHECK: define void @f_fpr_tracking(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, i8 zeroext %i) |
| 7 | +// CHECK: define void @f_fpr_tracking(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, i8 noundef zeroext %i) |
8 | 8 | #[no_mangle] |
9 | 9 | pub extern "C" fn f_fpr_tracking( |
10 | 10 | a: f64, |
@@ -144,7 +144,7 @@ pub extern "C" fn f_ret_double_int64_s() -> DoubleInt64 { |
144 | 144 | DoubleInt64 { f: 1., i: 2 } |
145 | 145 | } |
146 | 146 |
|
147 | | -// CHECK: define void @f_double_int8_s_arg_insufficient_gprs(i32 signext %a, i32 signext %b, i32 signext %c, i32 signext %d, i32 signext %e, i32 signext %f, i32 signext %g, i32 signext %h, [2 x i64] %0) |
| 147 | +// CHECK: define void @f_double_int8_s_arg_insufficient_gprs(i32 noundef signext %a, i32 noundef signext %b, i32 noundef signext %c, i32 noundef signext %d, i32 noundef signext %e, i32 noundef signext %f, i32 noundef signext %g, i32 noundef signext %h, [2 x i64] %0) |
148 | 148 | #[no_mangle] |
149 | 149 | pub extern "C" fn f_double_int8_s_arg_insufficient_gprs( |
150 | 150 | a: i32, |
@@ -250,11 +250,11 @@ pub struct IntDoubleInt { |
250 | 250 | c: i32, |
251 | 251 | } |
252 | 252 |
|
253 | | -// CHECK: define void @f_int_double_int_s_arg(%IntDoubleInt* {{.*}}%a) |
| 253 | +// CHECK: define void @f_int_double_int_s_arg(ptr {{.*}} %a) |
254 | 254 | #[no_mangle] |
255 | 255 | pub extern "C" fn f_int_double_int_s_arg(a: IntDoubleInt) {} |
256 | 256 |
|
257 | | -// CHECK: define void @f_ret_int_double_int_s(%IntDoubleInt* {{.*}}sret |
| 257 | +// CHECK: define void @f_ret_int_double_int_s(ptr {{.*}} sret([24 x i8]) align 8 dereferenceable(24) %_0) |
258 | 258 | #[no_mangle] |
259 | 259 | pub extern "C" fn f_ret_int_double_int_s() -> IntDoubleInt { |
260 | 260 | IntDoubleInt { a: 1, b: 2., c: 3 } |
|
0 commit comments