[ODS] Support variadic operand/result verification
authorLei Zhang <antiagainst@google.com>
Sun, 9 Jun 2019 14:00:09 +0000 (07:00 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Sun, 9 Jun 2019 23:24:29 +0000 (16:24 -0700)
commit3812d956eaef834eb3794d311aef2097aac268e0
treecdfc1c2c5f4172b79ffa56776c36d15781ba20eb
parent7f108e60cc92a6ba26f61e084c0032f4d89ca39a
[ODS] Support variadic operand/result verification

This CL enables verification code generation for variadic operands and results.
In verify(), we use fallback getter methods to access all the dynamic values
belonging to one static variadic operand/result to reuse the value range
calculation there.

PiperOrigin-RevId: 252288219
13 files changed:
mlir/include/mlir/IR/OpBase.td
mlir/include/mlir/LLVMIR/LLVMOps.td
mlir/include/mlir/TableGen/Operator.h
mlir/lib/StandardOps/Ops.cpp
mlir/lib/TableGen/Operator.cpp
mlir/test/IR/invalid-ops.mlir
mlir/test/IR/operand.mlir [new file with mode: 0644]
mlir/test/IR/result.mlir [new file with mode: 0644]
mlir/test/TestDialect/TestOps.td
mlir/test/mlir-tblgen/op-operand.td
mlir/test/mlir-tblgen/op-result.td
mlir/test/mlir-tblgen/predicate.td
mlir/tools/mlir-tblgen/OpDefinitionsGen.cpp