[all-commits] [llvm/llvm-project] a73455: [mlir][affine] Fix crash in AffineApplyOp canonica...

Matthias Springer via All-commits all-commits at lists.llvm.org
Mon Dec 12 00:11:36 PST 2022

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a73455ac8e9bd02f843916c12c261cfd9ccb06a9
  Author: Matthias Springer <springerm at google.com>
  Date:   2022-12-12 (Mon, 12 Dec 2022)

  Changed paths:
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/test/Dialect/Affine/canonicalize.mlir

  Log Message:
  [mlir][affine] Fix crash in AffineApplyOp canonicalization

This test case used to crash with a failed assertion:
AffineExpr.cpp:659 in AffineExpr simplifyMul(AffineExpr, AffineExpr): lhs.isSymbolicOrConstant() || rhs.isSymbolicOrConstant()

This was caused by combining two affine maps, which created a multiplication of two non-symbols.

More information about the All-commits mailing list