test/CodeGen/X86/pr37916.ll

   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 }