| ; 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 |
| } |