paperchalice wrote: Another approach to modify `MachineFunctionProperties`. Pass manager no longer cares about `MachineFunctionProperties`, properties requirements are still declarative, but pass need to define a new helper variable in `run`. https://github.com/llvm/llvm-project/pull/83668