|
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