[all-commits] [llvm/llvm-project] 8eebb4: [MLIR][Presburger] Update equality and subset chec...

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8eebb47f9706b2016f2f6b772955066bf07249d7
      https://github.com/llvm/llvm-project/commit/8eebb47f9706b2016f2f6b772955066bf07249d7
  Author: Groverkss <groverkss at gmail.com>
  Date:   2022-05-22 (Sun, 22 May 2022)

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

  Log Message:
  -----------
  [MLIR][Presburger] Update equality and subset checks asserts in IntegerRelation

This patch updates asserts in IntegerRelation::isEqual and
IntegerRelation::isCompatible to allow these functions when number of
local identifiers are different. This change is done to reflect the
algorithmic changes done before this patch.