| Cameron Zwarich | 0a00615 | 2011-03-16 20:15:44 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=x86-64 | FileCheck %s |
| 2 | |
| 3 | ; CHECK: @bar1 |
| Bill Wendling | d336de3 | 2011-04-14 01:46:37 +0000 | [diff] [blame] | 4 | ; CHECK: movzbl |
| Chad Rosier | 871f664 | 2011-05-18 19:59:50 +0000 | [diff] [blame] | 5 | ; CHECK: jmp |
| Cameron Zwarich | 0a00615 | 2011-03-16 20:15:44 +0000 | [diff] [blame] | 6 | define void @bar1(i1 zeroext %v1) nounwind ssp { |
| 7 | entry: |
| 8 | %conv = zext i1 %v1 to i32 |
| Cameron Zwarich | ebe8173 | 2011-03-16 22:20:18 +0000 | [diff] [blame] | 9 | %call = tail call i32 (...)* @foo1(i32 %conv) nounwind |
| Cameron Zwarich | 0a00615 | 2011-03-16 20:15:44 +0000 | [diff] [blame] | 10 | ret void |
| 11 | } |
| 12 | |
| 13 | ; CHECK: @bar2 |
| Bill Wendling | d336de3 | 2011-04-14 01:46:37 +0000 | [diff] [blame] | 14 | ; CHECK-NOT: movzbl |
| Chad Rosier | 871f664 | 2011-05-18 19:59:50 +0000 | [diff] [blame] | 15 | ; CHECK: jmp |
| Cameron Zwarich | 0a00615 | 2011-03-16 20:15:44 +0000 | [diff] [blame] | 16 | define void @bar2(i8 zeroext %v1) nounwind ssp { |
| 17 | entry: |
| 18 | %conv = zext i8 %v1 to i32 |
| Cameron Zwarich | ebe8173 | 2011-03-16 22:20:18 +0000 | [diff] [blame] | 19 | %call = tail call i32 (...)* @foo1(i32 %conv) nounwind |
| Cameron Zwarich | 0a00615 | 2011-03-16 20:15:44 +0000 | [diff] [blame] | 20 | ret void |
| 21 | } |
| 22 | |
| Cameron Zwarich | ebe8173 | 2011-03-16 22:20:18 +0000 | [diff] [blame] | 23 | ; CHECK: @bar3 |
| 24 | ; CHECK: callq |
| Bill Wendling | d336de3 | 2011-04-14 01:46:37 +0000 | [diff] [blame] | 25 | ; CHECK-NOT: movzbl |
| Cameron Zwarich | ebe8173 | 2011-03-16 22:20:18 +0000 | [diff] [blame] | 26 | ; CHECK-NOT: and |
| 27 | ; CHECK: ret |
| 28 | define zeroext i1 @bar3() nounwind ssp { |
| 29 | entry: |
| 30 | %call = call i1 @foo2() nounwind |
| 31 | ret i1 %call |
| 32 | } |
| 33 | |
| 34 | declare i32 @foo1(...) |
| 35 | declare zeroext i1 @foo2() |