| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -mtriple=i386-unknown-linux-gnu %s -o - | FileCheck %s |
| |
| @f = external dso_local local_unnamed_addr global ptr, align 4 |
| @a = external dso_local global i64, align 8 |
| |
| define void @fn1() local_unnamed_addr { |
| ; CHECK-LABEL: fn1: |
| ; CHECK: # %bb.0: # %entry |
| ; CHECK-NEXT: .p2align 4 |
| ; CHECK-NEXT: .LBB0_1: # %if.end |
| ; CHECK-NEXT: # =>This Inner Loop Header: Depth=1 |
| ; CHECK-NEXT: movl a+4, %eax |
| ; CHECK-NEXT: orl a, %eax |
| ; CHECK-NEXT: movl $a, f |
| ; CHECK-NEXT: je .LBB0_3 |
| ; CHECK-NEXT: # %bb.2: # %if.end |
| ; CHECK-NEXT: # in Loop: Header=BB0_1 Depth=1 |
| ; CHECK-NEXT: jne .LBB0_1 |
| ; CHECK-NEXT: .LBB0_3: # %cond.false |
| entry: |
| br label %if.end |
| |
| if.end: ; preds = %cond.end, %entry |
| br label %if.then7 |
| |
| if.then7: ; preds = %if.end |
| store ptr @a, ptr @f, align 4 |
| %0 = load ptr, ptr @f, align 4 |
| %1 = load i64, ptr %0, align 4 |
| %tobool12 = icmp ne i64 %1, 0 |
| %2 = load i64, ptr @a, align 8 |
| %tobool13 = icmp ne i64 %2, 0 |
| %3 = and i1 %tobool12, %tobool13 |
| %tobool14.demorgan = and i1 %tobool12, %tobool13 |
| br i1 %tobool14.demorgan, label %cond.end, label %cond.false |
| |
| cond.false: ; preds = %if.then7 |
| unreachable |
| |
| cond.end: ; preds = %if.then7 |
| %conv17 = sext i1 %3 to i8 |
| br label %if.end |
| } |
