[all-commits] [llvm/llvm-project] 3dd993: [MLIR][Presburger] Implement domain and range rest...
Bharathi Ramana Joshi via All-commits
all-commits at lists.llvm.org
Tue Jul 18 06:42:32 PDT 2023
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: 3dd9931c0f6fa9a69c3297329611c23e8cbe5043
https://github.com/llvm/llvm-project/commit/3dd9931c0f6fa9a69c3297329611c23e8cbe5043
Author: iambrj <joshibharathiramana at gmail.com>
Date: 2023-07-18 (Tue, 18 Jul 2023)
Changed paths:
M mlir/include/mlir/Analysis/Presburger/PresburgerRelation.h
M mlir/lib/Analysis/Presburger/PresburgerRelation.cpp
M mlir/unittests/Analysis/Presburger/PresburgerRelationTest.cpp
Log Message:
-----------
[MLIR][Presburger] Implement domain and range restriction for PresburgerRelation
This patch implements domain and range restriction for PresburgerRelation
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D154798
More information about the All-commits
mailing list