diff options
Diffstat (limited to 'mlir/lib/Bindings/Python/IRModule.h')
-rw-r--r-- | mlir/lib/Bindings/Python/IRModule.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mlir/lib/Bindings/Python/IRModule.h b/mlir/lib/Bindings/Python/IRModule.h index c5412e7..2629288 100644 --- a/mlir/lib/Bindings/Python/IRModule.h +++ b/mlir/lib/Bindings/Python/IRModule.h @@ -209,6 +209,11 @@ public: /// place. size_t clearLiveOperations(); + /// Sets an operation invalid. This is useful for when some non-bindings + /// code destroys the operation and the bindings need to made aware. For + /// example, in the case when pass manager is run. + void setOperationInvalid(MlirOperation op); + /// Gets the count of live modules associated with this context. /// Used for testing. size_t getLiveModuleCount(); |