llvm/test/Transforms/LoopIdiom/scev-invalidation_topmostloop.ll

   1 ; RUN: opt -S -passes='loop(indvars,loop-idiom),verify,loop(loop-simplifycfg,loop-idiom)' -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s
   2
   3 target triple = "x86_64-unknown-linux-gnu"
   4
   5 ; CHECK-LABEL: @f1()
   6 ; CHECK-NEXT: entry:
   7 define void @f1() {
   8 entry:
   9   br label %lbl1
  10
  11 lbl1:                                             ; preds = %if.end, %entry
  12   br label %for
  13
  14 for:                                              ; preds = %if.end, %lbl1
  15   br label %lor.end
  16
  17 lor.end:                                          ; preds = %for
  18   br i1 undef, label %for.end, label %if.end
  19
  20 if.end:                                           ; preds = %lor.end
  21   br i1 undef, label %lbl1, label %for
  22
  23 for.end:                                          ; preds = %lor.end
  24   ret void
  25 }