[all-commits] [llvm/llvm-project] c9e121: [MLIR] Enhance getLargestKnownDivisor for AffineEx...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c9e121eb44c419f0e55e6e5d7735f6c962b141bc
      https://github.com/llvm/llvm-project/commit/c9e121eb44c419f0e55e6e5d7735f6c962b141bc
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2022-12-17 (Sat, 17 Dec 2022)

  Changed paths:
    M mlir/lib/IR/AffineExpr.cpp
    M mlir/test/Dialect/Affine/unroll.mlir

  Log Message:
  -----------
  [MLIR] Enhance getLargestKnownDivisor for AffineExpr floordiv/ceildiv

The largest known divisor for expressions like (32 * d0 + 32, 128)
ceildiv 8 wasn't being computed tightly; a conservative value of 1 was
being returned. Address this. This leads to a broad improvement for
several affine analyses and rewrites that depend on knowing whether
something is a multiple of a specific constant or such largest known
constant.

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