I'm having a bit of a problem writing DRR

MLIR
1 
// It is assumed that all the arguments in the argument in BOp ods are included here.
def MyPat : Pat<
  (AOp (AOp (BOp $a, $b, $c))),
  (AOp (BOp $a, $b, $c))
>;

I’m sorry to say that I can only give names that don’t make sense.Writing it this way does generate the c++ file, but it doesn’t compile correctly.I looked at the autogenerated c++ code where the build method is called and one parameter is missing.The result parameter is not provided.

build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::Type result

I think there is still something wrong with my code writing? But I really don’t know what’s wrong.I would appreciate it if someone would help me. :wink:

2

Let’s make this question a little more specific.A rewrite of op is included in the auto-generated code for pattern matching, but the result is missing.

build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::Type result
3

For your nested result op its probably what is missing, you can either specify it using returnType or implement InferTypeOpInterface for BOp.

1 Like