[all-commits] [llvm/llvm-project] 39b939: [MLIR][Presburger] Add simplify function (#69107)
gilsaia via All-commits
all-commits at lists.llvm.org
Sat Oct 28 03:55:59 PDT 2023
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: 39b939555f959b93061b3c4c8fffc13a63737074
https://github.com/llvm/llvm-project/commit/39b939555f959b93061b3c4c8fffc13a63737074
Author: gilsaia <794433219 at qq.com>
Date: 2023-10-28 (Sat, 28 Oct 2023)
Changed paths:
M mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
M mlir/include/mlir/Analysis/Presburger/PresburgerRelation.h
M mlir/lib/Analysis/Presburger/IntegerRelation.cpp
M mlir/lib/Analysis/Presburger/PresburgerRelation.cpp
Log Message:
-----------
[MLIR][Presburger] Add simplify function (#69107)
Added the simplify function to reduce the size of the constraint system,
referencing the ISL implementation.
Tested it on a simple Benchmark implemented by myself, calling SImplify
before the operation and calling Simplify on the result after Subtract
were tested, respectively.
The Benchmark can be found here:
[benchmark](https://github.com/gilsaia/llvm-project-test-fpl/blob/develop_benchmark/mlir/benchmark/presburger/Benchmark.cpp)
For the case of calling Simplify before each operation, the overall
result is shown in the following figure.

A comparison of the constraint system sizes and time for each operation
is as follows












For the case of calling Simplify on the result after Subtract, the
overall results are as follows

A comparison of the constraint system sizes and time for subtract is as
follows


More information about the All-commits
mailing list