Skip to content
Snippets Groups Projects
  1. Feb 12, 1997
  2. Jan 18, 1997
  3. Oct 31, 1994
  4. Feb 11, 1994
  5. Aug 25, 1993
  6. Jan 13, 1993
  7. Jun 03, 1992
  8. Mar 21, 1992
  9. Dec 08, 1991
  10. Feb 20, 1991
  11. Jul 23, 1990
  12. Jul 06, 1990
  13. Jun 17, 1990
  14. Jun 14, 1990
    • ram's avatar
      Fixed Kill set computation. We were computing the kill set in the initial · 92eb1327
      ram authored
      constraint assignment pass, but this didn't work, since new constraints
      (that we also kill) could be added by other blocks or in subsequent
      invocations of constraint propagation.  Instead, we make the Block-Kill
      be a list of the lambda-vars killed, and dynamically determine the
      kill set in FLOW-PROPAGATE-CONSTRAINTS.  Also, changed stuff to 
      reinitialize the IN and OUT sets on repeated invocations.  I believe that
      this is no more correct, but it does make the flow analysis process
      more understandable, since the size of these sets will only increase.
      Previously these sets could start oversize and decrease if we somehow
      lost information between this invocation and the previous one.
      92eb1327
  15. Jun 11, 1990
    • ram's avatar
      Only add test constraints on blocks with a single predecessor. · b461012b
      ram authored
      When we substitute a constant due to an EQL constraint, punt of the loop
      so that we don't lose due to assuming that the ref's leaf is a lambda-var.
      Only change a IF test to T when there is no type constraint on the 
      continuation (e.g. ENDP).
      b461012b
  16. Jun 06, 1990
  17. May 30, 1990
  18. Mar 05, 1990
  19. Feb 06, 1990
Loading