| Andrew Trick | e97d8d6 | 2013-10-15 23:33:07 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -mtriple=i386-unknown-linux-gnu -mcpu=corei7-avx -enable-misched=false | FileCheck %s |
| David Majnemer | 5ba473a | 2013-05-18 01:02:03 +0000 | [diff] [blame] | 2 | |
| Stephen Lin | d24ab20 | 2013-07-14 06:24:09 +0000 | [diff] [blame] | 3 | ; CHECK-LABEL: main: |
| David Majnemer | 5ba473a | 2013-05-18 01:02:03 +0000 | [diff] [blame] | 4 | ; CHECK: pushl %esi |
| Nico Rieck | b5262d6 | 2014-01-12 14:09:17 +0000 | [diff] [blame] | 5 | ; CHECK-NEXT: testb $1, 8(%esp) |
| David Majnemer | 5ba473a | 2013-05-18 01:02:03 +0000 | [diff] [blame] | 6 | ; CHECK-NEXT: movl $-12, %eax |
| 7 | ; CHECK-NEXT: movl $-1, %edx |
| David Majnemer | 5ba473a | 2013-05-18 01:02:03 +0000 | [diff] [blame] | 8 | ; CHECK-NEXT: cmovel %edx, %eax |
| 9 | ; CHECK-NEXT: xorl %ecx, %ecx |
| 10 | ; CHECK-NEXT: movl %eax, %esi |
| 11 | ; CHECK-NEXT: addl $-1, %esi |
| 12 | ; CHECK-NEXT: movl $-1, %esi |
| 13 | ; CHECK-NEXT: adcl $-1, %esi |
| 14 | ; CHECK-NEXT: cmovsl %ecx, %eax |
| 15 | ; CHECK-NEXT: cmovsl %ecx, %edx |
| 16 | ; CHECK-NEXT: popl %esi |
| 17 | define i64 @main(i1 %tobool1) nounwind { |
| 18 | entry: |
| 19 | %0 = zext i1 %tobool1 to i32 |
| 20 | %. = xor i32 %0, 1 |
| 21 | %.21 = select i1 %tobool1, i32 -12, i32 -1 |
| 22 | %conv = sext i32 %.21 to i64 |
| 23 | %1 = add i64 %conv, -1 |
| 24 | %cmp10 = icmp slt i64 %1, 0 |
| 25 | %sub17 = select i1 %cmp10, i64 0, i64 %conv |
| 26 | ret i64 %sub17 |
| 27 | } |