[all-commits] [llvm/llvm-project] 24ed3a: [mlir][Vector] Add ExtractOp folding

[Nicolas Vasilache via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 24ed3a9403fa0494275212765026a1bb4169ac76
      https://github.com/llvm/llvm-project/commit/24ed3a9403fa0494275212765026a1bb4169ac76
  Author: Nicolas Vasilache <ntv at google.com>
  Date:   2020-07-07 (Tue, 07 Jul 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/Vector/VectorOps.td
    M mlir/include/mlir/IR/AffineMap.h
    M mlir/lib/Dialect/Vector/VectorOps.cpp
    M mlir/lib/IR/AffineMap.cpp
    M mlir/test/Dialect/Vector/canonicalize.mlir

  Log Message:
  -----------
  [mlir][Vector] Add ExtractOp folding

This revision adds foldings for ExtractOp operations that come from previous InsertOp.
InsertOp have cumulative semantic where multiple chained inserts are necessary to produce the final value from which the extracts are obtained.
Additionally, TransposeOp may be interleaved and need to be tracked in order to follow the producer consumer relationships and properly compute positions.

Differential revision: https://reviews.llvm.org/D83150