[PATCH] D112025: Intrinsic for checking floating point class

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

In D112025#3488141 <https://reviews.llvm.org/D112025#3488141>, @sepavloff wrote:

> In D112025#3485583 <https://reviews.llvm.org/D112025#3485583>, @nlopes wrote:
>
>> Is the second argument required to be a constant? If so, it would be great to document that. Thanks!
>
> Fixed in https://github.com/llvm/llvm-project/commit/d9b5544e0f99656ac18e39daf31fa8231ea0d9ef.
> Thanks!

Thank you!
Will add support for this in Alive2 soonish.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D112025