Lines Matching refs:latticeValues
270 auto &lattice = latticeValues[value]; in markAllOverdefinedAndVisitUsers()
286 DenseMap<Value, LatticeValue> latticeValues; member in __anon319c02070111::SCCPSolver
457 auto it = latticeValues.find(value); in replaceWithConstant()
458 auto attr = it == latticeValues.end() ? nullptr : it->second.getConstant(); in replaceWithConstant()
470 latticeValues.erase(it); in replaceWithConstant()
481 auto &operandLattice = latticeValues[operand]; in visitOperation()
542 LatticeValue &resultLattice = latticeValues[op->getResult(i)]; in visitOperation()
549 meet(op, resultLattice, latticeValues[foldResult.get<Value>()]); in visitOperation()
598 if (latticeValues[callableArg].meet(latticeValues[std::get<0>(it)])) in visitCallOperation()
605 meet(/*owner=*/op, /*to=*/latticeValues[std::get<0>(it)], in visitCallOperation()
677 meet(parentOp, latticeValues[std::get<0>(it)], in visitRegionSuccessors()
678 latticeValues[std::get<1>(it)]); in visitRegionSuccessors()
708 LatticeValue &argLattice = latticeValues[std::get<0>(it)]; in visitRegionSuccessors()
709 if (argLattice.meet(latticeValues[std::get<1>(it)])) in visitRegionSuccessors()
793 anyChanged |= std::get<1>(it).meet(latticeValues[std::get<0>(it)]); in visitCallableTerminatorOperation()
800 meet(call, latticeValues[std::get<0>(it)], std::get<1>(it)); in visitCallableTerminatorOperation()
819 LatticeValue &argLattice = latticeValues[arg]; in visitBlockArgument()
844 auto operandLattice = latticeValues.find((*branchOperands)[i]); in visitBlockArgument()
845 if (operandLattice == latticeValues.end()) in visitBlockArgument()
886 latticeValues[value].markOverdefined(); in markOverdefined()
890 auto it = latticeValues.find(value); in isOverdefined()
891 return it != latticeValues.end() && it->second.isOverdefined(); in isOverdefined()