[all-commits] [llvm/llvm-project] 56bc87: [MLIR][Presburger] Inequality Typing in coalesce

[Michel Weber via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 56bc87322ccca2ae786d493410d9801cf9c87a16
      https://github.com/llvm/llvm-project/commit/56bc87322ccca2ae786d493410d9801cf9c87a16
  Author: Michel Weber <michel.weber at inf.ethz.ch>
  Date:   2022-02-20 (Sun, 20 Feb 2022)

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

  Log Message:
  -----------
  [MLIR][Presburger] Inequality Typing in coalesce

This patch adds typing of inequalities to the simplex. This is a cental part of the coalesce algorithm and will be heavily used in later coalesce patches. Currently, only the three most basic types are supported with more to be introduced when they are needed.

Reviewed By: arjunp

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