DynamicAPIntHelper.h

Go to the documentation of this file.

//===-- DynamicAPIntHelper.h ------------------------------------*- C++ -*-===//
//
// Part of the LLZK Project, under the Apache License v2.0.
// See LICENSE.txt for license information.
// Copyright 2025 Veridise Inc.
// SPDX-License-Identifier: Apache-2.0
//
//===----------------------------------------------------------------------===//
//===----------------------------------------------------------------------===//
 
#pragma once
 
#include "llzk/Util/Compare.h"
 
#include <llvm/ADT/APInt.h>
#include <llvm/ADT/APSInt.h>
#include <llvm/ADT/DynamicAPInt.h>
#include <llvm/ADT/SlowDynamicAPInt.h>
#include <llvm/ADT/StringRef.h>
 
#include <climits>
#include <cstddef>
#include <cstdint>
 
namespace llzk {
 
llvm::DynamicAPInt operator&(const llvm::DynamicAPInt &lhs, const llvm::DynamicAPInt &rhs);
llvm::DynamicAPInt operator|(const llvm::DynamicAPInt &lhs, const llvm::DynamicAPInt &rhs);
llvm::DynamicAPInt operator^(const llvm::DynamicAPInt &lhs, const llvm::DynamicAPInt &rhs);
llvm::DynamicAPInt operator<<(const llvm::DynamicAPInt &lhs, const llvm::DynamicAPInt &rhs);
llvm::DynamicAPInt operator>>(const llvm::DynamicAPInt &lhs, const llvm::DynamicAPInt &rhs);
 
llvm::DynamicAPInt toDynamicAPInt(llvm::StringRef str);
 
llvm::DynamicAPInt toDynamicAPInt(const llvm::APSInt &i);
 
inline llvm::DynamicAPInt toDynamicAPInt(const llvm::APInt &i) {
  return toDynamicAPInt(llvm::APSInt(i));
}
 
inline llvm::DynamicAPInt toDynamicAPInt(size_t i) {
  return toDynamicAPInt(llvm::APInt(sizeof(size_t) * CHAR_BIT, llzk::checkedCast<uint64_t>(i)));
}
 
llvm::APSInt toAPSInt(const llvm::DynamicAPInt &i);

llvm::APInt toAPInt(const llvm::DynamicAPInt &i, unsigned bitWidth);

llvm::APInt toExactWidthAPInt(const llvm::DynamicAPInt &i, unsigned bitWidth);
 
llvm::DynamicAPInt modExp(
    const llvm::DynamicAPInt &base, const llvm::DynamicAPInt &exp, const llvm::DynamicAPInt &mod
);
 
llvm::DynamicAPInt modInversePrime(const llvm::DynamicAPInt &f, const llvm::DynamicAPInt &p);
 
} // namespace llzk