[all-commits] [llvm/llvm-project] 7ef37a: [mlir] Initial support for type constraints in the...

[River Riddle via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 7ef37a5f9990eb51fc0ba8e09e9abc4bc8ef0e36
      https://github.com/llvm/llvm-project/commit/7ef37a5f9990eb51fc0ba8e09e9abc4bc8ef0e36
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2020-02-03 (Mon, 03 Feb 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td
    M mlir/include/mlir/Dialect/SPIRV/SPIRVBitOps.td
    M mlir/include/mlir/Dialect/SPIRV/SPIRVLogicalOps.td
    M mlir/include/mlir/Dialect/VectorOps/VectorOps.td
    M mlir/include/mlir/IR/OpBase.td
    M mlir/include/mlir/TableGen/OpTrait.h
    M mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
    M mlir/lib/Dialect/SPIRV/SPIRVOps.cpp
    M mlir/lib/Dialect/VectorOps/VectorOps.cpp
    M mlir/test/Dialect/SPIRV/ops.mlir
    M mlir/test/mlir-tblgen/op-format-spec.td
    M mlir/tools/mlir-tblgen/OpFormatGen.cpp

  Log Message:
  -----------
  [mlir] Initial support for type constraints in the declarative assembly format

Summary: This revision add support for accepting a few type constraints, e.g. AllTypesMatch, when inferring types for operands and results. This is used to remove the c++ parsers for several additional operations.

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


  Commit: fbba6395171d8644e859db8e4ca1ed662a0962bc
      https://github.com/llvm/llvm-project/commit/fbba6395171d8644e859db8e4ca1ed662a0962bc
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2020-02-03 (Mon, 03 Feb 2020)

  Changed paths:
    M mlir/include/mlir/IR/OpBase.td
    M mlir/lib/TableGen/Type.cpp
    M mlir/tools/mlir-tblgen/OpFormatGen.cpp

  Log Message:
  -----------
  [mlir][ODS] Refactor BuildableType to use $_builder as part of the format

Summary:
Currently BuildableType is assumed to be preceded by a builder. This prevents constructing types that don't have a callable 'get' method with the builder. This revision reworks the format to be like attribute builders, i.e. by accepting $_builder within the format itself.

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


Compare: https://github.com/llvm/llvm-project/compare/8413116bf104...fbba6395171d