LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
APIntHelper.cpp File Reference
Include dependency graph for APIntHelper.cpp:

Go to the source code of this file.

Namespaces

namespace  llzk
 

Functions

llvm::APSInt llzk::expandingAdd (llvm::APSInt lhs, llvm::APSInt rhs)
 Safely add lhs and rhs, expanding the width of the result as necessary.
 
llvm::APSInt llzk::expandingSub (llvm::APSInt lhs, llvm::APSInt rhs)
 Safely subtract lhs and rhs, expanding the width of the result as necessary.
 
llvm::APSInt llzk::expandingMul (llvm::APSInt lhs, llvm::APSInt rhs)
 Safely multiple lhs and rhs, expanding the width of the result as necessary.
 
llvm::APSInt llzk::safeToSigned (llvm::APSInt i)
 Safely converts the given int to a signed int if it is an unsigned int by adding an extra bit for the sign.
 
std::strong_ordering llzk::safeCmp (llvm::APSInt lhs, llvm::APSInt rhs)
 Compares lhs and rhs, regardless of the bitwidth of lhs and rhs.