[llvm-commits] CVS: llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll PhysicalSubtyping.ll

[Chris Lattner]

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
+ }