test/Transforms/Util/PR37334-break-crit-edges-require-dt.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -loop-sink -break-crit-edges -branch-prob -S | FileCheck %s
   3 ; RUN: opt < %s -loop-sink -break-crit-edges -lazy-block-freq -S | FileCheck %s
   4 ; RUN: opt < %s -loop-sink -break-crit-edges -lazy-branch-prob -S | FileCheck %s
   5
   6 ; BreakCriticalEdges tries to update LI and DT if they are present. However,
   7 ; updating LI actually needs a DT, so we now require DT in
   8 ; BranchProbabilityInfo/LazyBlockFrequencyInfo/LazyBranchProbabilityInfo so it
   9 ; is indeed available when LI is.
  10
  11 target triple = "x86_64-unknown-linux-gnu"
  12
  13 define void @f1() {
  14 ; CHECK-LABEL: @f1(
  15 ; CHECK-NEXT:  entry:
  16 ; CHECK-NEXT:    br label [[FOR_COND:%.*]]
  17 ; CHECK:       for.cond:
  18 ; CHECK-NEXT:    br i1 false, label [[FOR_BODY:%.*]], label [[FOR_COND_FOR_END_CRIT_EDGE:%.*]]
  19 ; CHECK:       for.cond.for.end_crit_edge:
  20 ; CHECK-NEXT:    br label [[FOR_END:%.*]]
  21 ; CHECK:       for.body:
  22 ; CHECK-NEXT:    br i1 true, label [[FOR_ENDSPLIT:%.*]], label [[FOR_INC:%.*]]
  23 ; CHECK:       for.inc:
  24 ; CHECK-NEXT:    br label [[FOR_COND]]
  25 ; CHECK:       for.endsplit:
  26 ; CHECK-NEXT:    br label [[FOR_END]]
  27 ; CHECK:       for.end:
  28 ; CHECK-NEXT:    ret void
  29 ;
  30 entry:
  31   br label %for.cond
  32
  33 for.cond:                                         ; preds = %for.inc, %entry
  34   br i1 undef, label %for.body, label %for.end
  35
  36 for.body:                                         ; preds = %for.cond
  37   br i1 undef, label %for.end, label %for.inc
  38
  39 for.inc:                                          ; preds = %for.body
  40   br label %for.cond
  41
  42 for.end:                                          ; preds = %for.body, %for.cond
  43   ret void
  44 }