LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
DynamicAPIntHelper.h File Reference

This file implements helper methods for constructing DynamicAPInts. More...

#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 dependency graph for DynamicAPIntHelper.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  llzk

Functions

llvm::DynamicAPInt llzk::operator& (const llvm::DynamicAPInt &lhs, const llvm::DynamicAPInt &rhs)
llvm::DynamicAPInt llzk::operator| (const llvm::DynamicAPInt &lhs, const llvm::DynamicAPInt &rhs)
llvm::DynamicAPInt llzk::operator^ (const llvm::DynamicAPInt &lhs, const llvm::DynamicAPInt &rhs)
llvm::DynamicAPInt llzk::operator<< (const llvm::DynamicAPInt &lhs, const llvm::DynamicAPInt &rhs)
llvm::DynamicAPInt llzk::operator>> (const llvm::DynamicAPInt &lhs, const llvm::DynamicAPInt &rhs)
llvm::DynamicAPInt llzk::toDynamicAPInt (llvm::StringRef str)
llvm::DynamicAPInt llzk::toDynamicAPInt (const llvm::APSInt &i)
llvm::DynamicAPInt llzk::toDynamicAPInt (const llvm::APInt &i)
llvm::APSInt llzk::toAPSInt (const llvm::DynamicAPInt &i)

Detailed Description

This file implements helper methods for constructing DynamicAPInts.

These definitions will be mostly obselete when we upgrade to LLVM 21, which defines a DynamicAPInt constructor from an APInt.

Note that of the operators defined, bitwise negation ('~') is not implemented. This is because the definition of this operation requires the number of bits to be defined, which may change with dynamically sized integers.

Definition in file DynamicAPIntHelper.h.