[PATCH] D75313: [mlir] Add traits for verifying the number of successors and providing relevant accessors.

[River Riddle via Phabricator via llvm-commits]

rriddle created this revision.
rriddle added reviewers: mehdi_amini, antiagainst.
Herald added subscribers: llvm-commits, bader, Joonsoo, liufengdb, lucyrfox, mgester, arpith-jacob, nicolasvasilache, shauheen, burmako, jpienaar.
Herald added a reviewer: mravishankar.
Herald added a project: LLVM.
rriddle added a child revision: D75314: [mlir] Add a new BranchOpInterface to allow for opaquely interfacing with branching terminator operations..

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


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D75313

Files:
  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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D75313.247130.patch
Type: text/x-patch
Size: 16479 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200228/813a8999/attachment-0001.bin>