CIRCT
19.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 4839 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 4895 of file FIRRTLOps.cpp.
References circt::calyx::direction::get(), circt::firrtl::FIRRTLType::isConst(), and isSameIntTypeKind().
Referenced by inferElementwiseResult().
FIRRTLType circt::firrtl::impl::inferComparisonResult | ( | FIRRTLType | lhs, |
FIRRTLType | rhs, | ||
std::optional< Location > | loc | ||
) |
Definition at line 4936 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 4914 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 5100 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 4829 of file FIRRTLOps.cpp.
LogicalResult circt::firrtl::impl::validateOneOperandOneConst | ( | ValueRange | operands, |
ArrayRef< NamedAttribute > | attrs, | ||
Location | loc | ||
) |
Definition at line 5152 of file FIRRTLOps.cpp.
LogicalResult circt::firrtl::impl::validateUnaryOpArguments | ( | ValueRange | operands, |
ArrayRef< NamedAttribute > | attrs, | ||
Location | loc | ||
) |
Definition at line 5007 of file FIRRTLOps.cpp.
LogicalResult circt::firrtl::impl::verifySameOperandsIntTypeKind | ( | Operation * | op | ) |
Definition at line 4819 of file FIRRTLOps.cpp.
References assert(), and isSameIntTypeKind().
Referenced by circt::firrtl::SameOperandsIntTypeKind< ConcreteOp >::verifyTrait().