Searched refs:ResNot (Results 1 – 2 of 2) 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()
976 auto ResNot = addConstants(CIBase, CIAdded); in solveBlockValueSelect() local978 ValueLatticeElement::getNot(ResNot)); in solveBlockValueSelect()984 auto ResNot = addConstants(CIBase, CIAdded); in solveBlockValueSelect() local986 ValueLatticeElement::getNot(ResNot)); in solveBlockValueSelect()