[mlir] Add traits for verifying the number of successors and providing relevant acces...
authorRiver Riddle <riddleriver@gmail.com>
Thu, 5 Mar 2020 20:39:46 +0000 (12:39 -0800)
committerRiver Riddle <riddleriver@gmail.com>
Thu, 5 Mar 2020 20:49:59 +0000 (12:49 -0800)
commitc0fd5e657e5d38a480d65b4e8f6f7a835afd6c76
tree9a4dcf830ce2575bbb292b2fe934d1fa8a13e8cf
parenta7c655f1480fbcee853fb7d9f6fd4cff80a0dc2f
[mlir] Add traits for verifying the number of successors and providing relevant accessors.

This allows for simplifying OpDefGen, as well providing specializing accessors for the different successor counts. This mirrors the existing traits for operands and results.

Differential Revision: https://reviews.llvm.org/D75313
mlir/include/mlir/IR/OpDefinition.h
mlir/lib/Dialect/SPIRV/SPIRVOps.cpp
mlir/lib/Dialect/StandardOps/IR/Ops.cpp
mlir/lib/IR/Operation.cpp
mlir/lib/Target/LLVMIR/ModuleTranslation.cpp
mlir/test/Dialect/SPIRV/control-flow-ops.mlir
mlir/test/mlir-tblgen/op-decl.td
mlir/tools/mlir-tblgen/OpDefinitionsGen.cpp