llvm-6502/test/Transforms/PRE/basictest.ll

195 lines
3.8 KiB
LLVM
Raw Normal View History

; 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
}