Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • dtc's avatar
    8eb07ea5
    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
    History
    Updates to the derive type optimisers from Raymond Toy:
    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.