Thu Aug 17 23:34:51 PDT 2006

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

2003-06-29-IncompleteTDPass.ll updated: 1.2 -> 1.3
2003-06-29-NodeCollapsing2.ll updated: 1.1 -> 1.2
2003-06-30-TopDownResolve.ll updated: 1.3 -> 1.4
2003-07-01-FieldCollapse.ll updated: 1.1 -> 1.2
2003-07-16-ConstantExprCollapse.ll updated: 1.2 -> 1.3
2003-11-02-NodeCollapsing.ll updated: 1.1 -> 1.2
2004-02-13-memcpy.ll updated: 1.4 -> 1.5
2005-03-22-IncompleteGlobal.ll updated: 1.2 -> 1.3
2006-03-27-LinkedCollapsed.ll updated: 1.1 -> 1.2
2006-04-13-ZeroArrayStruct.ll updated: 1.1 -> 1.2
2006-04-25-ZeroArrayStructUse.ll updated: 1.1 -> 1.2
FunctionPointerTable-const.ll updated: 1.2 -> 1.3
GlobalsGraphFuncPtr.ll updated: 1.2 -> 1.3
HardBUCase.ll updated: 1.2 -> 1.3
PhysicalSubtyping.ll updated: 1.1 -> 1.2
SCCSimpleExample.ll updated: 1.1 -> 1.2
constant_globals.ll updated: 1.2 -> 1.3
strcpy.ll updated: 1.2 -> 1.3
---
Log message:

For PR872: http://llvm.org/PR872 :
Shrinkify LLVM's footprint by removing the analyze tool and moving its
functionality into the opt tool. THis eliminates one of the largest tools
from LLVM and doesn't make opt much bigger because it already included 
most of the analysis passes.  To get the old analyze functionality pass 
the -analyze option to opt. Note that the integeration here is dead
simple. The "main" of analyze was just copied to opt and invoked if the
-analyze option was given. There may be opportunities for further 
integration such as removing the distinction between transform passes
and analysis passes.

To use the analysis functionality, if you previously did this:
  analyze $FNAME -domset -disable-verify
you would now do this:
  opt -analyze $FNAME -domset -disable-verify
Pretty simple.


---
Diffs of the changes:  (+21 -21)

 2003-06-29-IncompleteTDPass.ll     |    2 +-
 2003-06-29-NodeCollapsing2.ll      |    2 +-
 2003-06-30-TopDownResolve.ll       |    2 +-
 2003-07-01-FieldCollapse.ll        |    2 +-
 2003-07-16-ConstantExprCollapse.ll |    2 +-
 2003-11-02-NodeCollapsing.ll       |    2 +-
 2004-02-13-memcpy.ll               |    4 ++--
 2005-03-22-IncompleteGlobal.ll     |    4 ++--
 2006-03-27-LinkedCollapsed.ll      |    2 +-
 2006-04-13-ZeroArrayStruct.ll      |    2 +-
 2006-04-25-ZeroArrayStructUse.ll   |    2 +-
 FunctionPointerTable-const.ll      |    4 ++--
 GlobalsGraphFuncPtr.ll             |    2 +-
 HardBUCase.ll                      |    2 +-
 PhysicalSubtyping.ll               |    2 +-
 SCCSimpleExample.ll                |    2 +-
 constant_globals.ll                |    2 +-
 strcpy.ll                          |    2 +-
 18 files changed, 21 insertions(+), 21 deletions(-)


Index: llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll:1.2 llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll:1.3

--- llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll:1.2	Fri Jul 25 16:09:20 2003
+++ llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll	Fri Aug 18 01:34:30 2006
@@ -1,4 +1,4 @@
-; RUN: analyze %s -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=Ptr:HR
+; RUN: opt -analyze %s -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=Ptr:HR
 
 
 


Index: llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing2.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing2.ll:1.1 llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing2.ll:1.2
--- llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing2.ll:1.1	Sun Jun 29 13:17:20 2003
+++ llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing2.ll	Fri Aug 18 01:34:30 2006
@@ -1,7 +1,7 @@
 ; This is the same testcase as 2003-06-29-NodeCollapsing2.ll, but it uses the 
 ; graph checker.
 ;
-; RUN: analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed
+; RUN: opt -analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed
 ;
 %T = type { int}
 


