[llvm] [CodeGen] Support MachineFunctionProperties in PassConcept (PR #79749)

[via llvm-commits]

paperchalice wrote:

> actually I'm not understanding why this is necessary. it looks like `MachineVerifier::verify` mostly reads from `MachineFunction::getProperties()` to determine what to verify? it does get a couple of analyses, but so do some new PM instrumentation validation passes like in `PreservedCFGCheckerInstrumentation::registerCallbacks()`


The relevant code is in `MachineFunctionPass.cpp`, the `runOnFunction` modifies `MachineFunctionProperties`. Plan to move them to CodeGen-specific instrumentation, which is not no-op.

https://github.com/llvm/llvm-project/pull/79749