search for: georgiadi

...es (~100) across the project and I believe that doing that all at once would be tricky to get correct. Gradual update seems much easier to ensure correctness and the transitional API (invalid additional data check) is trivial to implement. Because of that, I propose to follow the option (c). [1] Georgiadis et al., An Experimental Study of Dynamic Dominators, https://arxiv.org/pdf/1604.02711.pdf [2] llvm-dominators LLVM fork on Github, https://github.com/kuhar/llvm-dominators [3] L. Georgiadis, Linear-Time Algorithms for Dominators and Related Problems, ftp://ftp.cs.princeton.edu/reports/2005/737.pdf...

...to get correct. Gradual update seems much easier > > to > > ensure correctness and the transitional API (invalid additional data > > check) > > is trivial to implement. Because of that, I propose to follow the option > > (c). > > > > > > > > [1] Georgiadis et al., An Experimental Study of Dynamic Dominators, > > https://arxiv.org/pdf/1604.02711.pdf > > [2] llvm-dominators LLVM fork on Github, > > https://github.com/kuhar/llvm-dominators > > [3] L. Georgiadis, Linear-Time Algorithms for Dominators and Related > > Problem...