Skip to content
Snippets Groups Projects
Commit 8eb07ea5 authored by dtc's avatar dtc
Browse files

Updates to the derive type optimisers from Raymond Toy:

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.
parent 262d6325
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment