[flang-commits] [flang] [llvm] [flang][OpenMP] Sink intervening code unguarded into collapsed loop body (PR #225159)

[Caroline Newcombe via flang-commits]

cenewcombe wrote:

Thanks all for the discussion on the spec. I've spoken some more with @dreachem and with some testing it looks like this PR's behavior is consistent with gfortran and CCE Fortran as well. Deepak is following up with the OpenMP committee to see if this scenario -- read of the inner loop variable in the outer loop -- should be unspecified behavior. For now I think we are agreed that the sink implemented here meets what the spec requires.

With that question settled, I was wondering if anyone here could provide a code review so I can address any issues and get it merged. Thanks again!

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