llvm/test/Analysis/BasicAA/2008-04-15-Byval.ll

   1 ; RUN: opt < %s -O3 -S | FileCheck %s
   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(ptr byval(%struct.x) align 4  %X) nounwind  {
   8 ; CHECK: store i32 2, ptr %tmp1
   9 entry:
  10         %tmp = getelementptr %struct.x, ptr %X, i32 0, i32 0            ; <ptr> [#uses=1]
  11         %tmp1 = getelementptr [4 x i32], ptr %tmp, i32 0, i32 3         ; <ptr> [#uses=1]
  12         store i32 2, ptr %tmp1, align 4
  13         %tmp2 = call i32 (...) @bar(ptr byval(%struct.x) align 4  %X ) nounwind                 ; <i32> [#uses=0]
  14         br label %return
  15 return:         ; preds = %entry
  16         ret void
  17 }
  18
  19 declare i32 @bar(...)