blob: 63a4ac0097354d83cf88c956d6bf2127d9553e1e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
; This testcase tests for a problem where LICM hoists
; potentially trapping instructions when they are not guaranteed to execute.
;
; RUN: llvm-upgrade < %s | llvm-as | 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
}
|
