[PATCH] D111397: RFC: A new way of skipping machine verification after problematic passes

Fri Oct 8 03:20:41 PDT 2021

foad added reviewers: MatzeB, kparzysz, rampitec, critson, arsenm, stoklund, qcolombet.
foad added a comment.
Herald added a subscriber: wdng.

This is an RFC to see if people like the idea.

Known issues:

1. I'm not sure if the new "Verifies" property needs to be serialised in .mir files.
2. When you look at the TargetMachine class for a particular target, it's not very easy to see where the "Verifies" flag gets turned off and on -- you have to look into the individual passes. It would be easy to have it turned off at one point in the middle of the pass pipeline, and forget to turn it on again later.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111397