; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s
;; Formerly crashed, see PR 1508
target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f128:64:128"
target triple = "powerpc64-unknown-linux-gnu"
	%struct.Range = type { i64, i64 }

define void @Bork(i64 %range.0.0, i64 %range.0.1, i64 %size) personality ptr @__gxx_personality_v0 {
; CHECK-LABEL: Bork:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    mflr 0
; CHECK-NEXT:    std 31, -8(1)
; CHECK-NEXT:    stdu 1, -176(1)
; CHECK-NEXT:    std 0, 192(1)
; CHECK-NEXT:    .cfi_def_cfa_offset 176
; CHECK-NEXT:    .cfi_offset r31, -8
; CHECK-NEXT:    .cfi_offset lr, 16
; CHECK-NEXT:    mr 31, 1
; CHECK-NEXT:    .cfi_def_cfa_register r31
; CHECK-NEXT:    .cfi_offset r27, -40
; CHECK-NEXT:    .cfi_offset r28, -32
; CHECK-NEXT:    .cfi_offset r29, -24
; CHECK-NEXT:    .cfi_offset r30, -16
; CHECK-NEXT:    std 29, 152(31) # 8-byte Folded Spill
; CHECK-NEXT:    mr 29, 3
; CHECK-NEXT:    rldic 3, 5, 3, 29
; CHECK-NEXT:    std 27, 136(31) # 8-byte Folded Spill
; CHECK-NEXT:    std 30, 160(31) # 8-byte Folded Spill
; CHECK-NEXT:    mr 30, 4
; CHECK-NEXT:    addi 3, 3, 15
; CHECK-NEXT:    rldicl 3, 3, 60, 4
; CHECK-NEXT:    mr 27, 1
; CHECK-NEXT:    rldicl 3, 3, 4, 28
; CHECK-NEXT:    addi 4, 31, 176
; CHECK-NEXT:    neg 3, 3
; CHECK-NEXT:    std 28, 144(31) # 8-byte Folded Spill
; CHECK-NEXT:    stdux 4, 1, 3
; CHECK-NEXT:    addi 3, 1, 112
; CHECK-NEXT:  .Ltmp0:
; CHECK-NEXT:    bl Foo
; CHECK-NEXT:    nop
; CHECK-NEXT:  .Ltmp1:
; CHECK-NEXT:  # %bb.1: # %bb30.preheader
; CHECK-NEXT:    addi 28, 31, 120
; CHECK-NEXT:    cmpldi 30, 0
; CHECK-NEXT:    beq 0, .LBB0_4
; CHECK-NEXT:  .LBB0_2: # %cond_true
; CHECK-NEXT:    #
; CHECK-NEXT:  .Ltmp3:
; CHECK-NEXT:    mr 3, 29
; CHECK-NEXT:    mr 4, 28
; CHECK-NEXT:    bl Bar
; CHECK-NEXT:    nop
; CHECK-NEXT:  .Ltmp4:
; CHECK-NEXT:  # %bb.3: # %invcont23
; CHECK-NEXT:    #
; CHECK-NEXT:    ld 3, 128(31)
; CHECK-NEXT:    sub 30, 30, 3
; CHECK-NEXT:    cmpldi 30, 0
; CHECK-NEXT:    bne 0, .LBB0_2
; CHECK-NEXT:  .LBB0_4: # %cleanup
; CHECK-NEXT:    ld 30, 160(31) # 8-byte Folded Reload
; CHECK-NEXT:    ld 29, 152(31) # 8-byte Folded Reload
; CHECK-NEXT:    ld 28, 144(31) # 8-byte Folded Reload
; CHECK-NEXT:    ld 27, 136(31) # 8-byte Folded Reload
; CHECK-NEXT:    ld 1, 0(1)
; CHECK-NEXT:    ld 0, 16(1)
; CHECK-NEXT:    ld 31, -8(1)
; CHECK-NEXT:    mtlr 0
; CHECK-NEXT:    blr
; CHECK-NEXT:  .LBB0_5: # %unwind.loopexit.split-lp
; CHECK-NEXT:  .Ltmp2:
; CHECK-NEXT:    b .LBB0_7
; CHECK-NEXT:  .LBB0_6: # %unwind.loopexit
; CHECK-NEXT:  .Ltmp5:
; CHECK-NEXT:  .LBB0_7: # %unwind
; CHECK-NEXT:    ld 4, 0(1)
; CHECK-NEXT:    mr 1, 27
; CHECK-NEXT:    std 4, 0(1)
; CHECK-NEXT:    bl _Unwind_Resume
; CHECK-NEXT:    nop
entry:
	%effectiveRange = alloca %struct.Range, align 8		; <ptr> [#uses=2]
	%tmp4 = call ptr @llvm.stacksave()		; <ptr> [#uses=1]
	%size1 = trunc i64 %size to i32		; <i32> [#uses=1]
	%tmp17 = alloca ptr, i32 %size1		; <ptr> [#uses=1]
	invoke void @Foo(ptr %tmp17)
			to label %bb30.preheader unwind label %unwind

bb30.preheader:		; preds = %entry
	%tmp26 = getelementptr %struct.Range, ptr %effectiveRange, i64 0, i32 1		; <ptr> [#uses=1]
	br label %bb30

unwind:		; preds = %cond_true, %entry
        %exn = landingpad {ptr, i32}
                 cleanup
	call void @llvm.stackrestore(ptr %tmp4)
        resume { ptr, i32 } %exn

invcont23:		; preds = %cond_true
	%tmp27 = load i64, ptr %tmp26, align 8		; <i64> [#uses=1]
	%tmp28 = sub i64 %range_addr.1.0, %tmp27		; <i64> [#uses=1]
	br label %bb30

bb30:		; preds = %invcont23, %bb30.preheader
	%range_addr.1.0 = phi i64 [ %tmp28, %invcont23 ], [ %range.0.1, %bb30.preheader ]		; <i64> [#uses=2]
	%tmp33 = icmp eq i64 %range_addr.1.0, 0		; <i1> [#uses=1]
	br i1 %tmp33, label %cleanup, label %cond_true

cond_true:		; preds = %bb30
	invoke void @Bar(i64 %range.0.0, ptr %effectiveRange)
			to label %invcont23 unwind label %unwind

cleanup:		; preds = %bb30
	ret void
}

declare ptr @llvm.stacksave() nounwind

declare void @Foo(ptr)

declare void @Bar(i64, ptr)

declare void @llvm.stackrestore(ptr) nounwind

declare i32 @__gxx_personality_v0(...)