mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-17 21:29:20 +00:00
Added LICM test cases to:
1) Check that trapping instructionns that are not guaranteed to execute are not hoisted. 2) Check that trapping instructions that are guaranteed to execute are hoisted. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@7613 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
9966c03aad
commit
7526eed382
27
test/Transforms/LICM/2003-08-04-TrappingInstHoist.ll
Normal file
27
test/Transforms/LICM/2003-08-04-TrappingInstHoist.ll
Normal file
@ -0,0 +1,27 @@
|
||||
; This testcase tests for a problem where LICM hoists
|
||||
; potentially trapping instructions when they are not guaranteed to execute.
|
||||
;
|
||||
; RUN: as < %s | opt -licm | dis | grep -C 2 "IfUnEqual" | 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
|
||||
}
|
20
test/Transforms/LICM/2003-08-04-TrappingInstOkHoist.ll
Normal file
20
test/Transforms/LICM/2003-08-04-TrappingInstOkHoist.ll
Normal file
@ -0,0 +1,20 @@
|
||||
; This testcase tests to make sure a trapping instruction is hoisted when
|
||||
; it is guaranteed to execute.
|
||||
;
|
||||
; RUN: as < %s | opt -licm | dis | grep -C 2 "test" | grep div
|
||||
|
||||
%X = global int 0
|
||||
declare void %foo()
|
||||
|
||||
int %test(bool %c) {
|
||||
%A = load int *%X
|
||||
br label %Loop
|
||||
Loop:
|
||||
call void %foo()
|
||||
%B = div int 4, %A ;; Should have hoisted this div!
|
||||
br bool %c, label %Loop, label %Out
|
||||
|
||||
Out:
|
||||
%C = sub int %A, %B
|
||||
ret int %C
|
||||
}
|
Loading…
Reference in New Issue
Block a user