1 ; RUN: llc < %s -mtriple=i386-unknown-linux-gnu -mcpu=corei7-avx | FileCheck %s 2 3 ; CHECK-LABEL: main: 4 ; CHECK: pushl %esi 5 ; CHECK-NEXT: movl $-12, %eax 6 ; CHECK-NEXT: movl $-1, %edx 7 ; CHECK-NEXT: testb $1, 8(%esp) 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 } 28