llvm/test/Transforms/StructurizeCFG/workarounds/needs-fix-reducible.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -fix-irreducible -structurizecfg -S | FileCheck %s
   3
   4 ; Both B1 and B4 are headers of an irreducible cycle. But in the
   5 ; structurized version, B1 dominates B4. The program is structurized
   6 ; correctly when the irreducible cycle is fixed.
   7
   8 define void @irreducible(i1 %PredEntry, i1 %PredB1, i1 %PredB2, i1 %PredB3, i1 %PredB4)
   9 ; CHECK-LABEL: @irreducible(
  10 ; CHECK-NEXT:  entry:
  11 ; CHECK-NEXT:    [[PREDB2_INV:%.*]] = xor i1 [[PREDB2:%.*]], true
  12 ; CHECK-NEXT:    [[PREDB1_INV:%.*]] = xor i1 [[PREDB1:%.*]], true
  13 ; CHECK-NEXT:    br label [[IRR_GUARD:%.*]]
  14 ; CHECK:       Flow:
  15 ; CHECK-NEXT:    [[TMP0:%.*]] = phi i1 [ [[PREDB4:%.*]], [[B4:%.*]] ], [ false, [[IRR_GUARD]] ]
  16 ; CHECK-NEXT:    [[TMP1:%.*]] = phi i1 [ false, [[B4]] ], [ true, [[IRR_GUARD]] ]
  17 ; CHECK-NEXT:    br i1 [[TMP1]], label [[B1:%.*]], label [[FLOW1:%.*]]
  18 ; CHECK:       B1:
  19 ; CHECK-NEXT:    br label [[FLOW1]]
  20 ; CHECK:       Flow1:
  21 ; CHECK-NEXT:    [[TMP2:%.*]] = phi i1 [ [[PREDB1_INV]], [[B1]] ], [ [[TMP0]], [[FLOW:%.*]] ]
  22 ; CHECK-NEXT:    br i1 [[TMP2]], label [[B2:%.*]], label [[FLOW2:%.*]]
  23 ; CHECK:       B2:
  24 ; CHECK-NEXT:    br i1 [[PREDB2_INV]], label [[B3:%.*]], label [[FLOW3:%.*]]
  25 ; CHECK:       Flow2:
  26 ; CHECK-NEXT:    [[TMP3:%.*]] = phi i1 [ [[TMP5:%.*]], [[FLOW3]] ], [ undef, [[FLOW1]] ]
  27 ; CHECK-NEXT:    [[TMP4:%.*]] = phi i1 [ [[TMP6:%.*]], [[FLOW3]] ], [ true, [[FLOW1]] ]
  28 ; CHECK-NEXT:    br i1 [[TMP4]], label [[EXIT:%.*]], label [[IRR_GUARD]]
  29 ; CHECK:       B3:
  30 ; CHECK-NEXT:    br label [[FLOW3]]
  31 ; CHECK:       B4:
  32 ; CHECK-NEXT:    br label [[FLOW]]
  33 ; CHECK:       Flow3:
  34 ; CHECK-NEXT:    [[TMP5]] = phi i1 [ [[PREDB3:%.*]], [[B3]] ], [ undef, [[B2]] ]
  35 ; CHECK-NEXT:    [[TMP6]] = phi i1 [ false, [[B3]] ], [ true, [[B2]] ]
  36 ; CHECK-NEXT:    br label [[FLOW2]]
  37 ; CHECK:       exit:
  38 ; CHECK-NEXT:    ret void
  39 ; CHECK:       irr.guard:
  40 ; CHECK-NEXT:    [[GUARD_B1:%.*]] = phi i1 [ [[PREDENTRY:%.*]], [[ENTRY:%.*]] ], [ [[TMP3]], [[FLOW2]] ]
  41 ; CHECK-NEXT:    [[GUARD_B1_INV:%.*]] = xor i1 [[GUARD_B1]], true
  42 ; CHECK-NEXT:    br i1 [[GUARD_B1_INV]], label [[B4]], label [[FLOW]]
  43 ;
  44 {
  45 entry:
  46   br i1 %PredEntry, label %B1, label %B4
  47
  48 B1:
  49   br i1 %PredB1, label %exit, label %B2
  50
  51 B2:
  52   br i1 %PredB2, label %exit, label %B3
  53
  54 B3:
  55   br i1 %PredB3, label %B1, label %B4
  56
  57 B4:
  58   br i1 %PredB4, label %B2, label %exit
  59
  60 exit:
  61   ret void
  62 }