llvm-project/llvm/test/Analysis/BasicAA/2004-01-29-InvariantMemory.ll

14 lines
384 B
LLVM

; RUN: llvm-as < %s | opt -load-vn -gcse -instcombine | \
; RUN: llvm-dis | not grep load
@X = constant [2 x i32] [i32 4, i32 5]
define i32 @test(i32* %Y, i64 %idx) {
%P = getelementptr [2 x i32]* @X, i64 0, i64 %idx
%A = load i32* %P ; Load from invariant memory
store i32 4, i32* %Y ; Store could not be to @X
%B = load i32* %P
%C = sub i32 %A, %B
ret i32 %C
}