17 ::mlir::OpOperand &(*getPodRefMutable)(
const Concept *
impl, ::mlir::Operation *);
19 template<
typename ConcreteOp>
25 static inline ::mlir::TypedValue<::llzk::pod::PodType>
getPodRef(
const Concept *
impl, ::mlir::Operation *tablegen_opaque_val);
28 template<
typename ConcreteOp>
34 static inline ::mlir::TypedValue<::llzk::pod::PodType>
getPodRef(
const Concept *
impl, ::mlir::Operation *tablegen_opaque_val);
37 template<
typename ConcreteModel,
typename ConcreteOp>
43template <
typename ConcreteOp>
47class PodRefOpInterface :
public ::mlir::OpInterface<PodRefOpInterface, detail::PodRefOpInterfaceInterfaceTraits> {
49 using ::mlir::OpInterface<PodRefOpInterface, detail::PodRefOpInterfaceInterfaceTraits>::OpInterface;
50 template <
typename ConcreteOp>
53 ::mlir::TypedValue<::llzk::pod::PodType>
getPodRef();
61 template <
typename ConcreteOp>
62 struct PodRefOpInterfaceTrait :
public ::mlir::OpInterface<PodRefOpInterface, detail::PodRefOpInterfaceInterfaceTraits>::Trait<ConcreteOp> {
69class PodAccessOpInterface;
81 assert(
implPodRefOpInterface &&
"`::llzk::pod::PodAccessOpInterface` expected its base interface `::llzk::pod::PodRefOpInterface` to be registered");
84 template<
typename ConcreteOp>
91 static inline bool isRead(
const Concept *
impl, ::mlir::Operation *tablegen_opaque_val);
93 template<
typename ConcreteOp>
102 template<
typename ConcreteModel,
typename ConcreteOp>
108template <
typename ConcreteOp>
112class PodAccessOpInterface :
public ::mlir::OpInterface<PodAccessOpInterface, detail::PodAccessOpInterfaceInterfaceTraits> {
114 using ::mlir::OpInterface<PodAccessOpInterface, detail::PodAccessOpInterfaceInterfaceTraits>::OpInterface;
115 template <
typename ConcreteOp>
123 bool canRewire(const ::mlir::DestructurableMemorySlot &slot,
124 ::llvm::SmallPtrSetImpl<::mlir::Attribute> &usedIndices,
125 ::mlir::SmallVectorImpl<::mlir::MemorySlot> &mustBeSafelyUsed,
126 const ::mlir::DataLayout &dataLayout);
129 ::mlir::DeletionKind
rewire(const ::mlir::DestructurableMemorySlot &slot,
130 ::llvm::DenseMap<::mlir::Attribute, ::mlir::MemorySlot> &subslots,
131 ::mlir::OpBuilder &builder, const ::mlir::DataLayout &dataLayout);
136 operator ::llzk::pod::PodRefOpInterface ()
const {
137 if (!*
this)
return nullptr;
138 return ::llzk::pod::PodRefOpInterface(*
this, getImpl()->implPodRefOpInterface);
142 ::mlir::TypedValue<::llzk::pod::PodType>
getPodRef();
150 template <
typename ConcreteOp>
151 struct PodAccessOpInterfaceTrait :
public ::mlir::OpInterface<PodAccessOpInterface, detail::PodAccessOpInterfaceInterfaceTraits>::Trait<ConcreteOp> {
158template<
typename ConcreteOp>
160 return (llvm::cast<ConcreteOp>(tablegen_opaque_val)).getPodRef();
162template<
typename ConcreteOp>
164 return (llvm::cast<ConcreteOp>(tablegen_opaque_val)).getPodRefMutable();
166template<
typename ConcreteOp>
168 return static_cast<const ConcreteOp *
>(
impl)->
getPodRef(tablegen_opaque_val);
170template<
typename ConcreteOp>
178template<
typename ConcreteOp>
180 return (llvm::cast<ConcreteOp>(tablegen_opaque_val)).getRecordNameAttr();
182template<
typename ConcreteOp>
184 return (llvm::cast<ConcreteOp>(tablegen_opaque_val)).isRead();
186template<
typename ConcreteOp>
190template<
typename ConcreteOp>
192 return static_cast<const ConcreteOp *
>(
impl)->
isRead(tablegen_opaque_val);
::mlir::OpOperand & getPodRefMutable()
Gets the mutable operand slot holding the SSA Value for the referenced pod.
::mlir::TypedValue<::llzk::pod::PodType > getPodRef()
Gets the SSA Value for the referenced pod.
inline ::llzk::pod::PodType getPodRefType()
Gets the type of the referenced pod.
::mlir::DeletionKind rewire(const ::mlir::DestructurableMemorySlot &slot, ::llvm::DenseMap<::mlir::Attribute, ::mlir::MemorySlot > &subslots, ::mlir::OpBuilder &builder, const ::mlir::DataLayout &dataLayout)
Required by companion interface DestructurableAccessorOpInterface / SROA pass.
::mlir::StringAttr getRecordNameAttr()
Gets the record name attribute from the pod access op.
bool canRewire(const ::mlir::DestructurableMemorySlot &slot, ::llvm::SmallPtrSetImpl<::mlir::Attribute > &usedIndices, ::mlir::SmallVectorImpl<::mlir::MemorySlot > &mustBeSafelyUsed, const ::mlir::DataLayout &dataLayout)
Required by companion interface DestructurableAccessorOpInterface / SROA pass.
bool isRead()
Return true if the op is a read, false if it's a write.
inline ::llzk::pod::PodType getPodRefType()
Gets the type of the referenced pod.
::mlir::OpOperand & getPodRefMutable()
Gets the mutable operand slot holding the SSA Value for the referenced pod.
::mlir::TypedValue<::llzk::pod::PodType > getPodRef()
Gets the SSA Value for the referenced pod.
ConcreteOp ConcreteEntity
::llzk::pod::PodAccessOpInterface Interface
static inline ::mlir::StringAttr getRecordNameAttr(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
static bool isRead(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
static inline ::mlir::StringAttr getRecordNameAttr(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
::llzk::pod::PodAccessOpInterface Interface
static bool isRead(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
ConcreteOp ConcreteEntity
::llzk::pod::PodRefOpInterface Interface
static inline ::mlir::TypedValue<::llzk::pod::PodType > getPodRef(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
static inline ::mlir::OpOperand & getPodRefMutable(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
::llzk::pod::PodRefOpInterface Interface
static inline ::mlir::TypedValue<::llzk::pod::PodType > getPodRef(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
static inline ::mlir::OpOperand & getPodRefMutable(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
void initializeInterfaceConcept(::mlir::detail::InterfaceMap &interfaceMap)
const ::llzk::pod::PodRefOpInterface::Concept * implPodRefOpInterface
The base classes of this interface.
bool(* isRead)(const Concept *impl, ::mlir::Operation *)
::mlir::StringAttr(* getRecordNameAttr)(const Concept *impl, ::mlir::Operation *)
The methods defined by the interface.
::mlir::OpOperand &(* getPodRefMutable)(const Concept *impl, ::mlir::Operation *)
::mlir::TypedValue<::llzk::pod::PodType >(* getPodRef)(const Concept *impl, ::mlir::Operation *)
The methods defined by the interface.