14#include "mlir/IR/BuiltinAttributeInterfaces.h"
15#include "mlir/IR/Location.h"
16#include "mlir/IR/SymbolTable.h"
17#include "llvm/ADT/TypeSwitch.h"
18#include "llvm/Support/Debug.h"
20#define DEBUG_TYPE "om-evaluator"
30 return cast<ModuleOp>(symbolTable.getOp());
33SmallVector<evaluator::EvaluatorValuePtr>
35 ArrayRef<Attribute> attributes) {
36 SmallVector<evaluator::EvaluatorValuePtr> values;
37 values.reserve(attributes.size());
38 for (
auto attr : attributes)
39 values.push_back(std::make_shared<evaluator::AttributeValue>(attr));
44 using namespace evaluator;
50 assert(isFullyEvaluated());
51 return llvm::TypeSwitch<EvaluatorValue *, LogicalResult>(
this)
54 [](
auto v) {
return v->finalizeImpl(); });
58 return llvm::TypeSwitch<const EvaluatorValue *, Type>(
this)
59 .Case<
AttributeValue>([](
auto *attr) -> Type {
return attr->getType(); })
60 .Case<ObjectValue>([](
auto *
object) {
return object->getObjectType(); })
61 .Case<ListValue>([](
auto *list) {
return list->getListType(); })
62 .Case<MapValue>([](
auto *map) {
return map->getMapType(); })
63 .Case<ReferenceValue>([](
auto *ref) {
return ref->getValueType(); })
64 .Case<TupleValue>([](
auto *tuple) {
return tuple->getTupleType(); })
66 [
this](
auto *tuple) {
return FrozenBasePathType::get(ctx); })
68 [
this](
auto *tuple) {
return FrozenPathType::get(ctx); });
71FailureOr<evaluator::EvaluatorValuePtr>
75 return TypeSwitch<mlir::Type, FailureOr<evaluator::EvaluatorValuePtr>>(type)
76 .Case([&](circt::om::MapType type) {
78 std::make_shared<evaluator::MapValue>(type, loc);
79 return success(result);
81 .Case([&](circt::om::ListType type) {
83 std::make_shared<evaluator::ListValue>(type, loc);
84 return success(result);
86 .Case([&](mlir::TupleType type) {
88 std::make_shared<evaluator::TupleValue>(type, loc);
89 return success(result);
92 .Case([&](circt::om::ClassType type)
93 -> FailureOr<evaluator::EvaluatorValuePtr> {
95 symbolTable.lookup<ClassOp>(type.getClassName().getValue());
97 return symbolTable.getOp()->emitError(
"unknown class name ")
98 << type.getClassName();
101 std::make_shared<evaluator::ObjectValue>(cls, loc);
103 return success(result);
105 .Default([&](
auto type) {
return failure(); });
110 auto it = objects.find({value, actualParams});
111 if (it != objects.end()) {
112 auto evalVal = it->second;
113 evalVal->setLocIfUnknown(loc);
117 FailureOr<evaluator::EvaluatorValuePtr> result =
118 TypeSwitch<Value, FailureOr<evaluator::EvaluatorValuePtr>>(value)
119 .Case([&](BlockArgument arg) {
120 auto val = (*actualParams)[arg.getArgNumber()];
124 .Case([&](OpResult result) {
125 return TypeSwitch<Operation *,
126 FailureOr<evaluator::EvaluatorValuePtr>>(
127 result.getDefiningOp())
128 .Case([&](ConstantOp op) {
129 return evaluateConstant(op, actualParams, loc);
131 .Case([&](IntegerBinaryArithmeticOp op) {
135 std::make_shared<evaluator::AttributeValue>(
136 op.getResult().getType(), loc);
137 return success(result);
139 .Case<ObjectFieldOp>([&](
auto op) {
143 std::make_shared<evaluator::ReferenceValue>(
144 value.getType(), loc);
145 return success(result);
147 .Case<AnyCastOp>([&](AnyCastOp op) {
148 return getOrCreateValue(op.getInput(), actualParams, loc);
150 .Case<FrozenBasePathCreateOp>([&](FrozenBasePathCreateOp op) {
152 std::make_shared<evaluator::BasePathValue>(
153 op.getPathAttr(), loc);
154 return success(result);
156 .Case<FrozenPathCreateOp>([&](FrozenPathCreateOp op) {
158 std::make_shared<evaluator::PathValue>(
159 op.getTargetKindAttr(), op.getPathAttr(),
160 op.getModuleAttr(), op.getRefAttr(),
161 op.getFieldAttr(), loc);
162 return success(result);
164 .Case<FrozenEmptyPathOp>([&](FrozenEmptyPathOp op) {
166 std::make_shared<evaluator::PathValue>(
168 return success(result);
170 .Case<ListCreateOp, ListConcatOp, TupleCreateOp, MapCreateOp,
171 ObjectFieldOp>([&](
auto op) {
172 return getPartiallyEvaluatedValue(op.getType(), loc);
174 .Case<TupleGetOp>([&](
auto op) {
175 return evaluateTupleGet(op, actualParams, loc);
177 .Case<ObjectOp>([&](
auto op) {
178 return getPartiallyEvaluatedValue(op.getType(), op.getLoc());
180 .Default([&](Operation *op) {
181 auto error = op->emitError(
"unable to evaluate value");
182 error.attachNote() <<
"value: " << value;
189 objects[{value, actualParams}] = result.value();
193FailureOr<evaluator::EvaluatorValuePtr>
198 ClassOp cls = symbolTable.lookup<ClassOp>(className);
200 return symbolTable.getOp()->emitError(
"unknown class name ") << className;
202 auto formalParamNames = cls.getFormalParamNames().getAsRange<StringAttr>();
203 auto formalParamTypes = cls.getBodyBlock()->getArgumentTypes();
206 if (actualParams->size() != formalParamTypes.size()) {
207 auto error = cls.emitError(
"actual parameter list length (")
208 << actualParams->size() <<
") does not match formal "
209 <<
"parameter list length (" << formalParamTypes.size() <<
")";
210 auto &diag = error.attachNote() <<
"actual parameters: ";
213 for (
const auto ¶m : *actualParams) {
220 error.attachNote(cls.getLoc()) <<
"formal parameters: " << formalParamTypes;
225 for (
auto [actualParam, formalParamName, formalParamType] :
226 llvm::zip(*actualParams, formalParamNames, formalParamTypes)) {
227 if (!actualParam || !actualParam.get())
228 return cls.emitError(
"actual parameter for ")
229 << formalParamName <<
" is null";
232 if (isa<AnyType>(formalParamType))
235 Type actualParamType = actualParam->getType();
237 assert(actualParamType &&
"actualParamType must be non-null!");
239 if (actualParamType != formalParamType) {
240 auto error = cls.emitError(
"actual parameter for ")
241 << formalParamName <<
" has invalid type";
242 error.attachNote() <<
"actual parameter: " << *actualParam;
243 error.attachNote() <<
"format parameter type: " << formalParamType;
251 auto *context = cls.getContext();
252 for (
auto &op : cls.getOps())
253 for (
auto result : op.getResults()) {
257 getOrCreateValue(result, actualParams, UnknownLoc::get(context))))
260 worklist.push({result, actualParams});
263 auto fieldNames = cls.getFieldNames();
264 auto operands = cls.getFieldsOp()->getOperands();
265 for (
size_t i = 0; i < fieldNames.size(); ++i) {
266 auto name = fieldNames[i];
267 auto value = operands[i];
268 auto fieldLoc = cls.getFieldLocByIndex(i);
269 FailureOr<evaluator::EvaluatorValuePtr> result =
270 evaluateValue(value, actualParams, fieldLoc);
274 fields[cast<StringAttr>(name)] = result.value();
278 if (instanceKey.first) {
280 getOrCreateValue(instanceKey.first, instanceKey.second, loc).value();
281 auto *
object = llvm::cast<evaluator::ObjectValue>(result.get());
282 object->setFields(std::move(fields));
288 std::make_shared<evaluator::ObjectValue>(cls, fields, loc);
293FailureOr<std::shared_ptr<evaluator::EvaluatorValue>>
295 StringAttr className, ArrayRef<evaluator::EvaluatorValuePtr> actualParams) {
296 ClassOp cls = symbolTable.lookup<ClassOp>(className);
298 return symbolTable.getOp()->emitError(
"unknown class name ") << className;
301 std::make_unique<SmallVector<std::shared_ptr<evaluator::EvaluatorValue>>>(
304 actualParametersBuffers.push_back(std::move(parameters));
306 auto loc = cls.getLoc();
307 auto result = evaluateObjectInstance(
308 className, actualParametersBuffers.back().get(), loc);
315 while (!worklist.empty()) {
316 auto [value, args] = worklist.front();
319 auto result = evaluateValue(value, args, loc);
325 if (!result.value()->isFullyEvaluated())
326 worklist.push({value, args});
329 auto &
object = result.value();
332 if (failed(object->finalize()))
333 return cls.emitError() <<
"failed to finalize evaluation. Probably the "
334 "class contains a dataflow cycle";
338FailureOr<evaluator::EvaluatorValuePtr>
341 auto evaluatorValue = getOrCreateValue(value, actualParams, loc).value();
344 if (evaluatorValue->isFullyEvaluated())
345 return evaluatorValue;
347 return llvm::TypeSwitch<Value, FailureOr<evaluator::EvaluatorValuePtr>>(value)
348 .Case([&](BlockArgument arg) {
349 return evaluateParameter(arg, actualParams, loc);
351 .Case([&](OpResult result) {
352 return TypeSwitch<Operation *, FailureOr<evaluator::EvaluatorValuePtr>>(
353 result.getDefiningOp())
354 .Case([&](ConstantOp op) {
355 return evaluateConstant(op, actualParams, loc);
357 .Case([&](IntegerBinaryArithmeticOp op) {
358 return evaluateIntegerBinaryArithmetic(op, actualParams, loc);
360 .Case([&](ObjectOp op) {
361 return evaluateObjectInstance(op, actualParams);
363 .Case([&](ObjectFieldOp op) {
364 return evaluateObjectField(op, actualParams, loc);
366 .Case([&](ListCreateOp op) {
367 return evaluateListCreate(op, actualParams, loc);
369 .Case([&](ListConcatOp op) {
370 return evaluateListConcat(op, actualParams, loc);
372 .Case([&](TupleCreateOp op) {
373 return evaluateTupleCreate(op, actualParams, loc);
375 .Case([&](TupleGetOp op) {
376 return evaluateTupleGet(op, actualParams, loc);
378 .Case([&](AnyCastOp op) {
379 return evaluateValue(op.getInput(), actualParams, loc);
381 .Case([&](MapCreateOp op) {
382 return evaluateMapCreate(op, actualParams, loc);
384 .Case([&](FrozenBasePathCreateOp op) {
385 return evaluateBasePathCreate(op, actualParams, loc);
387 .Case([&](FrozenPathCreateOp op) {
388 return evaluatePathCreate(op, actualParams, loc);
390 .Case([&](FrozenEmptyPathOp op) {
391 return evaluateEmptyPath(op, actualParams, loc);
393 .Default([&](Operation *op) {
394 auto error = op->emitError(
"unable to evaluate value");
395 error.attachNote() <<
"value: " << value;
404 auto val = (*actualParams)[formalParam.getArgNumber()];
410FailureOr<circt::om::evaluator::EvaluatorValuePtr>
414 return success(std::make_shared<circt::om::evaluator::AttributeValue>(
415 op.getValue(), loc));
419FailureOr<EvaluatorValuePtr>
421 IntegerBinaryArithmeticOp op,
ActualParameters actualParams, Location loc) {
423 auto handle = getOrCreateValue(op.getResult(), actualParams, loc);
426 if (handle.value()->isFullyEvaluated())
431 auto lhsResult = evaluateValue(op.getLhs(), actualParams, loc);
432 if (failed(lhsResult))
434 if (!lhsResult.value()->isFullyEvaluated())
437 auto rhsResult = evaluateValue(op.getRhs(), actualParams, loc);
438 if (failed(rhsResult))
440 if (!rhsResult.value()->isFullyEvaluated())
446 llvm::TypeSwitch<evaluator::EvaluatorValue *, om::IntegerAttr>(value)
448 return val->
getAs<om::IntegerAttr>();
451 return cast<evaluator::AttributeValue>(
452 val->getStrippedValue()->get())
453 ->getAs<om::IntegerAttr>();
457 om::IntegerAttr lhs = extractAttr(lhsResult.value().get());
458 om::IntegerAttr rhs = extractAttr(rhsResult.value().get());
460 "expected om::IntegerAttr for IntegerBinaryArithmeticOp operands");
466 APSInt lhsVal = lhs.getValue().getAPSInt();
467 APSInt rhsVal = rhs.getValue().getAPSInt();
468 if (lhsVal.getBitWidth() > rhsVal.getBitWidth())
469 rhsVal = rhsVal.extend(lhsVal.getBitWidth());
470 else if (rhsVal.getBitWidth() > lhsVal.getBitWidth())
471 lhsVal = lhsVal.extend(rhsVal.getBitWidth());
474 FailureOr<APSInt> result = op.evaluateIntegerOperation(lhsVal, rhsVal);
477 return op->emitError(
"failed to evaluate integer operation");
480 MLIRContext *ctx = op->getContext();
482 om::IntegerAttr::get(ctx, mlir::IntegerAttr::get(ctx, result.value()));
485 auto *handleValue = cast<evaluator::AttributeValue>(handle.value().get());
486 auto resultStatus = handleValue->setAttr(resultAttr);
487 if (failed(resultStatus))
490 auto finalizeStatus = handleValue->finalize();
491 if (failed(finalizeStatus))
492 return finalizeStatus;
498FailureOr<circt::om::Evaluator::ActualParameters>
502 auto parameters = std::make_unique<
503 SmallVector<std::shared_ptr<evaluator::EvaluatorValue>>>();
506 for (
auto input : range) {
507 auto inputResult = getOrCreateValue(input, actualParams, loc);
508 if (failed(inputResult))
510 parameters->push_back(inputResult.value());
513 actualParametersBuffers.push_back(std::move(parameters));
514 return actualParametersBuffers.back().get();
518FailureOr<evaluator::EvaluatorValuePtr>
521 auto loc = op.getLoc();
522 if (isFullyEvaluated({op, actualParams}))
523 return getOrCreateValue(op, actualParams, loc);
526 createParametersFromOperands(op.getOperands(), actualParams, loc);
529 return evaluateObjectInstance(op.getClassNameAttr(), params.value(), loc,
534FailureOr<evaluator::EvaluatorValuePtr>
539 FailureOr<evaluator::EvaluatorValuePtr> currentObjectResult =
540 evaluateValue(op.getObject(), actualParams, loc);
541 if (failed(currentObjectResult))
542 return currentObjectResult;
544 auto *currentObject =
545 llvm::cast<evaluator::ObjectValue>(currentObjectResult.value().get());
547 auto objectFieldValue = getOrCreateValue(op, actualParams, loc).value();
552 for (
auto field : op.getFieldPath().getAsRange<FlatSymbolRefAttr>()) {
554 if (!currentObject->getFields().contains(field.getAttr()))
555 return objectFieldValue;
557 auto currentField = currentObject->getField(field.getAttr());
558 finalField = currentField.value();
559 if (
auto *nextObject =
560 llvm::dyn_cast<evaluator::ObjectValue>(finalField.get()))
561 currentObject = nextObject;
565 llvm::cast<evaluator::ReferenceValue>(objectFieldValue.get())
566 ->setValue(finalField);
569 return objectFieldValue;
573FailureOr<evaluator::EvaluatorValuePtr>
578 SmallVector<evaluator::EvaluatorValuePtr> values;
579 auto list = getOrCreateValue(op, actualParams, loc);
580 for (
auto operand : op.getOperands()) {
581 auto result = evaluateValue(operand, actualParams, loc);
584 if (!result.value()->isFullyEvaluated())
586 values.push_back(result.value());
590 llvm::cast<evaluator::ListValue>(list.value().get())
591 ->setElements(std::move(values));
596FailureOr<evaluator::EvaluatorValuePtr>
601 SmallVector<evaluator::EvaluatorValuePtr> values;
602 auto list = getOrCreateValue(op, actualParams, loc);
607 llvm::TypeSwitch<evaluator::EvaluatorValue *, evaluator::ListValue *>(
611 return cast<evaluator::ListValue>(val->getStrippedValue()->get());
615 for (
auto operand : op.getOperands()) {
616 auto result = evaluateValue(operand, actualParams, loc);
619 if (!result.value()->isFullyEvaluated())
629 values.push_back(subValue);
633 llvm::cast<evaluator::ListValue>(list.value().get())
634 ->setElements(std::move(values));
639FailureOr<evaluator::EvaluatorValuePtr>
643 SmallVector<evaluator::EvaluatorValuePtr> values;
644 for (
auto operand : op.getOperands()) {
645 auto result = evaluateValue(operand, actualParams, loc);
648 values.push_back(result.value());
652 auto val = getOrCreateValue(op, actualParams, loc);
653 llvm::cast<evaluator::TupleValue>(val.value().get())
654 ->setElements(std::move(values));
661 auto tuple = evaluateValue(op.getInput(), actualParams, loc);
665 cast<evaluator::TupleValue>(tuple.value().get())
666 ->getElements()[op.getIndex()];
674 DenseMap<Attribute, evaluator::EvaluatorValuePtr> elements;
675 auto valueResult = getOrCreateValue(op, actualParams, loc).value();
676 for (
auto operand : op.getOperands()) {
677 auto result = evaluateValue(operand, actualParams, loc);
681 auto &value = result.value();
682 if (!value->isFullyEvaluated())
684 const auto &element =
685 llvm::cast<evaluator::TupleValue>(value.get())->getElements();
686 assert(element.size() == 2);
688 llvm::cast<evaluator::AttributeValue>(element[0].get())->getAttr();
689 if (!elements.insert({attr, element[1]}).second)
690 return op.emitError() <<
"map contains duplicated keys";
694 llvm::cast<evaluator::MapValue>(valueResult.get())
695 ->setElements(std::move(elements));
699FailureOr<evaluator::EvaluatorValuePtr>
704 auto valueResult = getOrCreateValue(op, actualParams, loc).value();
705 auto *path = llvm::cast<evaluator::BasePathValue>(valueResult.get());
706 auto result = evaluateValue(op.getBasePath(), actualParams, loc);
709 auto &value = result.value();
710 if (!value->isFullyEvaluated())
712 path->setBasepath(*llvm::cast<evaluator::BasePathValue>(value.get()));
716FailureOr<evaluator::EvaluatorValuePtr>
721 auto valueResult = getOrCreateValue(op, actualParams, loc).value();
722 auto *path = llvm::cast<evaluator::PathValue>(valueResult.get());
723 auto result = evaluateValue(op.getBasePath(), actualParams, loc);
726 auto &value = result.value();
727 if (!value->isFullyEvaluated())
729 path->setBasepath(*llvm::cast<evaluator::BasePathValue>(value.get()));
735 auto valueResult = getOrCreateValue(op, actualParams, loc).value();
744FailureOr<EvaluatorValuePtr>
746 auto field = fields.find(name);
747 if (field == fields.end())
748 return cls.emitError(
"field ") << name <<
" does not exist";
749 return success(fields[name]);
755 SmallVector<Attribute> fieldNames;
756 for (
auto &f : fields)
757 fieldNames.push_back(f.first);
759 llvm::sort(fieldNames, [](Attribute a, Attribute b) {
760 return cast<StringAttr>(a).getValue() < cast<StringAttr>(b).getValue();
763 return ArrayAttr::get(cls.getContext(), fieldNames);
767 for (
auto &&[e, value] : fields)
768 if (failed(finalizeEvaluatorValue(value)))
780 SmallVector<Attribute> attrs;
781 for (
auto &[key, _] : elements)
782 attrs.push_back(key);
784 std::sort(attrs.begin(), attrs.end(), [](Attribute l, Attribute r) {
785 if (auto lInt = dyn_cast<mlir::IntegerAttr>(l))
786 if (auto rInt = dyn_cast<mlir::IntegerAttr>(r))
787 return lInt.getValue().ult(rInt.getValue());
789 assert(isa<StringAttr>(l) && isa<StringAttr>(r) &&
790 "key type should be integer or string");
791 return cast<StringAttr>(l).getValue() < cast<StringAttr>(r).getValue();
794 return ArrayAttr::get(type.getContext(), attrs);
798 for (
auto &&[e, value] : elements)
799 if (failed(finalizeEvaluatorValue(value)))
809 auto result = getStrippedValue();
812 value = std::move(result.value());
814 if (failed(finalizeEvaluatorValue(value)))
825 for (
auto &value : elements) {
826 if (failed(finalizeEvaluatorValue(value)))
838 path(PathAttr::get(context, {})) {
839 markFullyEvaluated();
843 :
EvaluatorValue(path.getContext(), Kind::BasePath, loc), path(path) {}
846 assert(isFullyEvaluated());
851 assert(!isFullyEvaluated());
852 auto newPath = llvm::to_vector(basepath.
path.getPath());
853 auto oldPath = path.getPath();
854 newPath.append(oldPath.begin(), oldPath.end());
855 path = PathAttr::get(path.getContext(), newPath);
856 markFullyEvaluated();
864 StringAttr module, StringAttr ref,
865 StringAttr field, Location loc)
867 path(path), module(module), ref(ref), field(field) {}
870 PathValue path(
nullptr,
nullptr,
nullptr,
nullptr,
nullptr, loc);
878 return StringAttr::get(getContext(),
"OMDeleted:");
879 SmallString<64> result;
880 switch (targetKind.getValue()) {
881 case TargetKind::DontTouch:
882 result +=
"OMDontTouchedReferenceTarget";
884 case TargetKind::Instance:
885 result +=
"OMInstanceTarget";
887 case TargetKind::MemberInstance:
888 result +=
"OMMemberInstanceTarget";
890 case TargetKind::MemberReference:
891 result +=
"OMMemberReferenceTarget";
893 case TargetKind::Reference:
894 result +=
"OMReferenceTarget";
898 if (!path.getPath().empty())
899 result += path.getPath().front().module;
901 result +=
module.getValue();
903 for (
const auto &elt : path) {
904 result += elt.module.getValue();
906 result += elt.instance.getValue();
909 if (!module.getValue().empty())
910 result += module.getValue();
911 if (!ref.getValue().empty()) {
913 result += ref.getValue();
915 if (!field.getValue().empty())
916 result += field.getValue();
917 return StringAttr::get(field.getContext(), result);
921 assert(!isFullyEvaluated());
922 auto newPath = llvm::to_vector(basepath.
getPath().getPath());
923 auto oldPath = path.getPath();
924 newPath.append(oldPath.begin(), oldPath.end());
925 path = PathAttr::get(path.getContext(), newPath);
926 markFullyEvaluated();
934 if (cast<TypedAttr>(attr).getType() != this->type)
935 return mlir::emitError(
getLoc(),
"cannot set AttributeValue of type ")
936 << this->type <<
" to Attribute " << attr;
937 if (isFullyEvaluated())
938 return mlir::emitError(
940 "cannot set AttributeValue that has already been fully evaluated");
942 markFullyEvaluated();
947 if (!isFullyEvaluated())
948 return mlir::emitError(
949 getLoc(),
"cannot finalize AttributeValue that is not fully evaluated");
assert(baseType &&"element must be base type")
static Location getLoc(DefSlot slot)
std::shared_ptr< EvaluatorValue > EvaluatorValuePtr
A value of an object in memory.
SmallVector< EvaluatorValuePtr > getEvaluatorValuesFromAttributes(MLIRContext *context, ArrayRef< Attribute > attributes)
FailureOr< evaluator::EvaluatorValuePtr > evaluateBasePathCreate(FrozenBasePathCreateOp op, ActualParameters actualParams, Location loc)
FailureOr< evaluator::EvaluatorValuePtr > evaluateEmptyPath(FrozenEmptyPathOp op, ActualParameters actualParams, Location loc)
FailureOr< evaluator::EvaluatorValuePtr > getPartiallyEvaluatedValue(Type type, Location loc)
FailureOr< EvaluatorValuePtr > evaluateValue(Value value, ActualParameters actualParams, Location loc)
Evaluate a Value in a Class body according to the small expression grammar described in the rationale...
FailureOr< EvaluatorValuePtr > evaluateConstant(ConstantOp op, ActualParameters actualParams, Location loc)
Evaluator dispatch function for constants.
FailureOr< EvaluatorValuePtr > evaluateIntegerBinaryArithmetic(IntegerBinaryArithmeticOp op, ActualParameters actualParams, Location loc)
mlir::ModuleOp getModule()
Get the Module this Evaluator is built from.
FailureOr< EvaluatorValuePtr > evaluateObjectField(ObjectFieldOp op, ActualParameters actualParams, Location loc)
Evaluator dispatch function for Object fields.
Evaluator(ModuleOp mod)
Construct an Evaluator with an IR module.
FailureOr< evaluator::EvaluatorValuePtr > evaluateMapCreate(MapCreateOp op, ActualParameters actualParams, Location loc)
Evaluator dispatch function for Map creation.
FailureOr< evaluator::EvaluatorValuePtr > instantiate(StringAttr className, ArrayRef< EvaluatorValuePtr > actualParams)
Instantiate an Object with its class name and actual parameters.
FailureOr< EvaluatorValuePtr > getOrCreateValue(Value value, ActualParameters actualParams, Location loc)
SmallVectorImpl< std::shared_ptr< evaluator::EvaluatorValue > > * ActualParameters
FailureOr< EvaluatorValuePtr > evaluateListCreate(ListCreateOp op, ActualParameters actualParams, Location loc)
Evaluator dispatch function for List creation.
FailureOr< EvaluatorValuePtr > evaluateListConcat(ListConcatOp op, ActualParameters actualParams, Location loc)
Evaluator dispatch function for List concatenation.
std::pair< Value, ActualParameters > ObjectKey
FailureOr< EvaluatorValuePtr > evaluateParameter(BlockArgument formalParam, ActualParameters actualParams, Location loc)
Evaluator dispatch functions for the small expression grammar.
FailureOr< EvaluatorValuePtr > evaluateObjectInstance(StringAttr className, ActualParameters actualParams, Location loc, ObjectKey instanceKey={})
Instantiate an Object with its class name and actual parameters.
FailureOr< EvaluatorValuePtr > evaluateTupleGet(TupleGetOp op, ActualParameters actualParams, Location loc)
Evaluator dispatch function for List creation.
FailureOr< EvaluatorValuePtr > evaluateTupleCreate(TupleCreateOp op, ActualParameters actualParams, Location loc)
Evaluator dispatch function for Tuple creation.
FailureOr< evaluator::EvaluatorValuePtr > evaluatePathCreate(FrozenPathCreateOp op, ActualParameters actualParams, Location loc)
FailureOr< ActualParameters > createParametersFromOperands(ValueRange range, ActualParameters actualParams, Location loc)
Evaluator dispatch function for Object instances.
Values which can be directly representable by MLIR attributes.
LogicalResult setAttr(Attribute attr)
LogicalResult finalizeImpl()
BasePathValue(MLIRContext *context)
void setBasepath(const BasePathValue &basepath)
Set the basepath which this path is relative to.
om::PathAttr getPath() const
Base class for evaluator runtime values.
bool isFullyEvaluated() const
void markFullyEvaluated()
A List which contains variadic length of elements with the same type.
const auto & getElements() const
LogicalResult finalizeImpl()
ArrayAttr getKeys()
Return an array of keys in the ascending order.
LogicalResult finalizeImpl()
A composite Object, which has a type and fields.
LogicalResult finalizeImpl()
FailureOr< EvaluatorValuePtr > getField(StringAttr field)
Get a field of the Object by name.
ArrayAttr getFieldNames()
Get all the field names of the Object.
StringAttr getAsString() const
void setBasepath(const BasePathValue &basepath)
PathValue(om::TargetKindAttr targetKind, om::PathAttr path, StringAttr module, StringAttr ref, StringAttr field, Location loc)
Create a path value representing a regular path.
static PathValue getEmptyPath(Location loc)
Values which can be used as pointers to different values.
LogicalResult finalizeImpl()