Searched refs:SCValue (Results 1 – 4 of 4) 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()
174 LatticeVal SCValue; in getFeasibleSuccessors() local176 SCValue = getOrInitValueState(SI.getCondition()); in getFeasibleSuccessors()178 SCValue = getLatticeState(SI.getCondition()); in getFeasibleSuccessors()180 if (SCValue == LatticeFunc->getOverdefinedVal() || in getFeasibleSuccessors()181 SCValue == LatticeFunc->getUntrackedVal()) { in getFeasibleSuccessors()188 if (SCValue == LatticeFunc->getUndefVal()) in getFeasibleSuccessors()191 Constant *C = LatticeFunc->GetConstant(SCValue, SI.getCondition(), *this); in getFeasibleSuccessors()
576 LatticeVal SCValue = getValueState(SI->getCondition()); in getFeasibleSuccessors() local577 ConstantInt *CI = SCValue.getConstantInt(); in getFeasibleSuccessors()581 if (!SCValue.isUnknown()) in getFeasibleSuccessors()639 LatticeVal SCValue = getValueState(SI->getCondition()); in isEdgeFeasible() local640 ConstantInt *CI = SCValue.getConstantInt(); in isEdgeFeasible()643 return !SCValue.isUnknown(); in isEdgeFeasible()
589 LatticeVal SCValue = getValueState(SI->getCondition()); in getFeasibleSuccessors() local590 ConstantInt *CI = SCValue.getConstantInt(); in getFeasibleSuccessors()594 if (!SCValue.isUndefined()) in getFeasibleSuccessors()652 LatticeVal SCValue = getValueState(SI->getCondition()); in isEdgeFeasible() local653 ConstantInt *CI = SCValue.getConstantInt(); in isEdgeFeasible()656 return !SCValue.isUndefined(); in isEdgeFeasible()