[PATCH] D93455: Constrained fp OpBundles

[Simon Moll via Phabricator via llvm-commits]

simoll created this revision.
simoll added reviewers: craig.topper, uweigand, sepavloff, kpn, kaz7.
Herald added subscribers: dexonsmith, jdoerfert, hiraditya.
simoll requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This adds support for the cfp-except and cfp-round operand bundles. These bundles can be tagged on to floating-point intrinsics to specify a non-default floating environment.

The first application, we are preparing with this patch, is to support non-default fp environments in VP intrinsics (eg `llvm.vp.fadd`). However, constrained fp bundles could replace all redundant intrinsics that are just another intrinsic plus metadata params for the fp environment (eg `llvm.experimental.constrained.sqrt`).

This patch won't be committed before floating-point VP intrinsics are in (unless people would like to use these bundles right away for constrained fp, of course).


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D93455

Files:
  llvm/docs/LangRef.rst
  llvm/include/llvm/IR/IntrinsicInst.h
  llvm/include/llvm/IR/LLVMContext.h
  llvm/lib/AsmParser/LLParser.cpp
  llvm/lib/IR/IntrinsicInst.cpp
  llvm/lib/IR/LLVMContext.cpp
  llvm/lib/IR/Verifier.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D93455.312465.patch
Type: text/x-patch
Size: 10324 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201217/a8c9add5/attachment.bin>