[PATCH] D62610: [DA] Add an option to control delinearization validity checks

[Bardia via Phabricator via llvm-commits]

bmahjour added a comment.

In D62610#1526365 <https://reviews.llvm.org/D62610#1526365>, @jdoerfert wrote:

> I would have liked to invert the option though. Most similar options are set up such that they allow to opt-out of the sound behavior.


Are you saying you'd like the validity checks to be off by default? Unfortunately for the cases mentioned by Dave and Michael, the compiler would have to be pessimistic and do these validity checks otherwise incorrect transformations can take place. That's why this option leaves the checks intact by default.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D62610