On Wed, Aug 07, 2013 at 07:13:18AM +0100, Gabriel Kerneis wrote:
> No, the conversion basically calls Cil.constFold which fails on anything but
> ints and enums.

        Once upon a long ago (~10y) we already
had this discussion with respect to the
`Partial' module.

Back then someone (probably more knowledgeable)
convinced me that folding floats and doubles
involves all kinds of non-portability issues,
and therefore is potentially dangerous.
E.g.
  * What about IEEE-754 (non-)compliance of the
    target?
  * How do different rounding modes when folding
    w/CIL and when running on the actual target
    influence code flow?
This was the reason, why I left the code alone.


HTH,
        Chris

------------------------------------------------------------------------------
Get 100% visibility into Java/.NET code with AppDynamics Lite!
It's a free troubleshooting tool designed for production.
Get down to code-level detail for bottlenecks, with <2% overhead. 
Download for free and get started troubleshooting in minutes. 
http://pubads.g.doubleclick.net/gampad/clk?id=48897031&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to