| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s -mtriple=i686-unknown-unknown -mcpu=haswell | FileCheck %s --check-prefix=X86 |
| ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=haswell | FileCheck %s --check-prefix=X64 |
| |
| @var_580 = external local_unnamed_addr global i8, align 1 |
| |
| define void @foo() { |
| ; X86-LABEL: foo: |
| ; X86: # %bb.0: # %entry |
| ; X86-NEXT: movsbl var_580, %eax |
| ; X86-NEXT: testl $-536870913, %eax # imm = 0xDFFFFFFF |
| ; X86-NEXT: jne .LBB0_1 |
| ; X86-NEXT: # %bb.2: # %if.end13 |
| ; X86-NEXT: retl |
| ; X86-NEXT: .LBB0_1: # %if.then11 |
| ; |
| ; X64-LABEL: foo: |
| ; X64: # %bb.0: # %entry |
| ; X64-NEXT: movsbl {{.*}}(%rip), %eax |
| ; X64-NEXT: testl $-536870913, %eax # imm = 0xDFFFFFFF |
| ; X64-NEXT: jne .LBB0_1 |
| ; X64-NEXT: # %bb.2: # %if.end13 |
| ; X64-NEXT: retq |
| ; X64-NEXT: .LBB0_1: # %if.then11 |
| entry: |
| %tmp = icmp ugt i8 undef, 60 |
| %phitmp = zext i1 %tmp to i16 |
| br label %if.end |
| |
| if.end: |
| %tmp1 = load i8, i8* @var_580, align 1 |
| %conv7 = sext i8 %tmp1 to i32 |
| %conv8 = zext i16 %phitmp to i32 |
| %mul = shl nuw nsw i32 %conv8, 1 |
| %div9 = udiv i32 %mul, 71 |
| %sub = add nsw i32 %div9, -3 |
| %shl = shl i32 1, %sub |
| %neg = xor i32 %shl, -1 |
| %and = and i32 %neg, %conv7 |
| %tobool10 = icmp eq i32 %and, 0 |
| br i1 %tobool10, label %if.end13, label %if.then11 |
| |
| if.then11: |
| unreachable |
| |
| if.end13: |
| ret void |
| } |