[llvm] [AMDGPU] Model waterfall loop EXEC update as a terminator (PR #219519)

[Arseniy Obolenskiy via llvm-commits]

================
@@ -604,6 +609,86 @@ bool SIOptimizeExecMasking::optimizeExecSequence() {
   return Changed;
 }
 
+bool SIOptimizeExecMasking::blocksAndN2Sink(const MachineInstr &MI,
+                                            Register Dst) const {
+  for (const MachineOperand &MO : MI.operands()) {
+    if (!MO.isReg())
+      continue;
+    // Any access to Dst would see a stale value once the def sinks past it, a
+    // use of SCC would see the s_andn2 result, and a redefinition of EXEC
+    // would change what the s_andn2 computes.
+    if (TRI->regsOverlap(MO.getReg(), Dst))
+      return true;
+    if (MO.isUse() && TRI->regsOverlap(MO.getReg(), AMDGPU::SCC))
+      return true;
+    if (MO.isDef() && TRI->regsOverlap(MO.getReg(), LMC.ExecReg))
+      return true;
----------------
aobolensk wrote:

Looks legit. removed

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