[llvm-commits] CVS: llvm/test/Regression/Analysis/GlobalsModRef/aliastest.ll modreftest.ll

[Chris Lattner]

Changes in directory llvm/test/Regression/Analysis/GlobalsModRef:

aliastest.ll added (r1.1)
modreftest.ll added (r1.1)

---
Log message:

Have some testcases


---
Diffs of the changes:  (+22 -0)

Index: llvm/test/Regression/Analysis/GlobalsModRef/aliastest.ll
diff -c /dev/null llvm/test/Regression/Analysis/GlobalsModRef/aliastest.ll:1.1
*** /dev/null	Tue Jul 27 01:26:18 2004
--- llvm/test/Regression/Analysis/GlobalsModRef/aliastest.ll	Tue Jul 27 01:26:08 2004
***************
*** 0 ****
--- 1,9 ----
+ ; RUN: llvm-as < %s | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load
+ %X = internal global int 4
+ 
+ int %test(int *%P) {
+   store int 7, int* %P
+   store int 12,  int* %X   ;; cannot alias P, X's addr isn't taken
+   %V = load int* %P
+   ret int %V
+ }


Index: llvm/test/Regression/Analysis/GlobalsModRef/modreftest.ll
diff -c /dev/null llvm/test/Regression/Analysis/GlobalsModRef/modreftest.ll:1.1
*** /dev/null	Tue Jul 27 01:26:18 2004
--- llvm/test/Regression/Analysis/GlobalsModRef/modreftest.ll	Tue Jul 27 01:26:08 2004
***************
*** 0 ****
--- 1,13 ----
+ ; RUN: llvm-as < %s | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load
+ %X = internal global int 4
+ 
+ int %test(int *%P) {
+   store int 12,  int* %X
+   call void %doesnotmodX()
+   %V = load int* %X
+   ret int %V
+ }
+ 
+ void %doesnotmodX() {
+   ret void
+ }