[llvm] [VPlan] Fix alias logic in canHoistOrSinkWithNoAliasCheck (PR #179504)

[Ramkumar Ramachandra via llvm-commits]

================
@@ -223,7 +223,7 @@ canHoistOrSinkWithNoAliasCheck(const MemoryLocation &MemLoc,
 
       // For reads, check if they don't alias in the reverse direction and
       // skip if so.
-      if (CheckReads && R.mayReadFromMemory() &&
+      if (!(CheckReads && R.mayReadFromMemory()) ||
----------------
artagnon wrote:

I pushed the new logic, and I think it is correct: I reduced it from extensive case analysis.

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