llvm-mirror/test/Analysis/GlobalsModRef/purecse.ll
2007-01-17 07:59:14 +00:00

24 lines
518 B
LLVM

; Test that pure functions are cse'd away
; RUN: llvm-upgrade < %s | llvm-as | 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
}