[PATCH] D62619: [analyzer][Dominators] Add a control dependency tree builder + a new debug checker
Kristóf Umann via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed May 29 12:42:42 PDT 2019
Szelethus added a comment.
In D62619#1521824 <https://reviews.llvm.org/D62619#1521824>, @kuhar wrote:
> You can easily get CD by calculating the PostDominanceFrontier. LLVM implements a templated IDF (Iterated Dominance Frontier) construction.
> A native implementation for llvm ir for reference, if you need:
> - https://github.com/seahorn/seahorn/blob/deep-dev-5.0/include/seahorn/Analysis/ControlDependenceAnalysis.hh
> - https://github.com/seahorn/seahorn/blob/deep-dev-5.0/lib/Analysis/ControlDependenceAnalysis.cc
> Paper: R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst., 13(4):451–490, Oct. 1991.
Wow, thank you so much! This looks like a far superior but not a much more complicated solution then my own :) And I came to realize it may not even be correct.
CHANGES SINCE LAST ACTION
More information about the cfe-commits