llvm/test/Transforms/StructurizeCFG/workarounds/needs-fr-ule.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -fix-irreducible -unify-loop-exits -structurizecfg -S | FileCheck %s
   3 define void @irreducible_mountain_bug(i1 %Pred0, i1 %Pred1, i1 %Pred2, i1 %Pred3, i1 %Pred4, i1 %Pred5, i1 %Pred6, i1 %Pred7, i1 %Pred8, i1 %Pred9, i1 %Pred10, i1 %Pred11, i1 %Pred12, i1 %Pred13) {
   4 ; CHECK-LABEL: @irreducible_mountain_bug(
   5 ; CHECK-NEXT:  entry:
   6 ; CHECK-NEXT:    [[PRED0_INV:%.*]] = xor i1 [[PRED0:%.*]], true
   7 ; CHECK-NEXT:    [[PRED1_INV:%.*]] = xor i1 [[PRED1:%.*]], true
   8 ; CHECK-NEXT:    [[PRED2_INV:%.*]] = xor i1 [[PRED2:%.*]], true
   9 ; CHECK-NEXT:    [[PRED3_INV:%.*]] = xor i1 [[PRED3:%.*]], true
  10 ; CHECK-NEXT:    [[PRED5_INV:%.*]] = xor i1 [[PRED5:%.*]], true
  11 ; CHECK-NEXT:    [[PRED4_INV:%.*]] = xor i1 [[PRED4:%.*]], true
  12 ; CHECK-NEXT:    [[PRED10_INV:%.*]] = xor i1 [[PRED10:%.*]], true
  13 ; CHECK-NEXT:    [[PRED11_INV:%.*]] = xor i1 [[PRED11:%.*]], true
  14 ; CHECK-NEXT:    [[PRED12_INV:%.*]] = xor i1 [[PRED12:%.*]], true
  15 ; CHECK-NEXT:    [[PRED13_INV:%.*]] = xor i1 [[PRED13:%.*]], true
  16 ; CHECK-NEXT:    br i1 [[PRED0_INV]], label [[IF_THEN:%.*]], label [[FLOW19:%.*]]
  17 ; CHECK:       Flow19:
  18 ; CHECK-NEXT:    [[TMP0:%.*]] = phi i1 [ false, [[FLOW3:%.*]] ], [ true, [[ENTRY:%.*]] ]
  19 ; CHECK-NEXT:    br i1 [[TMP0]], label [[IF_END:%.*]], label [[FLOW20:%.*]]
  20 ; CHECK:       if.end:
  21 ; CHECK-NEXT:    br i1 [[PRED1_INV]], label [[IF_ELSE:%.*]], label [[FLOW18:%.*]]
  22 ; CHECK:       Flow18:
  23 ; CHECK-NEXT:    [[TMP1:%.*]] = phi i1 [ false, [[IF_ELSE]] ], [ true, [[IF_END]] ]
  24 ; CHECK-NEXT:    br i1 [[TMP1]], label [[IF_THEN7:%.*]], label [[IF_END16:%.*]]
  25 ; CHECK:       if.then7:
  26 ; CHECK-NEXT:    br label [[IF_END16]]
  27 ; CHECK:       if.else:
  28 ; CHECK-NEXT:    br label [[FLOW18]]
  29 ; CHECK:       Flow20:
  30 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  31 ; CHECK:       if.end16:
  32 ; CHECK-NEXT:    br i1 [[PRED2_INV]], label [[IF_THEN39:%.*]], label [[FLOW16:%.*]]
  33 ; CHECK:       Flow16:
  34 ; CHECK-NEXT:    [[TMP2:%.*]] = phi i1 [ false, [[FLOW5:%.*]] ], [ true, [[IF_END16]] ]
  35 ; CHECK-NEXT:    br i1 [[TMP2]], label [[WHILE_COND_PREHEADER:%.*]], label [[FLOW17:%.*]]
  36 ; CHECK:       while.cond.preheader:
  37 ; CHECK-NEXT:    br label [[WHILE_COND:%.*]]
  38 ; CHECK:       Flow17:
  39 ; CHECK-NEXT:    br label [[FLOW20]]
  40 ; CHECK:       while.cond:
  41 ; CHECK-NEXT:    br i1 [[PRED3_INV]], label [[LOR_RHS:%.*]], label [[FLOW12:%.*]]
  42 ; CHECK:       Flow7:
  43 ; CHECK-NEXT:    [[TMP3:%.*]] = phi i1 [ false, [[COND_END61:%.*]] ], [ undef, [[IRR_GUARD:%.*]] ]
  44 ; CHECK-NEXT:    [[TMP4:%.*]] = phi i1 [ true, [[COND_END61]] ], [ undef, [[IRR_GUARD]] ]
  45 ; CHECK-NEXT:    [[TMP5:%.*]] = phi i1 [ [[PRED7:%.*]], [[COND_END61]] ], [ false, [[IRR_GUARD]] ]
  46 ; CHECK-NEXT:    [[TMP6:%.*]] = phi i1 [ false, [[COND_END61]] ], [ true, [[IRR_GUARD]] ]
  47 ; CHECK-NEXT:    br i1 [[TMP6]], label [[COND_TRUE49:%.*]], label [[FLOW8:%.*]]
  48 ; CHECK:       cond.true49:
  49 ; CHECK-NEXT:    br label [[FLOW8]]
  50 ; CHECK:       Flow8:
  51 ; CHECK-NEXT:    [[TMP7:%.*]] = phi i1 [ false, [[COND_TRUE49]] ], [ [[TMP3]], [[FLOW7:%.*]] ]
  52 ; CHECK-NEXT:    [[TMP8:%.*]] = phi i1 [ false, [[COND_TRUE49]] ], [ [[TMP4]], [[FLOW7]] ]
  53 ; CHECK-NEXT:    [[TMP9:%.*]] = phi i1 [ [[PRED4_INV]], [[COND_TRUE49]] ], [ [[TMP5]], [[FLOW7]] ]
  54 ; CHECK-NEXT:    br i1 [[TMP9]], label [[WHILE_BODY63:%.*]], label [[FLOW9:%.*]]
  55 ; CHECK:       while.body63:
  56 ; CHECK-NEXT:    br i1 [[PRED5_INV]], label [[WHILE_COND47:%.*]], label [[FLOW10:%.*]]
  57 ; CHECK:       Flow9:
  58 ; CHECK-NEXT:    [[TMP10:%.*]] = phi i1 [ [[TMP22:%.*]], [[FLOW10]] ], [ undef, [[FLOW8]] ]
  59 ; CHECK-NEXT:    [[TMP11:%.*]] = phi i1 [ true, [[FLOW10]] ], [ [[TMP7]], [[FLOW8]] ]
  60 ; CHECK-NEXT:    [[TMP12:%.*]] = phi i1 [ false, [[FLOW10]] ], [ [[TMP8]], [[FLOW8]] ]
  61 ; CHECK-NEXT:    [[TMP13:%.*]] = phi i1 [ false, [[FLOW10]] ], [ undef, [[FLOW8]] ]
  62 ; CHECK-NEXT:    [[TMP14:%.*]] = phi i1 [ [[TMP23:%.*]], [[FLOW10]] ], [ true, [[FLOW8]] ]
  63 ; CHECK-NEXT:    [[DOTINV11:%.*]] = xor i1 [[TMP11]], true
  64 ; CHECK-NEXT:    [[DOTINV:%.*]] = xor i1 [[TMP12]], true
  65 ; CHECK-NEXT:    br i1 [[TMP14]], label [[LOOP_EXIT_GUARD1:%.*]], label [[IRR_GUARD]]
  66 ; CHECK:       while.cond47:
  67 ; CHECK-NEXT:    br label [[FLOW10]]
  68 ; CHECK:       cond.end61:
  69 ; CHECK-NEXT:    br label [[FLOW7]]
  70 ; CHECK:       Flow14:
  71 ; CHECK-NEXT:    [[TMP15:%.*]] = phi i1 [ [[TMP20:%.*]], [[FLOW15:%.*]] ], [ undef, [[LOOP_EXIT_GUARD1]] ]
  72 ; CHECK-NEXT:    [[TMP16:%.*]] = phi i1 [ [[TMP21:%.*]], [[FLOW15]] ], [ [[DOTINV]], [[LOOP_EXIT_GUARD1]] ]
  73 ; CHECK-NEXT:    br label [[FLOW13:%.*]]
  74 ; CHECK:       if.then69:
  75 ; CHECK-NEXT:    br label [[FLOW15]]
  76 ; CHECK:       lor.rhs:
  77 ; CHECK-NEXT:    br label [[FLOW12]]
  78 ; CHECK:       while.end76:
  79 ; CHECK-NEXT:    br label [[FLOW6:%.*]]
  80 ; CHECK:       if.then39:
  81 ; CHECK-NEXT:    br i1 [[PRED10_INV]], label [[IF_END_I145:%.*]], label [[FLOW5]]
  82 ; CHECK:       if.end.i145:
  83 ; CHECK-NEXT:    br i1 [[PRED11_INV]], label [[IF_END8_I149:%.*]], label [[FLOW4:%.*]]
  84 ; CHECK:       if.end8.i149:
  85 ; CHECK-NEXT:    br label [[FLOW4]]
  86 ; CHECK:       if.then:
  87 ; CHECK-NEXT:    br i1 [[PRED12_INV]], label [[IF_END_I:%.*]], label [[FLOW3]]
  88 ; CHECK:       if.end.i:
  89 ; CHECK-NEXT:    br i1 [[PRED13_INV]], label [[IF_END8_I:%.*]], label [[FLOW:%.*]]
  90 ; CHECK:       if.end8.i:
  91 ; CHECK-NEXT:    br label [[FLOW]]
  92 ; CHECK:       Flow:
  93 ; CHECK-NEXT:    br label [[FLOW3]]
  94 ; CHECK:       Flow3:
  95 ; CHECK-NEXT:    br label [[FLOW19]]
  96 ; CHECK:       Flow4:
  97 ; CHECK-NEXT:    br label [[FLOW5]]
  98 ; CHECK:       Flow5:
  99 ; CHECK-NEXT:    br label [[FLOW16]]
 100 ; CHECK:       Flow6:
 101 ; CHECK-NEXT:    br label [[FLOW17]]
 102 ; CHECK:       exit:
 103 ; CHECK-NEXT:    ret void
 104 ; CHECK:       Flow12:
 105 ; CHECK-NEXT:    [[TMP17:%.*]] = phi i1 [ true, [[LOR_RHS]] ], [ undef, [[WHILE_COND]] ]
 106 ; CHECK-NEXT:    [[TMP18:%.*]] = phi i1 [ false, [[LOR_RHS]] ], [ true, [[WHILE_COND]] ]
 107 ; CHECK-NEXT:    [[TMP19:%.*]] = phi i1 [ [[PRED9:%.*]], [[LOR_RHS]] ], [ [[PRED3]], [[WHILE_COND]] ]
 108 ; CHECK-NEXT:    br i1 [[TMP19]], label [[IRR_GUARD]], label [[FLOW13]]
 109 ; CHECK:       irr.guard:
 110 ; CHECK-NEXT:    [[GUARD_COND_TRUE49:%.*]] = phi i1 [ [[TMP10]], [[FLOW9]] ], [ [[TMP18]], [[FLOW12]] ]
 111 ; CHECK-NEXT:    [[GUARD_COND_TRUE49_INV:%.*]] = xor i1 [[GUARD_COND_TRUE49]], true
 112 ; CHECK-NEXT:    br i1 [[GUARD_COND_TRUE49_INV]], label [[COND_END61]], label [[FLOW7]]
 113 ; CHECK:       Flow15:
 114 ; CHECK-NEXT:    [[TMP20]] = phi i1 [ false, [[IF_THEN69:%.*]] ], [ [[TMP13]], [[LOOP_EXIT_GUARD2:%.*]] ]
 115 ; CHECK-NEXT:    [[TMP21]] = phi i1 [ [[PRED8:%.*]], [[IF_THEN69]] ], [ [[DOTINV]], [[LOOP_EXIT_GUARD2]] ]
 116 ; CHECK-NEXT:    br label [[FLOW14:%.*]]
 117 ; CHECK:       loop.exit.guard:
 118 ; CHECK-NEXT:    br i1 [[TMP24:%.*]], label [[WHILE_END76:%.*]], label [[FLOW6]]
 119 ; CHECK:       Flow10:
 120 ; CHECK-NEXT:    [[TMP22]] = phi i1 [ [[PRED6:%.*]], [[WHILE_COND47]] ], [ undef, [[WHILE_BODY63]] ]
 121 ; CHECK-NEXT:    [[TMP23]] = phi i1 [ false, [[WHILE_COND47]] ], [ true, [[WHILE_BODY63]] ]
 122 ; CHECK-NEXT:    br label [[FLOW9]]
 123 ; CHECK:       Flow13:
 124 ; CHECK-NEXT:    [[TMP24]] = phi i1 [ [[TMP15]], [[FLOW14]] ], [ [[TMP17]], [[FLOW12]] ]
 125 ; CHECK-NEXT:    [[TMP25:%.*]] = phi i1 [ [[TMP16]], [[FLOW14]] ], [ true, [[FLOW12]] ]
 126 ; CHECK-NEXT:    br i1 [[TMP25]], label [[LOOP_EXIT_GUARD:%.*]], label [[WHILE_COND]]
 127 ; CHECK:       loop.exit.guard1:
 128 ; CHECK-NEXT:    br i1 [[DOTINV]], label [[LOOP_EXIT_GUARD2]], label [[FLOW14]]
 129 ; CHECK:       loop.exit.guard2:
 130 ; CHECK-NEXT:    br i1 [[DOTINV11]], label [[IF_THEN69]], label [[FLOW15]]
 131 ;
 132 entry:
 133   br i1 %Pred0, label %if.end, label %if.then
 134
 135 if.end:
 136   br i1 %Pred1, label %if.then7, label %if.else
 137
 138 if.then7:
 139   br label %if.end16
 140
 141 if.else:
 142   br label %if.end16
 143
 144 if.end16:
 145   br i1 %Pred2, label %while.cond.preheader, label %if.then39
 146
 147 while.cond.preheader:
 148   br label %while.cond
 149
 150 while.cond:
 151   br i1 %Pred3, label %cond.true49, label %lor.rhs
 152
 153 cond.true49:
 154   br i1 %Pred4, label %if.then69, label %while.body63
 155
 156 while.body63:
 157   br i1 %Pred5, label %exit, label %while.cond47
 158
 159 while.cond47:
 160   br i1 %Pred6, label %cond.true49, label %cond.end61
 161
 162 cond.end61:
 163   br i1 %Pred7, label %while.body63, label %while.cond
 164
 165 if.then69:
 166   br i1 %Pred8, label %exit, label %while.cond
 167
 168 lor.rhs:
 169   br i1 %Pred9, label %cond.end61, label %while.end76
 170
 171 while.end76:
 172   br label %exit
 173
 174 if.then39:
 175   br i1 %Pred10, label %exit, label %if.end.i145
 176
 177 if.end.i145:
 178   br i1 %Pred11, label %exit, label %if.end8.i149
 179
 180 if.end8.i149:
 181   br label %exit
 182
 183 if.then:
 184   br i1 %Pred12, label %exit, label %if.end.i
 185
 186 if.end.i:
 187   br i1 %Pred13, label %exit, label %if.end8.i
 188
 189 if.end8.i:
 190   br label %exit
 191
 192 exit:
 193   ret void
 194 }