| ; RUN: opt -loop-reduce -verify < %s |
| |
| target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64--linux-gnu" |
| |
| define void @unbounded() { |
| |
| block_A: |
| %0 = sext i32 undef to i64 |
| br i1 undef, label %block_F, label %block_G |
| |
| block_C: ; preds = %block_F |
| br i1 undef, label %block_D, label %block_E |
| |
| block_D: ; preds = %block_D, %block_C |
| br i1 undef, label %block_E, label %block_D |
| |
| block_E: ; preds = %block_D, %block_C |
| %iv2 = phi i64 [ %4, %block_D ], [ %4, %block_C ] |
| %1 = add nsw i32 %iv1, 1 |
| %2 = icmp eq i32 %1, undef |
| br i1 %2, label %block_G, label %block_F |
| |
| block_F: ; preds = %block_E, %block_A |
| %iv3 = phi i64 [ %iv2, %block_E ], [ %0, %block_A ] |
| %iv1 = phi i32 [ %1, %block_E ], [ undef, %block_A ] |
| %3 = add nsw i64 %iv3, 2 |
| %4 = add nsw i64 %iv3, 1 |
| br label %block_C |
| |
| block_G: ; preds = %block_E, %block_A |
| ret void |
| } |