2006-12-31 06:02:00 +00:00
|
|
|
; RUN: llvm-upgrade < %s | llvm-as | \
|
|
|
|
|
; RUN: opt -globalsmodref-aa -load-vn -gcse -instcombine | llvm-dis | \
|
2007-04-15 09:31:07 +00:00
|
|
|
; RUN: grep {ret i32 0}
|
|
|
|
|
; END.
|
2006-10-01 22:35:45 +00:00
|
|
|
%G = internal global int* null
|
|
|
|
|
|
|
|
|
|
implementation
|
|
|
|
|
|
|
|
|
|
void %test() {
|
|
|
|
|
%A = malloc int
|
|
|
|
|
store int* %A, int** %G
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int %test1(int *%P) {
|
|
|
|
|
%g1 = load int** %G
|
|
|
|
|
%h1 = load int* %g1
|
|
|
|
|
|
|
|
|
|
; This store cannot alias either G or g1.
|
|
|
|
|
store int 123, int* %P
|
|
|
|
|
|
|
|
|
|
%g2 = load int** %G
|
|
|
|
|
%h2 = load int* %g1
|
|
|
|
|
%X = sub int %h1, %h2 ;; -> 0
|
|
|
|
|
ret int %X
|
|
|
|
|
}
|
