Searched refs:BitReprAsSigned (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp737 const int64_t BitReprAsSigned = Int.getExtValue(); variable
739 reinterpret_cast<const uint64_t &>(BitReprAsSigned);
743 ? Z3_mk_int64(Context.Context, BitReprAsSigned, Z3Sort)

Completed in 26 milliseconds