[llvm] [Uniformity] Avoid marking all PHIs as divergent in join blocks (PR #157808)

[Carl Ritson via llvm-commits]

perlfu wrote:

I have refactor the loop, and change variable naming to try and make its function more obvious.

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