llvm/test/Transforms/JumpThreading/PR44611-across-header-hang.ll

   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
   6 define void @foo(i32 %a) {
   7 bb_entry:
   8   br label %bb_header
   9
  10 bb_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
  16 bb_body1:
  17   %e = icmp eq i32 %a, 0
  18   br i1 %e, label %bb_body2, label %bb_header
  19
  20 bb_body2:
  21   br label %bb_header
  22 }