[PATCH] D91767: [DomTree][NFC] Introduce function that finds common dom of multiple instructions
Max Kazantsev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sun Nov 22 20:52:49 PST 2020
mkazantsev added inline comments.
================
Comment at: llvm/include/llvm/IR/Dominators.h:206-207
+ ///
+ /// - If there is no dominance relation between A and B's blocks, return the
+ /// terminator of the nearest block that dominates both of them.
+ ///
----------------
kuhar wrote:
> Does this work for invoke instructions? I'm thinking of a situation when two instructions are in a block whose immediate dominator ends with an invoke but the invoke result is not available for these two instructions.
We don't guarantee that the result will be available. We only guarantee that this invoke will be executed before we reach each of the points in arg list.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D91767/new/
https://reviews.llvm.org/D91767
More information about the llvm-commits
mailing list