[llvm-commits] CVS: llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll PhysicalSubtyping.ll
Chris Lattner
lattner at cs.uiuc.edu
Sun Jun 29 17:37:26 PDT 2003
Changes in directory llvm/test/Regression/Analysis/DSGraph:
2003-06-29-IncompleteTDPass.ll added (r1.1)
PhysicalSubtyping.ll added (r1.1)
---
Log message:
This node should not be incomplete!
---
Diffs of the changes:
Index: llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll
diff -c /dev/null llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll:1.1
*** /dev/null Sun Jun 29 17:36:05 2003
--- llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll Sun Jun 29 17:35:55 2003
***************
*** 0 ****
--- 1,26 ----
+ ; RUN: analyze %s -datastructure-gc -dsgc-dspass=td -dsgc-abort-if-incomplete=Ptr
+
+
+
+ int %main() {
+ call void %A()
+ call void %B()
+ ret int 0
+ }
+
+ internal void %A() {
+ %V = malloc int
+ call void %Callee(int* %V)
+ ret void
+ }
+
+ internal void %B() {
+ %V = malloc int
+ call void %Callee(int* %V)
+ ret void
+ }
+
+ internal void %Callee(int* %Ptr) {
+ load int* %Ptr
+ ret void
+ }
Index: llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll
diff -c /dev/null llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll:1.1
*** /dev/null Sun Jun 29 17:36:05 2003
--- llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll Sun Jun 29 17:35:55 2003
***************
*** 0 ****
--- 1,18 ----
+ ; Test to check for support for "physical subtyping"
+ ;
+ ; RUN: analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed
+ ;
+ %S = type { int }
+ %T = type { int, float, double }
+
+ int %main() {
+ %A = alloca %S
+ %Ap = getelementptr %S* %A, long 0, ubyte 0
+ %B = alloca %T
+ %Bp = getelementptr %T* %B, long 0, ubyte 0
+ %C = alloca int*
+
+ store int* %Ap, int** %C
+ store int* %Bp, int** %C
+ ret int 0
+ }
More information about the llvm-commits
mailing list