diff options
Diffstat (limited to 'test/Analysis/BasicAA/2004-01-29-InvariantMemory.ll')
-rw-r--r-- | test/Analysis/BasicAA/2004-01-29-InvariantMemory.ll | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/2004-01-29-InvariantMemory.ll b/test/Analysis/BasicAA/2004-01-29-InvariantMemory.ll new file mode 100644 index 0000000..692c6f8 --- /dev/null +++ b/test/Analysis/BasicAA/2004-01-29-InvariantMemory.ll @@ -0,0 +1,13 @@ +; 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 +} |