| Index: test/Transforms/NaCl/simplify-struct-reg-signatures.ll
|
| diff --git a/test/Transforms/NaCl/simplify-struct-reg-signatures.ll b/test/Transforms/NaCl/simplify-struct-reg-signatures.ll
|
| index 26e7bce09210a4c5d1eb87c5581f155d5aba508e..479f7f809611ef2a6e81d45c03125036dcf8a5f9 100644
|
| --- a/test/Transforms/NaCl/simplify-struct-reg-signatures.ll
|
| +++ b/test/Transforms/NaCl/simplify-struct-reg-signatures.ll
|
| @@ -32,7 +32,7 @@ declare %struct @struct_returning_extern(i32, %struct)
|
| ; CHECK-LABEL: declare void @struct_returning_extern(%struct* sret, i32, %struct* byval)
|
|
|
| define void @main(%struct* byval %ptr) {
|
| - %val = load %struct* %ptr
|
| + %val = load %struct, %struct* %ptr
|
| call void @extern_func(%struct %val)
|
| ret void
|
| }
|
| @@ -74,15 +74,15 @@ Cleanup:
|
| ; CHECK-NEXT: %tmp.sreg.ptr = alloca %struct
|
| ; CHECK-NEXT: %tmp = alloca %struct
|
| ; CHECK-NEXT: %val.sreg.ptr = alloca %struct
|
| -; CHECK-NEXT: %val.sreg = load %struct* %val.ptr
|
| +; CHECK-NEXT: %val.sreg = load %struct, %struct* %val.ptr
|
| ; CHECK-NEXT: store %struct %val.sreg, %struct* %val.sreg.ptr
|
| ; CHECK-NEXT: call void @struct_returning_extern(%struct* sret %tmp, i32 %an_int, %struct* byval %val.sreg.ptr)
|
| -; CHECK-NEXT: %tmp.sreg = load %struct* %tmp
|
| +; CHECK-NEXT: %tmp.sreg = load %struct, %struct* %tmp
|
| ; CHECK-NEXT: store %struct %tmp.sreg, %struct* %tmp.sreg.ptr
|
| ; CHECK-NEXT: invoke void @struct_returning_extern(%struct* sret %tmp2, i32 1, %struct* byval %tmp.sreg.ptr)
|
| ; CHECK-NEXT: to label %Cont unwind label %Cleanup
|
| ; CHECK-DAG: Cont:
|
| -; CHECK-NEXT: %tmp2.sreg = load %struct* %tmp2
|
| +; CHECK-NEXT: %tmp2.sreg = load %struct, %struct* %tmp2
|
| ; CHECK-NEXT: store %struct %tmp2.sreg, %struct* %retVal
|
| ; CHECK-NEXT: ret void
|
| ; CHECK-DAG: Cleanup:
|
| @@ -132,11 +132,11 @@ define %rec_returning @rec_returning_fun(%rec_returning %str) {
|
| ; CHECK-LABEL: define void @rec_returning_fun(%rec_returning.simplified* sret %retVal, %rec_returning.simplified* byval %str.ptr)
|
| ; CHECK-NEXT: %ret = alloca %rec_returning.simplified
|
| ; CHECK-NEXT: %str.sreg.ptr = alloca %rec_returning.simplified
|
| -; CHECK-NEXT: %str.sreg = load %rec_returning.simplified* %str.ptr
|
| +; CHECK-NEXT: %str.sreg = load %rec_returning.simplified, %rec_returning.simplified* %str.ptr
|
| ; CHECK-NEXT: %tmp = extractvalue %rec_returning.simplified %str.sreg, 0
|
| ; CHECK-NEXT: store %rec_returning.simplified %str.sreg, %rec_returning.simplified* %str.sreg.ptr
|
| ; CHECK-NEXT: call void %tmp(%rec_returning.simplified* sret %ret, %rec_returning.simplified* byval %str.sreg.ptr)
|
| -; CHECK-NEXT: %ret.sreg = load %rec_returning.simplified* %ret
|
| +; CHECK-NEXT: %ret.sreg = load %rec_returning.simplified, %rec_returning.simplified* %ret
|
| ; CHECK-NEXT: store %rec_returning.simplified %ret.sreg, %rec_returning.simplified* %retVal
|
| ; CHECK-NEXT: ret void
|
|
|
| @@ -149,7 +149,7 @@ define void @direct_caller(%direct_def %def) {
|
|
|
| ; CHECK-LABEL: define void @direct_caller(%direct_def.simplified* byval %def.ptr)
|
| ; CHECK-NEXT: %param.ptr = alloca %struct
|
| -; CHECK-NEXT: %def.sreg = load %direct_def.simplified* %def.ptr
|
| +; CHECK-NEXT: %def.sreg = load %direct_def.simplified, %direct_def.simplified* %def.ptr
|
| ; CHECK-NEXT: %func = extractvalue %direct_def.simplified %def.sreg, 0
|
| ; CHECK-NEXT: %param = extractvalue %direct_def.simplified %def.sreg, 1
|
| ; CHECK-NEXT: store %struct %param, %struct* %param.ptr
|
| @@ -171,30 +171,30 @@ declare void @vararg_fp_fct(%vararg_fp_struct %arg)
|
|
|
| define void @call_vararg(%vararg_fp_struct %param1, ...) {
|
| %fptr = extractvalue %vararg_fp_struct %param1, 1
|
| - call void (i32, ...)* %fptr(i32 0, i32 1)
|
| + call void (i32, ...) %fptr(i32 0, i32 1)
|
| ret void
|
| }
|
|
|
| ; CHECK-LABEL: define void @call_vararg(%vararg_fp_struct* byval %param1.ptr, ...)
|
| -; CHECK-NEXT: %param1.sreg = load %vararg_fp_struct* %param1.ptr
|
| +; CHECK-NEXT: %param1.sreg = load %vararg_fp_struct, %vararg_fp_struct* %param1.ptr
|
| ; CHECK-NEXT: %fptr = extractvalue %vararg_fp_struct %param1.sreg, 1
|
| -; CHECK-NEXT: call void (i32, ...)* %fptr(i32 0, i32 1)
|
| +; CHECK-NEXT: call void (i32, ...) %fptr(i32 0, i32 1)
|
| ; CHECK-NEXT: ret void
|
|
|
| %vararg_fp_problem_struct = type { void(%vararg_fp_problem_struct)* }
|
| define void @vararg_fp_problem_call(%vararg_fp_problem_struct* byval %param) {
|
| - %fct_ptr = getelementptr %vararg_fp_problem_struct* %param, i32 0, i32 0
|
| - %fct = load void(%vararg_fp_problem_struct)** %fct_ptr
|
| - %param_for_call = load %vararg_fp_problem_struct* %param
|
| + %fct_ptr = getelementptr %vararg_fp_problem_struct, %vararg_fp_problem_struct* %param, i32 0, i32 0
|
| + %fct = load void(%vararg_fp_problem_struct)*, void(%vararg_fp_problem_struct)** %fct_ptr
|
| + %param_for_call = load %vararg_fp_problem_struct, %vararg_fp_problem_struct* %param
|
| call void %fct(%vararg_fp_problem_struct %param_for_call)
|
| ret void
|
| }
|
|
|
| ; CHECK-LABEL: define void @vararg_fp_problem_call(%vararg_fp_problem_struct.simplified* byval %param)
|
| ; CHECK-NEXT: %param_for_call.ptr = alloca %vararg_fp_problem_struct.simplified
|
| -; CHECK-NEXT: %fct_ptr = getelementptr %vararg_fp_problem_struct.simplified* %param, i32 0, i32 0
|
| -; CHECK-NEXT: %fct = load void (%vararg_fp_problem_struct.simplified*)** %fct_ptr
|
| -; CHECK-NEXT: %param_for_call = load %vararg_fp_problem_struct.simplified* %param
|
| +; CHECK-NEXT: %fct_ptr = getelementptr %vararg_fp_problem_struct.simplified, %vararg_fp_problem_struct.simplified* %param, i32 0, i32 0
|
| +; CHECK-NEXT: %fct = load void (%vararg_fp_problem_struct.simplified*)*, void (%vararg_fp_problem_struct.simplified*)** %fct_ptr
|
| +; CHECK-NEXT: %param_for_call = load %vararg_fp_problem_struct.simplified, %vararg_fp_problem_struct.simplified* %param
|
| ; CHECK-NEXT: store %vararg_fp_problem_struct.simplified %param_for_call, %vararg_fp_problem_struct.simplified* %param_for_call.ptr
|
| ; CHECK-NEXT: call void %fct(%vararg_fp_problem_struct.simplified* byval %param_for_call.ptr)
|
| ; CHECK-NEXT: ret void
|
| @@ -207,25 +207,25 @@ define void @call_with_array([4 x void(%struct)*] %fptrs, %struct %str) {
|
|
|
| ; CHECK-LABEL: define void @call_with_array([4 x void (%struct*)*]* byval %fptrs.ptr, %struct* byval %str.ptr)
|
| ; CHECK-NEXT: %str.sreg.ptr = alloca %struct
|
| -; CHECK-NEXT: %fptrs.sreg = load [4 x void (%struct*)*]* %fptrs.ptr
|
| -; CHECK-NEXT: %str.sreg = load %struct* %str.ptr
|
| +; CHECK-NEXT: %fptrs.sreg = load [4 x void (%struct*)*], [4 x void (%struct*)*]* %fptrs.ptr
|
| +; CHECK-NEXT: %str.sreg = load %struct, %struct* %str.ptr
|
| ; CHECK-NEXT: %fptr = extractvalue [4 x void (%struct*)*] %fptrs.sreg, 2
|
| ; CHECK-NEXT: store %struct %str.sreg, %struct* %str.sreg.ptr
|
| ; CHECK-NEXT: call void %fptr(%struct* byval %str.sreg.ptr)
|
| ; CHECK-NEXT: ret void
|
|
|
| define void @call_with_array_ptr([4 x void(%struct)*]* %fptrs, %struct %str) {
|
| - %fptr_ptr = getelementptr [4 x void(%struct)*]* %fptrs, i32 0, i32 2
|
| - %fptr = load void(%struct)** %fptr_ptr
|
| + %fptr_ptr = getelementptr [4 x void(%struct)*], [4 x void(%struct)*]* %fptrs, i32 0, i32 2
|
| + %fptr = load void(%struct)*, void(%struct)** %fptr_ptr
|
| call void %fptr(%struct %str)
|
| ret void
|
| }
|
|
|
| ; CHECK-LABEL: define void @call_with_array_ptr([4 x void (%struct*)*]* %fptrs, %struct* byval %str.ptr)
|
| ; CHECK-NEXT: %str.sreg.ptr = alloca %struct
|
| -; CHECK-NEXT: %str.sreg = load %struct* %str.ptr
|
| -; CHECK-NEXT: %fptr_ptr = getelementptr [4 x void (%struct*)*]* %fptrs, i32 0, i32 2
|
| -; CHECK-NEXT: %fptr = load void (%struct*)** %fptr_ptr
|
| +; CHECK-NEXT: %str.sreg = load %struct, %struct* %str.ptr
|
| +; CHECK-NEXT: %fptr_ptr = getelementptr [4 x void (%struct*)*], [4 x void (%struct*)*]* %fptrs, i32 0, i32 2
|
| +; CHECK-NEXT: %fptr = load void (%struct*)*, void (%struct*)** %fptr_ptr
|
| ; CHECK-NEXT: store %struct %str.sreg, %struct* %str.sreg.ptr
|
| ; CHECK-NEXT: call void %fptr(%struct* byval %str.sreg.ptr)
|
| ; CHECK-NEXT: ret void
|
| @@ -238,7 +238,7 @@ define void @call_with_vector(<4 x void (%struct)*> %fptrs, %struct %str) {
|
|
|
| ; CHECK-LABEL: define void @call_with_vector(<4 x void (%struct*)*> %fptrs, %struct* byval %str.ptr)
|
| ; CHECK-NEXT: %str.sreg.ptr = alloca %struct
|
| -; CHECK-NEXT: %str.sreg = load %struct* %str.ptr
|
| +; CHECK-NEXT: %str.sreg = load %struct, %struct* %str.ptr
|
| ; CHECK-NEXT: %fptr = extractelement <4 x void (%struct*)*> %fptrs, i32 2
|
| ; CHECK-NEXT: store %struct %str.sreg, %struct* %str.sreg.ptr
|
| ; CHECK-NEXT: call void %fptr(%struct* byval %str.sreg.ptr)
|
| @@ -253,8 +253,8 @@ define void @call_with_array_vect([4 x <2 x void(%struct)*>] %fptrs, %struct %st
|
|
|
| ; CHECK-LABEL: define void @call_with_array_vect([4 x <2 x void (%struct*)*>]* byval %fptrs.ptr, %struct* byval %str.ptr)
|
| ; CHECK-NEXT: %str.sreg.ptr = alloca %struct
|
| -; CHECK-NEXT: %fptrs.sreg = load [4 x <2 x void (%struct*)*>]* %fptrs.ptr
|
| -; CHECK-NEXT: %str.sreg = load %struct* %str.ptr
|
| +; CHECK-NEXT: %fptrs.sreg = load [4 x <2 x void (%struct*)*>], [4 x <2 x void (%struct*)*>]* %fptrs.ptr
|
| +; CHECK-NEXT: %str.sreg = load %struct, %struct* %str.ptr
|
| ; CHECK-NEXT: %vect = extractvalue [4 x <2 x void (%struct*)*>] %fptrs.sreg, 2
|
| ; CHECK-NEXT: %fptr = extractelement <2 x void (%struct*)*> %vect, i32 1
|
| ; CHECK-NEXT: store %struct %str.sreg, %struct* %str.sreg.ptr
|
|
|