https://github.com/arsenm approved this pull request. This is a really hacky system. We should just have the registers on the instructions and then treat them as invariant in non-strict functions https://github.com/llvm/llvm-project/pull/168282