[PATCH] D80358: [MLIR] Add OpTrait::DominanceFreeScope

[Stephen Neuendorffer via Phabricator via llvm-commits]

stephenneuendorffer created this revision.
Herald added subscribers: llvm-commits, jurahul, Kayjukh, frgossen, grosul1, Joonsoo, liufengdb, aartbik, lucyrfox, mgester, arpith-jacob, nicolasvasilache, antiagainst, shauheen, jpienaar, rriddle, mehdi_amini.
Herald added a reviewer: rriddle.
Herald added a reviewer: antiagainst.
Herald added a project: LLVM.
stephenneuendorffer edited the summary of this revision.
stephenneuendorffer updated this revision to Diff 265425.

Some dialects have semantics which does is not well represented by
common SSA structures with dominance constraints.  This patch allows
operations to declare that they are 'dominance-free', indicating that
their contained regions are not requires to meet the dominance
constraint.

see discussion here:
https://llvm.discourse.group/t/rfc-allowing-dialects-to-relax-the-ssa-dominance-condition/833/53


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D80358

Files:
  mlir/include/mlir/IR/OpBase.td
  mlir/include/mlir/IR/OpDefinition.h
  mlir/lib/IR/Verifier.cpp
  mlir/test/IR/traits.mlir
  mlir/test/lib/Dialect/Test/TestDialect.cpp
  mlir/test/lib/Dialect/Test/TestOps.td

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D80358.265425.patch
Type: text/x-patch
Size: 7788 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200521/4d573267/attachment.bin>