1; RUN: opt -loop-reduce -verify < %s 2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 4target triple = "x86_64--linux-gnu" 5 6define void @unbounded() { 7 8block_A: 9 %0 = sext i32 undef to i64 10 br i1 undef, label %block_F, label %block_G 11 12block_C: ; preds = %block_F 13 br i1 undef, label %block_D, label %block_E 14 15block_D: ; preds = %block_D, %block_C 16 br i1 undef, label %block_E, label %block_D 17 18block_E: ; preds = %block_D, %block_C 19 %iv2 = phi i64 [ %4, %block_D ], [ %4, %block_C ] 20 %1 = add nsw i32 %iv1, 1 21 %2 = icmp eq i32 %1, undef 22 br i1 %2, label %block_G, label %block_F 23 24block_F: ; preds = %block_E, %block_A 25 %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, 2 28 %4 = add nsw i64 %iv3, 1 29 br label %block_C 30 31block_G: ; preds = %block_E, %block_A 32 ret void 33} 34