[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
Loading
Please sign in to comment