[PATCH] D95690: [LoopVectorize] improve IR fast-math-flags propagation in reductions

[Noel Grandin via Phabricator via llvm-commits]

grandinj added a comment.

random idea from a bystander:

Is there some way to do symbolic execution of IR that results in some kind of "output state" of FMF at the end of a block of IR?

If such a thing existed, then running it on the IR before and after a pass, and comparing the state of FMF at the end of that chunk of IR, would validate if the pass was correctly propagating FMF.

I only ask because I've seen other such "lets validate by doing a restricted symbolic execution of some state" tools floating around.

Feel free to ignore me if I'm talking nonsense, it's late here :-)


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

https://reviews.llvm.org/D95690