[Gd-chatter] src/d2c/compiler/optimize callopt.dylan,1.10.2.4,1.10.2.5

[Gabor Greif]

Update of /var/lib/cvs/src/d2c/compiler/optimize
In directory cantor:/tmp/cvs-serv26996

Modified Files:
      Tag: GD_2_5
	callopt.dylan 
Log Message:
Minor changes,
less chatty.


Index: callopt.dylan
===================================================================
RCS file: /var/lib/cvs/src/d2c/compiler/optimize/callopt.dylan,v
retrieving revision 1.10.2.4
retrieving revision 1.10.2.5
diff -u -d -r1.10.2.4 -r1.10.2.5
--- callopt.dylan	26 Aug 2003 13:05:12 -0000	1.10.2.4
+++ callopt.dylan	16 Sep 2003 16:26:56 -0000	1.10.2.5
@@ -538,7 +538,6 @@
     (component :: <component>,
      exp :: <ssa-variable>,
      asserted-type :: <ctype>,
-     /*FIXME: unneeded*/ use,
      assign :: <abstract-assignment>)
  => new-ssa :: <ssa-variable>;
   let builder = component.make-builder;
@@ -567,6 +566,8 @@
   reoptimize(component, use.dependent);
 end;
 
+// TODO: use andreas' dependents-walker
+
 
 define function maybe-restrict-uses-after
     (call :: <general-call>,
@@ -575,14 +576,15 @@
      component :: <component> /*,
      limit-for-error :: <boolean>*/)
  => ();
-//	  compiler-warning("##### call is: %=", call.dependents.dependent);
   let exp = dep.source-exp;
-	  compiler-warning("##### union type: %=", union-type);
   if (instance?(exp, <ssa-variable>)
 	& exp.dependents.source-next // more than one use
 	& csubtype?(union-type, exp.derived-type)
 	& ~csubtype?(exp.derived-type, union-type)) // real improvement
 
+compiler-warning("##### union type: %=", union-type);
+compiler-warning("##### exp.derived-type: %=", exp.derived-type);
+
     let common-ssa :: false-or(<ssa-variable>)
       = #f;
 
@@ -599,7 +601,7 @@
 	  compiler-warning("##### got it: %=", use-assign);
 if (#f) // change this to #t if you want the results of the analysis applied...
 	  common-ssa := common-ssa
-	    | restricted-ssa-variable(component, exp, union-type, use, call-assign);
+	    | restricted-ssa-variable(component, exp, union-type, call-assign);
 
 	  substitute-use(component, use, /*call, */common-ssa);
 	  /*FIXME*/ check-sanity(component); // GGR: can be removed later