reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
886 NewState = meetBDVState(NewState, getStateForInput(SI->getTrueValue())); 886 NewState = meetBDVState(NewState, getStateForInput(SI->getTrueValue())); 887 NewState = 888 meetBDVState(NewState, getStateForInput(SI->getFalseValue())); 891 NewState = meetBDVState(NewState, getStateForInput(Val)); 891 NewState = meetBDVState(NewState, getStateForInput(Val)); 895 NewState = 896 meetBDVState(NewState, getStateForInput(EE->getVectorOperand())); 900 NewState = meetBDVState(NewState, getStateForInput(IE->getOperand(0))); 900 NewState = meetBDVState(NewState, getStateForInput(IE->getOperand(0))); 901 NewState = meetBDVState(NewState, getStateForInput(IE->getOperand(1))); 901 NewState = meetBDVState(NewState, getStateForInput(IE->getOperand(1))); 906 NewState = meetBDVState(NewState, getStateForInput(SV->getOperand(0))); 906 NewState = meetBDVState(NewState, getStateForInput(SV->getOperand(0))); 907 NewState = meetBDVState(NewState, getStateForInput(SV->getOperand(1))); 907 NewState = meetBDVState(NewState, getStateForInput(SV->getOperand(1))); 911 if (OldState != NewState) { 913 States[BDV] = NewState;