upd

lambdaclass · Dec 10, 2024 · 1ab3d9e · 1ab3d9e
1 parent 6adea3a
commit 1ab3d9e
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 18 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -6,8 +6,8 @@ edition = "2021"
 [dependencies]
 clap = { version = "4.5.23", features = ["derive"] }
 logos = "0.15.0"
-melior = { version = "0.19.2", features = ["ods-dialects"] }
-mlir-sys = "0.3.0"
+melior = { version = "0.20.0", features = ["ods-dialects"] }
+mlir-sys = "0.4.1"
 lalrpop-util = { version = "0.22.0", features = ["lexer"] }
 ariadne = { version = "0.5.0", features = ["auto-color"] }
 tracing = "0.1.41"

diff --git a/docs/src/mlir_basics.md b/docs/src/mlir_basics.md
@@ -115,6 +115,10 @@ let operation = OperationBuilder::new("foo", Location::unknown(&context))
     .unwrap();
 ```
 
+### Helper Traits
+
+Some frequently used operations, mainly those in the llvm, arith and builtin dialects have a trait in melior to make it less verbose, it's a trait implemented on the Block so you can simply do `block.load(..)`.
+
 ## Region
 
 A region holds one or multiple blocks, it depends on the operation whether there are 1 or more regions.