Searched refs:SCValue (Results 1 – 2 of 2) sorted by relevance
175 LatticeVal SCValue; in getFeasibleSuccessors() local177 SCValue = getOrInitValueState(SI.getCondition()); in getFeasibleSuccessors()179 SCValue = getLatticeState(SI.getCondition()); in getFeasibleSuccessors()181 if (SCValue == LatticeFunc->getOverdefinedVal() || in getFeasibleSuccessors()182 SCValue == LatticeFunc->getUntrackedVal()) { in getFeasibleSuccessors()189 if (SCValue == LatticeFunc->getUndefVal()) in getFeasibleSuccessors()192 Constant *C = LatticeFunc->GetConstant(SCValue, SI.getCondition(), *this); in getFeasibleSuccessors()
553 LatticeVal SCValue = getValueState(SI->getCondition()); in getFeasibleSuccessors() local554 ConstantInt *CI = SCValue.getConstantInt(); in getFeasibleSuccessors()558 if (!SCValue.isUndefined()) in getFeasibleSuccessors()616 LatticeVal SCValue = getValueState(SI->getCondition()); in isEdgeFeasible() local617 ConstantInt *CI = SCValue.getConstantInt(); in isEdgeFeasible()620 return !SCValue.isUndefined(); in isEdgeFeasible()