[llvm] [MachineLICM] Only mark live-ins as non-invariant if defined in loop (PR #191755)

[Yuyang Zhang via llvm-commits]

yuyzhang512 wrote:

Thanks for the review! I've addressed the comments and updated the patch accordingly.

I also expanded the description with the motivation for doing this in Post-RA LICM (rather than pre-RA LICM), and rewrote the test as an IR test using a regular function.

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