Skip to content
Snippets Groups Projects
  1. Jun 15, 1990
  2. Jun 14, 1990
    • ram's avatar
      Fixed a bug in SSET-UNION-OF-DIFFERENCE that prevented the difference from · e2a2f1bc
      ram authored
      really happening most of the time.
      e2a2f1bc
    • 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
  3. Jun 13, 1990
  4. Jun 12, 1990
  5. Jun 11, 1990
  6. Jun 10, 1990
  7. Jun 09, 1990
  8. Jun 08, 1990
  9. Jun 07, 1990
  10. Jun 06, 1990
Loading