llvm/test/Transforms/InstSimplify/phi.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
   3
   4 ; PR12189
   5 define i1 @test1(i32 %x) {
   6 ; CHECK-LABEL: @test1(
   7 ; CHECK-NEXT:    br i1 true, label [[A:%.*]], label [[B:%.*]]
   8 ; CHECK:       a:
   9 ; CHECK-NEXT:    [[AA:%.*]] = or i32 [[X:%.*]], 10
  10 ; CHECK-NEXT:    br label [[C:%.*]]
  11 ; CHECK:       b:
  12 ; CHECK-NEXT:    [[BB:%.*]] = or i32 [[X]], 10
  13 ; CHECK-NEXT:    br label [[C]]
  14 ; CHECK:       c:
  15 ; CHECK-NEXT:    [[CC:%.*]] = phi i32 [ [[BB]], [[B]] ], [ [[AA]], [[A]] ]
  16 ; CHECK-NEXT:    [[D:%.*]] = urem i32 [[CC]], 2
  17 ; CHECK-NEXT:    [[E:%.*]] = icmp eq i32 [[D]], 0
  18 ; CHECK-NEXT:    ret i1 [[E]]
  19 ;
  20   br i1 true, label %a, label %b
  21
  22 a:
  23   %aa = or i32 %x, 10
  24   br label %c
  25
  26 b:
  27   %bb = or i32 %x, 10
  28   br label %c
  29
  30 c:
  31   %cc = phi i32 [ %bb, %b ], [%aa, %a ]
  32   %d = urem i32 %cc, 2
  33   %e = icmp eq i32 %d, 0
  34   ret i1 %e
  35 }
  36
  37 ; D63489 - https://reviews.llvm.org/D63489
  38 ; If this single-value phi form needs to be preserved to enable
  39 ; further analysis, then -passes=instsimplify should not be running?
  40
  41 define i32 @lcssa-phi(i32 %x) {
  42 ; CHECK-LABEL: @lcssa-phi(
  43 ; CHECK-NEXT:  entry:
  44 ; CHECK-NEXT:    br label [[END:%.*]]
  45 ; CHECK:       end:
  46 ; CHECK-NEXT:    ret i32 [[X:%.*]]
  47 ;
  48 entry:
  49   br label %end
  50
  51 end:
  52   %counter.lcssa = phi i32 [ %x, %entry ]
  53   ret i32 %counter.lcssa
  54 }
  55
  56 define i32 @poison(i1 %cond, i32 %v) {
  57 ; CHECK-LABEL: @poison(
  58 ; CHECK-NEXT:    br i1 [[COND:%.*]], label [[A:%.*]], label [[B:%.*]]
  59 ; CHECK:       A:
  60 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  61 ; CHECK:       B:
  62 ; CHECK-NEXT:    br label [[EXIT]]
  63 ; CHECK:       EXIT:
  64 ; CHECK-NEXT:    ret i32 [[V:%.*]]
  65 ;
  66   br i1 %cond, label %A, label %B
  67 A:
  68   br label %EXIT
  69 B:
  70   br label %EXIT
  71 EXIT:
  72   %w = phi i32 [%v, %A], [poison, %B]
  73   ret i32 %w
  74 }
  75
  76 define i32 @undef(i1 %cond, i32 %v) {
  77 ; CHECK-LABEL: @undef(
  78 ; CHECK-NEXT:    br i1 [[COND:%.*]], label [[A:%.*]], label [[B:%.*]]
  79 ; CHECK:       A:
  80 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  81 ; CHECK:       B:
  82 ; CHECK-NEXT:    br label [[EXIT]]
  83 ; CHECK:       EXIT:
  84 ; CHECK-NEXT:    ret i32 [[V:%.*]]
  85 ;
  86   br i1 %cond, label %A, label %B
  87 A:
  88   br label %EXIT
  89 B:
  90   br label %EXIT
  91 EXIT:
  92   %w = phi i32 [%v, %A], [undef, %B]
  93   ret i32 %w
  94 }
  95
  96 define i8 @undef_poison(i1 %cond) {
  97 ; CHECK-LABEL: @undef_poison(
  98 ; CHECK-NEXT:    br i1 [[COND:%.*]], label [[A:%.*]], label [[B:%.*]]
  99 ; CHECK:       A:
 100 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 101 ; CHECK:       B:
 102 ; CHECK-NEXT:    br label [[EXIT]]
 103 ; CHECK:       EXIT:
 104 ; CHECK-NEXT:    ret i8 undef
 105 ;
 106   br i1 %cond, label %A, label %B
 107 A:
 108   br label %EXIT
 109 B:
 110   br label %EXIT
 111 EXIT:
 112   %r = phi i8 [undef, %A], [poison, %B]
 113   ret i8 %r
 114 }
 115
 116 define i8 @only_undef(i1 %cond) {
 117 ; CHECK-LABEL: @only_undef(
 118 ; CHECK-NEXT:    br i1 [[COND:%.*]], label [[A:%.*]], label [[B:%.*]]
 119 ; CHECK:       A:
 120 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 121 ; CHECK:       B:
 122 ; CHECK-NEXT:    br label [[EXIT]]
 123 ; CHECK:       EXIT:
 124 ; CHECK-NEXT:    ret i8 undef
 125 ;
 126   br i1 %cond, label %A, label %B
 127 A:
 128   br label %EXIT
 129 B:
 130   br label %EXIT
 131 EXIT:
 132   %r = phi i8 [undef, %A], [undef, %B]
 133   ret i8 %r
 134 }
 135
 136 define i8 @only_poison(i1 %cond) {
 137 ; CHECK-LABEL: @only_poison(
 138 ; CHECK-NEXT:    br i1 [[COND:%.*]], label [[A:%.*]], label [[B:%.*]]
 139 ; CHECK:       A:
 140 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 141 ; CHECK:       B:
 142 ; CHECK-NEXT:    br label [[EXIT]]
 143 ; CHECK:       EXIT:
 144 ; CHECK-NEXT:    ret i8 undef
 145 ;
 146   br i1 %cond, label %A, label %B
 147 A:
 148   br label %EXIT
 149 B:
 150   br label %EXIT
 151 EXIT:
 152   %r = phi i8 [poison, %A], [poison, %B]
 153   ret i8 %r
 154 }
 155
 156 ; Should not fold srem to -1 due to incorrect context instruction when
 157 ; threading over phi.
 158 define i32 @pr61312() {
 159 ; CHECK-LABEL: @pr61312(
 160 ; CHECK-NEXT:  entry:
 161 ; CHECK-NEXT:    br label [[FOR_COND:%.*]]
 162 ; CHECK:       for.cond:
 163 ; CHECK-NEXT:    [[A_0:%.*]] = phi i32 [ 2, [[ENTRY:%.*]] ], [ [[DEC:%.*]], [[FOR_INC:%.*]] ]
 164 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sge i32 [[A_0]], 0
 165 ; CHECK-NEXT:    br i1 [[CMP]], label [[FOR_INC]], label [[FOR_END:%.*]]
 166 ; CHECK:       for.inc:
 167 ; CHECK-NEXT:    [[DEC]] = add nsw i32 [[A_0]], -1
 168 ; CHECK-NEXT:    br label [[FOR_COND]]
 169 ; CHECK:       for.end:
 170 ; CHECK-NEXT:    [[REM:%.*]] = srem i32 -1, [[A_0]]
 171 ; CHECK-NEXT:    ret i32 [[REM]]
 172 ;
 173 entry:
 174   br label %for.cond
 175
 176 for.cond:
 177   %a.0 = phi i32 [ 2, %entry ], [ %dec, %for.inc ]
 178   %cmp = icmp sge i32 %a.0, 0
 179   br i1 %cmp, label %for.inc, label %for.end
 180
 181 for.inc:
 182   %dec = add nsw i32 %a.0, -1
 183   br label %for.cond
 184
 185 for.end:
 186   %rem = srem i32 -1, %a.0
 187   ret i32 %rem
 188 }