[flang-commits] [flang] [flang] Added LoopInvariantCodeMotion pass for [HL]FIR. (PR #173438)

[Slava Zakharin via flang-commits]

================

----------------
vzakhari wrote:

Thanks for the review, Tom!

I do not think this TODO is resolved, so the check for `isFortranUserVariable` should be necessary still.

I would like to look further into `isCallToFortranUserProcedure` check so that we can handle Fortran runtime calls better (e.g. based on the memroy access attributes that we are able to figure out in `SetRuntimeCallAttributesPass`).

I beleive there is a room for improvement in the mod-ref analysis, but it already works for some cases that Jean addressed when he initially added the implementation.

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