llvm-project/llvm/test/Analysis/Andersens/modreftest.ll

16 lines
340 B
LLVM

; RUN: llvm-upgrade < %s | llvm-as | \
; RUN: opt -anders-aa -load-vn -gcse -instcombine | llvm-dis | \
; RUN: grep {ret i1 true}
%G = internal global int* null
declare int *%ext()
bool %bar() {
%V1 = load int** %G
%X2 = call int *%ext()
%V2 = load int** %G
store int* %X2, int** %G
%C = seteq int* %V1, %V2
ret bool %C
}