llvm/test/Transforms/JumpThreading/freeze-impliescond.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=jump-threading -S < %s | FileCheck %s
   3
   4 declare void @f()
   5
   6 define void @test1(i1 %cond, i1 %dummycond) {
   7 ; CHECK-LABEL: @test1(
   8 ; CHECK-NEXT:    br i1 [[COND:%.*]], label [[A:%.*]], label [[B:%.*]]
   9 ; CHECK:       A:
  10 ; CHECK-NEXT:    br i1 [[DUMMYCOND:%.*]], label [[REACHABLE:%.*]], label [[DUMMY:%.*]]
  11 ; CHECK:       B:
  12 ; CHECK-NEXT:    br i1 [[DUMMYCOND]], label [[REACHABLE]], label [[DUMMY]]
  13 ; CHECK:       REACHABLE:
  14 ; CHECK-NEXT:    call void @f()
  15 ; CHECK-NEXT:    ret void
  16 ; CHECK:       DUMMY:
  17 ; CHECK-NEXT:    ret void
  18 ;
  19   br i1 %cond, label %A, label %B
  20 A:
  21   br i1 %dummycond, label %A2, label %DUMMY
  22 A2:
  23   %cond.fr = freeze i1 %cond
  24   br i1 %cond.fr, label %REACHABLE, label %UNREACHABLE
  25 B:
  26   br i1 %dummycond, label %B2, label %DUMMY
  27 B2:
  28   %cond.fr2 = freeze i1 %cond
  29   br i1 %cond.fr2, label %UNREACHABLE, label %REACHABLE
  30
  31 REACHABLE:
  32   call void @f()
  33   ret void
  34 UNREACHABLE:
  35   ret void
  36 DUMMY:
  37   ret void
  38 }
  39
  40 define void @test2(i1 %cond, i1 %dummycond) {
  41 ; CHECK-LABEL: @test2(
  42 ; CHECK-NEXT:    [[COND_FR0:%.*]] = freeze i1 [[COND:%.*]]
  43 ; CHECK-NEXT:    br i1 [[COND_FR0]], label [[A:%.*]], label [[B:%.*]]
  44 ; CHECK:       A:
  45 ; CHECK-NEXT:    br i1 [[DUMMYCOND:%.*]], label [[REACHABLE:%.*]], label [[DUMMY:%.*]]
  46 ; CHECK:       B:
  47 ; CHECK-NEXT:    br i1 [[DUMMYCOND]], label [[REACHABLE]], label [[DUMMY]]
  48 ; CHECK:       REACHABLE:
  49 ; CHECK-NEXT:    call void @f()
  50 ; CHECK-NEXT:    ret void
  51 ; CHECK:       DUMMY:
  52 ; CHECK-NEXT:    ret void
  53 ;
  54   %cond.fr0 = freeze i1 %cond
  55   br i1 %cond.fr0, label %A, label %B
  56 A:
  57   br i1 %dummycond, label %A2, label %DUMMY
  58 A2:
  59   %cond.fr = freeze i1 %cond
  60   br i1 %cond.fr, label %REACHABLE, label %UNREACHABLE
  61 B:
  62   br i1 %dummycond, label %B2, label %DUMMY
  63 B2:
  64   %cond.fr2 = freeze i1 %cond
  65   br i1 %cond.fr2, label %UNREACHABLE, label %REACHABLE
  66
  67 REACHABLE:
  68   call void @f()
  69   ret void
  70 UNREACHABLE:
  71   ret void
  72 DUMMY:
  73   ret void
  74 }
  75
  76 ; In this specific example, it is still correct to fold %cond.fr into true.
  77 ; This case is unsupported because it is unclear what is the result of
  78 ; isImpliedCondition if LHS is poison or undef.
  79 ; If isImpliedCondition(poison, any value) is true,
  80 ; isImpliedCondition(and true, poison, false) is also true because 'and' propagates poison.
  81 ; However, freeze(and true, poison) does not imply false because the former can
  82 ; be frozen to true. Therefore, we cannot look through the argument of freeze (%cond.fr0)
  83 ; in general under this isImpliedCondition definition.
  84 define void @and_noopt(i32 %x, i1 %cond2, i1 %dummycond) {
  85 ; CHECK-LABEL: @and_noopt(
  86 ; CHECK-NEXT:    [[COND1:%.*]] = icmp slt i32 0, [[X:%.*]]
  87 ; CHECK-NEXT:    [[COND:%.*]] = and i1 [[COND1]], [[COND2:%.*]]
  88 ; CHECK-NEXT:    [[COND_FR0:%.*]] = freeze i1 [[COND]]
  89 ; CHECK-NEXT:    br i1 [[COND_FR0]], label [[A:%.*]], label [[B:%.*]]
  90 ; CHECK:       A:
  91 ; CHECK-NEXT:    br i1 [[DUMMYCOND:%.*]], label [[A2:%.*]], label [[DUMMY:%.*]]
  92 ; CHECK:       A2:
  93 ; CHECK-NEXT:    [[COND_FR:%.*]] = freeze i1 [[COND1]]
  94 ; CHECK-NEXT:    br i1 [[COND_FR]], label [[REACHABLE:%.*]], label [[UNREACHABLE:%.*]]
  95 ; CHECK:       B:
  96 ; CHECK-NEXT:    br i1 [[DUMMYCOND]], label [[B2:%.*]], label [[DUMMY]]
  97 ; CHECK:       B2:
  98 ; CHECK-NEXT:    [[COND_FR2:%.*]] = freeze i1 [[COND1]]
  99 ; CHECK-NEXT:    br i1 [[COND_FR2]], label [[UNREACHABLE]], label [[REACHABLE]]
 100 ; CHECK:       REACHABLE:
 101 ; CHECK-NEXT:    call void @f()
 102 ; CHECK-NEXT:    ret void
 103 ; CHECK:       UNREACHABLE:
 104 ; CHECK-NEXT:    ret void
 105 ; CHECK:       DUMMY:
 106 ; CHECK-NEXT:    ret void
 107 ;
 108   %cond1 = icmp slt i32 0, %x
 109   %cond = and i1 %cond1, %cond2
 110   %cond.fr0 = freeze i1 %cond
 111   br i1 %cond.fr0, label %A, label %B
 112 A:
 113   br i1 %dummycond, label %A2, label %DUMMY
 114 A2:
 115   %cond.fr = freeze i1 %cond1
 116   br i1 %cond.fr, label %REACHABLE, label %UNREACHABLE
 117 B:
 118   br i1 %dummycond, label %B2, label %DUMMY
 119 B2:
 120   %cond.fr2 = freeze i1 %cond1
 121   br i1 %cond.fr2, label %UNREACHABLE, label %REACHABLE
 122
 123 REACHABLE:
 124   call void @f()
 125   ret void
 126 UNREACHABLE:
 127   ret void
 128 DUMMY:
 129   ret void
 130 }
 131
 132 define void @and(i32 %x, i1 %cond2, i1 %dummycond) {
 133 ; CHECK-LABEL: @and(
 134 ; CHECK-NEXT:    [[COND1:%.*]] = icmp slt i32 0, [[X:%.*]]
 135 ; CHECK-NEXT:    [[COND:%.*]] = and i1 [[COND1]], [[COND2:%.*]]
 136 ; CHECK-NEXT:    br i1 [[COND]], label [[A:%.*]], label [[B:%.*]]
 137 ; CHECK:       A:
 138 ; CHECK-NEXT:    br i1 [[DUMMYCOND:%.*]], label [[REACHABLE:%.*]], label [[DUMMY:%.*]]
 139 ; CHECK:       B:
 140 ; CHECK-NEXT:    br i1 [[DUMMYCOND]], label [[B2:%.*]], label [[DUMMY]]
 141 ; CHECK:       B2:
 142 ; CHECK-NEXT:    [[COND_FR2:%.*]] = freeze i1 [[COND1]]
 143 ; CHECK-NEXT:    br i1 [[COND_FR2]], label [[REACHABLE]], label [[REACHABLE2:%.*]]
 144 ; CHECK:       REACHABLE:
 145 ; CHECK-NEXT:    call void @f()
 146 ; CHECK-NEXT:    ret void
 147 ; CHECK:       REACHABLE2:
 148 ; CHECK-NEXT:    call void @f()
 149 ; CHECK-NEXT:    ret void
 150 ; CHECK:       DUMMY:
 151 ; CHECK-NEXT:    ret void
 152 ;
 153   %cond1 = icmp slt i32 0, %x
 154   %cond = and i1 %cond1, %cond2
 155   br i1 %cond, label %A, label %B
 156 A:
 157   br i1 %dummycond, label %A2, label %DUMMY
 158 A2:
 159   %cond.fr = freeze i1 %cond1
 160   br i1 %cond.fr, label %REACHABLE, label %UNREACHABLE
 161 B:
 162   br i1 %dummycond, label %B2, label %DUMMY
 163 B2:
 164   %cond.fr2 = freeze i1 %cond1
 165   br i1 %cond.fr2, label %REACHABLE, label %REACHABLE2
 166
 167 REACHABLE:
 168   call void @f()
 169   ret void
 170 REACHABLE2:
 171   call void @f()
 172   ret void
 173 UNREACHABLE:
 174   ret void
 175 DUMMY:
 176   ret void
 177 }