1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2 ; RUN: llc -mtriple=i386-unknown-linux-gnu %s -o - | FileCheck %s 3 4 @f = external local_unnamed_addr global i64*, align 4 5 @a = external global i64, align 8 6 7 define void @fn1() local_unnamed_addr { 8 ; CHECK-LABEL: fn1: 9 ; CHECK: # %bb.0: # %entry 10 ; CHECK-NEXT: .p2align 4, 0x90 11 ; CHECK-NEXT: .LBB0_1: # %if.end 12 ; CHECK-NEXT: # =>This Inner Loop Header: Depth=1 13 ; CHECK-NEXT: movl a+4, %eax 14 ; CHECK-NEXT: orl a, %eax 15 ; CHECK-NEXT: movl $a, f 16 ; CHECK-NEXT: je .LBB0_3 17 ; CHECK-NEXT: # %bb.2: # %if.end 18 ; CHECK-NEXT: # in Loop: Header=BB0_1 Depth=1 19 ; CHECK-NEXT: jne .LBB0_1 20 ; CHECK-NEXT: .LBB0_3: # %cond.false 21 entry: 22 br label %if.end 23 24 if.end: ; preds = %cond.end, %entry 25 br label %if.then7 26 27 if.then7: ; preds = %if.end 28 store i64* @a, i64** @f, align 4 29 %0 = load i64*, i64** @f, align 4 30 %1 = load i64, i64* %0, align 4 31 %tobool12 = icmp ne i64 %1, 0 32 %2 = load i64, i64* @a, align 8 33 %tobool13 = icmp ne i64 %2, 0 34 %3 = and i1 %tobool12, %tobool13 35 %tobool14.demorgan = and i1 %tobool12, %tobool13 36 br i1 %tobool14.demorgan, label %cond.end, label %cond.false 37 38 cond.false: ; preds = %if.then7 39 unreachable 40 41 cond.end: ; preds = %if.then7 42 %conv17 = sext i1 %3 to i8 43 br label %if.end 44 } 45