[PATCH] D30598: Refactor alias check from MISched into common helper. NFC.

[Matthias Braun via Phabricator via llvm-commits]

MatzeB added a comment.

> One thing I found kind of confusing was that I'm not sure what the rules for areMemAccessesTriviallyDisjoint are supposed to be. It looks like a lot of targets assume that the function is in SSA form (checking equality between two registers without checking whether the value of that register is modified), but we call it after register allocation. How is this supposed to work?

I'm no expert here but I think the areMemAccessesTriviallyDisjoint() works because it is only used for scheduling where a change in the value of the register would inhibit reordering anyway.


Repository:
  rL LLVM

https://reviews.llvm.org/D30598