llvm-mirror/test/Transforms/SimplifyCFG/2008-09-17-SpeculativeHoist.ll

; RUN: opt %s -simplifycfg -disable-output
; PR 2800

define void @foo() {
start:
	%tmp = call i1 @bar( )		; <i1> [#uses=4]
	br i1 %tmp, label %brtrue, label %brfalse

brtrue:		; preds = %start
	%tmpnew = and i1 %tmp, %tmp		; <i1> [#uses=1]
	br label %brfalse

brfalse:		; preds = %brtrue, %start
	%andandtmp.0 = phi i1 [ %tmp, %start ], [ %tmpnew, %brtrue ]		; <i1> [#uses=0]
	ret void
}

declare i1 @bar()
Change these tests to feed the assembly files to opt directly, instead of using llvm-as, now that opt supports this. llvm-svn: 81226 2009-09-08 16:50:01 +00:00			`; RUN: opt %s -simplifycfg -disable-output`
Do not hoist instruction above branch condition. The instruction may use branch condition. llvm-svn: 56286 2008-09-17 18:21:49 +00:00			`; PR 2800`

			`define void @foo() {`
			`start:`
			`%tmp = call i1 @bar( ) ; <i1> [#uses=4]`
			`br i1 %tmp, label %brtrue, label %brfalse`

			`brtrue: ; preds = %start`
			`%tmpnew = and i1 %tmp, %tmp ; <i1> [#uses=1]`
			`br label %brfalse`

			`brfalse: ; preds = %brtrue, %start`
			`%andandtmp.0 = phi i1 [ %tmp, %start ], [ %tmpnew, %brtrue ] ; <i1> [#uses=0]`
			`ret void`
			`}`

			`declare i1 @bar()`