[all-commits] [llvm/llvm-project] c2fcaf: [MLIR][Presburger] Simplex: refactor (symbolic)lex...

[Arjun P via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c2fcaf84e5a33a18385620453fdbb73fee58cbbc
      https://github.com/llvm/llvm-project/commit/c2fcaf84e5a33a18385620453fdbb73fee58cbbc
  Author: Arjun P <arjunpitchanathan at gmail.com>
  Date:   2022-07-01 (Fri, 01 Jul 2022)

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

  Log Message:
  -----------
  [MLIR][Presburger] Simplex: refactor (symbolic)lex to support specifying multiple varKinds as symbols

This is also required to support lexmin for relations.

Reviewed By: Groverkss

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