llvm/test/CodeGen/X86/call-push.ll

   1 ; RUN: llc < %s -mtriple=i386-apple-darwin -frame-pointer=all -no-x86-call-frame-opt | FileCheck %s
   2
   3         %struct.decode_t = type { i8, i8, i8, i8, i16, i8, i8, ptr }
   4         %struct.range_t = type { float, float, i32, i32, i32, [0 x i8] }
   5
   6 define i32 @decode_byte(ptr %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, ptr %decode, i32 0, i32 4           ; <ptr> [#uses=1]
  14         %tmp4 = load i32, ptr %tmp2                ; <i32> [#uses=1]
  15         %tmp514 = lshr i32 %tmp4, 24            ; <i32> [#uses=1]
  16         %tmp56 = trunc i32 %tmp514 to i8                ; <i8> [#uses=1]
  17         %tmp7 = icmp eq i8 %tmp56, 0            ; <i1> [#uses=1]
  18         br i1 %tmp7, label %UnifiedReturnBlock, label %cond_true
  19
  20 cond_true:              ; preds = %entry
  21         %tmp10 = tail call i32 @f( ptr %decode )          ; <i32> [#uses=1]
  22         ret i32 %tmp10
  23
  24 UnifiedReturnBlock:             ; preds = %entry
  25         ret i32 0
  26 }
  27
  28 declare i32 @f(ptr)
  29
  30
  31 ; There should be no store for the undef operand.
  32
  33 ; CHECK: _test2:
  34 ; CHECK-NOT: 8(%esp)
  35 ; CHECK: 4(%esp)
  36 ; CHECK-NOT: 8(%esp)
  37 ; CHECK: calll
  38 declare i32 @foo(i32, i32, i32)
  39
  40 define void @test2() nounwind {
  41 entry:
  42   %call = call i32 @foo(i32 8, i32 6, i32 undef)
  43   ret void
  44 }