Home | History | Annotate | Download | only in ssa

Lines Matching defs:semidom

144                 if (info[vAncestorRep.getIndex()].semidom
145                         < info[vRep.getIndex()].semidom) {
187         // the largest semidom number assigned
207                     int predSemidom = info[eval(predBlock).getIndex()].semidom;
208                     if (predSemidom < wInfo.semidom) {
209                         wInfo.semidom = predSemidom;
213             info[vertex.get(wInfo.semidom).getIndex()].bucket.add(w);
230                 if (info[U.getIndex()].semidom
231                         < info[last.getIndex()].semidom) {
243                     != vertex.get(info[w.getIndex()].semidom).getIndex()) {
261             bbInfo.semidom = ++dfsNum;
270         public int semidom;