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

[Arthur Eubanks via llvm-commits]

================
@@ -43,7 +41,31 @@ extern template class AnalysisManager<MachineFunction>;
 /// automatically mixes in \c PassInfoMixin.
 template <typename DerivedT>
 struct MachinePassInfoMixin : public PassInfoMixin<DerivedT> {
-  // TODO: Add MachineFunctionProperties support.
+  // MachineFunctionProperties support
+  static MachineFunctionProperties getRequiredProperties() {
+    return MachineFunctionProperties();
+  }
+
+  static MachineFunctionProperties getSetProperties() {
+    return MachineFunctionProperties();
+  }
+
+  static MachineFunctionProperties getClearedProperties() {
+    return MachineFunctionProperties();
+  }
+};
+
+/// A CRTP mix-in that provides informational APIs needed for MachineFunction
+/// analysis passes. See also \c PassInfoMixin.
+template <typename DerivedT>
+struct MachineFunctionAnalysisInfoMixin
----------------
aeubanks wrote:

I'm not super familiar with codegen verification. I vaguely understand that there are different parts of the pipeline that require different types of verification. but do machine function analyses also need this?

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