[PATCH] D34181: MachineInstr: Reason locally about some memory objects before going to AA.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: lib/CodeGen/MachineInstr.cpp:1667
+  if (!SameVal) {
+    const PseudoSourceValue *PSVa = MMOa->getPseudoValue();
+    const PseudoSourceValue *PSVb = MMOb->getPseudoValue();
----------------
bmakam wrote:
> efriedma wrote:
> > This looks weird.  If getPseudoValue() is non-null, getValue() is null; therefore PSVa is always null here.
> getValue() will not be null here as we check for getValue() is null and return early at line 1638
> 
> ```
>   if (!MMOa->getValue() || !MMOb->getValue())
>     return true;
> ```
What I meant to say is "If getValue() is non-null, getPseudoValue() is null, therefore PSVa is always null here."


https://reviews.llvm.org/D34181