builtin Dialect support

[jaredhoberock]

I've not been able to find support for building builtin dialect operations (i.e., builtin.module, builtin.unrealized_conversion_cast) similar to the the stuff underneath melior::dialect::func, ::arith, etc.

Is this an omission or is there some rationale why the builtin dialect hasn't gotten similar treatment as these other dialects?

Maybe I'm just not looking in the right place? Thanks for any help.

[raviqqe]

The builtin dialect is directly supported by the native Rust API as well as MLIR's C API. For example, all the builtin types are in https://mlir-rs.github.io/melior/melior/ir/type/struct.Type.html. The imports of the C API are here.

Are you looking for some particular missing APIs?

[jaredhoberock]

Thanks for the response.

I was looking for something like

fn unrealized_conversion_cast<'c>(
    context: &'c Context,
    arguments: &[Value<'c, '_>],
    result_types: &[Type<'c>],
    location: Location<'c>,
) -> Operation<'c> {
    OperationBuilder::new("builtin.unrealized_conversion_cast", location)
    ...
}

But there doesn't appear to be a builtin module where such a function might be.

[raviqqe]

Although I looked for the "unrealized" keyword in the mlir-c directory in the MLIR library, I found none. Maybe, we need to implement it manually for now. 🤔