xref: /llvm-project/llvm/test/Transforms/LoopIdiom/scev-invalidation_topmostloop.ll (revision ead9ad2960ab72bf6142d8aeb164a097a7e407db) 
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
3target triple = "x86_64-unknown-linux-gnu"
4
5; CHECK-LABEL: @f1(i1 %arg)
6; CHECK-NEXT: entry:
7define void @f1(i1 %arg) {
8entry:
9  br label %lbl1
10
11lbl1:                                             ; preds = %if.end, %entry
12  br label %for
13
14for:                                              ; preds = %if.end, %lbl1
15  br label %lor.end
16
17lor.end:                                          ; preds = %for
18  br i1 %arg, label %for.end, label %if.end
19
20if.end:                                           ; preds = %lor.end
21  br i1 %arg, label %lbl1, label %for
22
23for.end:                                          ; preds = %lor.end
24  ret void
25}
26