diff options
| author | Evan Cheng <evan.cheng@apple.com> | 2008-01-17 07:26:31 +0000 |
|---|---|---|
| committer | Evan Cheng <evan.cheng@apple.com> | 2008-01-17 07:26:31 +0000 |
| commit | e6d5c77d5d5720285c20eba31fd9689db2517a9e (patch) | |
| tree | 70a3d25ec1bb7ad1afe908c62efe82d413b790fc | |
| parent | 4626b250a2a83fbd055dde70629cf0b89356e1d3 (diff) | |
Test case for varargs parameter attribute issue I just fixed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@46127 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Transforms/DeadArgElim/2008-01-16-VarargsParamAttrs.ll | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/Transforms/DeadArgElim/2008-01-16-VarargsParamAttrs.ll b/test/Transforms/DeadArgElim/2008-01-16-VarargsParamAttrs.ll new file mode 100644 index 0000000000..96cddf1fd3 --- /dev/null +++ b/test/Transforms/DeadArgElim/2008-01-16-VarargsParamAttrs.ll @@ -0,0 +1,31 @@ +; RUN: llvm-as < %s | opt -deadargelim | llvm-dis | grep byval + + %struct.point = type { double, double } +@pts = global [4 x %struct.point] [ %struct.point { double 1.000000e+00, double 2.000000e+00 }, %struct.point { double 3.000000e+00, double 4.000000e+00 }, %struct.point { double 5.000000e+00, double 6.000000e+00 }, %struct.point { double 7.000000e+00, double 8.000000e+00 } ], align 32 ; <[4 x %struct.point]*> [#uses=1] + +define internal i32 @va1(i32 %nargs, ...) { +entry: + %pi = alloca %struct.point ; <%struct.point*> [#uses=0] + %args = alloca i8* ; <i8**> [#uses=2] + %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] + %args1 = bitcast i8** %args to i8* ; <i8*> [#uses=1] + call void @llvm.va_start( i8* %args1 ) + %args41 = bitcast i8** %args to i8* ; <i8*> [#uses=1] + call void @llvm.va_end( i8* %args41 ) + ret i32 undef +} + +declare void @llvm.va_start(i8*) nounwind + +declare void @llvm.va_end(i8*) nounwind + +define i32 @main() { +entry: + %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] + %tmp = getelementptr [4 x %struct.point]* @pts, i32 0, i32 0 ; <%struct.point*> [#uses=1] + %tmp1 = call i32 (i32, ...)* @va1( i32 1, %struct.point* byval %tmp ) nounwind ; <i32> [#uses=0] + call void @exit( i32 0 ) noreturn nounwind + unreachable +} + +declare void @exit(i32) noreturn nounwind |