summaryrefslogtreecommitdiff
path: root/test/Transforms/LICM/2003-08-04-TrappingInstOkHoist.ll
blob: 7e2f233a43fd1c7e3353ade62a7c69aab6bf755b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
; This testcase tests to make sure a trapping instruction is hoisted when
; it is guaranteed to execute.
;
; RUN: llvm-as < %s | opt -licm | llvm-dis | %prcontext "test" 2 | grep div

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

int %test(bool %c) {
	%A = load int *%X
	br label %Loop
Loop:
	%B = div int 4, %A  ;; Should have hoisted this div!
	call void %foo(int %B)
        br bool %c, label %Loop, label %Out

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