1; RUN: opt -S -indvars -loop-idiom -verify -loop-simplifycfg -loop-idiom < %s | FileCheck %s
2
3target triple = "x86_64-unknown-linux-gnu"
4
5; CHECK-LABEL: @f1()
6; CHECK-NEXT: entry:
7define void @f1() {
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 undef, label %for.end, label %if.end
19
20if.end:                                           ; preds = %lor.end
21  br i1 undef, label %lbl1, label %for
22
23for.end:                                          ; preds = %lor.end
24  ret void
25}
26