Index: test/Transforms/NaCl/expand-varargs.ll |
diff --git a/test/Transforms/NaCl/expand-varargs.ll b/test/Transforms/NaCl/expand-varargs.ll |
index 93ba538cca0c695ea0b6ab227d75968719a44c12..d398cc7a5cd85cd25862bde2bd32745c878e08e7 100644 |
--- a/test/Transforms/NaCl/expand-varargs.ll |
+++ b/test/Transforms/NaCl/expand-varargs.ll |
@@ -8,15 +8,6 @@ declare void @llvm.va_copy(i8*, i8*) |
declare i32 @outside_func(i32 %arg, %va_list* %args) |
- |
-; Produced by the expansion of @varargs_call1(): |
-; CHECK: %vararg_call = type <{ i64, i32 }> |
- |
-; Produced by the expansion of @call_with_zero_varargs(). |
-; We have a dummy field to deal with buggy programs: |
-; CHECK: %vararg_call.0 = type <{ i32 }> |
- |
- |
define i32 @varargs_func(i32 %arg, ...) { |
%arglist_alloc = alloca %va_list |
%arglist = bitcast %va_list* %arglist_alloc to i8* |
@@ -40,15 +31,15 @@ define i32 @varargs_call1() { |
ret i32 %result |
} |
; CHECK: define i32 @varargs_call1() { |
-; CHECK-NEXT: %vararg_buffer = alloca %vararg_call |
-; CHECK-NEXT: %vararg_lifetime_bitcast = bitcast %vararg_call* %vararg_buffer to i8* |
+; CHECK-NEXT: %vararg_buffer = alloca <{ i64, i32 }> |
+; CHECK-NEXT: %vararg_lifetime_bitcast = bitcast <{ i64, i32 }>* %vararg_buffer to i8* |
; CHECK-NEXT: call void @llvm.lifetime.start(i64 12, i8* %vararg_lifetime_bitcast) |
-; CHECK-NEXT: %vararg_ptr = getelementptr %vararg_call* %vararg_buffer, i32 0, i32 0 |
+; CHECK-NEXT: %vararg_ptr = getelementptr <{ i64, i32 }>* %vararg_buffer, i32 0, i32 0 |
; CHECK-NEXT: store i64 222, i64* %vararg_ptr |
-; CHECK-NEXT: %vararg_ptr1 = getelementptr %vararg_call* %vararg_buffer, i32 0, i32 1 |
+; CHECK-NEXT: %vararg_ptr1 = getelementptr <{ i64, i32 }>* %vararg_buffer, i32 0, i32 1 |
; CHECK-NEXT: store i32 333, i32* %vararg_ptr1 |
-; CHECK-NEXT: %vararg_func = bitcast i32 (i32, ...)* bitcast (i32 (i32, i8*)* @varargs_func to i32 (i32, ...)*) to i32 (i32, %vararg_call*)* |
-; CHECK-NEXT: %result = call i32 %vararg_func(i32 111, %vararg_call* %vararg_buffer) |
+; CHECK-NEXT: %vararg_func = bitcast i32 (i32, ...)* bitcast (i32 (i32, i8*)* @varargs_func to i32 (i32, ...)*) to i32 (i32, <{ i64, i32 }>*)* |
+; CHECK-NEXT: %result = call i32 %vararg_func(i32 111, <{ i64, i32 }>* %vararg_buffer) |
; CHECK-NEXT: call void @llvm.lifetime.end(i64 12, i8* %vararg_lifetime_bitcast) |
; CHECK-NEXT: ret i32 %result |
@@ -59,9 +50,10 @@ define i32 @call_with_zero_varargs() { |
ret i32 %result |
} |
; CHECK: define i32 @call_with_zero_varargs() { |
-; CHECK-NEXT: %vararg_buffer = alloca %vararg_call.0 |
-; CHECK: %vararg_func = bitcast i32 (i32, ...)* bitcast (i32 (i32, i8*)* @varargs_func to i32 (i32, ...)*) to i32 (i32, %vararg_call.0*)* |
-; CHECK-NEXT: %result = call i32 %vararg_func(i32 111, %vararg_call.0* %vararg_buffer) |
+; We have a dummy i32 field to deal with buggy programs: |
+; CHECK-NEXT: %vararg_buffer = alloca <{ i32 }> |
+; CHECK: %vararg_func = bitcast i32 (i32, ...)* bitcast (i32 (i32, i8*)* @varargs_func to i32 (i32, ...)*) to i32 (i32, <{ i32 }>*)* |
+; CHECK-NEXT: %result = call i32 %vararg_func(i32 111, <{ i32 }>* %vararg_buffer) |
; Check that "invoke" instructions are expanded out too. |
@@ -75,7 +67,7 @@ lpad: |
ret i32 0 |
} |
; CHECK: @varargs_invoke |
-; CHECK: %result = invoke i32 %vararg_func(i32 111, %vararg_call.1* %vararg_buffer) |
+; CHECK: %result = invoke i32 %vararg_func(i32 111, <{ i64 }>* %vararg_buffer) |
; CHECK-NEXT: to label %cont unwind label %lpad |
; CHECK: cont: |
; CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* %vararg_lifetime_bitcast) |
@@ -90,10 +82,10 @@ define void @varargs_multiple_calls() { |
} |
; CHECK: @varargs_multiple_calls() |
; The added allocas should appear at the start of the function. |
-; CHECK: %vararg_buffer{{.*}} = alloca %vararg_call{{.*}} |
-; CHECK: %vararg_buffer{{.*}} = alloca %vararg_call{{.*}} |
-; CHECK: %call1 = call i32 %vararg_func{{.*}}(i32 11, %vararg_call{{.*}}* %vararg_buffer{{.*}}) |
-; CHECK: %call2 = call i32 %vararg_func{{.*}}(i32 44, %vararg_call{{.*}}* %vararg_buffer{{.*}}) |
+; CHECK: %vararg_buffer{{.*}} = alloca <{ i64, i32 }> |
+; CHECK: %vararg_buffer{{.*}} = alloca <{ i64, i32 }> |
+; CHECK: %call1 = call i32 %vararg_func{{.*}}(i32 11, <{ i64, i32 }>* %vararg_buffer{{.*}}) |
+; CHECK: %call2 = call i32 %vararg_func{{.*}}(i32 44, <{ i64, i32 }>* %vararg_buffer{{.*}}) |
define i32 @va_arg_i32(i8* %arglist) { |