Index: llvm/test/Regression/Analysis/DSGraph/2003-06-30-TopDownResolve.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2003-06-30-TopDownResolve.ll:1.3 llvm/test/Regression/Analysis/DSGraph/2003-06-30-TopDownResolve.ll:1.4
--- llvm/test/Regression/Analysis/DSGraph/2003-06-30-TopDownResolve.ll:1.3	Fri Jul 25 16:09:20 2003
+++ llvm/test/Regression/Analysis/DSGraph/2003-06-30-TopDownResolve.ll	Fri Aug 18 01:34:30 2006
@@ -1,4 +1,4 @@
-; RUN: analyze %s -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=X:GM
+; RUN: opt -analyze %s -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=X:GM
 
 %G = internal global int 5
 


Index: llvm/test/Regression/Analysis/DSGraph/2003-07-01-FieldCollapse.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2003-07-01-FieldCollapse.ll:1.1 llvm/test/Regression/Analysis/DSGraph/2003-07-01-FieldCollapse.ll:1.2
--- llvm/test/Regression/Analysis/DSGraph/2003-07-01-FieldCollapse.ll:1.1	Tue Jul  1 11:28:20 2003
+++ llvm/test/Regression/Analysis/DSGraph/2003-07-01-FieldCollapse.ll	Fri Aug 18 01:34:30 2006
@@ -1,4 +1,4 @@
-; RUN: analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed
+; RUN: opt -analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed
 
 %X = internal global { int, short, short } { int 1, short 2, short 3 }
 


Index: llvm/test/Regression/Analysis/DSGraph/2003-07-16-ConstantExprCollapse.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2003-07-16-ConstantExprCollapse.ll:1.2 llvm/test/Regression/Analysis/DSGraph/2003-07-16-ConstantExprCollapse.ll:1.3
--- llvm/test/Regression/Analysis/DSGraph/2003-07-16-ConstantExprCollapse.ll:1.2	Sat Nov  6 14:38:27 2004
+++ llvm/test/Regression/Analysis/DSGraph/2003-07-16-ConstantExprCollapse.ll	Fri Aug 18 01:34:30 2006
@@ -1,6 +1,6 @@
 ; This should cause the global node to collapse!!
 ; XFAIL: *
-; RUN: analyze %s -datastructure-gc --dsgc-check-flags=test:GAU
+; RUN: opt -analyze %s -datastructure-gc --dsgc-check-flags=test:GAU
 
 %Tree = type { int, %Tree*, %Tree* }
 %T5 = external global %Tree


Index: llvm/test/Regression/Analysis/DSGraph/2003-11-02-NodeCollapsing.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2003-11-02-NodeCollapsing.ll:1.1 llvm/test/Regression/Analysis/DSGraph/2003-11-02-NodeCollapsing.ll:1.2
--- llvm/test/Regression/Analysis/DSGraph/2003-11-02-NodeCollapsing.ll:1.1	Sun Nov  2 14:43:10 2003
+++ llvm/test/Regression/Analysis/DSGraph/2003-11-02-NodeCollapsing.ll	Fri Aug 18 01:34:30 2006
@@ -1,7 +1,7 @@
 ; This is the same testcase as 2003-06-29-NodeCollapsing2.ll, but it uses the 
 ; graph checker.
 ;
-; RUN: analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed
+; RUN: opt -analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed
 ;
 
 %S = type { double, int }


Index: llvm/test/Regression/Analysis/DSGraph/2004-02-13-memcpy.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2004-02-13-memcpy.ll:1.4 llvm/test/Regression/Analysis/DSGraph/2004-02-13-memcpy.ll:1.5
--- llvm/test/Regression/Analysis/DSGraph/2004-02-13-memcpy.ll:1.4	Tue Apr  4 22:31:45 2006
+++ llvm/test/Regression/Analysis/DSGraph/2004-02-13-memcpy.ll	Fri Aug 18 01:34:30 2006
@@ -1,5 +1,5 @@
-; RUN: analyze %s -datastructure-gc -dsgc-check-flags=Xn:SMR
-; RUN: analyze %s -datastructure-gc -dsgc-check-flags=X:SMR
+; RUN: opt -analyze %s -datastructure-gc -dsgc-check-flags=Xn:SMR
+; RUN: opt -analyze %s -datastructure-gc -dsgc-check-flags=X:SMR
 
 declare void %llvm.memcpy.i32(sbyte*, sbyte*, uint, uint)
 declare void %llvm.memmove.i32(sbyte*, sbyte*, uint, uint)


Index: llvm/test/Regression/Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll:1.2 llvm/test/Regression/Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll:1.3
--- llvm/test/Regression/Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll:1.2	Tue Mar 22 16:11:22 2005
+++ llvm/test/Regression/Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll	Fri Aug 18 01:34:30 2006
@@ -1,5 +1,5 @@
-; RUN: analyze %s -datastructure-gc  -dsgc-check-flags=G:GIM -dsgc-dspass=bu &&\
-; RUN: analyze %s -datastructure-gc  -dsgc-check-flags=G:GIM -dsgc-dspass=td
+; RUN: opt -analyze %s -datastructure-gc  -dsgc-check-flags=G:GIM -dsgc-dspass=bu &&\
+; RUN: opt -analyze %s -datastructure-gc  -dsgc-check-flags=G:GIM -dsgc-dspass=td
 
 %S = type { double, int }
 


