[all-commits] [llvm/llvm-project] 4db6e1: [MLIR][Presburger] Implement composition for Presb...
Bharathi Ramana Joshi via All-commits
all-commits at lists.llvm.org
Fri Jul 7 05:14:01 PDT 2023
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: 4db6e149624cd9a0fab2fba9c49f9a20c1068cee
https://github.com/llvm/llvm-project/commit/4db6e149624cd9a0fab2fba9c49f9a20c1068cee
Author: iambrj <joshibharathiramana at gmail.com>
Date: 2023-07-07 (Fri, 07 Jul 2023)
Changed paths:
M mlir/include/mlir/Analysis/Presburger/PresburgerRelation.h
M mlir/lib/Analysis/Presburger/PresburgerRelation.cpp
M mlir/unittests/Analysis/Presburger/CMakeLists.txt
A mlir/unittests/Analysis/Presburger/PresburgerRelationTest.cpp
Log Message:
-----------
[MLIR][Presburger] Implement composition for PresburgerRelation
This patch implements range and domain composition for PresburgerRelations
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D154444
More information about the All-commits
mailing list