Skip to content
Snippets Groups Projects
  1. Jun 11, 1990
  2. Jun 06, 1990
    • ram's avatar
      Changes to do type checking at the DEST rather than at continuation uses, · 62b53eaa
      ram authored
      and changes to preserve enough type info in IR2 so that representation 
      selection and load-TN packing can tell what representations are legal
      for a value.  It is now guarantees that the TN passed as a VOP operand
      (via :TRANSLATE) will be of one of the primitive types allowed in the
      operand primitive-type restriction.
      Took advantage of the new delayed type checking to somewhat improve the
      code we get for FUNCALL when the operand type is unknown: we now 
      call COERCE-TO-FUNCTION when we don't know whether the arg is legal, and
      call FAST-SAFE-COERCE-TO-FUNCTION when we know it is a function or a symbol,
      but not which.  This eliminates the duplication of the function-p test in
      the normal (function) case where we don't know anything about the value
      at compile-time.
      The new CONTINUATION-TNS function is used to get and check the values 
      of fixed multiple value continuations.
      62b53eaa
  3. May 30, 1990
  4. May 12, 1990
  5. May 07, 1990
  6. Apr 30, 1990
  7. Apr 27, 1990
  8. Apr 21, 1990
  9. Apr 19, 1990
  10. Apr 17, 1990
  11. Apr 16, 1990
    • ram's avatar
      Merged non-descriptor changes: · b75211d8
      ram authored
      Changed CONTINUATION-RESULT-TNS to just look at the number of results
      desired, and make any needed temps with type T, instead of trying to
      figure out a type from the restriction.  This code was previously 
      broken (didn't work on *), and was even more broken after addition of
      the new operand restriction kinds.  We don't need this anymore anyway.
      
      
      Fixed up call stuff for new argument convention.
      
      Ripped out coercion stuff.
      b75211d8
  12. Mar 10, 1990
  13. Mar 05, 1990
  14. Feb 27, 1990
  15. Feb 10, 1990
  16. Feb 06, 1990
Loading