Skip to content
Snippets Groups Projects
  1. Aug 04, 1992
  2. Jul 31, 1992
  3. Jul 22, 1992
  4. Jun 04, 1992
  5. Jun 03, 1992
  6. Apr 14, 1992
  7. Apr 02, 1992
  8. Apr 01, 1992
  9. Feb 19, 1992
  10. Feb 11, 1992
  11. Jan 25, 1992
  12. Dec 20, 1991
  13. Dec 16, 1991
  14. Dec 15, 1991
  15. Dec 11, 1991
    • ram's avatar
      Give a warning in DERIVE-NODE-TYPE when we prove inconsistent types. This · 3cdf64f6
      ram authored
      is probably always a bug, but I don't want to use ASSERT until all 
      the problems are fixed.
      Changed RETURN optimization to call MAYBE-CONVERT-TAIL-CALL.
      Updated for new tail-set semantics. 
      Changed VALUES IR1 transform and SUBSTITUTE-SINGLE-USE-CONTINUATION to
      clear out the old NODE-DERIVED-TYPE so that the type doesn't spuriously 
      go to NIL.
      3cdf64f6
  16. Nov 16, 1991
  17. Nov 15, 1991
  18. Nov 13, 1991
    • ram's avatar
      When optimizing combinations, don't do the "efficiency hack" of checking · 42396069
      ram authored
      whether any args have reoptimize set.  Most calls to IR1-OPTIMIZE-COMBINATION
      that this inhibits are actually desirable.
      
      Deleted assertion in JOIN-SUCCESSOR-IF-POSSIBLE.  This really can happen, and
      DELETE-CONTINUATION should do the right thing.
      
      Changed MAYBE-TERMINATE-BLOCK to take an explicit IR1-P flag.  Fixed it not to
      consider deleted continuations to have type NIL.  Use DELETE-CONTINUATION on
      the old continuation if it has no references and we aren't in IR1 conversion.
      42396069
  19. Nov 09, 1991
  20. Oct 03, 1991
  21. May 16, 1991
  22. Mar 11, 1991
  23. Mar 10, 1991
  24. Feb 20, 1991
  25. Feb 14, 1991
  26. Feb 04, 1991
    • ram's avatar
      Added IR1-OPTIMIZE-MV-COMBINATION, which dispatches to various · 4d1b0a90
      ram authored
      MV-combination optimizers depending on the kind of call.  We convert
      newly discovered MV-BINDs local :MV-LET calls, and convert 
      MV-CALLs to MV-BINDs if the argument count is known.  Also
      added a VALUES-LIST IR1 optimizer that converts (values-list (list ...))
      into (values ...).
      These changes make inline expansion of functions that have &rest args
      and do APPLY convert to FUNCALL.
      4d1b0a90
  27. Jan 13, 1991
  28. Jan 02, 1991
    • ram's avatar
      Mucho enhancements. · a587cf3f
      ram authored
      If we discover a known call, and that call has a source transform or is a
      	
      conditional, then we replace the function with a lambda that
      just calls the function again.  This gives IR1 conversion another chance
      to permute the call.
      Changed IR1 transforms to test the function type with :STRICT-RESULT T
      since this is almost always what you want when writing a transform.
      In constant folding, if the call returns multiple values, change
      the function to a call to VALUES, rather than just blowing off
      constant folding.
      Added DELETE-LET which deletes the bind node for a let when all 
      its variables are deleted.  This cleans up the IR1 a great deal, enabling
      some optimizations.
      Added an IR1 optimizer for VALUES that converts MV-BIND/VALUES into a
      LET (as long as the VALUES is the only use of the values continuation.)
      This helps optimization of the results of IR1 transforms for multiple
      value functions.
      Added a IR1 transform for VALUES that discards all but the first
      value when the context is not a multiple-value receiver.
      a587cf3f
  29. Oct 14, 1990
  30. Oct 11, 1990
  31. Oct 05, 1990
  32. Oct 03, 1990
  33. Sep 06, 1990
  34. Aug 24, 1990
  35. Jul 24, 1990
  36. Jul 23, 1990
  37. Jun 17, 1990
Loading