view test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll @ 100:7d135dc70f03 LLVM 3.9

LLVM 3.9
author Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
date Tue, 26 Jan 2016 22:53:40 +0900
parents 95c75e76d11b
children
line wrap: on
line source

; This testcases makes sure that mem2reg can handle unreachable blocks.
; RUN: opt < %s -mem2reg

define i32 @test() {
	%X = alloca i32		; <i32*> [#uses=2]
	store i32 6, i32* %X
	br label %Loop
Loop:		; preds = %EndOfLoop, %0
	store i32 5, i32* %X
	br label %EndOfLoop
Unreachable:		; No predecessors!
	br label %EndOfLoop
EndOfLoop:		; preds = %Unreachable, %Loop
	br label %Loop
}