[PATCH] D74931: [Dominators] Use Instruction::comesBefore for block-local queries, NFC

Jakub Kuderski via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 20 14:39:15 PST 2020


kuhar added inline comments.


================
Comment at: llvm/lib/IR/Dominators.cpp:284
   // everything in the block.
   if (isa<PHINode>(UserInst))
     return true;
----------------
This code makes every user that is a phi be dominated by the def?
So if we have two phis, the one that comes later may be said to dominate its predecessor?

Not sure if I got confused here, but this looks fishy to me. Do we need this if at all?


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

https://reviews.llvm.org/D74931





More information about the llvm-commits mailing list