1; RUN: opt -S < %s -jump-threading -jump-threading-across-loop-headers | FileCheck %s
2
3; CHECK-LABEL: @foo
4; Just check that we don't hang on this test.
5
6define void @foo(i32 %a) {
7bb_entry:
8  br label %bb_header
9
10bb_header:
11  %b = phi i32 [ %c, %bb_header ], [ 0, %bb_body1 ], [ 2, %bb_body2 ], [ 0, %bb_entry ]
12  %c = add nuw nsw i32 %b, 1
13  %d = icmp ult i32 %c, 6
14  br i1 %d, label %bb_header, label %bb_body1
15
16bb_body1:
17  %e = icmp eq i32 %a, 0
18  br i1 %e, label %bb_body2, label %bb_header
19
20bb_body2:
21  br label %bb_header
22}
23