; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output
; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
; ModuleID = 'PhiSelfReference-1.bc'

define void @snrm2(i32 %incx) {
entry:
	br i1 false, label %START, label %return

START:		; preds = %entry
	br i1 false, label %bb85, label %cond_false93

bb52:		; preds = %bb85
	br i1 false, label %bb307, label %cond_next71

cond_next71:		; preds = %bb52
	ret void

bb85:		; preds = %START
	br i1 false, label %bb52, label %bb88

bb88:		; preds = %bb85
	ret void

cond_false93:		; preds = %START
	ret void

bb243:		; preds = %bb307
	br label %bb307

bb307:		; preds = %bb243, %bb52
	%sx_addr.2.pn = phi float* [ %sx_addr.5, %bb243 ], [ null, %bb52 ]		; <float*> [#uses=1]
	%sx_addr.5 = getelementptr float, float* %sx_addr.2.pn, i32 %incx		; <float*> [#uses=1]
	br i1 false, label %bb243, label %bb310

bb310:		; preds = %bb307
	ret void

return:		; preds = %entry
	ret void
}