[all-commits] [llvm/llvm-project] c8544d: [mlir] Support attributes in `matchPattern`

Jakub Kuderski via All-commits all-commits at lists.llvm.org
Tue Sep 5 11:55:29 PDT 2023


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c8544d280a8ef1e41efc5c036e00dc671edbb93d
      https://github.com/llvm/llvm-project/commit/c8544d280a8ef1e41efc5c036e00dc671edbb93d
  Author: Jakub Kuderski <jakub at nod-labs.com>
  Date:   2023-09-05 (Tue, 05 Sep 2023)

  Changed paths:
    M mlir/include/mlir/IR/Matchers.h
    M mlir/lib/Dialect/Arith/IR/ArithOps.cpp
    M mlir/lib/Dialect/SPIRV/IR/SPIRVOps.cpp

  Log Message:
  -----------
  [mlir] Support attributes in `matchPattern`

The primary motivation is to we have a simple mechanism to extract
values from attributes in folders and canon patterns without having to
re-fold constants or write nested conditions over attribute types.

Matching over attributes composes especially well with fold adaptors.

Update folds in Arith and SPIRV dialects to match over attributes, where
applicable.

Reviewed By: mehdi_amini, zero9178

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




More information about the All-commits mailing list