[all-commits] [llvm/llvm-project] b696e2: [MLIR][Presburger] Add hermite normal form computa...

Kunwar Shaanjeet Singh Grover via All-commits all-commits at lists.llvm.org
Wed Sep 14 08:39:27 PDT 2022

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b696e25a7a269db80b93f3ce88e56258e9d234f3
  Author: Groverkss <groverkss at gmail.com>
  Date:   2022-09-14 (Wed, 14 Sep 2022)

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/LinearTransform.h
    M mlir/include/mlir/Analysis/Presburger/Matrix.h
    M mlir/lib/Analysis/Presburger/LinearTransform.cpp
    M mlir/lib/Analysis/Presburger/Matrix.cpp
    M mlir/unittests/Analysis/Presburger/MatrixTest.cpp

  Log Message:
  [MLIR][Presburger] Add hermite normal form computation to Matrix

This patch adds hermite normal form computation to Matrix. Part of this algorithm
lived in LinearTransform, being used for compuing column echelon form. This
patch moves the implementation to Matrix::hermiteNormalForm and generalises it
to compute the hermite normal form.

Reviewed By: arjunp

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

More information about the All-commits mailing list