Home
last modified time | relevance | path

Searched refs:isFloatSort (Results 1 – 2 of 2) sorted by relevance

/openbsd-src/gnu/llvm/llvm/include/llvm/Support/
H A DSMTAPI.h35 virtual bool isFloatSort() const { return isFloatSortImpl(); } in isFloatSort() function
52 assert(isFloatSort() && "Not a floating-point sort!"); in getFloatSortSize()
/openbsd-src/gnu/llvm/llvm/lib/Support/
H A DZ3Solver.cpp788 assert(Sort->isFloatSort() && "Unsupported sort to floating-point!"); in toAPFloat()