; This test makes sure that these instructions are properly eliminated.
;
-; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep load
+; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | not grep load
%X = constant int 42
%X2 = constant int 47
}
float %test2() {
- %A = getelementptr [2 x { int, float}]* %Y, long 0, long 1, ubyte 1
+ %A = getelementptr [2 x { int, float}]* %Y, long 0, long 1, uint 1
%B = load float* %A
ret float %B
}
int %test3() {
- %A = getelementptr [2 x { int, float}]* %Y, long 0, long 0, ubyte 0
+ %A = getelementptr [2 x { int, float}]* %Y, long 0, long 0, uint 0
%B = load int* %A
ret int %B
}
int %test4() {
- %A = getelementptr [2 x { int, float}]* %Z, long 0, long 1, ubyte 0
+ %A = getelementptr [2 x { int, float}]* %Z, long 0, long 1, uint 0
%B = load int* %A
ret int %B
}
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
-}
-
int %test7(int %X) {
%V = getelementptr int* null, int %X
%R = load int* %V