Skip to content
Snippets Groups Projects
  1. Sep 24, 1997
  2. Sep 22, 1997
  3. Sep 20, 1997
    • dtc's avatar
      Avoid unnecessary re-compiling of defsys; was looking for a fasl · a0cb23fa
      dtc authored
      object file but byte compiling so should have been looking for a
      byte-fasl object file.
      a0cb23fa
    • dtc's avatar
      Updates from Raymond Toy: · 15ca185f
      dtc authored
      Elfun-derive-type-union didn't properly handle the case of
      elfun-derive-type-1 returning a union type like (or float (complex
      float)) - it does now.
      
      Elfun-derive-type-1 is slightly enhanced so that if the input is a
      complex type, the result is a complex type of the same.  Before, we
      just returned default-type.  Also, it's a bit smarter now so that if
      the result is supposed to be (or float (complex float)), we try to
      refine float to single-float or double-float if possible.
      15ca185f
    • dtc's avatar
      Update from Raymond Toy: Merge-types-aux didn't know how to handle the · b3d03d27
      dtc authored
      case where the numeric-type list contained complex numbers.  No
      merging is done in this case, and that complex type is simply added.
      b3d03d27
  4. Sep 16, 1997
  5. Sep 15, 1997
  6. Sep 13, 1997
  7. Sep 12, 1997
  8. Sep 10, 1997
  9. Sep 08, 1997
  10. Sep 07, 1997
  11. Sep 05, 1997
    • dtc's avatar
      Add a deftype for EQL. · 441b93e4
      dtc authored
      441b93e4
    • dtc's avatar
      Updated log derive-type optimiser from Raymond Toy. · 27a0f74e
      dtc authored
      27a0f74e
    • dtc's avatar
      The propagate-float-type version of ir1-transform-< was missing an · bd950790
      dtc authored
      optimisation opportunity; revert to the original version for the
      integer case.
      bd950790
    • dtc's avatar
      8f1da183
    • dtc's avatar
      Updates to the derive type optimisers from Raymond Toy: · c4cc825d
      dtc authored
      o Optimizer for + recognizes the case of (+ x x).  The old behavior
        produced a result that was wider than necessary.
      
      o Optimizer for - recognizes (- x x) is always 0.
      
      o Optimizer for / recognizes (/ x x) is 1, usually.  However, if x can
        contain 0, we don't return 1 as the result because 0 / 0 is not
        1. (Perhaps if safety = 0, we could ignore this possibility, and just
        say the result is always 1?)
      
      o Optimizer for abs understands union types.  This also corrects the bug
        that abs of a union type returned NUMBER instead of (REAL 0), as it
        should have.
      c4cc825d
    • dtc's avatar
      Updates to the derive type optimisers from Raymond Toy: · 8eb07ea5
      dtc authored
      o Added optimizers for ftruncate, ffloor, and fceiling.
      
      o Most elementary functions can now handle union types and appropriate
        bounds are returned.  This includes truncate, floor, ceiling, and
        float.
      
      o Some bugs in the optimizers were also fixed because union types are
        handled now.  In particular most functions returned (FLOAT) (or
        subtype thereof) when in fact the answer should have been (OR FLOAT
        (COMPLEX FLOAT)).
      
      o The optimizer for log now handles the case of (log x y) and returns
        appropriate bounds for it.  (It used to give up in this case.)
      
      o The optimizer for atan and phase works better and handles more
        cases.
      8eb07ea5
  12. Sep 04, 1997
  13. Sep 03, 1997
Loading