Searched refs:TrueCR (Results 1 – 1 of 1) sorted by relevance
910 ConstantRange TrueCR = TrueVal.getConstantRange(); in solveBlockValueSelect() local923 BBLV.markConstantRange(TrueCR.smin(FalseCR)); in solveBlockValueSelect()926 BBLV.markConstantRange(TrueCR.umin(FalseCR)); in solveBlockValueSelect()929 BBLV.markConstantRange(TrueCR.smax(FalseCR)); in solveBlockValueSelect()932 BBLV.markConstantRange(TrueCR.umax(FalseCR)); in solveBlockValueSelect()