[PATCH] D61020: [ARM][ParallelDSP] Relax alias checks

[Sjoerd Meijer via Phabricator via llvm-commits]

SjoerdMeijer added inline comments.


================
Comment at: lib/Target/ARM/ARMParallelDSP.cpp:369
+    if (WARDeps.count(Dominator) && RAWDeps.count(Dominated)) {
+      InstSet &WARs = WARDeps[Dominator];
+      InstSet &RAWs = RAWDeps[Dominated];
----------------
I think I am struggling with the algorithm here. Here, and in the line below, we get the "write sets" of the 2 loads. We then start iterating over them , and if a write does not occur in both sets then we say it is safe to pair. But is this enough?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D61020/new/

https://reviews.llvm.org/D61020