[all-commits] [llvm/llvm-project] c2280b: [MLIR] Avoid creation of buggy affine maps when in...

[Arnab Dutta via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c2280b55173ca42f32e0bf22b10e73ba5b7fbda0
      https://github.com/llvm/llvm-project/commit/c2280b55173ca42f32e0bf22b10e73ba5b7fbda0
  Author: Arnab Dutta <arnab.dutta at cerebras.net>
  Date:   2021-11-27 (Sat, 27 Nov 2021)

  Changed paths:
    M mlir/include/mlir/IR/AffineMap.h
    M mlir/lib/IR/AffineMap.cpp
    M mlir/lib/IR/MLIRContext.cpp

  Log Message:
  -----------
  [MLIR] Avoid creation of buggy affine maps when incorrect values of number of dimensions and number of symbols are provided.

We check whether the maximum index of dimensional identifier present
in the result expressions is less than dimCount (number of dimensional
identifiers) argument passed in the AffineMap::get() and the maximum index
of symbolic identifier present in the result expressions is less than
symbolCount (number of symbolic identifiers) argument passed in AffineMap::get().

Reviewed By: nicolasvasilache, bondhugula

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