diff options
| author | Arjun P <arjunpitchanathan@gmail.com> | 2022-06-22 18:29:46 +0200 |
|---|---|---|
| committer | Arjun P <arjunpitchanathan@gmail.com> | 2022-06-22 18:37:18 +0200 |
| commit | 628a2c14e3e94442672bb3b07cd42ec9cca04531 (patch) | |
| tree | 951c5df7f8b823f195bcb3d68f5b60d0b7f970b9 /llvm/lib/IR/Function.cpp | |
| parent | cff4f04e2ed8f4c0a69ddbdf07f6dcbec455a3e0 (diff) | |
| download | llvm-628a2c14e3e94442672bb3b07cd42ec9cca04531.zip llvm-628a2c14e3e94442672bb3b07cd42ec9cca04531.tar.gz llvm-628a2c14e3e94442672bb3b07cd42ec9cca04531.tar.bz2 | |
[MLIR][Presburger] introduce SlowMPInt, an auto-resizing APInt for fully correct signed integer computations
The Presburger library currently uses int64_t throughout for its integers.
This runs the risk of silently producing incorrect results when overflows occur.
Fixing this issue requires some sort of multiprecision integer
that transparently supports aribtrary arithmetic computations.
The class SlowMPInt provides this functionality, and is intended to be used
as the slow path fallback for a more optimized upcoming class, MPInt, that optimizes
for the Presburger library's workloads.
Reviewed By: ftynse
Differential Revision: https://reviews.llvm.org/D123758
Diffstat (limited to 'llvm/lib/IR/Function.cpp')
0 files changed, 0 insertions, 0 deletions