[llvm] Late temporal divergence lowering for SDAG (PR #67033)

[via llvm-commits]

petar-avramovic wrote:

> In the example, %0 is not an induction variable, but a user of induction variable (see below example), it cannot be sunk out of the loop in early ir pass because it has a user %1 in the loop. Now we allow %1 to be sunk out of the loop, then %0 will also be sunk out.

I understand now, that does look like an issue but I don't have a test for that. I assumed that IR passes would move both %0 and %1 outside the loop.

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