Lines Matching refs:getCondition

527     LatticeVal BCValue = getValueState(BI->getCondition());  in getFeasibleSuccessors()
553     LatticeVal SCValue = getValueState(SI->getCondition());  in getFeasibleSuccessors()
596     LatticeVal BCValue = getValueState(BI->getCondition());  in isEdgeFeasible()
616     LatticeVal SCValue = getValueState(SI->getCondition());  in isEdgeFeasible()
818   LatticeVal CondValue = getValueState(I.getCondition());  in visitSelectInst()
1458       if (!getValueState(BI->getCondition()).isUndefined())  in ResolvedUndefsIn()
1463       if (isa<UndefValue>(BI->getCondition())) {  in ResolvedUndefsIn()
1472       markForcedConstant(BI->getCondition(),  in ResolvedUndefsIn()
1480       if (!getValueState(SI->getCondition()).isUndefined())  in ResolvedUndefsIn()
1485       if (isa<UndefValue>(SI->getCondition())) {  in ResolvedUndefsIn()
1491       markForcedConstant(SI->getCondition(), SI->case_begin().getCaseValue());  in ResolvedUndefsIn()
1864             assert(BI->isConditional() && isa<UndefValue>(BI->getCondition()) &&  in runOnModule()
1867             assert(isa<UndefValue>(SI->getCondition()) && "Switch should fold");  in runOnModule()