1; RUN: llc < %s -mtriple=i386-unknown-linux-gnu -mcpu=corei7-avx -enable-misched=false | 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
17define i64 @main(i1 %tobool1) nounwind {
18entry:
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