Lines Matching refs:ValueKnowledge

59       ValueKnowledge operandKnowledge = ValueKnowledge::getKnowledgeFromType(  in propagateShapesToTosaIf()
61       ValueKnowledge blockKnowledge = ValueKnowledge::getKnowledgeFromType(  in propagateShapesToTosaIf()
63       ValueKnowledge joinedKnowledge =  in propagateShapesToTosaIf()
64           ValueKnowledge::join(operandKnowledge, blockKnowledge);  in propagateShapesToTosaIf()
128     llvm::SmallVector<ValueKnowledge> yieldTypeInfo;  in propagateShapesToTosaWhile()
130       yieldTypeInfo.push_back(ValueKnowledge::getKnowledgeFromType(ty));  in propagateShapesToTosaWhile()
136             ValueKnowledge::getKnowledgeFromType(it.value().getType());  in propagateShapesToTosaWhile()
138             ValueKnowledge::meet(yieldTypeInfo[it.index()], newKnowledge);  in propagateShapesToTosaWhile()
239               ValueKnowledge::getKnowledgeFromType(resultTy);  in propagateShapesInRegion()
242           auto inferredKnowledge = ValueKnowledge::getPessimisticValueState();  in propagateShapesInRegion()
257               ValueKnowledge::join(currentKnowledge, inferredKnowledge);  in propagateShapesInRegion()