[all-commits] [llvm/llvm-project] 1a0e67: Reland "mlir/Presburger/MPInt: move into llvm/ADT"...

[Ramkumar Ramachandra via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1a0e67d73023e7ad9e7e79f66afb43a6f2561d04
      https://github.com/llvm/llvm-project/commit/1a0e67d73023e7ad9e7e79f66afb43a6f2561d04
  Author: Ramkumar Ramachandra <ramkumar.ramachandra at codasip.com>
  Date:   2024-06-12 (Wed, 12 Jun 2024)

  Changed paths:
    A llvm/include/llvm/ADT/DynamicAPInt.h
    A llvm/include/llvm/ADT/SlowDynamicAPInt.h
    M llvm/lib/Support/CMakeLists.txt
    A llvm/lib/Support/DynamicAPInt.cpp
    A llvm/lib/Support/SlowDynamicAPInt.cpp
    M llvm/unittests/ADT/CMakeLists.txt
    A llvm/unittests/ADT/DynamicAPIntTest.cpp
    M mlir/include/mlir/Analysis/Presburger/Barvinok.h
    M mlir/include/mlir/Analysis/Presburger/Fraction.h
    M mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
    M mlir/include/mlir/Analysis/Presburger/LinearTransform.h
    R mlir/include/mlir/Analysis/Presburger/MPInt.h
    M mlir/include/mlir/Analysis/Presburger/Matrix.h
    M mlir/include/mlir/Analysis/Presburger/PWMAFunction.h
    M mlir/include/mlir/Analysis/Presburger/PresburgerRelation.h
    M mlir/include/mlir/Analysis/Presburger/Simplex.h
    R mlir/include/mlir/Analysis/Presburger/SlowMPInt.h
    M mlir/include/mlir/Analysis/Presburger/Utils.h
    M mlir/include/mlir/Support/LLVM.h
    M mlir/lib/Analysis/FlatLinearValueConstraints.cpp
    M mlir/lib/Analysis/Presburger/Barvinok.cpp
    M mlir/lib/Analysis/Presburger/CMakeLists.txt
    M mlir/lib/Analysis/Presburger/IntegerRelation.cpp
    M mlir/lib/Analysis/Presburger/LinearTransform.cpp
    R mlir/lib/Analysis/Presburger/MPInt.cpp
    M mlir/lib/Analysis/Presburger/Matrix.cpp
    M mlir/lib/Analysis/Presburger/PWMAFunction.cpp
    M mlir/lib/Analysis/Presburger/PresburgerRelation.cpp
    M mlir/lib/Analysis/Presburger/Simplex.cpp
    R mlir/lib/Analysis/Presburger/SlowMPInt.cpp
    M mlir/lib/Analysis/Presburger/Utils.cpp
    M mlir/unittests/Analysis/Presburger/CMakeLists.txt
    M mlir/unittests/Analysis/Presburger/FractionTest.cpp
    M mlir/unittests/Analysis/Presburger/IntegerPolyhedronTest.cpp
    M mlir/unittests/Analysis/Presburger/LinearTransformTest.cpp
    R mlir/unittests/Analysis/Presburger/MPIntTest.cpp
    M mlir/unittests/Analysis/Presburger/MatrixTest.cpp
    M mlir/unittests/Analysis/Presburger/SimplexTest.cpp
    M mlir/unittests/Analysis/Presburger/Utils.h
    M mlir/unittests/Analysis/Presburger/UtilsTest.cpp

  Log Message:
  -----------
  Reland "mlir/Presburger/MPInt: move into llvm/ADT" (#95254)

Change: remove guards on debug-printing, to allow Release builds without
LLVM_ENABLE_DUMP to pass.

MPInt is an arbitrary-precision integer library that builds on top of
APInt, and has a fast-path when the number fits within 64 bits. It was
originally written for the Presburger library in MLIR, but seems useful
to the LLVM project in general, independently of the Presburger library
or MLIR. Hence, move it into LLVM/ADT under the name DynamicAPInt.

This patch is part of a project to move the Presburger library into
LLVM.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications