[all-commits] [llvm/llvm-project] 00a61b: [mlir][ODS] Add new RangedTypesMatchWith operation...

[River Riddle via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 00a61b327dd8a7071ce0baadd16ea4c7b7e31e73
      https://github.com/llvm/llvm-project/commit/00a61b327dd8a7071ce0baadd16ea4c7b7e31e73
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2021-01-14 (Thu, 14 Jan 2021)

  Changed paths:
    M mlir/include/mlir/IR/OpBase.td
    M mlir/test/lib/Dialect/Test/TestOps.td
    M mlir/test/mlir-tblgen/op-format.mlir
    M mlir/tools/mlir-tblgen/OpFormatGen.cpp

  Log Message:
  -----------
  [mlir][ODS] Add new RangedTypesMatchWith operation predicate

This is a variant of TypesMatchWith that provides support for variadic arguments. This is necessary because ranges generally can't use the default operator== comparators for checking equality.

Differential Revision: https://reviews.llvm.org/D94574


  Commit: 93592b726c7587aa86548cc74268346e25a4a7f2
      https://github.com/llvm/llvm-project/commit/93592b726c7587aa86548cc74268346e25a4a7f2
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2021-01-14 (Thu, 14 Jan 2021)

  Changed paths:
    M mlir/integration_test/Dialect/Linalg/CPU/matmul-vs-matvec.mlir
    M mlir/test/Analysis/test-dominance.mlir
    M mlir/test/Analysis/test-liveness.mlir
    M mlir/test/Conversion/AffineToStandard/lower-affine.mlir
    M mlir/test/Conversion/LinalgToSPIRV/linalg-to-spirv.mlir
    M mlir/test/Conversion/OpenMPToLLVM/convert-to-llvmir.mlir
    M mlir/test/Conversion/SCFToGPU/parallel_loop.mlir
    M mlir/test/Conversion/SCFToStandard/convert-to-cfg.mlir
    M mlir/test/Conversion/ShapeToStandard/convert-shape-constraints.mlir
    M mlir/test/Conversion/ShapeToStandard/shape-to-standard.mlir
    M mlir/test/Conversion/StandardToLLVM/convert-to-llvmir.mlir
    M mlir/test/Conversion/StandardToSPIRV/std-ops-to-spirv.mlir
    M mlir/test/Conversion/VectorToSCF/vector-to-loops.mlir
    M mlir/test/Dialect/Affine/parallelize.mlir
    M mlir/test/Dialect/GPU/all-reduce-max.mlir
    M mlir/test/Dialect/GPU/all-reduce.mlir
    M mlir/test/Dialect/Linalg/convert-elementwise-to-linalg.mlir
    M mlir/test/Dialect/Linalg/loops.mlir
    M mlir/test/Dialect/Linalg/sparse_1d.mlir
    M mlir/test/Dialect/Linalg/sparse_2d.mlir
    M mlir/test/Dialect/Linalg/sparse_3d.mlir
    M mlir/test/Dialect/Linalg/tile-and-distribute.mlir
    M mlir/test/Dialect/Linalg/vectorization.mlir
    M mlir/test/Dialect/SCF/for-loop-specialization.mlir
    M mlir/test/Dialect/SCF/ops.mlir
    M mlir/test/Dialect/SCF/parallel-loop-specialization.mlir
    M mlir/test/Dialect/SPIRV/IR/availability.mlir
    M mlir/test/Dialect/SPIRV/IR/barrier-ops.mlir
    M mlir/test/Dialect/SPIRV/IR/group-ops.mlir
    M mlir/test/Dialect/SPIRV/IR/non-uniform-ops.mlir
    M mlir/test/Dialect/SPIRV/IR/target-env.mlir
    M mlir/test/Dialect/SPIRV/Transforms/vce-deduction.mlir
    M mlir/test/Dialect/Standard/canonicalize.mlir
    M mlir/test/Dialect/Standard/expand-ops.mlir
    M mlir/test/Dialect/Standard/expand-tanh.mlir
    M mlir/test/Dialect/Vector/vector-contract-transforms.mlir
    M mlir/test/Dialect/Vector/vector-transfer-full-partial-split.mlir
    M mlir/test/Dialect/Vector/vector-transforms.mlir
    M mlir/test/EDSC/builder-api-test.cpp
    M mlir/test/IR/core-ops.mlir
    M mlir/test/IR/invalid-ops.mlir
    M mlir/test/IR/invalid.mlir
    M mlir/test/Target/SPIRV/barrier-ops.mlir
    M mlir/test/Target/SPIRV/group-ops.mlir
    M mlir/test/Target/SPIRV/non-uniform-ops.mlir
    M mlir/test/Transforms/buffer-deallocation.mlir
    M mlir/test/Transforms/buffer-hoisting.mlir
    M mlir/test/Transforms/buffer-loop-hoisting.mlir
    M mlir/test/Transforms/canonicalize-block-merge.mlir
    M mlir/test/Transforms/canonicalize.mlir
    M mlir/test/Transforms/constant-fold.mlir
    M mlir/test/Transforms/copy-removal.mlir
    M mlir/test/Transforms/cse.mlir
    M mlir/test/Transforms/parametric-tiling.mlir
    M mlir/test/Transforms/promote-buffers-to-stack.mlir
    M mlir/test/Transforms/sccp-callgraph.mlir
    M mlir/test/Transforms/sccp-structured.mlir
    M mlir/test/Transforms/sccp.mlir
    M mlir/test/mlir-tblgen/op-format.mlir
    M mlir/tools/mlir-tblgen/OpFormatGen.cpp

  Log Message:
  -----------
  [mlir][OpFormatGen] Format enum attribute cases as keywords when possible

In the overwhelmingly common case, enum attribute case strings represent valid identifiers in MLIR syntax. This revision updates the format generator to format as a keyword in these cases, removing the need to wrap values in a string. The parser still retains the ability to parse the string form, but the printer will use the keyword form when applicable.

Differential Revision: https://reviews.llvm.org/D94575


Compare: https://github.com/llvm/llvm-project/compare/a3904cc77f18...93592b726c75