CIRCT
18.0.0git
|
Functions | |
LogicalResult | verifySameOperandsIntTypeKind (Operation *op) |
LogicalResult | inferReturnTypes (MLIRContext *context, std::optional< Location > loc, ValueRange operands, DictionaryAttr attrs, mlir::OpaqueProperties properties, mlir::RegionRange regions, SmallVectorImpl< Type > &results, llvm::function_ref< FIRRTLType(ValueRange, ArrayRef< NamedAttribute >, std::optional< Location >)> callback) |
FIRRTLType | inferAddSubResult (FIRRTLType lhs, FIRRTLType rhs, std::optional< Location > loc) |
FIRRTLType | inferBitwiseResult (FIRRTLType lhs, FIRRTLType rhs, std::optional< Location > loc) |
FIRRTLType | inferElementwiseResult (FIRRTLType lhs, FIRRTLType rhs, std::optional< Location > loc) |
FIRRTLType | inferComparisonResult (FIRRTLType lhs, FIRRTLType rhs, std::optional< Location > loc) |
FIRRTLType | inferReductionResult (FIRRTLType arg, std::optional< Location > loc) |
LogicalResult | validateBinaryOpArguments (ValueRange operands, ArrayRef< NamedAttribute > attrs, Location loc) |
LogicalResult | validateUnaryOpArguments (ValueRange operands, ArrayRef< NamedAttribute > attrs, Location loc) |
LogicalResult | validateOneOperandOneConst (ValueRange operands, ArrayRef< NamedAttribute > attrs, Location loc) |
FIRRTLType circt::firrtl::impl::inferAddSubResult | ( | FIRRTLType | lhs, |
FIRRTLType | rhs, | ||
std::optional< Location > | loc | ||
) |
Definition at line 4415 of file FIRRTLOps.cpp.
References circt::firrtl::IntType::get(), and isSameIntTypeKind().
FIRRTLType circt::firrtl::impl::inferBitwiseResult | ( | FIRRTLType | lhs, |
FIRRTLType | rhs, | ||
std::optional< Location > | loc | ||
) |
Definition at line 4471 of file FIRRTLOps.cpp.
References circt::calyx::direction::get(), and isSameIntTypeKind().
Referenced by inferElementwiseResult().
FIRRTLType circt::firrtl::impl::inferComparisonResult | ( | FIRRTLType | lhs, |
FIRRTLType | rhs, | ||
std::optional< Location > | loc | ||
) |
Definition at line 4505 of file FIRRTLOps.cpp.
References circt::calyx::direction::get(), and circt::firrtl::isConst().
FIRRTLType circt::firrtl::impl::inferElementwiseResult | ( | FIRRTLType | lhs, |
FIRRTLType | rhs, | ||
std::optional< Location > | loc | ||
) |
Definition at line 4483 of file FIRRTLOps.cpp.
References circt::calyx::direction::get(), and inferBitwiseResult().
FIRRTLType circt::firrtl::impl::inferReductionResult | ( | FIRRTLType | arg, |
std::optional< Location > | loc | ||
) |
Definition at line 4667 of file FIRRTLOps.cpp.
References circt::calyx::direction::get(), and circt::firrtl::isConst().
LogicalResult circt::firrtl::impl::inferReturnTypes | ( | MLIRContext * | context, |
std::optional< Location > | loc, | ||
ValueRange | operands, | ||
DictionaryAttr | attrs, | ||
mlir::OpaqueProperties | properties, | ||
mlir::RegionRange | regions, | ||
SmallVectorImpl< Type > & | results, | ||
llvm::function_ref< FIRRTLType(ValueRange, ArrayRef< NamedAttribute >, std::optional< Location >)> | callback | ||
) |
Referenced by parseSubfieldLikeOp().
LogicalResult circt::firrtl::impl::validateBinaryOpArguments | ( | ValueRange | operands, |
ArrayRef< NamedAttribute > | attrs, | ||
Location | loc | ||
) |
Definition at line 4405 of file FIRRTLOps.cpp.
LogicalResult circt::firrtl::impl::validateOneOperandOneConst | ( | ValueRange | operands, |
ArrayRef< NamedAttribute > | attrs, | ||
Location | loc | ||
) |
Definition at line 4719 of file FIRRTLOps.cpp.
LogicalResult circt::firrtl::impl::validateUnaryOpArguments | ( | ValueRange | operands, |
ArrayRef< NamedAttribute > | attrs, | ||
Location | loc | ||
) |
Definition at line 4576 of file FIRRTLOps.cpp.
LogicalResult circt::firrtl::impl::verifySameOperandsIntTypeKind | ( | Operation * | op | ) |
Definition at line 4395 of file FIRRTLOps.cpp.
References assert(), and isSameIntTypeKind().
Referenced by circt::firrtl::SameOperandsIntTypeKind< ConcreteOp >::verifyTrait().