[PATCH] D93891: [DAGCombine] Remove the check for unsafe-fp-math when we are checking the AFN

Mon Jan 4 11:12:14 PST 2021

arsenm added a comment.

In D93891#2475047 <https://reviews.llvm.org/D93891#2475047>, @spatel wrote:

> In D93891#2474602 <https://reviews.llvm.org/D93891#2474602>, @steven.zhang wrote:
>
>> In D93891#2473825 <https://reviews.llvm.org/D93891#2473825>, @spatel wrote:
>>
>>> We're trying to (very slowly...) move away from needing the global/target options. Also, I'm not sure how those translate with GlobalISel.
>>> If there's a real-world case where the target options do not match the fast-math-flags on the IR, we should investigate if that was unexpected. Otherwise, I would prefer that we not add to the uses of target options.
>>
>> Hmm, do you know the specific reason that it is removed so slowly ... (What I imagine is just removing it and update some tests. Some targets still want it ?) It is not right to me that it is handled inconsistent. i.e.
>> FPOW didn't check the unsafe-fp-math while SQRT check it.
>
> Some targets had concerns about relying on only the node-level FMF, but I don't remember exactly why. It's been a long time since we introduced that functionality, so maybe it's fine to update now. 
> @arsenm - thoughts? (also adding more people who might answer if/how FMF changes affect GlobalIsel)

GlobalISel should behave identically to the DAG. We have the fast math flags, and could access the same TargetMachine options.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D93891/new/

https://reviews.llvm.org/D93891