2003-06-26 05:05:51 +00:00
|
|
|
; This test makes sure that these instructions are properly eliminated.
|
|
|
|
;
|
|
|
|
|
2003-09-16 15:29:54 +00:00
|
|
|
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep load
|
2003-06-26 05:05:51 +00:00
|
|
|
|
|
|
|
%X = constant int 42
|
2004-09-19 18:43:01 +00:00
|
|
|
%X2 = constant int 47
|
2003-06-26 05:05:51 +00:00
|
|
|
%Y = constant [2 x { int, float }] [ { int, float } { int 12, float 1.0 },
|
|
|
|
{ int, float } { int 37, float 1.2312 } ]
|
2004-05-27 17:28:55 +00:00
|
|
|
%Z = constant [2 x { int, float }] zeroinitializer
|
2003-06-26 05:05:51 +00:00
|
|
|
|
2004-05-27 17:43:33 +00:00
|
|
|
int %test1() {
|
|
|
|
%B = load int* %X
|
|
|
|
ret int %B
|
|
|
|
}
|
|
|
|
|
2003-06-26 05:05:51 +00:00
|
|
|
float %test2() {
|
|
|
|
%A = getelementptr [2 x { int, float}]* %Y, long 0, long 1, ubyte 1
|
|
|
|
%B = load float* %A
|
|
|
|
ret float %B
|
|
|
|
}
|
|
|
|
|
2004-05-27 17:28:55 +00:00
|
|
|
|
2003-06-26 05:05:51 +00:00
|
|
|
int %test3() {
|
|
|
|
%A = getelementptr [2 x { int, float}]* %Y, long 0, long 0, ubyte 0
|
|
|
|
%B = load int* %A
|
|
|
|
ret int %B
|
|
|
|
}
|
|
|
|
|
2004-05-27 17:28:55 +00:00
|
|
|
int %test4() {
|
|
|
|
%A = getelementptr [2 x { int, float}]* %Z, long 0, long 1, ubyte 0
|
|
|
|
%B = load int* %A
|
|
|
|
ret int %B
|
|
|
|
}
|
2004-09-19 18:43:01 +00:00
|
|
|
|
|
|
|
; load (select (Cond, &V1, &V2)) --> select(Cond, load &V1, load &V2)
|
|
|
|
int %test5(bool %C) {
|
|
|
|
%Y = select bool %C, int* %X, int* %X2
|
|
|
|
%Z = load int* %Y
|
|
|
|
ret int %Z
|
|
|
|
}
|
|
|
|
|
|
|
|
; load (phi (&V1, &V2, &V3)) --> phi(load &V1, load &V2, load &V3)
|
|
|
|
int %test6(bool %C) {
|
|
|
|
entry:
|
|
|
|
br bool %C, label %cond_true.i, label %cond_continue.i
|
|
|
|
|
|
|
|
cond_true.i:
|
|
|
|
br label %cond_continue.i
|
|
|
|
|
|
|
|
cond_continue.i:
|
|
|
|
%mem_tmp.i.0 = phi int* [ %X, %cond_true.i ], [ %X2, %entry ]
|
|
|
|
%tmp.3 = load int* %mem_tmp.i.0
|
|
|
|
ret int %tmp.3
|
|
|
|
}
|
|
|
|
|
2005-05-01 04:24:15 +00:00
|
|
|
int %test7(int %X) {
|
|
|
|
%V = getelementptr int* null, int %X
|
|
|
|
%R = load int* %V
|
|
|
|
ret int %R
|
|
|
|
}
|
2005-09-12 21:59:22 +00:00
|
|
|
|
|
|
|
int %test8(int* %P) {
|
|
|
|
store int 1, int* %P
|
|
|
|
%X = load int* %P ;; Trivial store->load forwarding
|
|
|
|
ret int %X
|
|
|
|
}
|
2005-09-12 22:19:46 +00:00
|
|
|
|
|
|
|
int %test9(int* %P) {
|
|
|
|
%X = load int* %P ;; Trivial load cse
|
|
|
|
%Y = load int* %P
|
|
|
|
%Z = sub int %X, %Y
|
|
|
|
ret int %Z
|
|
|
|
}
|
2005-09-12 23:22:17 +00:00
|
|
|
|
|
|
|
int %test10(bool %C, int* %P, int* %Q) {
|
|
|
|
br bool %C, label %T, label %F
|
|
|
|
T:
|
|
|
|
store int 1, int* %Q
|
|
|
|
store int 0, int* %P
|
|
|
|
br label %C
|
|
|
|
F:
|
|
|
|
store int 0, int* %P
|
|
|
|
br label %C
|
|
|
|
C:
|
|
|
|
%V = load int* %P ;; always 0
|
|
|
|
ret int %V
|
|
|
|
}
|