34 lines · plain
1; RUN: opt -loop-reduce -verify < %s2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64--linux-gnu"5 6define void @unbounded(i1 %arg) {7 8block_A:9 %0 = sext i32 undef to i6410 br i1 %arg, label %block_F, label %block_G11 12block_C: ; preds = %block_F13 br i1 %arg, label %block_D, label %block_E14 15block_D: ; preds = %block_D, %block_C16 br i1 %arg, label %block_E, label %block_D17 18block_E: ; preds = %block_D, %block_C19 %iv2 = phi i64 [ %4, %block_D ], [ %4, %block_C ]20 %1 = add nsw i32 %iv1, 121 %2 = icmp eq i32 %1, undef22 br i1 %2, label %block_G, label %block_F23 24block_F: ; preds = %block_E, %block_A25 %iv3 = phi i64 [ %iv2, %block_E ], [ %0, %block_A ]26 %iv1 = phi i32 [ %1, %block_E ], [ undef, %block_A ]27 %3 = add nsw i64 %iv3, 228 %4 = add nsw i64 %iv3, 129 br label %block_C30 31block_G: ; preds = %block_E, %block_A32 ret void33}34