fix va_list test by adding a llvmir signext check · rust-lang/rust@e0c09b5 (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -22,15 +22,15 @@ pub unsafe extern "C" fn use_foreign_c_variadic_1_0(ap: VaList) {
22	22
23	23	// CHECK-LABEL: use_foreign_c_variadic_1_1
24	24	pub unsafe extern "C" fn use_foreign_c_variadic_1_1(ap: VaList) {
25		-// CHECK: call void ({{.}}, ...) @foreign_c_variadic_1({{.}} %ap, i32 noundef 42)
	25	+// CHECK: call void ({{.}}, ...) @foreign_c_variadic_1({{.}} %ap, i32 noundef{{( signext)?}} 42)
26	26	foreign_c_variadic_1(ap, 42i32);
27	27	}
28	28	pub unsafe extern "C" fn use_foreign_c_variadic_1_2(ap: VaList) {
29		-// CHECK: call void ({{.}}, ...) @foreign_c_variadic_1({{.}} %ap, i32 noundef 2, i32 noundef 42)
	29	+// CHECK: call void ({{.}}, ...) @foreign_c_variadic_1({{.}} %ap, i32 noundef{{( signext)?}} 2, i32 noundef{{( signext)?}} 42)
30	30	foreign_c_variadic_1(ap, 2i32, 42i32);
31	31	}
32	32
33	33	pub unsafe extern "C" fn use_foreign_c_variadic_1_3(ap: VaList) {
34		-// CHECK: call void ({{.}}, ...) @foreign_c_variadic_1({{.}} %ap, i32 noundef 2, i32 noundef 42, i32 noundef 0)
	34	+// CHECK: call void ({{.}}, ...) @foreign_c_variadic_1({{.}} %ap, i32 noundef{{( signext)?}} 2, i32 noundef{{( signext)?}} 42, i32 noundef{{( signext)?}} 0)
35	35	foreign_c_variadic_1(ap, 2i32, 42i32, 0i32);
36	36	}