diff options
author | Mogball <jeff@modular.com> | 2023-08-24 17:47:44 +0000 |
---|---|---|
committer | Mogball <jeff@modular.com> | 2023-08-24 17:47:48 +0000 |
commit | b49bb7bdec067a1d48a4502399961667d2525444 (patch) | |
tree | 5bff68d2adf5a7103de566faefccc0dc0539144d /llvm/lib/CodeGen/MachineTraceMetrics.cpp | |
parent | bfbea459af391266cf6a4611f0da4952930d7834 (diff) | |
download | llvm-b49bb7bdec067a1d48a4502399961667d2525444.zip llvm-b49bb7bdec067a1d48a4502399961667d2525444.tar.gz llvm-b49bb7bdec067a1d48a4502399961667d2525444.tar.bz2 |
[MLIR][PDL] Add support for representing and lowering negated constraints
This commit enables modelling negation of native constraints.
This is accomplished through an attribute `isNegated` on the operations `pdl.apply_native_constraint` and `pdl_interp.apply_constraint` and according adjustments to the conversion in the ConvertPDLToPDLInterpPass.
Reviewed By: Mogball
Differential Revision: https://reviews.llvm.org/D153871
Diffstat (limited to 'llvm/lib/CodeGen/MachineTraceMetrics.cpp')
0 files changed, 0 insertions, 0 deletions