; 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(i1 %arg) {

block_A:
  %0 = sext i32 undef to i64
  br i1 %arg, label %block_F, label %block_G

block_C:                ; preds = %block_F
  br i1 %arg, label %block_D, label %block_E

block_D:                  ; preds = %block_D, %block_C
  br i1 %arg, 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
}
