[all-commits] [llvm/llvm-project] 628a2c: [MLIR][Presburger] introduce SlowMPInt, an auto-re...
Arjun P via All-commits
all-commits at lists.llvm.org
Wed Jun 22 09:37:31 PDT 2022
Author: Arjun P <arjunpitchanathan at gmail.com>
Date: 2022-06-22 (Wed, 22 Jun 2022)
[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
More information about the All-commits