[all-commits] [llvm/llvm-project] 8f99cd: [MLIR][Presburger] Simplex: remove redundant zeroi...

[Arjun P via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8f99cdd27cd42ae88ea9da4f0122e0a23f3ce500
      https://github.com/llvm/llvm-project/commit/8f99cdd27cd42ae88ea9da4f0122e0a23f3ce500
  Author: Arjun P <arjunpitchanathan at gmail.com>
  Date:   2022-06-01 (Wed, 01 Jun 2022)

  Changed paths:
    M mlir/lib/Analysis/Presburger/Simplex.cpp

  Log Message:
  -----------
  [MLIR][Presburger] Simplex: remove redundant zeroing out of row

This fillRow(..., 0) is redundant because when the size of the tableau is
consistent, the resize always creates a new row, which is zero-initialized.

Also added asserts throughout to ensure the dimensions of the tableau remain
consistent.

Reviewed By: Groverkss

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