llvm.org GIT mirror llvm / 2676f83 test / Transforms / LICM / 2003-08-04-TrappingInstHoist.ll
2676f83

Tree @2676f83 (Download .tar.gz)

2003-08-04-TrappingInstHoist.ll @2676f83raw · history · blame

; This testcase tests for a problem where LICM hoists 
; potentially trapping instructions when they are not guaranteed to execute.
;
; RUN: llvm-as < %s | opt -licm | llvm-dis | %prcontext "IfUnEqual" 2 | grep div 

%X = global int 0
declare void %foo()

int %test(bool %c) {
	%A = load int *%X
	br label %Loop
Loop:
	call void %foo()
        br bool %c, label %LoopTail, label %IfUnEqual

IfUnEqual:
	%B1 = div int 4, %A  ;; Should not hoist this div!
	br label %LoopTail

LoopTail:
        %B = phi int [ 0, %Loop ], [ %B1, %IfUnEqual] 
        br bool %c, label %Loop, label %Out

Out:
	%C = sub int %A, %B
	ret int %C
}