llvm-6502/test/Analysis/GlobalsModRef/purecse.ll
Chris Lattner feeeb30c32 Make this testcase a bit more challanging
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@19019 91177308-0d34-0410-b5e6-96231b3b80d8
2004-12-17 17:14:00 +00:00

24 lines
503 B
LLVM

; Test that pure functions are cse'd away
; RUN: llvm-as < %s | opt -globalsmodref-aa -load-vn -gcse -instcombine | llvm-dis | not grep sub
int %pure(int %X) {
%Y = add int %X, 1
ret int %Y
}
int %test1(int %X) {
%A = call int %pure(int %X)
%B = call int %pure(int %X)
%C = sub int %A, %B
ret int %C
}
int %test2(int %X, int* %P) {
%A = call int %pure(int %X)
store int %X, int* %P ;; Does not invalidate 'pure' call.
%B = call int %pure(int %X)
%C = sub int %A, %B
ret int %C
}