[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2008-04-22-ByValBitcast.ll
blob1ea0998bf70e70ef8b4a8f5a86eec05092f372c6
1 ;; The bitcast cannot be eliminated because byval arguments need
2 ;; the correct type, or at least a type of the correct size.
3 ; RUN: opt < %s -instcombine -S | grep bitcast
4 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"
5 target triple = "i386-apple-darwin9"
6         %struct.NSRect = type { [4 x float] }
8 define void @foo(i8* %context) nounwind  {
9 entry:
10         %tmp1 = bitcast i8* %context to %struct.NSRect*         ; <%struct.NSRect*> [#uses=1]
11         call void (i32, ...) @bar( i32 3, %struct.NSRect* byval align 4  %tmp1 ) nounwind 
12         ret void
15 declare void @bar(i32, ...)