replace a useless test with a useful one
[oota-llvm.git] / test / Analysis / BasicAA / 2008-04-15-Byval.ll
1 ; RUN: opt < %s -std-compile-opts -S | grep store
2 ; ModuleID = 'small2.c'
3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
4 target triple = "i386-apple-darwin8"
5         %struct.x = type { [4 x i32] }
6
7 define void @foo(%struct.x* byval align 4  %X) nounwind  {
8 entry:
9         %tmp = getelementptr %struct.x* %X, i32 0, i32 0                ; <[4 x i32]*> [#uses=1]
10         %tmp1 = getelementptr [4 x i32]* %tmp, i32 0, i32 3             ; <i32*> [#uses=1]
11         store i32 2, i32* %tmp1, align 4
12         %tmp2 = call i32 (...)* @bar( %struct.x* byval align 4  %X ) nounwind           ; <i32> [#uses=0]
13         br label %return
14 return:         ; preds = %entry
15         ret void
16 }
17
18 declare i32 @bar(...)