Re: Very strange code in CmmMachOps.hs

2012-08-07 Thread Simon Marlow
On 06/08/2012 15:50, Thomas Schilling wrote: The following code in from cmm/CmmMachOps.hs (lines 255-282) looks very wrong: == -- Inverting conditions -- Sometimes it's useful to be able to invert the sense of a -- condition. Not all conditio

Re: Very strange code in CmmMachOps.hs

2012-08-06 Thread Corey O'Connor
Just making sure I understand the issues. Is this what you mean be "completely off": MO_F_Ge r -> Just (MO_F_Le r) -- <-- definitely wrong This says: The inverse of "Floating point greater than or equal" is "floating point less than or equal" Which should be: The inverse of "Floating point

Very strange code in CmmMachOps.hs

2012-08-06 Thread Thomas Schilling
The following code in from cmm/CmmMachOps.hs (lines 255-282) looks very wrong: == -- Inverting conditions -- Sometimes it's useful to be able to invert the sense of a -- condition. Not all conditional tests are invertible: in -- particular, flo