Searched refs:ResNot (Results 1 – 1 of 1) sorted by relevance
980 auto ResNot = addConstants(CIBase, CIAdded); in solveBlockValueSelect() local982 LVILatticeVal::getNot(ResNot)); in solveBlockValueSelect()988 auto ResNot = addConstants(CIBase, CIAdded); in solveBlockValueSelect() local990 LVILatticeVal::getNot(ResNot)); in solveBlockValueSelect()