Searched refs:BCValue (Results 1 – 4 of 4) 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()
132 LatticeVal BCValue; in getFeasibleSuccessors() local134 BCValue = getOrInitValueState(BI->getCondition()); in getFeasibleSuccessors()136 BCValue = getLatticeState(BI->getCondition()); in getFeasibleSuccessors()138 if (BCValue == LatticeFunc->getOverdefinedVal() || in getFeasibleSuccessors()139 BCValue == LatticeFunc->getUntrackedVal()) { in getFeasibleSuccessors()146 if (BCValue == LatticeFunc->getUndefVal()) in getFeasibleSuccessors()149 Constant *C = LatticeFunc->GetConstant(BCValue, BI->getCondition(), *this); in getFeasibleSuccessors()
550 LatticeVal BCValue = getValueState(BI->getCondition()); in getFeasibleSuccessors() local551 ConstantInt *CI = BCValue.getConstantInt(); in getFeasibleSuccessors()555 if (!BCValue.isUnknown()) in getFeasibleSuccessors()619 LatticeVal BCValue = getValueState(BI->getCondition()); in isEdgeFeasible() local623 ConstantInt *CI = BCValue.getConstantInt(); in isEdgeFeasible()625 return !BCValue.isUnknown(); in isEdgeFeasible()
563 LatticeVal BCValue = getValueState(BI->getCondition()); in getFeasibleSuccessors() local564 ConstantInt *CI = BCValue.getConstantInt(); in getFeasibleSuccessors()568 if (!BCValue.isUndefined()) in getFeasibleSuccessors()632 LatticeVal BCValue = getValueState(BI->getCondition()); in isEdgeFeasible() local636 ConstantInt *CI = BCValue.getConstantInt(); in isEdgeFeasible()638 return !BCValue.isUndefined(); in isEdgeFeasible()