diff options
| author | gilsaia <794433219@qq.com> | 2023-07-11 19:23:35 +0530 |
|---|---|---|
| committer | Groverkss <groverkss@gmail.com> | 2023-07-11 19:35:48 +0530 |
| commit | 867c7b5cc061c78a6c2387812cbe5b8bf1c84e0b (patch) | |
| tree | 0c6439c9d71d1119290c8f84ace3d55df5d88039 /llvm/tools/llvm-objdump/llvm-objdump.cpp | |
| parent | 82371e68e45db2e2c30e7ed39820a027c680515d (diff) | |
| download | llvm-867c7b5cc061c78a6c2387812cbe5b8bf1c84e0b.zip llvm-867c7b5cc061c78a6c2387812cbe5b8bf1c84e0b.tar.gz llvm-867c7b5cc061c78a6c2387812cbe5b8bf1c84e0b.tar.bz2 | |
[MLIR][Presburger] Optimize for intersect
Added a series of optimizations to the Intersect function of PresburgerRelation, referring to the ISL implementation.
Tested it on a simple Benchmark implemented by myself to see that it can speed up the Intersect operation
The Benchmark can be found here:https://github.com/gilsaia/llvm-project-test-fpl/blob/develop_benchmark/mlir/benchmark/presburger/Benchmark.cpp
The overall results for Intersect are as follows
{F28191553}
The results for each case are as follows
{F28191556}
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D154771
Diffstat (limited to 'llvm/tools/llvm-objdump/llvm-objdump.cpp')
0 files changed, 0 insertions, 0 deletions