[llvm-commits] CVS: llvm/test/Regression/Analysis/DSGraph/incompletenode.ll
Chris Lattner
lattner at cs.uiuc.edu
Sat Jun 28 20:05:01 PDT 2003
Changes in directory llvm/test/Regression/Analysis/DSGraph:
incompletenode.ll added (r1.1)
---
Log message:
New testcase
---
Diffs of the changes:
Index: llvm/test/Regression/Analysis/DSGraph/incompletenode.ll
diff -c /dev/null llvm/test/Regression/Analysis/DSGraph/incompletenode.ll:1.1
*** /dev/null Sat Jun 28 20:04:03 2003
--- llvm/test/Regression/Analysis/DSGraph/incompletenode.ll Sat Jun 28 20:03:53 2003
***************
*** 0 ****
--- 1,23 ----
+ ; 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
+ }
+
More information about the llvm-commits
mailing list