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

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a73455ac8e9bd02f843916c12c261cfd9ccb06a9
      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.