378                                       Instruction *BBI, BasicBlock *BB);
518   Instruction *BBI = dyn_cast<Instruction>(Val);  in solveBlockValue()  local
519   if (BBI == 0 || BBI->getParent() != BB) {  in solveBlockValue()
523   if (PHINode *PN = dyn_cast<PHINode>(BBI)) {  in solveBlockValue()
527   if (AllocaInst *AI = dyn_cast<AllocaInst>(BBI)) {  in solveBlockValue()
535   if ((!isa<BinaryOperator>(BBI) && !isa<CastInst>(BBI)) ||  in solveBlockValue()
536      !BBI->getType()->isIntegerTy()) {  in solveBlockValue()
545   BinaryOperator *BO = dyn_cast<BinaryOperator>(BBI);  in solveBlockValue()
554   return ODCacheUpdater.markResult(solveBlockValueConstantRange(BBLV, BBI, BB));  in solveBlockValue()
693                                                       Instruction *BBI,  in solveBlockValueConstantRange()  argument
696   if (!hasBlockValue(BBI->getOperand(0), BB)) {  in solveBlockValueConstantRange()
697     BlockValueStack.push(std::make_pair(BB, BBI->getOperand(0)));  in solveBlockValueConstantRange()
701   LVILatticeVal LHSVal = getBlockValue(BBI->getOperand(0), BB);  in solveBlockValueConstantRange()
709   IntegerType *ResultTy = cast<IntegerType>(BBI->getType());  in solveBlockValueConstantRange()
710   if (isa<BinaryOperator>(BBI)) {  in solveBlockValueConstantRange()
711     if (ConstantInt *RHS = dyn_cast<ConstantInt>(BBI->getOperand(1))) {  in solveBlockValueConstantRange()
723   switch (BBI->getOpcode()) {  in solveBlockValueConstantRange()