1 ; RUN: opt -S -jump-threading < %s | FileCheck %s
7 ; JumpThreading must detect the next two blocks are unreachable from entry
8 ; and leave them alone. A subsequent pass will remove them from @f.
13 ; CHECK-NEXT: br i1 %cmp, label %for.body, label %for.cond1
17 ; CHECK-NEXT: br i1 %a, label %for.cond1, label %for.cond1
24 %i.025 = phi i32 [ %inc, %for.body ], [ %inc, %for.body ], [ 1, %for.cond1 ]
25 %cmp = icmp slt i32 %i.025, 2
26 br i1 %cmp, label %for.body, label %for.cond1
29 %inc = add nsw i32 %i.025, 0
30 %a = icmp ugt i32 %inc, 2
31 br i1 %a, label %for.cond1, label %for.cond1