test/CodeGen/X86/call-push.ll

   1 ; RUN: llc < %s -mtriple=i386-apple-darwin -disable-fp-elim | FileCheck %s
   2
   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] }
   5
   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
  20
  21 cond_true:              ; preds = %entry
  22         %tmp10 = tail call i32 @f( %struct.decode_t* %decode )          ; <i32> [#uses=1]
  23         ret i32 %tmp10
  24
  25 UnifiedReturnBlock:             ; preds = %entry
  26         ret i32 0
  27 }
  28
  29 declare i32 @f(%struct.decode_t*)
  30
  31
  32 ; There should be no store for the undef operand.
  33
  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)
  40
  41 define void @test2() nounwind {
  42 entry:
  43   %call = call i32 @foo(i32 8, i32 6, i32 undef)
  44   ret void
  45 }