; RUN: opt < %s -loop-unswitch -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output

define void @init_caller_save() {
entry:
	br label %cond_true78
cond_next20:		; preds = %cond_true64
	br label %bb31
bb31:		; preds = %cond_true64, %cond_true64, %cond_next20
	%iftmp.29.1 = phi i32 [ 0, %cond_next20 ], [ 0, %cond_true64 ], [ 0, %cond_true64 ]		; <i32> [#uses=0]
	br label %bb54
bb54:		; preds = %cond_true78, %bb31
	br i1 false, label %bb75, label %cond_true64
cond_true64:		; preds = %bb54
	switch i32 %i.0.0, label %cond_next20 [
		 i32 17, label %bb31
		 i32 18, label %bb31
	]
bb75:		; preds = %bb54
	%tmp74.0 = add i32 %i.0.0, 1		; <i32> [#uses=1]
	br label %cond_true78
cond_true78:		; preds = %bb75, %entry
	%i.0.0 = phi i32 [ 0, %entry ], [ %tmp74.0, %bb75 ]		; <i32> [#uses=2]
	br label %bb54
}