Searched refs:BCValue (Results 1 – 2 of 2) sorted by relevance
133 LatticeVal BCValue; in getFeasibleSuccessors() local135 BCValue = getOrInitValueState(BI->getCondition()); in getFeasibleSuccessors()137 BCValue = getLatticeState(BI->getCondition()); in getFeasibleSuccessors()139 if (BCValue == LatticeFunc->getOverdefinedVal() || in getFeasibleSuccessors()140 BCValue == LatticeFunc->getUntrackedVal()) { in getFeasibleSuccessors()147 if (BCValue == LatticeFunc->getUndefVal()) in getFeasibleSuccessors()150 Constant *C = LatticeFunc->GetConstant(BCValue, BI->getCondition(), *this); in getFeasibleSuccessors()
527 LatticeVal BCValue = getValueState(BI->getCondition()); in getFeasibleSuccessors() local528 ConstantInt *CI = BCValue.getConstantInt(); in getFeasibleSuccessors()532 if (!BCValue.isUndefined()) in getFeasibleSuccessors()596 LatticeVal BCValue = getValueState(BI->getCondition()); in isEdgeFeasible() local600 ConstantInt *CI = BCValue.getConstantInt(); in isEdgeFeasible()602 return !BCValue.isUndefined(); in isEdgeFeasible()