Searched defs:Sort (Results 1 – 9 of 9) sorted by relevance
15 struct Sort { struct16 size_t Quantity;18 void run(benchmark::State& state) const { in run()24 bool skip() const { return Order() == ::Order::Heap; } in skip()26 std::string name() const { in name()
74 Z3_sort Sort; member in __anonae660b540111::Z3Sort294 SMTSortRef newSortRef(const SMTSort &Sort) { in newSortRef()751 SMTSortRef Sort = in mkFloat() local761 SMTExprRef mkSymbol(const char *Name, SMTSortRef Sort) override { in mkSymbol()786 bool toAPFloat(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPFloat()807 bool toAPSInt(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPSInt()855 SMTSortRef Sort = getSort(Assign); in getInterpretation() local869 SMTSortRef Sort = getSort(Assign); in getInterpretation() local
168 void Sort() { in Sort() function174 template <typename TCompare> void Sort(TCompare tc) { in Sort() function
55 void Sort() { m_exprs.Sort(); } in Sort() function
90 void DWARFDebugAranges::Sort(bool minimize) { in Sort() function in DWARFDebugAranges
380 Expected<Trace> llvm::xray::loadTraceFile(StringRef Filename, bool Sort) { in loadTraceFile()419 Expected<Trace> llvm::xray::loadTrace(const DataExtractor &DE, bool Sort) { in loadTrace()
212 void Sort() { in Sort() function448 void Sort() { in Sort() function727 void Sort() { in Sort() function
298 llvm::SMTSortRef Sort = Solver->getFloatSort(ToBitWidth); in fromCast() local