[all-commits] [llvm/llvm-project] 79f35a: [MLIR][Presburger] Make getSubMatrix exclusive on ...

[Yue Huang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 79f35a2185e99a0de5280962bc69cde174c31fc9
      https://github.com/llvm/llvm-project/commit/79f35a2185e99a0de5280962bc69cde174c31fc9
  Author: Yue Huang <30948580+AdUhTkJm at users.noreply.github.com>
  Date:   2026-05-06 (Wed, 06 May 2026)

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/Matrix.h
    M mlir/lib/Analysis/Presburger/Barvinok.cpp
    M mlir/lib/Analysis/Presburger/Matrix.cpp

  Log Message:
  -----------
  [MLIR][Presburger] Make getSubMatrix exclusive on the right end (#190911)

Currently `getSubMatrix(fromRow, toRow, fromCol, toCol)` forms a
submatrix with both ends inclusive. In this way, it's impossible to form
an empty submatrix, as the assertions in the function prevents cases
where `toRow < fromRow`. However, the functionality is necessary for
Barvinok procedures (e.g. we might want to inspect the submatrix for
parameters, which will be empty if there's none).

This PR changes it to be inclusive on the left end and exclusive on the
right end, making it the same as canonical C++ ranges.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications