[PATCH] D76903: Add a flag on the context to protect against creation of operations in unregistered dialects

[Mehdi AMINI via Phabricator via llvm-commits]

mehdi_amini created this revision.
mehdi_amini added a reviewer: rriddle.
Herald added subscribers: llvm-commits, bader, Joonsoo, liufengdb, aartbik, lucyrfox, mgester, arpith-jacob, csigg, nicolasvasilache, antiagainst, shauheen, burmako, jpienaar, zzheng, jholewinski.
Herald added a reviewer: mravishankar.
Herald added a reviewer: antiagainst.
Herald added a reviewer: herhut.
Herald added 1 blocking reviewer(s): rriddle.
Herald added a reviewer: aartbik.
Herald added a project: LLVM.

By default, the verifier won't allow operations with unregistered
dialect. A flag can be set on the context to allow this and a
command line option is provided for mlir-opt to opt-in.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D76903

Files:
  mlir/include/mlir/IR/MLIRContext.h
  mlir/include/mlir/Support/MlirOptMain.h
  mlir/lib/Analysis/Verifier.cpp
  mlir/lib/IR/MLIRContext.cpp
  mlir/lib/Support/MlirOptMain.cpp
  mlir/lib/Target/LLVMIR/ConvertFromLLVMIR.cpp
  mlir/test/Conversion/GPUToCUDA/lower-launch-func-to-cuda.mlir
  mlir/test/Conversion/GPUToNVVM/memory-attrbution.mlir
  mlir/test/Conversion/GPUToSPIRV/simple.mlir
  mlir/test/Conversion/StandardToLLVM/standard-to-llvm.mlir
  mlir/test/Conversion/StandardToSPIRV/std-to-spirv.mlir
  mlir/test/Dialect/Affine/SuperVectorize/compose_maps.mlir
  mlir/test/Dialect/Affine/canonicalize.mlir
  mlir/test/Dialect/Affine/dma-generate.mlir
  mlir/test/Dialect/Affine/inlining.mlir
  mlir/test/Dialect/Affine/invalid.mlir
  mlir/test/Dialect/Affine/loop-tiling.mlir
  mlir/test/Dialect/Affine/ops.mlir
  mlir/test/Dialect/Affine/parallelism-detection.mlir
  mlir/test/Dialect/Affine/simplify-affine-structures.mlir
  mlir/test/Dialect/Affine/slicing-utils.mlir
  mlir/test/Dialect/Affine/unroll-jam.mlir
  mlir/test/Dialect/Affine/unroll.mlir
  mlir/test/Dialect/GPU/ops.mlir
  mlir/test/Dialect/GPU/outlining.mlir
  mlir/test/Dialect/GPU/promotion.mlir
  mlir/test/Dialect/LLVMIR/invalid.mlir
  mlir/test/Dialect/Loops/invalid.mlir
  mlir/test/Dialect/Loops/parallel-loop-fusion.mlir
  mlir/test/Dialect/Quant/parse-any.mlir
  mlir/test/Dialect/Quant/parse-ops-invalid.mlir
  mlir/test/Dialect/Quant/parse-uniform.mlir
  mlir/test/Dialect/Quant/quant_region.mlir
  mlir/test/Dialect/SPIRV/control-flow-ops.mlir
  mlir/test/Dialect/SPIRV/ops.mlir
  mlir/test/Dialect/SPIRV/structure-ops.mlir
  mlir/test/EDSC/builder-api-test.cpp
  mlir/test/IR/affine-map.mlir
  mlir/test/IR/core-ops.mlir
  mlir/test/IR/dense-elements-hex.mlir
  mlir/test/IR/invalid-ops.mlir
  mlir/test/IR/invalid.mlir
  mlir/test/IR/locations.mlir
  mlir/test/IR/module-op.mlir
  mlir/test/IR/op-stats.mlir
  mlir/test/IR/opaque_locations.mlir
  mlir/test/IR/pretty-locations.mlir
  mlir/test/IR/pretty-region-args.mlir
  mlir/test/IR/print-op-local-scope.mlir
  mlir/test/IR/region.mlir
  mlir/test/IR/test-symbol-dce.mlir
  mlir/test/IR/test-symbol-rauw.mlir
  mlir/test/IR/test-symbol-uses.mlir
  mlir/test/IR/traits.mlir
  mlir/test/IR/wrapping_op.mlir
  mlir/test/Transforms/canonicalize-dce.mlir
  mlir/test/Transforms/canonicalize.mlir
  mlir/test/Transforms/constant-fold.mlir
  mlir/test/Transforms/cse.mlir
  mlir/test/Transforms/inlining-dce.mlir
  mlir/test/Transforms/location-snapshot.mlir
  mlir/test/Transforms/loop-coalescing.mlir
  mlir/test/Transforms/loop-fusion-dependence-check.mlir
  mlir/test/Transforms/loop-fusion.mlir
  mlir/test/Transforms/memref-dataflow-opt.mlir
  mlir/test/Transforms/parallel-loop-collapsing.mlir
  mlir/test/Transforms/parametric-mapping.mlir
  mlir/test/Transforms/pipeline-data-transfer.mlir
  mlir/test/Transforms/single-parallel-loop-collapsing.mlir
  mlir/test/Transforms/strip-debuginfo.mlir
  mlir/test/Transforms/test-canonicalize.mlir
  mlir/test/Transforms/test-inlining.mlir
  mlir/test/Transforms/test-legalizer-analysis.mlir
  mlir/test/Transforms/test-legalizer-full.mlir
  mlir/test/Transforms/test-legalizer.mlir
  mlir/test/mlir-tblgen/op-format.mlir
  mlir/tools/mlir-opt/mlir-opt.cpp
  mlir/tools/mlir-translate/mlir-translate.cpp
  mlir/unittests/IR/OperationSupportTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D76903.253042.patch
Type: text/x-patch
Size: 47604 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200327/3759288b/attachment.bin>