llvm/test/Transforms/NewGVN/sq-ctxi.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
   3
   4 ; github issue #56039
   5 define i8 @src(ptr %a, ptr %b, i1 %c) {
   6 ; CHECK-LABEL: @src(
   7 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
   8 ; CHECK:       bb1:
   9 ; CHECK-NEXT:    [[LB1:%.*]] = load i8, ptr [[B:%.*]], align 1
  10 ; CHECK-NEXT:    [[TOBOOL3_NOT_I:%.*]] = icmp eq i8 [[LB1]], 0
  11 ; CHECK-NEXT:    br i1 [[TOBOOL3_NOT_I]], label [[BB4:%.*]], label [[BB3:%.*]]
  12 ; CHECK:       bb2:
  13 ; CHECK-NEXT:    [[LB2:%.*]] = load i8, ptr [[B]], align 1
  14 ; CHECK-NEXT:    [[CMP_NOT_I:%.*]] = icmp ult i8 0, [[LB2]]
  15 ; CHECK-NEXT:    tail call void @llvm.assume(i1 [[CMP_NOT_I]])
  16 ; CHECK-NEXT:    br label [[BB3]]
  17 ; CHECK:       bb3:
  18 ; CHECK-NEXT:    [[LA:%.*]] = load i8, ptr [[A:%.*]], align 1
  19 ; CHECK-NEXT:    br label [[BB4]]
  20 ; CHECK:       bb4:
  21 ; CHECK-NEXT:    ret i8 0
  22 ;
  23   br i1 %c, label %bb1, label %bb2
  24
  25 bb1:
  26   %lb1 = load i8, ptr %b
  27   %tobool3.not.i = icmp eq i8 %lb1, 0
  28   br i1 %tobool3.not.i, label %bb4, label %bb3
  29
  30 bb2:
  31   %lb2 = load i8, ptr %b
  32   %cmp.not.i = icmp ult i8 0, %lb2
  33   tail call void @llvm.assume(i1 %cmp.not.i)
  34   br label %bb3
  35
  36 bb3:
  37   %p = phi i8 [ %lb1, %bb1 ], [ %lb2, %bb2 ]
  38   %la = load i8, ptr %a
  39   %xor = xor i8 %la, %p
  40   br label %bb4
  41
  42 bb4:
  43   ret i8 0
  44 }
  45
  46 declare void @llvm.assume(i1)