[llvm] [RFC] Memory Model Relaxation Annotations (PR #78569)

[Sameer Sahasrabuddhe via llvm-commits]

================
@@ -196,10 +197,11 @@ StoreInst *MergedLoadStoreMotion::canSinkFromBlock(BasicBlock *BB1,
         !isStoreSinkBarrierInRange(*Store1->getNextNode(), BB1->back(), Loc1) &&
         !isStoreSinkBarrierInRange(*Store0->getNextNode(), BB0->back(), Loc0) &&
         Store0->hasSameSpecialState(Store1) &&
-        CastInst::isBitOrNoopPointerCastable(
-            Store0->getValueOperand()->getType(),
-            Store1->getValueOperand()->getType(),
-            Store0->getModule()->getDataLayout()))
+        MMRAMetadata(*Store0) == MMRAMetadata(*Store1) &
----------------
ssahasra wrote:

Did you mean to use "&&" here?

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