Index: llvm/test/Regression/Analysis/DSGraph/2006-03-27-LinkedCollapsed.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2006-03-27-LinkedCollapsed.ll:1.1 llvm/test/Regression/Analysis/DSGraph/2006-03-27-LinkedCollapsed.ll:1.2
--- llvm/test/Regression/Analysis/DSGraph/2006-03-27-LinkedCollapsed.ll:1.1	Mon Mar 27 17:38:48 2006
+++ llvm/test/Regression/Analysis/DSGraph/2006-03-27-LinkedCollapsed.ll	Fri Aug 18 01:34:30 2006
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | analyze -datastructure
+; RUN: llvm-as < %s | opt -analyze -datastructure
 
 target endian = little
 target pointersize = 32


Index: llvm/test/Regression/Analysis/DSGraph/2006-04-13-ZeroArrayStruct.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2006-04-13-ZeroArrayStruct.ll:1.1 llvm/test/Regression/Analysis/DSGraph/2006-04-13-ZeroArrayStruct.ll:1.2
--- llvm/test/Regression/Analysis/DSGraph/2006-04-13-ZeroArrayStruct.ll:1.1	Thu Apr 13 14:50:07 2006
+++ llvm/test/Regression/Analysis/DSGraph/2006-04-13-ZeroArrayStruct.ll	Fri Aug 18 01:34:30 2006
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | analyze -datastructure
+; RUN: llvm-as < %s | opt -analyze -datastructure
 
 ; ModuleID = 'bug3.bc'
 target endian = little


Index: llvm/test/Regression/Analysis/DSGraph/2006-04-25-ZeroArrayStructUse.ll
diff -u llvm/test/Regression/Analysis/DSGraph/2006-04-25-ZeroArrayStructUse.ll:1.1 llvm/test/Regression/Analysis/DSGraph/2006-04-25-ZeroArrayStructUse.ll:1.2
--- llvm/test/Regression/Analysis/DSGraph/2006-04-25-ZeroArrayStructUse.ll:1.1	Tue Apr 25 14:27:56 2006
+++ llvm/test/Regression/Analysis/DSGraph/2006-04-25-ZeroArrayStructUse.ll	Fri Aug 18 01:34:30 2006
@@ -1,4 +1,4 @@
-; RUN: analyze %s -datastructure-gc -dsgc-check-flags=x:IA
+; RUN: opt -analyze %s -datastructure-gc -dsgc-check-flags=x:IA
 
 ; ModuleID = 'bug3.bc'
 target endian = little


Index: llvm/test/Regression/Analysis/DSGraph/FunctionPointerTable-const.ll
diff -u llvm/test/Regression/Analysis/DSGraph/FunctionPointerTable-const.ll:1.2 llvm/test/Regression/Analysis/DSGraph/FunctionPointerTable-const.ll:1.3
--- llvm/test/Regression/Analysis/DSGraph/FunctionPointerTable-const.ll:1.2	Wed Jun 28 15:07:36 2006
+++ llvm/test/Regression/Analysis/DSGraph/FunctionPointerTable-const.ll	Fri Aug 18 01:34:30 2006
@@ -1,7 +1,7 @@
 ; FIXME: this should be SHM for bu, but change it for now since besides incompleteness
 ;        this is working
