Searched defs:Sort (Results 1 – 4 of 4) sorted by relevance
189 struct Sort { struct190 size_t Quantity;192 void run(benchmark::State& state) const { in run()198 bool skip() const { return Order() == ::Order::Heap; } in skip()200 std::string name() const { in name()
72 Z3_sort Sort; member in __anondfffcc6f0111::Z3Sort292 SMTSortRef newSortRef(const SMTSort &Sort) { in newSortRef()749 SMTSortRef Sort = in mkFloat() local759 SMTExprRef mkSymbol(const char *Name, SMTSortRef Sort) override { in mkSymbol()784 bool toAPFloat(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPFloat()805 bool toAPSInt(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPSInt()853 SMTSortRef Sort = getSort(Assign); in getInterpretation() local867 SMTSortRef Sort = getSort(Assign); in getInterpretation() local
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()
298 llvm::SMTSortRef Sort = Solver->getFloatSort(ToBitWidth); in fromCast() local