[PATCH] D102421: [FPEnv][WIP] Verify non-mixing of strictfp instructions and regular FP instructions

[Kevin P. Neal via Phabricator via llvm-commits]

kpn created this revision.
kpn added a reviewer: mibintc.
Herald added subscribers: dexonsmith, hiraditya.
kpn requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This patch, which should be applied on _top_ of D68233 <https://reviews.llvm.org/D68233>, adds checking for illegal mixing of strictfp and regular FP instructions. Because regular FP instructions lack the ordering constraints of strictfp the mixing of them in a single function is forbidden.

This is not ready to commit as it needs polish. It will also probably cause test failures that need to be addressed first. I'm opening this ticket now to facilitate finding those test failures.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D102421

Files:
  llvm/lib/IR/Verifier.cpp
  llvm/test/Verifier/fp-intrinsics.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D102421.345198.patch
Type: text/x-patch
Size: 8973 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210513/4b31b636/attachment.bin>