Update test case so it passes the verifier
[oota-llvm.git] / test / Transforms / DeadArgElim / 2008-01-16-VarargsParamAttrs.ll
1 ; RUN: opt < %s -deadargelim -S | grep byval
2
3         %struct.point = type { double, double }
4 @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]
5
6 define internal i32 @va1(i32 %nargs, ...) {
7 entry:
8         %pi = alloca %struct.point              ; <%struct.point*> [#uses=0]
9         %args = alloca i8*              ; <i8**> [#uses=2]
10         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
11         %args1 = bitcast i8** %args to i8*              ; <i8*> [#uses=1]
12         call void @llvm.va_start( i8* %args1 )
13         %args41 = bitcast i8** %args to i8*             ; <i8*> [#uses=1]
14         call void @llvm.va_end( i8* %args41 )
15         ret i32 undef
16 }
17
18 declare void @llvm.va_start(i8*) nounwind 
19
20 declare void @llvm.va_end(i8*) nounwind 
21
22 define i32 @main() {
23 entry:
24         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
25         %tmp = getelementptr [4 x %struct.point], [4 x %struct.point]* @pts, i32 0, i32 0               ; <%struct.point*> [#uses=1]
26         %tmp1 = call i32 (i32, ...) @va1( i32 1, %struct.point* byval  %tmp ) nounwind          ; <i32> [#uses=0]
27         call void @exit( i32 0 ) noreturn nounwind 
28         unreachable
29 }
30
31 declare void @exit(i32) noreturn nounwind