Searched refs:LVN (Results 1 – 1 of 1) sorted by relevance
2091 uint32_t LVN = VN.lookup_or_add(LHS); in propagateEquality() local2097 if (LVN < RVN) { in propagateEquality()2099 LVN = RVN; in propagateEquality()2113 addToLeaderTable(LVN, RHS, Root.getEnd()); in propagateEquality()