MLIR for HERACLESKerlang ?

[ai-mannamalai]

Is your feature request related to a problem? Please describe.
Kerlang seems like it could be implemented as a MLIR HERACLESKerlang dialect

Describe the solution you would like
MLIR Dialect HERACLESKerlang

Describe alternatives you have considered
use the existing Python Parser and .ker formats

Additional context
Ties into HEIR

If the feature request is approved, would you be willing to submit a PR
Sure

[faberga]

Hi @ai-mannamalai Muthu, thank you for your interest in contributing a MLIR dialect for the HERACLES kernel language. This is definitively something we would consider.

Can you provide a draft of the dialect you propose, pls?

Thank you,
Flavio

[ai-mannamalai]

I can try. Thanks

[ai-mannamalai]

@faberga the unique operators in .ker files as I see in the tutorials/SimpleExamples/ folder are the following:

1. ADD
2. CONTEXT
3. DATA
4. MUL
5. RELIN

Ideally we can start on these operators and define corresponding operands (tensors, scheme variables).

Perhaps there is sufficient x-over with HEIR project we can write a converter from BGV @ HEIR into a HeraclesKer dialect and use it here as well.

[ai-mannamalai]

I also think in absence of access to hardware or an emulator I cannot understand how the p-ISA and kernels map to higher level language constructs beyond a hazy view.