OverflowSemantics.cpp File Reference

#include "llzk/Dialect/Cast/Util/OverflowSemantics.h"
#include <llvm/Support/ErrorHandling.h>

Include dependency graph for OverflowSemantics.cpp:

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llzk::cast

Functions
std::optional< DynamicAPInt >	llzk::cast::applyIntToFeltOverflow (const DynamicAPInt &value, const Field &field, OverflowSemantics overflow)
std::optional< DynamicAPInt >	llzk::cast::applyFeltToIndexOverflow (const DynamicAPInt &value, unsigned indexBitWidth, OverflowSemantics overflow)