Searched defs:Sort (Results 1 – 7 of 7) sorted by relevance
76 Z3_sort Sort; member in __anon1f86e14b0111::Z3Sort651 const SMTSortRef Sort = getBitvectorSort(BitWidth); in mkBitvector() local658 SMTSortRef Sort = in mkFloat() local668 SMTExprRef mkSymbol(const char *Name, SMTSortRef Sort) override { in mkSymbol()693 bool toAPFloat(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPFloat()714 bool toAPSInt(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPSInt()762 SMTSortRef Sort = getSort(Assign); in getInterpretation() local776 SMTSortRef Sort = getSort(Assign); in getInterpretation() local
374 Expected<Trace> llvm::xray::loadTraceFile(StringRef Filename, bool Sort) { in loadTraceFile()412 Expected<Trace> llvm::xray::loadTrace(const DataExtractor &DE, bool Sort) { in loadTrace()
112 void DWARFDebugAranges::Sort(bool minimize) { in Sort() function in DWARFDebugAranges
160 void Sort() { in Sort() function390 void Sort() { in Sort() function648 void Sort() { in Sort() function872 void Sort() { in Sort() function
220 void Sort() { llvm::sort(m_map.begin(), m_map.end()); } in Sort() function
295 SMTSortRef Sort = Solver->getFloatSort(ToBitWidth); in fromCast() local
1539 RelocationSection<ELFT>::RelocationSection(StringRef Name, bool Sort) in RelocationSection()