| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
[mlir][irdl] Add IRDL registration This patch add support for loading IRDL dialects at runtime with mlir-opt. Given the following dialect.irdl file: mlir module { irdl.dialect @cmath { irdl.type @complex { %0 = irdl.is f32 %1 = irdl.is f64 %2 = irdl.any_of(%0, %1) irdl.parameters(%2) } irdl.operation @norm { %0 = irdl.any %1 = irdl.parametric @complex<%0> irdl.operands(%1) irdl.results(%0) } } the IRDL file can be loaded with the mlir-opt --irdl-file=dialect.irdl command, and the following file can then be parsed: mlir func.func @conorm(%p: !cmath.complex<f32>, %q: !cmath.complex<f32>) -> f32 { %norm_p = "cmath.norm"(%p) : (!cmath.complex<f32>) -> f32 %norm_q = "cmath.norm"(%q) : (!cmath.complex<f32>) -> f32 %pq = arith.mulf %norm_p, %norm_q : f32 return %pq : f32 } To minimize the size of this patch, the operation, attribute, and type verifier are all always returning success(). Depends on D144692 Reviewed By: rriddle, Mogball, mehdi_amini Differential Revision: https://reviews.llvm.org/D144693 | 3 年前 | |
Add a -verify-roundtrip option to mlir-opt intended to validate custom printer/parser completeness Running: MLIR_OPT_CHECK_IR_ROUNDTRIP=1 ninja check-mlir will now exercises all of our test with a round-trip to bytecode and a comparison for equality. Reviewed By: rriddle, ftynse, jpienaar Differential Revision: https://reviews.llvm.org/D90088 | 3 年前 |
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
| 3 年前 | ||
| 3 年前 |