Skip to content
Snippets Groups Projects
  1. Sep 15, 1997
  2. Sep 13, 1997
  3. Sep 12, 1997
  4. Sep 10, 1997
  5. Sep 08, 1997
  6. Sep 07, 1997
  7. 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
  8. Sep 04, 1997
  9. Sep 03, 1997
  10. Sep 02, 1997
  11. Sep 01, 1997
  12. Aug 30, 1997
  13. Aug 29, 1997
Loading