mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-14 11:32:34 +00:00
This pass has been removed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@25350 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
57a47d6a4b
commit
bf2d595dca
@ -1,194 +0,0 @@
|
||||
; Basic testcases - these are only tested by inspection, but illustrate the
|
||||
; basic cases PRE can handle.
|
||||
;
|
||||
; RUN: llvm-as < %s | opt -pre -disable-output
|
||||
|
||||
declare void %use(int)
|
||||
declare int %get()
|
||||
|
||||
void %test0(int %A, int %B) { ;; Fully redundant
|
||||
%X = add int %A, %B
|
||||
%Y = add int %A, %B
|
||||
call void %use(int %X)
|
||||
call void %use(int %Y)
|
||||
ret void
|
||||
}
|
||||
|
||||
void %test1(int %cond, int %A, int %B) {
|
||||
switch int %cond, label %Out [
|
||||
int 1, label %B1
|
||||
int 2, label %B2
|
||||
int 3, label %Cont ]
|
||||
B1:
|
||||
%X1 = add int %A, %B
|
||||
call void %use(int %X1)
|
||||
br label %Cont
|
||||
B2:
|
||||
%X2 = add int %A, %B
|
||||
call void %use(int %X2)
|
||||
br label %Cont
|
||||
|
||||
Cont:
|
||||
br label %Next
|
||||
|
||||
Next:
|
||||
%X3 = add int %A, %B
|
||||
call void %use(int %X3)
|
||||
br label %Out
|
||||
|
||||
Out:
|
||||
ret void
|
||||
}
|
||||
|
||||
|
||||
void %testloop(bool %cond, int %A, int %B) {
|
||||
br label %Loop
|
||||
|
||||
Loop:
|
||||
%C = add int %A, %B ; loop invariant
|
||||
call void %use(int %C)
|
||||
|
||||
%D = add int %C, %B
|
||||
call void %use(int %D)
|
||||
|
||||
br bool %cond, label %Loop, label %Exit
|
||||
Exit:
|
||||
ret void
|
||||
}
|
||||
|
||||
|
||||
|
||||
void %test3(bool %cond, int %A, int %B) {
|
||||
br bool %cond, label %A, label %B
|
||||
|
||||
A:
|
||||
%C = add int %A, %B
|
||||
call void %use(int %C)
|
||||
br label %Merge
|
||||
B:
|
||||
%D = add int %A, %B
|
||||
call void %use(int %D)
|
||||
br label %Merge
|
||||
|
||||
Merge:
|
||||
%E = add int %A, %B
|
||||
call void %use(int %E)
|
||||
ret void
|
||||
}
|
||||
|
||||
void %test4(bool %cond, int %A, int %B) {
|
||||
br bool %cond, label %A, label %B
|
||||
|
||||
A:
|
||||
br label %Merge
|
||||
B:
|
||||
%D = add int %A, %B
|
||||
call void %use(int %D)
|
||||
br label %Merge
|
||||
|
||||
Merge:
|
||||
%E = add int %A, %B
|
||||
call void %use(int %E)
|
||||
ret void
|
||||
}
|
||||
|
||||
|
||||
int %test5(bool %cond, int %A, int %B) {
|
||||
br label %Loop
|
||||
|
||||
Loop:
|
||||
br bool %cond, label %A, label %B
|
||||
|
||||
A:
|
||||
br label %Merge
|
||||
B:
|
||||
%D = add int %A, %B
|
||||
call void %use(int %D)
|
||||
br label %Merge
|
||||
|
||||
Merge:
|
||||
br bool %cond, label %Loop, label %Out
|
||||
|
||||
Out:
|
||||
%E = add int %A, %B
|
||||
ret int %E
|
||||
}
|
||||
|
||||
|
||||
void %test6(bool %cond, int %A, int %B) {
|
||||
br bool %cond, label %A1, label %Def
|
||||
A1: br label %Around
|
||||
Def:
|
||||
%C = add int %A, %B
|
||||
call void %use(int %C)
|
||||
br bool %cond, label %F1, label %F2
|
||||
F1: br label %Around
|
||||
F2: br label %Y
|
||||
|
||||
Around:
|
||||
br label %Y
|
||||
Y:
|
||||
%D = add int %A, %B
|
||||
call void %use(int %D)
|
||||
ret void
|
||||
}
|
||||
|
||||
void %testloop-load(bool %cond, int* %P, int* %Q) {
|
||||
br label %Loop
|
||||
|
||||
Loop:
|
||||
store int 5, int* %Q ;; Q may alias P
|
||||
%D = load int* %P ;; Should not hoist load out of loop
|
||||
call void %use(int %D)
|
||||
|
||||
br bool %cond, label %Loop, label %Exit
|
||||
Exit:
|
||||
ret void
|
||||
}
|
||||
|
||||
void %test7(bool %cond) { ;; Test anticipatibility
|
||||
br label %Loop
|
||||
|
||||
Loop:
|
||||
%A = call int %get()
|
||||
%B = add int %A, %A ; Cannot hoist from loop
|
||||
call void %use(int %B)
|
||||
|
||||
br bool %cond, label %Loop, label %Exit
|
||||
Exit:
|
||||
ret void
|
||||
}
|
||||
|
||||
|
||||
void %test8(bool %cond, int %A, int %B) { ;; Test irreducible loop
|
||||
br bool %cond, label %LoopHead, label %LoopMiddle
|
||||
|
||||
LoopHead:
|
||||
%C = add int %A, %B ; Should hoist from loop
|
||||
call void %use(int %C)
|
||||
br label %LoopMiddle
|
||||
|
||||
LoopMiddle:
|
||||
|
||||
br bool %cond, label %LoopHead, label %Exit
|
||||
Exit:
|
||||
%D = add int %A, %B
|
||||
call void %use(int %D)
|
||||
ret void
|
||||
}
|
||||
|
||||
|
||||
void %test9(bool %cond, int %A, int %B) { ;; Test irreducible loop
|
||||
br bool %cond, label %LoopHead, label %LoopMiddle
|
||||
|
||||
LoopHead:
|
||||
call int %get() ; random function call
|
||||
br label %LoopMiddle
|
||||
|
||||
LoopMiddle:
|
||||
%C = add int %A, %B ; Should hoist from loop
|
||||
call void %use(int %C)
|
||||
br bool %cond, label %LoopHead, label %Exit
|
||||
Exit:
|
||||
ret void
|
||||
}
|
@ -1,3 +0,0 @@
|
||||
load_lib llvm-dg.exp
|
||||
|
||||
llvm-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,llx,c,cpp,tr}]] $objdir $srcdir $subdir $target_triplet $llvmgcc $llvmgxx $prcontext
|
Loading…
Reference in New Issue
Block a user