diff options
| author | gilsaia <794433219@qq.com> | 2023-08-02 15:11:52 +0530 |
|---|---|---|
| committer | Groverkss <groverkss@gmail.com> | 2023-08-02 15:32:07 +0530 |
| commit | f40af3b351a9f282edd414d2ebf20a9fcd74d8f1 (patch) | |
| tree | 1040cd9429b3261350ead252a3aedbfabbef6a11 /llvm/docs/CommandGuide | |
| parent | 19b11079639d1003a2e51b5f032fca5a736dee05 (diff) | |
| download | llvm-f40af3b351a9f282edd414d2ebf20a9fcd74d8f1.zip llvm-f40af3b351a9f282edd414d2ebf20a9fcd74d8f1.tar.gz llvm-f40af3b351a9f282edd414d2ebf20a9fcd74d8f1.tar.bz2 | |
[MLIR][Presburger] Optimize for union & subtract
Added a series of optimization to the Subtract & Union function of PresburgerRelation, referring to the ISL implementation.
Add isPlainEqual to Subtract & union,also some basic check to union.
Tested it on a simple Benchmark implemented by myself to see that it can speed up the Subtract operation and Union operation, also decrease the result size.
The Benchmark can be found here: [[ https://github.com/gilsaia/llvm-project-test-fpl/blob/develop_benchmark/mlir/benchmark/presburger/Benchmark.cpp | benchmark]]
The overall results for Union & Subtract are as follows (previous benchmark has a bug,after fix that,the figure below is new)
{F28455229}
The results for each case are as follows
{F28455234}
{F28455239}
{F28455245}
{F28455246}
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D156241
Diffstat (limited to 'llvm/docs/CommandGuide')
0 files changed, 0 insertions, 0 deletions