Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/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()
/freebsd/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp800 assert(Sort->isFloatSort() && "Unsupported sort to floating-point!"); in toAPFloat()