What's the recommended way to use prop-dict?

MLIR
1

Hi all-
I want to distinguish the inherent and discardable attributes in textual format.
The dialect definition is:

...
let usePropertiesForAttributes = 1;
...

The op definition:

let arguments = (ins FpIntTensor:$a,
                         FpIntTensor:$b,
                         FpIntTensor:$c,
                         BoolAttr:$allowTF32,
                         MmaAtomAttr:$atom);
let assemblyFormat = [{
        $a `,` $b `,` $c prop-dict attr-dict `:` type($a) `,` type($b) `,` type($c) `->` type($d)
    }];

I expected the printed IR to be %0 = ... <{allowTF32 = true, atom = #mma_atom}> : .... With the inherent attributes in prop-dict while discardable attributes in attr-dict.
But i got %0 = ... <{allowTF32 = true, atom = #mma_atom}> {allowTF32 = true, atom = #mma_atom}....
Why these attributes appear in both prop-dict and attr-dict?
What is the recommended way to get the IR i expected?

2

This seems like a bug… We should use getDiscardableAttrs() for attr-dict.

1 Like