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:    [[PREDENTRY_INV:%.*]] = xor i1 [[PREDENTRY:%.*]], true
  13 ; CHECK-NEXT:    br label [[IRR_GUARD:%.*]]
  14 ; CHECK:       Flow4:
  15 ; CHECK-NEXT:    [[TMP0:%.*]] = phi i1 [ true, [[B3:%.*]] ], [ undef, [[B2:%.*]] ]
  16 ; CHECK-NEXT:    [[TMP1:%.*]] = phi i1 [ [[PREDB3:%.*]], [[B3]] ], [ true, [[B2]] ]
  17 ; CHECK-NEXT:    [[TMP2:%.*]] = phi i1 [ [[PREDB3]], [[B3]] ], [ false, [[B2]] ]
  18 ; CHECK-NEXT:    br label [[FLOW3:%.*]]
  19 ; CHECK:       B1:
  20 ; CHECK-NEXT:    br label [[FLOW5:%.*]]
  21 ; CHECK:       Flow2:
  22 ; CHECK-NEXT:    [[TMP3:%.*]] = phi i1 [ [[TMP9:%.*]], [[FLOW5]] ], [ [[TMP11:%.*]], [[FLOW:%.*]] ]
  23 ; CHECK-NEXT:    [[TMP4:%.*]] = phi i1 [ [[TMP10:%.*]], [[FLOW5]] ], [ [[TMP12:%.*]], [[FLOW]] ]
  24 ; CHECK-NEXT:    [[TMP5:%.*]] = phi i1 [ [[TMP7:%.*]], [[FLOW5]] ], [ true, [[FLOW]] ]
  25 ; CHECK-NEXT:    br i1 true, label [[FLOW6:%.*]], label [[FLOW]]
  26 ; CHECK:       B2:
  27 ; CHECK-NEXT:    br i1 [[PREDB2_INV]], label [[B3]], label [[FLOW4:%.*]]
  28 ; CHECK:       Flow3:
  29 ; CHECK-NEXT:    [[TMP6:%.*]] = phi i1 [ [[TMP0]], [[FLOW4]] ], [ undef, [[IRR_GUARD1:%.*]] ]
  30 ; CHECK-NEXT:    [[TMP7]] = phi i1 [ [[TMP1]], [[FLOW4]] ], [ true, [[IRR_GUARD1]] ]
  31 ; CHECK-NEXT:    [[TMP8:%.*]] = phi i1 [ [[TMP2]], [[FLOW4]] ], [ true, [[IRR_GUARD1]] ]
  32 ; CHECK-NEXT:    br i1 [[TMP8]], label [[B1:%.*]], label [[FLOW5]]
  33 ; CHECK:       B3:
  34 ; CHECK-NEXT:    br label [[FLOW4]]
  35 ; CHECK:       B4:
  36 ; CHECK-NEXT:    br label [[FLOW]]
  37 ; CHECK:       Flow5:
  38 ; CHECK-NEXT:    [[TMP9]] = phi i1 [ undef, [[B1]] ], [ [[TMP6]], [[FLOW3]] ]
  39 ; CHECK-NEXT:    [[TMP10]] = phi i1 [ true, [[B1]] ], [ undef, [[FLOW3]] ]
  40 ; CHECK-NEXT:    br label [[FLOW2:%.*]]
  41 ; CHECK:       Flow6:
  42 ; CHECK-NEXT:    br i1 [[TMP5]], label [[EXIT:%.*]], label [[IRR_GUARD]]
  43 ; CHECK:       exit:
  44 ; CHECK-NEXT:    ret void
  45 ; CHECK:       irr.guard:
  46 ; CHECK-NEXT:    [[GUARD_B4:%.*]] = phi i1 [ [[PREDENTRY_INV]], [[ENTRY:%.*]] ], [ [[TMP3]], [[FLOW6]] ]
  47 ; CHECK-NEXT:    br i1 [[GUARD_B4]], label [[B4:%.*]], label [[FLOW]]
  48 ; CHECK:       Flow:
  49 ; CHECK-NEXT:    [[TMP11]] = phi i1 [ [[TMP3]], [[FLOW2]] ], [ undef, [[B4]] ], [ undef, [[IRR_GUARD]] ]
  50 ; CHECK-NEXT:    [[TMP12]] = phi i1 [ [[TMP4]], [[FLOW2]] ], [ true, [[B4]] ], [ false, [[IRR_GUARD]] ]
  51 ; CHECK-NEXT:    [[TMP13:%.*]] = phi i1 [ false, [[FLOW2]] ], [ [[PREDB4:%.*]], [[B4]] ], [ true, [[IRR_GUARD]] ]
  52 ; CHECK-NEXT:    br i1 [[TMP13]], label [[IRR_GUARD1]], label [[FLOW2]]
  53 ; CHECK:       irr.guard1:
  54 ; CHECK-NEXT:    br i1 [[TMP12]], label [[B2]], label [[FLOW3]]
  55 ;
  56 {
  57 entry:
  58   br i1 %PredEntry, label %B1, label %B4
  59
  60 B1:
  61   br i1 %PredB1, label %exit, label %B2
  62
  63 B2:
  64   br i1 %PredB2, label %exit, label %B3
  65
  66 B3:
  67   br i1 %PredB3, label %B1, label %B4
  68
  69 B4:
  70   br i1 %PredB4, label %B2, label %exit
  71
  72 exit:
  73   ret void
  74 }