[Haskell-cafe] Problem finding rewrite rules
haskell at with-h.at
Thu Aug 28 20:40:00 UTC 2014
I'm currently looking at the optimization GHC is doing and I cannot find
the rewrite rules it fires. When I run my test code with
ghc -O2 -ddump-simpl-stats -ddump-rule-firings Main.hs
GHC shows the rules which are fired:
Rule fired: Class op +
Rule fired: +##
and so on. Nothing new, nothing special.
However, where do I find the definitions of these rules ?
I grepped the GHC code base and found nothing so far. I didn't find any
documentation on it either.
Can anyone point me to some place where I can find further information ?
Thank you folks and have a nice day
PS.: Since I'm working on numerical stable code with directed rounding
I'm only interested in these two particular rules. I suspect them to
break parts of my code.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 819 bytes
Desc: not available
More information about the Haskell-Cafe