; RUN: llc < %s -mtriple=i386-apple-darwin -frame-pointer=all -no-x86-call-frame-opt | FileCheck %s %struct.decode_t = type { i8, i8, i8, i8, i16, i8, i8, ptr } %struct.range_t = type { float, float, i32, i32, i32, [0 x i8] } define i32 @decode_byte(ptr %decode) nounwind { ; CHECK-LABEL: decode_byte: ; CHECK: pushl ; CHECK: popl ; CHECK: jmp ; CHECK: popl entry: %tmp2 = getelementptr %struct.decode_t, ptr %decode, i32 0, i32 4 ; <ptr> [#uses=1] %tmp4 = load i32, ptr %tmp2 ; <i32> [#uses=1] %tmp514 = lshr i32 %tmp4, 24 ; <i32> [#uses=1] %tmp56 = trunc i32 %tmp514 to i8 ; <i8> [#uses=1] %tmp7 = icmp eq i8 %tmp56, 0 ; <i1> [#uses=1] br i1 %tmp7, label %UnifiedReturnBlock, label %cond_true cond_true: ; preds = %entry %tmp10 = tail call i32 @f( ptr %decode ) ; <i32> [#uses=1] ret i32 %tmp10 UnifiedReturnBlock: ; preds = %entry ret i32 0 } declare i32 @f(ptr) ; There should be no store for the undef operand. ; CHECK: _test2: ; CHECK-NOT: 8(%esp) ; CHECK: 4(%esp) ; CHECK-NOT: 8(%esp) ; CHECK: calll declare i32 @foo(i32, i32, i32) define void @test2() nounwind { entry: %call = call i32 @foo(i32 8, i32 6, i32 undef) ret void }