[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2008-01-14-VarArgTrampoline.ll
blobb111b85d59f0a7e017c65233fd563f8a85d4e022
1 ; RUN: opt < %s -instcombine -S | grep zeroext
3         %struct.FRAME.nest = type { i32, i32 (...)* }
4         %struct.__builtin_trampoline = type { [10 x i8] }
6 declare void @llvm.init.trampoline(i8*, i8*, i8*) nounwind 
7 declare i8* @llvm.adjust.trampoline(i8*) nounwind
9 declare i32 @f(%struct.FRAME.nest* nest , ...)
11 define i32 @nest(i32 %n) {
12 entry:
13         %FRAME.0 = alloca %struct.FRAME.nest, align 8           ; <%struct.FRAME.nest*> [#uses=3]
14         %TRAMP.216 = alloca [10 x i8], align 16         ; <[10 x i8]*> [#uses=1]
15         %TRAMP.216.sub = getelementptr [10 x i8], [10 x i8]* %TRAMP.216, i32 0, i32 0           ; <i8*> [#uses=1]
16         %tmp3 = getelementptr %struct.FRAME.nest, %struct.FRAME.nest* %FRAME.0, i32 0, i32 0            ; <i32*> [#uses=1]
17         store i32 %n, i32* %tmp3, align 8
18         %FRAME.06 = bitcast %struct.FRAME.nest* %FRAME.0 to i8*         ; <i8*> [#uses=1]
19         call void @llvm.init.trampoline( i8* %TRAMP.216.sub, i8* bitcast (i32 (%struct.FRAME.nest*, ...)* @f to i8*), i8* %FRAME.06 )           ; <i8*> [#uses=1]
20         %tramp = call i8* @llvm.adjust.trampoline( i8* %TRAMP.216.sub)
21         %tmp7 = getelementptr %struct.FRAME.nest, %struct.FRAME.nest* %FRAME.0, i32 0, i32 1            ; <i32 (...)**> [#uses=1]
22         %tmp89 = bitcast i8* %tramp to i32 (...)*               ; <i32 (...)*> [#uses=2]
23         store i32 (...)* %tmp89, i32 (...)** %tmp7, align 8
24         %tmp2.i = call i32 (...) %tmp89( i32 zeroext 0 )                ; <i32> [#uses=1]
25         ret i32 %tmp2.i