Allow isolated regions to form isolated SSA name scopes in the printer.
authorRiver Riddle <riverriddle@google.com>
Mon, 19 Aug 2019 22:26:43 +0000 (15:26 -0700)
committerA. Unique TensorFlower <gardener@tensorflow.org>
Mon, 19 Aug 2019 22:27:10 +0000 (15:27 -0700)
commit305516fcd386d0d3e186cd78e23cabfcb9ebe1bb
treebe77f054a9dd739ef6b26a674d604ff14cf374f5
parent36f48063ddb9eb43399d604f11653fc4c63894c9
Allow isolated regions to form isolated SSA name scopes in the printer.

This will allow for naming values the same as existing SSA values for regions attached to operations that are isolated from above. This fits in with how the system already allows separate name scopes for sibling regions. This name shadowing can be enabled in the custom parser of operations by setting the 'enableNameShadowing' flag to true when calling 'parseRegion'.

%arg = constant 10 : i32
foo.op {
  %arg = constant 10 : i32
}

PiperOrigin-RevId: 264255999
mlir/include/mlir/IR/OpBase.td
mlir/include/mlir/IR/OpImplementation.h
mlir/lib/Parser/Parser.cpp
mlir/test/IR/invalid-ops.mlir
mlir/test/IR/invalid.mlir
mlir/test/IR/parser.mlir
mlir/test/Transforms/test-legalizer.mlir
mlir/test/lib/TestDialect/TestDialect.cpp
mlir/test/lib/TestDialect/TestOps.td