test/Transforms/JumpThreading/pr15851_hang.ll

   1 ; RUN: opt -S -jump-threading < %s | FileCheck %s
   2
   3 ; CHECK-LABEL: @f(
   4 ; CHECK-LABEL: entry
   5 ; CHECK: ret void
   6 ; CHECK-NOT: for.cond1
   7 ; CHECK-NOT: for.body
   8
   9 define void @f() {
  10 entry:
  11   ret void
  12
  13 for.cond1:
  14   %i.025 = phi i32 [ %inc, %for.body ], [ %inc, %for.body ], [ 1, %for.cond1 ]
  15   %cmp = icmp slt i32 %i.025, 2
  16   br i1 %cmp, label %for.body, label %for.cond1
  17
  18 for.body:
  19   %inc = add nsw i32 %i.025, 0
  20   %a = icmp ugt i32 %inc, 2
  21   br i1 %a, label %for.cond1, label %for.cond1
  22 }