llvm-6502/test/Analysis/DSGraph/incompletenode.ll
Chris Lattner 4fe77cdcf2 New testcase
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6975 91177308-0d34-0410-b5e6-96231b3b80d8
2003-06-29 01:03:53 +00:00

24 lines
518 B
LLVM

; This test is failing because the globals X and Y are marked incomplete
; in the TD graph for %test
; RUN: as < %s | opt -no-aa -ds-aa -load-vn -gcse | dis | not grep seteq
%X = internal global int 20
%Y = internal global int* null
implementation
bool %test(int** %P) {
%A = load int** %P ;; We know P == Y!
%B = load int** %Y ;; B = A
%c = seteq int* %A, %B ;; Always true
ret bool %c
}
int %main() {
store int* %X, int** %Y
call bool %test(int** %Y)
ret int 0
}