[mlir:PDLL] Allow complex constraints on Rewrite arguments/results
authorRiver Riddle <riddleriver@gmail.com>
Thu, 15 Sep 2022 23:18:32 +0000 (16:18 -0700)
committerRiver Riddle <riddleriver@gmail.com>
Tue, 8 Nov 2022 09:57:58 +0000 (01:57 -0800)
commitb6ec1de7cbc4dda73248c6636d0747fd445598a4
tree3607cc8b3ecbe550edbfe5c6ef1b45d3d6c6b707
parentec92a125acc66c67e8d86dcf6e200fe34d204b3d
[mlir:PDLL] Allow complex constraints on Rewrite arguments/results

The documentation already has examples of this, and it allows for
using nicer C++ types when defining native Rewrites.

Differential Revision: https://reviews.llvm.org/D133989
mlir/include/mlir/Tools/PDLL/AST/Nodes.h
mlir/include/mlir/Tools/PDLL/Parser/CodeComplete.h
mlir/lib/Tools/PDLL/Parser/CodeComplete.cpp
mlir/lib/Tools/PDLL/Parser/Parser.cpp
mlir/lib/Tools/mlir-pdll-lsp-server/PDLLServer.cpp
mlir/test/mlir-pdll/CodeGen/CPP/general.pdll
mlir/test/mlir-pdll/CodeGen/CPP/include/ods.td [new file with mode: 0644]
mlir/test/mlir-pdll/Parser/rewrite-failure.pdll