| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | |
| ; RUN: llc < %s -mtriple=i686-unknown-linux-gnu | FileCheck %s --check-prefix=X86 | |
| ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s --check-prefix=X64 | |
| define i32 @fn() { | |
| ; X86-LABEL: fn: | |
| ; X86: # %bb.0: # %entry | |
| ; X86-NEXT: xorl %eax, %eax | |
| ; X86-NEXT: cmpl $1, %eax | |
| ; X86-NEXT: setne %al | |
| ; X86-NEXT: sete %cl | |
| ; X86-NEXT: negl %eax | |
| ; X86-NEXT: addb %cl, %cl | |
| ; X86-NEXT: shll %cl, %eax | |
| ; X86-NEXT: .p2align 4, 0x90 | |
| ; X86-NEXT: .LBB0_1: # %bb1 | |
| ; X86-NEXT: # =>This Inner Loop Header: Depth=1 | |
| ; X86-NEXT: testl %eax, %eax | |
| ; X86-NEXT: je .LBB0_1 | |
| ; X86-NEXT: # %bb.2: # %bb2 | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: fn: | |
| ; X64: # %bb.0: # %entry | |
| ; X64-NEXT: xorl %eax, %eax | |
| ; X64-NEXT: cmpl $1, %eax | |
| ; X64-NEXT: setne %al | |
| ; X64-NEXT: sete %cl | |
| ; X64-NEXT: negl %eax | |
| ; X64-NEXT: addb %cl, %cl | |
| ; X64-NEXT: shll %cl, %eax | |
| ; X64-NEXT: .p2align 4, 0x90 | |
| ; X64-NEXT: .LBB0_1: # %bb1 | |
| ; X64-NEXT: # =>This Inner Loop Header: Depth=1 | |
| ; X64-NEXT: testl %eax, %eax | |
| ; X64-NEXT: je .LBB0_1 | |
| ; X64-NEXT: # %bb.2: # %bb2 | |
| ; X64-NEXT: retq | |
| entry: | |
| %cmp1 = icmp ne i32 undef, 1 | |
| %cmp2 = icmp eq i32 undef, 1 | |
| %sel1 = select i1 %cmp1, i32 0, i32 2 | |
| %sel2 = select i1 %cmp2, i32 2, i32 0 | |
| %sext = sext i1 %cmp1 to i32 | |
| %shl1 = shl i32 %sext, %sel1 | |
| %shl2 = shl i32 %sext, %sel2 | |
| %tobool = icmp eq i32 %shl1, 0 | |
| br label %bb1 | |
| bb1: ; preds = %bb1, %entry | |
| br i1 %tobool, label %bb1, label %bb2 | |
| bb2: ; preds = %bb1 | |
| ret i32 %shl2 | |
| } |