[PATCH] D139902: IR: Add nofpclass parameter attribute

Mon Jan 16 07:47:06 PST 2023

arsenm added a comment.

In D139902#4056533 <https://reviews.llvm.org/D139902#4056533>, @sepavloff wrote:

> Existing decoration with `nnan`/`ninf` has inconvenient semantics. Having more powerfull and consistent solution can enable optimizations that are based on the knowledge of finitness of FP operands.
>
>> This is to help simplify the GPU builtin math library distribution.
>
> This patch is about parameter attribute only. How would it be used? Would it be a separate tool, that analyzes bitcode, or some follow-up patches are planned?

It just plugs into isKnownNeverNaN and co. as is handled here. The optimizations for the compares in the library should naturally fall out once the attributes are applied. The follow on patches needed are the propagation in the attributor

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

https://reviews.llvm.org/D139902