Changeset 6a5f0e7 for src/CodeTools/DeclStats.cc
- Timestamp:
- Feb 6, 2017, 3:03:27 PM (7 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
- Children:
- b4d65c7
- Parents:
- 567903e
- File:
-
- 1 edited
-
src/CodeTools/DeclStats.cc (modified) (6 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/CodeTools/DeclStats.cc
r567903e r6a5f0e7 33 33 struct Stats { 34 34 unsigned n_decls; ///< Total number of declarations 35 unsigned mono_decls; ///< Monomorphic declarations36 unsigned poly_decls; ///< Polymorphic declarations35 /// Count of declarations with each number of assertion parameters 36 VectorMap<unsigned> n_type_params; 37 37 /// Count of declarations with each name 38 38 std::unordered_map<std::string, unsigned> by_name; 39 39 40 /// Count of declarations with each number of parameters 40 VectorMap<unsigned> by_params;41 VectorMap<unsigned> n_params; 41 42 /// Count of declarations with each number of return types 42 VectorMap<unsigned> by_returns;43 VectorMap<unsigned> n_returns; 43 44 /// Count of declarations with each number of polymorphic parameters 44 45 VectorMap<unsigned> n_poly_params; … … 50 51 std::map<unsigned, unsigned> p_poly_returns; 51 52 52 Stats() : n_decls(0), mono_decls(0), poly_decls(0), by_name(), by_params(), by_returns(), n_poly_params(), n_poly_returns(), p_poly_params(), p_poly_returns() {} 53 53 /// Count of declarations with each number of assertions 54 std::map<unsigned, unsigned> n_assertions; 55 /// Count of assertions with each number of parameters 56 VectorMap<unsigned> n_assn_params; 57 /// Count of assertions with each number of return types 58 VectorMap<unsigned> n_assn_returns; 59 /// Count of assertions with each number of polymorphic parameters 60 VectorMap<unsigned> n_assn_poly_params; 61 /// Count of assertions with each number of polymorphic return types 62 VectorMap<unsigned> n_assn_poly_returns; 63 /// Count of assertions with each percentage of polymorphic parameters 64 std::map<unsigned, unsigned> p_assn_poly_params; 65 /// Count of assertions with each percentage of polymorphic returns 66 std::map<unsigned, unsigned> p_assn_poly_returns; 67 68 Stats() 69 : n_decls(0), n_type_params(), by_name(), 70 n_params(), n_returns(), n_poly_params(), n_poly_returns(), p_poly_params(), p_poly_returns(), 71 n_assertions(), n_assn_params(), n_assn_returns(), n_assn_poly_params(), n_assn_poly_returns(), p_assn_poly_params(), p_assn_poly_returns() {} 72 73 private: 74 template<typename T> 75 static void sum(T& a, const T& b) { a += b; } 76 77 static void sum(VectorMap<unsigned>& a, const VectorMap<unsigned>& b) { 78 a.reserve( b.size() ); 79 for ( unsigned i = 0; i < b.size(); ++i ) { 80 a[i] += b[i]; 81 } 82 } 83 84 template<typename K> 85 static void sum(std::map<K, unsigned>& a, const std::map<K, unsigned>& b) { 86 for ( const auto& entry : b ) { 87 a[ entry.first ] += entry.second; 88 } 89 } 90 91 template<typename K> 92 static void sum(std::unordered_map<K, unsigned>& a, const std::unordered_map<K, unsigned>& b) { 93 for ( const auto& entry : b ) { 94 a[ entry.first ] += entry.second; 95 } 96 } 97 98 public: 54 99 Stats& operator+= (const Stats& o) { 55 n_decls += o.n_decls;56 mono_decls += o.mono_decls;57 poly_decls += o.poly_decls;100 sum( n_decls, o.n_decls ); 101 sum( n_type_params, o.n_type_params ); 102 sum( by_name, o.by_name ); 58 103 59 for ( auto& entry : o.by_name ) { 60 by_name[ entry.first ] += entry.second; 61 } 62 63 by_params.reserve( o.by_params.size() ); 64 for ( unsigned i = 0; i < o.by_params.size(); ++i ) { 65 by_params[i] += o.by_params[i]; 66 } 67 68 by_returns.reserve( o.by_returns.size() ); 69 for ( unsigned i = 0; i < o.by_returns.size(); ++i ) { 70 by_returns[i] += o.by_returns[i]; 71 } 72 73 n_poly_params.reserve( o.n_poly_params.size() ); 74 for ( unsigned i = 0; i < o.n_poly_params.size(); ++i ) { 75 n_poly_params[i] += o.n_poly_params[i]; 76 } 77 78 n_poly_returns.reserve( o.n_poly_returns.size() ); 79 for ( unsigned i = 0; i < o.n_poly_returns.size(); ++i ) { 80 n_poly_returns[i] += o.n_poly_returns[i]; 81 } 82 83 for ( const auto& entry : o.p_poly_params ) { 84 p_poly_params[ entry.first ] += entry.second; 85 } 86 87 for ( const auto& entry : o.p_poly_returns ) { 88 p_poly_returns[ entry.first ] += entry.second; 89 } 104 sum( n_params, o.n_params ); 105 sum( n_returns, o.n_returns ); 106 sum( n_poly_params, o.n_poly_params ); 107 sum( n_poly_returns, o.n_poly_returns ); 108 sum( p_poly_params, o.p_poly_params ); 109 sum( p_poly_returns, o.p_poly_returns ); 110 111 sum( n_assertions, o.n_assertions ); 112 sum( n_assn_params, o.n_assn_params ); 113 sum( n_assn_returns, o.n_assn_returns ); 114 sum( n_assn_poly_params, o.n_assn_poly_params ); 115 sum( n_assn_poly_returns, o.n_assn_poly_returns ); 116 sum( p_assn_poly_params, o.p_assn_poly_params ); 117 sum( p_assn_poly_returns, o.p_assn_poly_returns ); 90 118 91 119 return *this; … … 96 124 std::unordered_set<std::string> seen_names; ///< Stores manglenames already seen to avoid double-counting 97 125 Stats total; 126 127 void analyzeFunc( FunctionType* fnTy, VectorMap<unsigned>& by_params, VectorMap<unsigned>& by_poly_params, 128 VectorMap<unsigned>& by_returns, VectorMap<unsigned>& by_poly_returns, 129 std::map<unsigned, unsigned>& p_poly_params, std::map<unsigned, unsigned>& p_poly_returns ) { 130 unsigned n_params = 0; 131 unsigned n_poly_params = 0; 132 for ( auto pdecl : fnTy->get_parameters() ) { 133 n_params += pdecl->get_type()->size(); 134 if ( GenPoly::hasPolyBase( pdecl->get_type() ) ) ++n_poly_params; 135 } 136 ++by_params.at( n_params ); 137 ++by_poly_params.at( n_poly_params ); 138 if ( n_params > 0 ) ++p_poly_params[ n_poly_params*100/n_params ]; 139 140 unsigned n_returns = 0; 141 unsigned n_poly_returns = 0; 142 for ( auto rdecl : fnTy->get_returnVals() ) { 143 n_returns += rdecl->get_type()->size(); 144 if ( GenPoly::hasPolyBase( rdecl->get_type() ) ) ++n_poly_returns; 145 } 146 ++by_returns.at( n_returns ); 147 ++by_poly_returns.at( n_poly_returns ); 148 if ( n_returns > 0 ) ++p_poly_returns[ n_poly_returns*100/n_returns ]; 149 } 98 150 99 151 public: … … 109 161 ++stats.n_decls; 110 162 FunctionType* fnTy = decl->get_functionType(); 111 if ( fnTy->get_forall().empty() ) ++stats.mono_decls; else ++stats.poly_decls; 163 const Type::ForallList& forall = fnTy->get_forall(); 164 ++stats.n_type_params.at( forall.size() ); 165 unsigned n_assertions = 0; 166 for ( TypeDecl* fdecl : forall ) { 167 n_assertions += fdecl->get_assertions().size(); 168 for ( DeclarationWithType* assn : fdecl->get_assertions() ) { 169 FunctionType *assnTy = 0; 170 if ( ObjectDecl *assnObj = dynamic_cast<ObjectDecl*>(assn) ) { 171 if ( PointerType *ptrTy = dynamic_cast<PointerType*>(assnObj->get_type()) ) { 172 assnTy = dynamic_cast<FunctionType*>(ptrTy->get_base()); 173 } else assnTy = dynamic_cast<FunctionType*>(assnObj->get_type()); 174 } else if ( FunctionDecl *assnDecl = dynamic_cast<FunctionDecl*>(assn) ) { 175 assnTy = assnDecl->get_functionType(); 176 } 177 if ( assnTy ) analyzeFunc( assnTy, stats.n_assn_params, stats.n_assn_poly_params, stats.n_assn_returns, 178 stats.n_assn_poly_returns, stats.p_assn_poly_params, stats.p_assn_poly_returns ); 179 } 180 } 181 ++stats.n_assertions[ n_assertions ]; 112 182 113 183 ++stats.by_name[ decl->get_name() ]; 114 184 115 unsigned n_params = 0; 116 unsigned n_poly_params = 0; 117 for ( auto pdecl : fnTy->get_parameters() ) { 118 n_params += pdecl->get_type()->size(); 119 if ( GenPoly::hasPolyBase( pdecl->get_type() ) ) ++n_poly_params; 120 } 121 ++stats.by_params.at( n_params ); 122 ++stats.n_poly_params.at( n_poly_params ); 123 if ( n_params > 0 ) ++stats.p_poly_params[ n_poly_params*100/n_params ]; 124 125 unsigned n_returns = 0; 126 unsigned n_poly_returns = 0; 127 for ( auto rdecl : fnTy->get_returnVals() ) { 128 n_returns += rdecl->get_type()->size(); 129 if ( GenPoly::hasPolyBase( rdecl->get_type() ) ) ++n_poly_returns; 130 } 131 ++stats.by_returns.at( n_returns ); 132 ++stats.n_poly_returns.at( n_poly_returns ); 133 if ( n_returns > 0 ) ++stats.p_poly_returns[ n_poly_returns*100/n_returns ]; 185 analyzeFunc( fnTy, stats.n_params, stats.n_poly_params, stats.n_returns, 186 stats.n_poly_returns, stats.p_poly_params, stats.p_poly_returns ); 134 187 } 135 188 … … 181 234 } 182 235 } 236 237 template<typename F> 238 void printAllSparseHisto( const char* name, F extract ) { 239 std::map<unsigned, unsigned> histos[LinkageSpec::NoOfSpecs]; 240 std::map<unsigned, unsigned> thisto; 241 242 for ( const auto& entry : extract(total) ) { ++thisto[ entry.second ]; } 243 244 for ( unsigned i = 0; i < LinkageSpec::NoOfSpecs; ++i ) { 245 for ( const auto& entry : extract(for_linkage[i]) ) { ++histos[i][entry.second]; } 246 } 247 248 for ( const auto& entry : thisto ) { 249 const auto& key = entry.first; 250 std::cout << "\"" << name << "\"," << key; 251 for ( unsigned i = 0; i < LinkageSpec::NoOfSpecs; ++i ) { 252 auto it = histos[i].find( key ); 253 if ( it == histos[i].end() ) std::cout << ",0"; 254 else std::cout << "," << it->second; 255 } 256 std::cout << "," << entry.second << std::endl; 257 } 258 } 183 259 184 260 public: … … 190 266 std::cout << ",,\"intrinsic\",\"Cforall\",\"C\",\"autogen\",\"builtin\",\"TOTAL\"" << std::endl; 191 267 192 printAll("mono_decls", [](const Stats& stats) { return stats.mono_decls; }); 193 printAll("poly_decls", [](const Stats& stats) { return stats.poly_decls; }); 268 printAllMap("n_type_params", [](const Stats& stats) { return stats.n_type_params; }); 194 269 printAll("n_decls", [](const Stats& stats) { return stats.n_decls; }); 195 270 printAll("unique_names", [](const Stats& stats) { return stats.by_name.size(); }); 196 197 printAllHisto("overloads", [](const Stats& stats) { return stats.by_name; });271 printAllSparseHisto("overloads", [](const Stats& stats) { return stats.by_name; }); 272 198 273 printAllMap("n_poly_params", [](const Stats& stats) { return stats.n_poly_params; }); 199 printAllMap("n_params", [](const Stats& stats) { return stats. by_params; });274 printAllMap("n_params", [](const Stats& stats) { return stats.n_params; }); 200 275 printAllMap("%_poly_params", [](const Stats& stats) { return stats.p_poly_params; }); 201 276 printAllMap("n_poly_returns", [](const Stats& stats) { return stats.n_poly_returns; }); 202 printAllMap("n_returns", [](const Stats& stats) { return stats. by_returns; });277 printAllMap("n_returns", [](const Stats& stats) { return stats.n_returns; }); 203 278 printAllMap("%_poly_returns", [](const Stats& stats) { return stats.p_poly_returns; }); 279 280 printAllMap("n_assertions", [](const Stats& stats) { return stats.n_assertions; }); 281 printAllMap("n_assn_poly_params", [](const Stats& stats) { return stats.n_assn_poly_params; }); 282 printAllMap("n_assn_params", [](const Stats& stats) { return stats.n_assn_params; }); 283 printAllMap("%_assn_poly_params", [](const Stats& stats) { return stats.p_assn_poly_params; }); 284 printAllMap("n_assn_poly_returns", [](const Stats& stats) { return stats.n_assn_poly_returns; }); 285 printAllMap("n_assn_returns", [](const Stats& stats) { return stats.n_assn_returns; }); 286 printAllMap("%_assn_poly_returns", [](const Stats& stats) { return stats.p_assn_poly_returns; }); 204 287 } 205 288 };
Note: See TracChangeset
for help on using the changeset viewer.
