APIntHelper.h

Go to the documentation of this file.

//===-- APIntHelper.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 <llvm/ADT/APSInt.h>
 
#include <algorithm>
#include <initializer_list>
 
namespace llzk {

llvm::APSInt expandingAdd(const llvm::APSInt &lhs, const llvm::APSInt &rhs);

llvm::APSInt expandingSub(const llvm::APSInt &lhs, const llvm::APSInt &rhs);

llvm::APSInt expandingMul(const llvm::APSInt &lhs, const llvm::APSInt &rhs);

std::strong_ordering safeCmp(const llvm::APSInt &lhs, const llvm::APSInt &rhs);
 
inline bool safeLt(const llvm::APSInt &lhs, const llvm::APSInt &rhs) {
  return std::is_lt(safeCmp(lhs, rhs));
}
 
inline bool safeLe(const llvm::APSInt &lhs, const llvm::APSInt &rhs) {
  return std::is_lteq(safeCmp(lhs, rhs));
}
 
inline bool safeEq(const llvm::APSInt &lhs, const llvm::APSInt &rhs) {
  return std::is_eq(safeCmp(lhs, rhs));
}
 
inline bool safeNe(const llvm::APSInt &lhs, const llvm::APSInt &rhs) {
  return std::is_neq(safeCmp(lhs, rhs));
}
 
inline bool safeGt(const llvm::APSInt &lhs, const llvm::APSInt &rhs) {
  return std::is_gt(safeCmp(lhs, rhs));
}
 
inline bool safeGe(const llvm::APSInt &lhs, const llvm::APSInt &rhs) {
  return std::is_gteq(safeCmp(lhs, rhs));
}
 
inline llvm::APSInt safeMin(const llvm::APSInt &lhs, const llvm::APSInt &rhs) {
  return std::min(lhs, rhs, safeLt);
}
 
inline llvm::APSInt safeMin(std::initializer_list<llvm::APSInt> ilist) {
  return std::min(ilist, safeLt);
}
 
inline llvm::APSInt safeMax(const llvm::APSInt &lhs, const llvm::APSInt &rhs) {
  return std::max(lhs, rhs, safeLt);
}
 
inline llvm::APSInt safeMax(std::initializer_list<llvm::APSInt> ilist) {
  return std::max(ilist, safeLt);
}
 
} // namespace llzk