[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / call-push.ll
blobaee77937e7b1c421b9a9d3891dc6a5ff0c63455f
1 ; RUN: llc < %s -mtriple=i386-apple-darwin -frame-pointer=all -no-x86-call-frame-opt | FileCheck %s
3         %struct.decode_t = type { i8, i8, i8, i8, i16, i8, i8, %struct.range_t** }
4         %struct.range_t = type { float, float, i32, i32, i32, [0 x i8] }
6 define i32 @decode_byte(%struct.decode_t* %decode) nounwind {
7 ; CHECK-LABEL: decode_byte:
8 ; CHECK: pushl
9 ; CHECK: popl
10 ; CHECK: jmp
11 ; CHECK: popl
12 entry:
13         %tmp2 = getelementptr %struct.decode_t, %struct.decode_t* %decode, i32 0, i32 4           ; <i16*> [#uses=1]
14         %tmp23 = bitcast i16* %tmp2 to i32*             ; <i32*> [#uses=1]
15         %tmp4 = load i32, i32* %tmp23                ; <i32> [#uses=1]
16         %tmp514 = lshr i32 %tmp4, 24            ; <i32> [#uses=1]
17         %tmp56 = trunc i32 %tmp514 to i8                ; <i8> [#uses=1]
18         %tmp7 = icmp eq i8 %tmp56, 0            ; <i1> [#uses=1]
19         br i1 %tmp7, label %UnifiedReturnBlock, label %cond_true
21 cond_true:              ; preds = %entry
22         %tmp10 = tail call i32 @f( %struct.decode_t* %decode )          ; <i32> [#uses=1]
23         ret i32 %tmp10
25 UnifiedReturnBlock:             ; preds = %entry
26         ret i32 0
29 declare i32 @f(%struct.decode_t*)
32 ; There should be no store for the undef operand.
34 ; CHECK: _test2:
35 ; CHECK-NOT: 8(%esp)
36 ; CHECK: 4(%esp)
37 ; CHECK-NOT: 8(%esp)
38 ; CHECK: calll 
39 declare i32 @foo(i32, i32, i32)
41 define void @test2() nounwind {
42 entry:
43   %call = call i32 @foo(i32 8, i32 6, i32 undef)
44   ret void