-; RUN: analyze %s -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=Y:SHIM && \
-; RUN: analyze %s -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=P1:SHM,P2:SHM
+; RUN: opt -analyze %s -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=Y:SHIM && \
+; RUN: opt -analyze %s -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=P1:SHM,P2:SHM
 
 %G = internal constant [2 x int*(int*)*] [ 
   int*(int*)* %callee1, int*(int*)* %callee2


Index: llvm/test/Regression/Analysis/DSGraph/GlobalsGraphFuncPtr.ll
diff -u llvm/test/Regression/Analysis/DSGraph/GlobalsGraphFuncPtr.ll:1.2 llvm/test/Regression/Analysis/DSGraph/GlobalsGraphFuncPtr.ll:1.3
--- llvm/test/Regression/Analysis/DSGraph/GlobalsGraphFuncPtr.ll:1.2	Wed Jun 28 15:14:30 2006
+++ llvm/test/Regression/Analysis/DSGraph/GlobalsGraphFuncPtr.ll	Fri Aug 18 01:34:30 2006
@@ -5,7 +5,7 @@
 ; -- globals in GG pointed to by latter should be marked I, but not other nodes
 ;
 ; FIXME: KnownPtr should be just S.
-; RUN: analyze %s -datastructure-gc -dsgc-check-flags=KnownPtr:SI,UnknownPtr:SI -dsgc-dspass=bu
+; RUN: opt -analyze %s -datastructure-gc -dsgc-check-flags=KnownPtr:SI,UnknownPtr:SI -dsgc-dspass=bu
 
 %Z = internal global int 0
 %X = internal global int 0


Index: llvm/test/Regression/Analysis/DSGraph/HardBUCase.ll
diff -u llvm/test/Regression/Analysis/DSGraph/HardBUCase.ll:1.2 llvm/test/Regression/Analysis/DSGraph/HardBUCase.ll:1.3
--- llvm/test/Regression/Analysis/DSGraph/HardBUCase.ll:1.2	Sat Nov  6 15:01:45 2004
+++ llvm/test/Regression/Analysis/DSGraph/HardBUCase.ll	Fri Aug 18 01:34:30 2006
@@ -1,4 +1,4 @@
-; RUN: analyze %s -budatastructure -dont-print-ds
+; RUN: opt -analyze %s -budatastructure -dont-print-ds
 
 %MidFnTy = type void (\2*)
 


Index: llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll
diff -u llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll:1.1 llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll:1.2
--- llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll:1.1	Sun Jun 29 17:35:55 2003
+++ llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll	Fri Aug 18 01:34:30 2006
@@ -1,6 +1,6 @@
 ; Test to check for support for "physical subtyping"
 ;
-; RUN: analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed
+; RUN: opt -analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed
 ;
 %S = type { int }
 %T = type { int, float, double }


Index: llvm/test/Regression/Analysis/DSGraph/SCCSimpleExample.ll
diff -u llvm/test/Regression/Analysis/DSGraph/SCCSimpleExample.ll:1.1 llvm/test/Regression/Analysis/DSGraph/SCCSimpleExample.ll:1.2
--- llvm/test/Regression/Analysis/DSGraph/SCCSimpleExample.ll:1.1	Sun Jun 29 22:25:53 2003
+++ llvm/test/Regression/Analysis/DSGraph/SCCSimpleExample.ll	Fri Aug 18 01:34:30 2006
@@ -1,5 +1,5 @@
 
-; RUN: analyze %s -datastructure-gc --dsgc-abort-if-merged=Y,BVal
+; RUN: opt -analyze %s -datastructure-gc --dsgc-abort-if-merged=Y,BVal
 
 implementation
 


Index: llvm/test/Regression/Analysis/DSGraph/constant_globals.ll
diff -u llvm/test/Regression/Analysis/DSGraph/constant_globals.ll:1.2 llvm/test/Regression/Analysis/DSGraph/constant_globals.ll:1.3
--- llvm/test/Regression/Analysis/DSGraph/constant_globals.ll:1.2	Wed Jun 28 15:14:30 2006
+++ llvm/test/Regression/Analysis/DSGraph/constant_globals.ll	Fri Aug 18 01:34:30 2006
@@ -1,5 +1,5 @@
 ; FIXME: A should just be SM
-; RUN: analyze %s -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=A:SIM
+; RUN: opt -analyze %s -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=A:SIM
 ; Constant globals should not mark stuff incomplete.  This should allow the 
 ; bu pass to resolve the indirect call immediately in "test", allowing %A to
 ; be marked complete and the store to happen.


Index: llvm/test/Regression/Analysis/DSGraph/strcpy.ll
diff -u llvm/test/Regression/Analysis/DSGraph/strcpy.ll:1.2 llvm/test/Regression/Analysis/DSGraph/strcpy.ll:1.3
--- llvm/test/Regression/Analysis/DSGraph/strcpy.ll:1.2	Tue Mar 16 14:04:55 2004
+++ llvm/test/Regression/Analysis/DSGraph/strcpy.ll	Fri Aug 18 01:34:30 2006
@@ -3,7 +3,7 @@
 ; has no defined way to check for this, so DSA can know that strcpy doesn't
 ; require merging the input arguments.
 
-; RUN: analyze %s -datastructure-gc --dsgc-abort-if-merged=A,B --dsgc-check-flags=A:ASM,B:ASR --dsgc-dspass=bu
+; RUN: opt -analyze %s -datastructure-gc --dsgc-abort-if-merged=A,B --dsgc-check-flags=A:ASM,B:ASR --dsgc-dspass=bu
 
 implementation
 




