[llvm-commits] [PATCH] [Fast-math] In relaxed FP mode, Instruction::isAssociative() returns true for fmul/fadd

[Shuxin Yang]

Hi, Eli:

     I understand how such mixed FP operator could take place. I 
misconstrue your previous mail about the the
testing case. Currently it doesn't work (i.e mistakenly fold despite the 
one of the fp operator claimed as
restrictive).

    I don't try to lug everything in this single patch which is supposed 
to be a "enabler" for following work of
bug/performance defect.

    Please advise if I can "speculate" committing this change despite 
the some lurking bugs, or should I fix
all this potential bugs before I can commit this patch.

Shuxin


On 11/28/12 5:06 PM, Eli Friedman wrote:
> On Wed, Nov 28, 2012 at 4:53 PM, Shuxin Yang <shuxin.llvm at gmail.com> wrote:
>> Hi, Eli:
>>
>>    I'm not able to fabricate such *.ll with mixed fp operator directly from
>> *.c file.
>> We have to manually modify the *.ll from the 1st testing case.
> You can end up with this sort of construct using LTO (linking a
> fast-math file with a non-fast-math file).
>
> -Eli