| 1 | //
 | 
|---|
| 2 | // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
 | 
|---|
| 3 | //
 | 
|---|
| 4 | // The contents of this file are covered under the licence agreement in the
 | 
|---|
| 5 | // file "LICENCE" distributed with Cforall.
 | 
|---|
| 6 | //
 | 
|---|
| 7 | // DeclStats.cc --
 | 
|---|
| 8 | //
 | 
|---|
| 9 | // Author           : Aaron Moss
 | 
|---|
| 10 | // Created On       : Wed Jan 31 16:40:00 2016
 | 
|---|
| 11 | // Last Modified By : Peter A. Buhr
 | 
|---|
| 12 | // Last Modified On : Fri Dec 13 23:39:33 2019
 | 
|---|
| 13 | // Update Count     : 2
 | 
|---|
| 14 | //
 | 
|---|
| 15 | 
 | 
|---|
| 16 | #include "DeclStats.h"
 | 
|---|
| 17 | 
 | 
|---|
| 18 | #include <iostream>                // for operator<<, basic_ostream, cout
 | 
|---|
| 19 | #include <map>                     // for map
 | 
|---|
| 20 | #include <string>                  // for string, operator+, operator<<, cha...
 | 
|---|
| 21 | #include <unordered_map>           // for unordered_map
 | 
|---|
| 22 | #include <unordered_set>           // for unordered_set
 | 
|---|
| 23 | #include <utility>                 // for pair, make_pair
 | 
|---|
| 24 | 
 | 
|---|
| 25 | #include "Common/PassVisitor.h"
 | 
|---|
| 26 | #include "Common/VectorMap.h"      // for VectorMap
 | 
|---|
| 27 | #include "GenPoly/GenPoly.h"       // for hasPolyBase
 | 
|---|
| 28 | #include "SynTree/LinkageSpec.h"   // for ::NoOfSpecs, Spec
 | 
|---|
| 29 | #include "SynTree/Declaration.h"   // for FunctionDecl, TypeDecl, Declaration
 | 
|---|
| 30 | #include "SynTree/Expression.h"    // for UntypedExpr, Expression
 | 
|---|
| 31 | #include "SynTree/Statement.h"     // for CompoundStmt
 | 
|---|
| 32 | #include "SynTree/Type.h"          // for Type, FunctionType, PointerType
 | 
|---|
| 33 | #include "SynTree/Visitor.h"       // for maybeAccept, Visitor, acceptAll
 | 
|---|
| 34 | 
 | 
|---|
| 35 | namespace CodeTools {
 | 
|---|
| 36 | 
 | 
|---|
| 37 |         struct DeclStats : public WithShortCircuiting {
 | 
|---|
| 38 |                 template<typename T>
 | 
|---|
| 39 |                 static void sum(T& a, const T& b) { a += b; }
 | 
|---|
| 40 | 
 | 
|---|
| 41 |                 static void sum(VectorMap<unsigned>& a, const VectorMap<unsigned>& b) {
 | 
|---|
| 42 |                         a.reserve( b.size() );
 | 
|---|
| 43 |                         for ( unsigned i = 0; i < b.size(); ++i ) {
 | 
|---|
| 44 |                                 a[i] += b[i];
 | 
|---|
| 45 |                         }
 | 
|---|
| 46 |                 }
 | 
|---|
| 47 | 
 | 
|---|
| 48 |                 template<typename K>
 | 
|---|
| 49 |                 static void sum(std::map<K, unsigned>& a, const std::map<K, unsigned>& b) {
 | 
|---|
| 50 |                         for ( const auto& entry : b ) {
 | 
|---|
| 51 |                                 a[ entry.first ] += entry.second;
 | 
|---|
| 52 |                         }
 | 
|---|
| 53 |                 }
 | 
|---|
| 54 | 
 | 
|---|
| 55 |                 template<typename K>
 | 
|---|
| 56 |                 static void sum(std::unordered_map<K, unsigned>& a, const std::unordered_map<K, unsigned>& b) {
 | 
|---|
| 57 |                         for ( const auto& entry : b ) {
 | 
|---|
| 58 |                                 a[ entry.first ] += entry.second;
 | 
|---|
| 59 |                         }
 | 
|---|
| 60 |                 }
 | 
|---|
| 61 | 
 | 
|---|
| 62 |                 struct ArgPackStats {
 | 
|---|
| 63 |                         VectorMap<unsigned> n;                   ///< Count of decls with each number of elements
 | 
|---|
| 64 |                         VectorMap<unsigned> n_basic;             ///< Count of decls with each number of basic type elements
 | 
|---|
| 65 |                         VectorMap<unsigned> n_generic;           ///< Count of decls with each number of generic type elements
 | 
|---|
| 66 |                         VectorMap<unsigned> n_poly;              ///< Count of decls with each number of polymorphic elements
 | 
|---|
| 67 |                         VectorMap<unsigned> n_compound;          ///< Count of decls with each number of non-generic compound types
 | 
|---|
| 68 |                         std::map<unsigned, unsigned> p_basic;    ///< Count of decls with each percentage of basic type elements
 | 
|---|
| 69 |                         std::map<unsigned, unsigned> p_generic;  ///< Count of decls with each percentage of generic type elements
 | 
|---|
| 70 |                         std::map<unsigned, unsigned> p_poly;     ///< Count of decls with each percentage of polymorphic elements
 | 
|---|
| 71 |                         std::map<unsigned, unsigned> p_compound; ///< Count of decls with each percentage of non-generic compound type elements
 | 
|---|
| 72 |                         VectorMap<unsigned> n_types;             ///< Count of decls with each number of distinct types in the pack
 | 
|---|
| 73 |                         /// Count of decls with each percentage of new types in lists.
 | 
|---|
| 74 |                         /// Types used in the parameter list that recur in the return list are not considered to be new.
 | 
|---|
| 75 |                         std::map<unsigned, unsigned> p_new;
 | 
|---|
| 76 | 
 | 
|---|
| 77 |                         ArgPackStats& operator+= (const ArgPackStats& o) {
 | 
|---|
| 78 |                                 sum(n, o.n);
 | 
|---|
| 79 |                                 sum(n_basic, o.n_basic);
 | 
|---|
| 80 |                                 sum(n_generic, o.n_generic);
 | 
|---|
| 81 |                                 sum(n_poly, o.n_poly);
 | 
|---|
| 82 |                                 sum(n_compound, o.n_compound);
 | 
|---|
| 83 |                                 sum(p_basic, o.p_basic);
 | 
|---|
| 84 |                                 sum(p_generic, o.p_generic);
 | 
|---|
| 85 |                                 sum(p_poly, o.p_poly);
 | 
|---|
| 86 |                                 sum(p_compound, o.p_compound);
 | 
|---|
| 87 |                                 sum(n_types, o.n_types);
 | 
|---|
| 88 |                                 sum(p_new, o.p_new);
 | 
|---|
| 89 | 
 | 
|---|
| 90 |                                 return *this;
 | 
|---|
| 91 |                         }
 | 
|---|
| 92 |                 };
 | 
|---|
| 93 | 
 | 
|---|
| 94 |                 struct Stats {
 | 
|---|
| 95 |                         unsigned n_decls;     ///< Total number of declarations
 | 
|---|
| 96 |                         /// Count of declarations with each number of assertion parameters
 | 
|---|
| 97 |                         VectorMap<unsigned> n_type_params;
 | 
|---|
| 98 |                         /// Count of generic types with each number of type parameters
 | 
|---|
| 99 |                         VectorMap<unsigned> n_generic_params;
 | 
|---|
| 100 |                         /// Count of maximum nesting depth of types
 | 
|---|
| 101 |                         VectorMap<unsigned> n_generic_nesting;
 | 
|---|
| 102 |                         /// Count of declarations with each name
 | 
|---|
| 103 |                         std::unordered_map<std::string, unsigned> by_name;
 | 
|---|
| 104 |                         /// Count of uses of each basic type
 | 
|---|
| 105 |                         std::unordered_map<std::string, unsigned> basic_type_names;
 | 
|---|
| 106 |                         /// Count of uses of each generic type name (includes "*", "[]", "(*)", "[,]")
 | 
|---|
| 107 |                         std::unordered_map<std::string, unsigned> generic_type_names;
 | 
|---|
| 108 |                         /// Count of uses of each non-generic aggregate type
 | 
|---|
| 109 |                         std::unordered_map<std::string, unsigned> compound_type_names;
 | 
|---|
| 110 |                         /// Count of decls using each basic type
 | 
|---|
| 111 |                         std::unordered_map<std::string, unsigned> basic_type_decls;
 | 
|---|
| 112 |                         /// Count of decls using each generic type (includes "*", "[]", "(*)", "[,]")
 | 
|---|
| 113 |                         std::unordered_map<std::string, unsigned> generic_type_decls;
 | 
|---|
| 114 |                         /// Count of decls using each compound type
 | 
|---|
| 115 |                         std::unordered_map<std::string, unsigned> compound_type_decls;
 | 
|---|
| 116 |                         /// Stats for the parameter list
 | 
|---|
| 117 |                         ArgPackStats params;
 | 
|---|
| 118 |                         /// Stats for the return list
 | 
|---|
| 119 |                         ArgPackStats returns;
 | 
|---|
| 120 | 
 | 
|---|
| 121 |                         /// Count of declarations with each number of assertions
 | 
|---|
| 122 |                         std::map<unsigned, unsigned> n_assns;
 | 
|---|
| 123 |                         /// Stats for the assertions' parameters
 | 
|---|
| 124 |                         ArgPackStats assn_params;
 | 
|---|
| 125 |                         /// Stats for the assertions' return types
 | 
|---|
| 126 |                         ArgPackStats assn_returns;
 | 
|---|
| 127 | 
 | 
|---|
| 128 |                         Stats() : n_decls(0), n_type_params(), n_generic_params(), n_generic_nesting(),
 | 
|---|
| 129 |                                 by_name(), basic_type_names(), generic_type_names(), compound_type_names(),
 | 
|---|
| 130 |                                 basic_type_decls(), generic_type_decls(), compound_type_decls(), params(),
 | 
|---|
| 131 |                                 returns(), n_assns(), assn_params(), assn_returns() {}
 | 
|---|
| 132 | 
 | 
|---|
| 133 |                 public:
 | 
|---|
| 134 |                         Stats& operator+= (const Stats& o) {
 | 
|---|
| 135 |                                 sum( n_decls, o.n_decls );
 | 
|---|
| 136 |                                 sum( n_type_params, o.n_type_params );
 | 
|---|
| 137 |                                 sum( n_generic_params, o.n_generic_params );
 | 
|---|
| 138 |                                 sum( n_generic_nesting, o.n_generic_nesting );
 | 
|---|
| 139 |                                 sum( by_name, o.by_name );
 | 
|---|
| 140 |                                 sum( basic_type_names, o.basic_type_names );
 | 
|---|
| 141 |                                 sum( generic_type_names, o.generic_type_names );
 | 
|---|
| 142 |                                 sum( compound_type_names, o.compound_type_names );
 | 
|---|
| 143 |                                 sum( basic_type_decls, o.basic_type_decls );
 | 
|---|
| 144 |                                 sum( generic_type_decls, o.generic_type_decls );
 | 
|---|
| 145 |                                 sum( compound_type_decls, o.compound_type_decls );
 | 
|---|
| 146 |                                 sum( params, o.params );
 | 
|---|
| 147 |                                 sum( returns, o.returns );
 | 
|---|
| 148 |                                 sum( n_assns, o.n_assns );
 | 
|---|
| 149 |                                 sum( assn_params, o.assn_params );
 | 
|---|
| 150 |                                 sum( assn_returns, o.assn_returns );
 | 
|---|
| 151 | 
 | 
|---|
| 152 |                                 return *this;
 | 
|---|
| 153 |                         }
 | 
|---|
| 154 |                 };
 | 
|---|
| 155 | 
 | 
|---|
| 156 |                 /// number of counting bins for linkages
 | 
|---|
| 157 |                 static const unsigned n_named_specs = 8;
 | 
|---|
| 158 |                 /// map from total number of specs to bins
 | 
|---|
| 159 |                 static const unsigned ind_for_linkage[16];
 | 
|---|
| 160 | 
 | 
|---|
| 161 |                 Stats for_linkage[n_named_specs];            ///< Stores separate stats per linkage
 | 
|---|
| 162 |                 std::unordered_set<std::string> seen_names;  ///< Stores manglenames already seen to avoid double-counting
 | 
|---|
| 163 |                 Stats total;
 | 
|---|
| 164 |                 /// Count of expressions with (depth, fanout)
 | 
|---|
| 165 |                 std::map<std::pair<unsigned, unsigned>, unsigned> exprs_by_fanout_at_depth;
 | 
|---|
| 166 | 
 | 
|---|
| 167 |                 void countType( const std::string& name, unsigned& n, std::unordered_map<std::string,
 | 
|---|
| 168 |                                 unsigned>& names, std::unordered_map<std::string, unsigned>& decls,
 | 
|---|
| 169 |                                 std::unordered_set<std::string>& elSeen ) {
 | 
|---|
| 170 |                         ++n;
 | 
|---|
| 171 |                         ++names[ name ];
 | 
|---|
| 172 |                         if ( elSeen.insert( name ).second ) { ++decls[ name ]; }
 | 
|---|
| 173 |                 }
 | 
|---|
| 174 | 
 | 
|---|
| 175 |                 void update_max( unsigned& max, unsigned crnt ) {
 | 
|---|
| 176 |                         if ( crnt > max ) max = crnt;
 | 
|---|
| 177 |                 }
 | 
|---|
| 178 | 
 | 
|---|
| 179 |                 void analyzeSubtype( Type* ty, Stats& stats, std::unordered_set<std::string>& elSeen,
 | 
|---|
| 180 |                                 unsigned& n_poly, bool& seen_poly, unsigned& max_depth, unsigned depth ) {
 | 
|---|
| 181 |                         unsigned x;
 | 
|---|
| 182 |                         analyzeType( ty, stats, elSeen, x, x, n_poly, x, seen_poly, max_depth, depth + 1 );
 | 
|---|
| 183 |                 }
 | 
|---|
| 184 | 
 | 
|---|
| 185 |                 void analyzeSubtypes( std::list<DeclarationWithType*>& tys, Stats& stats,
 | 
|---|
| 186 |                                 std::unordered_set<std::string>& elSeen, unsigned& n_poly, bool& seen_poly,
 | 
|---|
| 187 |                                 unsigned& max_depth, unsigned depth, unsigned& n_subs ) {
 | 
|---|
| 188 |                         for ( DeclarationWithType* dwt : tys ) {
 | 
|---|
| 189 |                                 Type* ty = dwt->get_type();
 | 
|---|
| 190 |                                 n_subs += (unsigned)( dynamic_cast<VoidType*>(ty) != nullptr );
 | 
|---|
| 191 |                                 analyzeSubtype( ty, stats, elSeen, n_poly, seen_poly, max_depth, depth );
 | 
|---|
| 192 |                         }
 | 
|---|
| 193 |                 }
 | 
|---|
| 194 | 
 | 
|---|
| 195 |                 void analyzeSubtypes( std::list<Expression*>& tys, Stats& stats,
 | 
|---|
| 196 |                                 std::unordered_set<std::string>& elSeen, unsigned& n_poly, bool& seen_poly,
 | 
|---|
| 197 |                                 unsigned& max_depth, unsigned depth ) {
 | 
|---|
| 198 |                         for ( Expression* expr : tys ) {
 | 
|---|
| 199 |                                 TypeExpr* texpr = dynamic_cast<TypeExpr*>(expr);
 | 
|---|
| 200 |                                 if ( ! texpr ) continue;
 | 
|---|
| 201 |                                 Type* ty = texpr->get_type();
 | 
|---|
| 202 |                                 analyzeSubtype( ty, stats, elSeen, n_poly, seen_poly, max_depth, depth );
 | 
|---|
| 203 |                         }
 | 
|---|
| 204 |                 }
 | 
|---|
| 205 | 
 | 
|---|
| 206 |                 void analyzeSubtypes( std::list<Type*>& tys, Stats& stats,
 | 
|---|
| 207 |                                 std::unordered_set<std::string>& elSeen, unsigned& n_poly, bool& seen_poly,
 | 
|---|
| 208 |                                 unsigned& max_depth, unsigned depth ) {
 | 
|---|
| 209 |                         for ( Type* ty : tys ) {
 | 
|---|
| 210 |                                 analyzeSubtype( ty, stats, elSeen, n_poly, seen_poly, max_depth, depth );
 | 
|---|
| 211 |                         }
 | 
|---|
| 212 |                 }
 | 
|---|
| 213 | 
 | 
|---|
| 214 |                 void analyzeType( Type* ty, Stats& stats, std::unordered_set<std::string>& elSeen,
 | 
|---|
| 215 |                                 unsigned& n_basic, unsigned& n_generic, unsigned& n_poly, unsigned& n_agg,
 | 
|---|
| 216 |                                 bool& seen_poly, unsigned& max_depth, unsigned depth = 0 ) {
 | 
|---|
| 217 |                         if ( BasicType* bt = dynamic_cast<BasicType*>(ty) ) {
 | 
|---|
| 218 |                                 std::string name = BasicType::typeNames[ bt->get_kind() ];
 | 
|---|
| 219 |                                 countType( name, n_basic, stats.basic_type_names, stats.basic_type_decls, elSeen );
 | 
|---|
| 220 |                                 update_max( max_depth, depth );
 | 
|---|
| 221 |                         } else if ( PointerType* pt = dynamic_cast<PointerType*>(ty) ) {
 | 
|---|
| 222 |                                 std::string name = "*";
 | 
|---|
| 223 |                                 countType(
 | 
|---|
| 224 |                                         name, n_generic, stats.generic_type_names, stats.generic_type_decls, elSeen);
 | 
|---|
| 225 |                                 analyzeSubtype(
 | 
|---|
| 226 |                                         pt->get_base(), stats, elSeen, n_poly, seen_poly, max_depth, depth );
 | 
|---|
| 227 |                                 ++stats.n_generic_params.at( 1 );
 | 
|---|
| 228 |                         } else if ( ArrayType* at = dynamic_cast<ArrayType*>(ty) ) {
 | 
|---|
| 229 |                                 std::string name = "[]";
 | 
|---|
| 230 |                                 countType(
 | 
|---|
| 231 |                                         name, n_generic, stats.generic_type_names, stats.generic_type_decls, elSeen);
 | 
|---|
| 232 |                                 analyzeSubtype(
 | 
|---|
| 233 |                                         at->get_base(), stats, elSeen, n_poly, seen_poly, max_depth, depth );
 | 
|---|
| 234 |                                 ++stats.n_generic_params.at( 1 );
 | 
|---|
| 235 |                         } else if ( ReferenceType* rt = dynamic_cast<ReferenceType*>(ty) ) {
 | 
|---|
| 236 |                                 std::string name = "&";
 | 
|---|
| 237 |                                 countType(
 | 
|---|
| 238 |                                         name, n_generic, stats.generic_type_names, stats.generic_type_decls, elSeen);
 | 
|---|
| 239 |                                 analyzeSubtype(
 | 
|---|
| 240 |                                         rt->get_base(), stats, elSeen, n_poly, seen_poly, max_depth, depth );
 | 
|---|
| 241 |                                 ++stats.n_generic_params.at( 1 );
 | 
|---|
| 242 |                         } else if ( FunctionType* ft = dynamic_cast<FunctionType*>(ty) ) {
 | 
|---|
| 243 |                                 std::string name = "(*)";
 | 
|---|
| 244 |                                 countType(
 | 
|---|
| 245 |                                         name, n_generic, stats.generic_type_names, stats.generic_type_decls, elSeen);
 | 
|---|
| 246 |                                 unsigned n_subs = 0;
 | 
|---|
| 247 |                                 analyzeSubtypes(
 | 
|---|
| 248 |                                         ft->get_returnVals(), stats, elSeen, n_poly, seen_poly, max_depth, depth,
 | 
|---|
| 249 |                                         n_subs );
 | 
|---|
| 250 |                                 analyzeSubtypes(
 | 
|---|
| 251 |                                         ft->get_parameters(), stats, elSeen, n_poly, seen_poly, max_depth, depth,
 | 
|---|
| 252 |                                         n_subs );
 | 
|---|
| 253 |                                 ++stats.n_generic_params.at( n_subs );
 | 
|---|
| 254 |                         } else if ( TypeInstType* vt = dynamic_cast<TypeInstType*>(ty) ) {
 | 
|---|
| 255 |                                 if ( ! seen_poly ) {
 | 
|---|
| 256 |                                         ++n_poly;
 | 
|---|
| 257 |                                         seen_poly = true;
 | 
|---|
| 258 |                                 }
 | 
|---|
| 259 |                                 countType(
 | 
|---|
| 260 |                                         vt->get_name(), n_agg, stats.compound_type_names, stats.compound_type_decls,
 | 
|---|
| 261 |                                         elSeen );
 | 
|---|
| 262 |                                 update_max( max_depth, depth );
 | 
|---|
| 263 |                         } else if ( ReferenceToType* st = dynamic_cast<ReferenceToType*>(ty) ) {
 | 
|---|
| 264 |                                 std::list<Expression*>& params = st->get_parameters();
 | 
|---|
| 265 |                                 if ( params.empty() ) {
 | 
|---|
| 266 |                                         countType(
 | 
|---|
| 267 |                                                 st->get_name(), n_agg, stats.compound_type_names,
 | 
|---|
| 268 |                                                 stats.compound_type_decls, elSeen );
 | 
|---|
| 269 |                                         update_max( max_depth, depth );
 | 
|---|
| 270 |                                 } else {
 | 
|---|
| 271 |                                         countType(
 | 
|---|
| 272 |                                                 st->get_name(), n_generic, stats.generic_type_names,
 | 
|---|
| 273 |                                                 stats.generic_type_decls, elSeen);
 | 
|---|
| 274 |                                         analyzeSubtypes( params, stats, elSeen, n_poly, seen_poly, max_depth, depth );
 | 
|---|
| 275 |                                         ++stats.n_generic_params.at( params.size() );
 | 
|---|
| 276 |                                 }
 | 
|---|
| 277 |                         } else if ( TupleType* tt = dynamic_cast<TupleType*>(ty) ) {
 | 
|---|
| 278 |                                 std::string name = "[,]";
 | 
|---|
| 279 |                                 countType(
 | 
|---|
| 280 |                                         name, n_generic, stats.generic_type_names, stats.generic_type_decls, elSeen);
 | 
|---|
| 281 |                                 analyzeSubtypes(
 | 
|---|
| 282 |                                         tt->get_types(), stats, elSeen, n_poly, seen_poly, max_depth, depth );
 | 
|---|
| 283 |                                 ++stats.n_generic_params.at( tt->size() );
 | 
|---|
| 284 |                         } else if ( dynamic_cast<VarArgsType*>(ty) ) {
 | 
|---|
| 285 |                                 std::string name = "...";
 | 
|---|
| 286 |                                 countType(
 | 
|---|
| 287 |                                         name, n_agg, stats.compound_type_names, stats.compound_type_decls, elSeen );
 | 
|---|
| 288 |                                 update_max( max_depth, depth );
 | 
|---|
| 289 |                         } else if ( dynamic_cast<ZeroType*>(ty) ) {
 | 
|---|
| 290 |                                 std::string name = "0";
 | 
|---|
| 291 |                                 countType( name, n_basic, stats.basic_type_names, stats.basic_type_decls, elSeen );
 | 
|---|
| 292 |                                 update_max( max_depth, depth );
 | 
|---|
| 293 |                         } else if ( dynamic_cast<OneType*>(ty) ) {
 | 
|---|
| 294 |                                 std::string name = "1";
 | 
|---|
| 295 |                                 countType( name, n_basic, stats.basic_type_names, stats.basic_type_decls, elSeen );
 | 
|---|
| 296 |                                 update_max( max_depth, depth );
 | 
|---|
| 297 |                         }
 | 
|---|
| 298 |                 }
 | 
|---|
| 299 | 
 | 
|---|
| 300 |                 /// Update arg pack stats based on a declaration list
 | 
|---|
| 301 |                 void analyze( Stats& stats, std::unordered_set<std::string>& seen,
 | 
|---|
| 302 |                                 std::unordered_set<std::string>& elSeen, ArgPackStats& pstats,
 | 
|---|
| 303 |                                 std::list<DeclarationWithType*>& decls ) {
 | 
|---|
| 304 |                         std::unordered_set<std::string> types;
 | 
|---|
| 305 |                         unsigned n = 0;                 ///< number of args/returns
 | 
|---|
| 306 |                         unsigned n_basic = 0;           ///< number of basic types
 | 
|---|
| 307 |                         unsigned n_generic = 0;         ///< number of generic types (includes "*", "&", "[]", "(*)", "[,]")
 | 
|---|
| 308 |                         unsigned n_poly = 0;            ///< number of polymorphic types
 | 
|---|
| 309 |                         unsigned n_agg = 0;             ///< number of non-generic aggregate types
 | 
|---|
| 310 |                         unsigned n_new = 0;             ///< number of new types
 | 
|---|
| 311 | 
 | 
|---|
| 312 |                         for ( auto decl : decls ) {
 | 
|---|
| 313 |                                 Type* dt = decl->get_type();
 | 
|---|
| 314 | 
 | 
|---|
| 315 |                                 n += dt->size();
 | 
|---|
| 316 | 
 | 
|---|
| 317 |                                 std::stringstream ss;
 | 
|---|
| 318 |                                 dt->print( ss );
 | 
|---|
| 319 |                                 types.insert( ss.str() );
 | 
|---|
| 320 |                                 if ( seen.insert( ss.str() ).second ) { ++n_new; }
 | 
|---|
| 321 | 
 | 
|---|
| 322 |                                 bool seen_poly = false;
 | 
|---|
| 323 |                                 unsigned max_depth = 0;
 | 
|---|
| 324 |                                 analyzeType(
 | 
|---|
| 325 |                                         dt, stats, elSeen, n_basic, n_generic, n_poly, n_agg, seen_poly, max_depth );
 | 
|---|
| 326 |                                 ++stats.n_generic_nesting.at( max_depth );
 | 
|---|
| 327 |                         }
 | 
|---|
| 328 | 
 | 
|---|
| 329 |                         ++pstats.n.at( n );
 | 
|---|
| 330 |                         ++pstats.n_basic.at( n_basic );
 | 
|---|
| 331 |                         ++pstats.n_generic.at( n_generic );
 | 
|---|
| 332 |                         ++pstats.n_poly.at( n_poly );
 | 
|---|
| 333 |                         ++pstats.n_compound.at( n_agg );
 | 
|---|
| 334 |                         if ( n > 0 ) {
 | 
|---|
| 335 |                                 ++pstats.p_basic[ n_basic*100/n ];
 | 
|---|
| 336 |                                 ++pstats.p_generic[ n_generic*100/n ];
 | 
|---|
| 337 |                                 ++pstats.p_poly[ n_poly*100/n ];
 | 
|---|
| 338 |                                 ++pstats.p_compound[ n_agg*100/n ];
 | 
|---|
| 339 |                                 if ( n > 1 ) ++pstats.p_new[ (n_new-1)*100/(n-1) ];
 | 
|---|
| 340 |                         }
 | 
|---|
| 341 |                         ++pstats.n_types.at( types.size() );
 | 
|---|
| 342 |                 }
 | 
|---|
| 343 | 
 | 
|---|
| 344 |                 void analyzeFunc( FunctionType* fnTy, Stats& stats, ArgPackStats& params, ArgPackStats& returns ) {
 | 
|---|
| 345 |                         std::unordered_set<std::string> seen;
 | 
|---|
| 346 |                         std::unordered_set<std::string> elSeen;
 | 
|---|
| 347 |                         analyze( stats, seen, elSeen, params, fnTy->get_parameters() );
 | 
|---|
| 348 |                         analyze( stats, seen, elSeen, returns, fnTy->get_returnVals() );
 | 
|---|
| 349 |                 }
 | 
|---|
| 350 | 
 | 
|---|
| 351 |                 void analyzeExpr( UntypedExpr *expr, unsigned depth ) {
 | 
|---|
| 352 |                         auto& args = expr->get_args();
 | 
|---|
| 353 |                         unsigned fanout = args.size();
 | 
|---|
| 354 | 
 | 
|---|
| 355 |                         ++exprs_by_fanout_at_depth[ std::make_pair(depth, fanout) ];
 | 
|---|
| 356 |                         for ( Expression* arg : args ) {
 | 
|---|
| 357 |                                 if ( UntypedExpr *uearg = dynamic_cast<UntypedExpr*>(arg) ) {
 | 
|---|
| 358 |                                         analyzeExpr( uearg, depth+1 );
 | 
|---|
| 359 |                                 }
 | 
|---|
| 360 |                         }
 | 
|---|
| 361 |                 }
 | 
|---|
| 362 | 
 | 
|---|
| 363 |         public:
 | 
|---|
| 364 |                 void previsit( FunctionDecl *decl ) {
 | 
|---|
| 365 |                         // skip if already seen declaration for this function
 | 
|---|
| 366 |                         const std::string& mangleName = decl->get_mangleName().empty() ? decl->name : decl->get_mangleName();
 | 
|---|
| 367 |                         if ( seen_names.insert( mangleName ).second ) {
 | 
|---|
| 368 |                                 Stats& stats = for_linkage[ ind_for_linkage[ decl->linkage ] ];
 | 
|---|
| 369 | 
 | 
|---|
| 370 |                                 ++stats.n_decls;
 | 
|---|
| 371 |                                 FunctionType* fnTy = decl->type;
 | 
|---|
| 372 |                                 const Type::ForallList& forall = fnTy->forall;
 | 
|---|
| 373 |                                 ++stats.n_type_params.at( forall.size() );
 | 
|---|
| 374 |                                 unsigned n_assns = 0;
 | 
|---|
| 375 |                                 for ( TypeDecl* fdecl : forall ) {
 | 
|---|
| 376 |                                         n_assns += fdecl->assertions.size();
 | 
|---|
| 377 |                                         for ( DeclarationWithType* assn : fdecl->assertions ) {
 | 
|---|
| 378 |                                                 FunctionType *assnTy = nullptr;
 | 
|---|
| 379 |                                                 if ( ObjectDecl *assnObj = dynamic_cast<ObjectDecl*>(assn) ) {
 | 
|---|
| 380 |                                                         if ( PointerType *ptrTy = dynamic_cast<PointerType*>(assnObj->get_type()) ) {
 | 
|---|
| 381 |                                                                 assnTy = dynamic_cast<FunctionType*>(ptrTy->base);
 | 
|---|
| 382 |                                                         } else assnTy = dynamic_cast<FunctionType*>(assnObj->get_type());
 | 
|---|
| 383 |                                                 } else if ( FunctionDecl *assnDecl = dynamic_cast<FunctionDecl*>(assn) ) {
 | 
|---|
| 384 |                                                         assnTy = assnDecl->type;
 | 
|---|
| 385 |                                                 }
 | 
|---|
| 386 |                                                 if ( assnTy ) analyzeFunc( assnTy, stats, stats.assn_params, stats.assn_returns );
 | 
|---|
| 387 |                                         }
 | 
|---|
| 388 |                                 }
 | 
|---|
| 389 |                                 ++stats.n_assns[ n_assns ];
 | 
|---|
| 390 |                                 ++stats.by_name[ decl->name ];
 | 
|---|
| 391 |                                 analyzeFunc( fnTy, stats, stats.params, stats.returns );
 | 
|---|
| 392 |                         }
 | 
|---|
| 393 |                 }
 | 
|---|
| 394 | 
 | 
|---|
| 395 |                 void previsit( UntypedExpr *expr ) {
 | 
|---|
| 396 |                         visit_children = false;
 | 
|---|
| 397 |                         analyzeExpr( expr, 0 );
 | 
|---|
| 398 |                 }
 | 
|---|
| 399 | 
 | 
|---|
| 400 |         private:
 | 
|---|
| 401 |                 template<typename F>
 | 
|---|
| 402 |                 void printAll( const std::string& name, F extract ) {
 | 
|---|
| 403 |                         std::cout << "\"" << name << "\",";
 | 
|---|
| 404 |                         for ( const auto& stats : for_linkage ) {
 | 
|---|
| 405 |                                 std::cout << "," << extract(stats);
 | 
|---|
| 406 |                         }
 | 
|---|
| 407 |                         std::cout << "," << extract(total) << std::endl;
 | 
|---|
| 408 |                 }
 | 
|---|
| 409 | 
 | 
|---|
| 410 |                 template<typename F>
 | 
|---|
| 411 |                 void printAllMap( const std::string& name, F extract ) {
 | 
|---|
| 412 |                         for ( const auto& entry : extract(total) ) {
 | 
|---|
| 413 |                                 const auto& key = entry.first;
 | 
|---|
| 414 |                                 std::cout << "\"" << name << "\"," << key;
 | 
|---|
| 415 |                                 for ( const auto& stats : for_linkage ) {
 | 
|---|
| 416 |                                         const auto& map = extract(stats);
 | 
|---|
| 417 |                                         auto it = map.find( key );
 | 
|---|
| 418 |                                         if ( it == map.end() ) std::cout << ",0";
 | 
|---|
| 419 |                                         else std::cout << "," << it->second;
 | 
|---|
| 420 |                                 }
 | 
|---|
| 421 |                                 std::cout  << "," << entry.second << std::endl;
 | 
|---|
| 422 |                         }
 | 
|---|
| 423 |                 }
 | 
|---|
| 424 | 
 | 
|---|
| 425 |                 template<typename F>
 | 
|---|
| 426 |                 void printAllHisto( const std::string& name, F extract ) {
 | 
|---|
| 427 |                         VectorMap<unsigned> histos[n_named_specs];
 | 
|---|
| 428 |                         VectorMap<unsigned> thisto;
 | 
|---|
| 429 | 
 | 
|---|
| 430 |                         for ( const auto& entry : extract(total) ) { ++thisto.at( entry.second ); }
 | 
|---|
| 431 | 
 | 
|---|
| 432 |                         for ( unsigned i = 0; i < n_named_specs; ++i ) {
 | 
|---|
| 433 |                                 // can't be a higher count in one of the sub-histograms than the total
 | 
|---|
| 434 |                                 histos[i].reserve( thisto.size() );
 | 
|---|
| 435 | 
 | 
|---|
| 436 |                                 for ( const auto& entry : extract(for_linkage[i]) ) { ++histos[i][entry.second]; }
 | 
|---|
| 437 |                         }
 | 
|---|
| 438 | 
 | 
|---|
| 439 |                         for ( unsigned i = 0; i < thisto.size(); ++i ) {
 | 
|---|
| 440 |                                 std::cout << "\"" << name << "\"," << i;
 | 
|---|
| 441 |                                 for ( const auto& histo : histos ) {
 | 
|---|
| 442 |                                         std::cout << "," << histo[i];
 | 
|---|
| 443 |                                 }
 | 
|---|
| 444 |                                 std::cout << "," << thisto[i] << std::endl;
 | 
|---|
| 445 |                         }
 | 
|---|
| 446 |                 }
 | 
|---|
| 447 | 
 | 
|---|
| 448 |                 template<typename F>
 | 
|---|
| 449 |                 void printAllSparseHisto( const std::string& name, F extract ) {
 | 
|---|
| 450 |                         std::map<unsigned, unsigned> histos[n_named_specs];
 | 
|---|
| 451 |                         std::map<unsigned, unsigned> thisto;
 | 
|---|
| 452 | 
 | 
|---|
| 453 |                         for ( const auto& entry : extract(total) ) { ++thisto[ entry.second ]; }
 | 
|---|
| 454 | 
 | 
|---|
| 455 |                         for ( unsigned i = 0; i < n_named_specs; ++i ) {
 | 
|---|
| 456 |                                 for ( const auto& entry : extract(for_linkage[i]) ) { ++histos[i][entry.second]; }
 | 
|---|
| 457 |                         }
 | 
|---|
| 458 | 
 | 
|---|
| 459 |                         for ( const auto& entry : thisto ) {
 | 
|---|
| 460 |                                 const auto& key = entry.first;
 | 
|---|
| 461 |                                 std::cout << "\"" << name << "\"," << key;
 | 
|---|
| 462 |                                 for ( unsigned i = 0; i < n_named_specs; ++i ) {
 | 
|---|
| 463 |                                         auto it = histos[i].find( key );
 | 
|---|
| 464 |                                         if ( it == histos[i].end() ) std::cout << ",0";
 | 
|---|
| 465 |                                         else std::cout << "," << it->second;
 | 
|---|
| 466 |                                 }
 | 
|---|
| 467 |                                 std::cout << "," << entry.second << std::endl;
 | 
|---|
| 468 |                         }
 | 
|---|
| 469 |                 }
 | 
|---|
| 470 | 
 | 
|---|
| 471 |                 template<typename F>
 | 
|---|
| 472 |                 void printAllPack( const std::string& name, F extract ) {
 | 
|---|
| 473 |                         printAllMap("n_basic_" + name, [&extract](const Stats& stats) { return extract(stats).n_basic; });
 | 
|---|
| 474 |                         printAllMap("n_generic_" + name, [&extract](const Stats& stats) { return extract(stats).n_generic; });
 | 
|---|
| 475 |                         printAllMap("n_poly_" + name, [&extract](const Stats& stats) { return extract(stats).n_poly; });
 | 
|---|
| 476 |                         printAllMap("n_compound_" + name, [&extract](const Stats& stats) { return extract(stats).n_compound; });
 | 
|---|
| 477 |                         printAllMap("n_" + name, [&extract](const Stats& stats) { return extract(stats).n; });
 | 
|---|
| 478 |                         printAllMap("%_basic_" + name, [&extract](const Stats& stats) { return extract(stats).p_basic; });
 | 
|---|
| 479 |                         printAllMap("%_generic_" + name, [&extract](const Stats& stats) { return extract(stats).p_generic; });
 | 
|---|
| 480 |                         printAllMap("%_poly_" + name, [&extract](const Stats& stats) { return extract(stats).p_poly; });
 | 
|---|
| 481 |                         printAllMap("%_compound_" + name, [&extract](const Stats& stats) { return extract(stats).p_compound; });
 | 
|---|
| 482 |                         printAllMap("n_distinct_types_" + name, [&extract](const Stats& stats) { return extract(stats).n_types; });
 | 
|---|
| 483 |                         printAllMap("%_new_types_in_" + name, [&extract](const Stats& stats) { return extract(stats).p_new; });
 | 
|---|
| 484 |                 }
 | 
|---|
| 485 | 
 | 
|---|
| 486 |                 void printPairMap( const std::string& name,
 | 
|---|
| 487 |                                    const std::map<std::pair<unsigned, unsigned>, unsigned>& map ) {
 | 
|---|
| 488 |                         for ( const auto& entry : map ) {
 | 
|---|
| 489 |                                 const auto& key = entry.first;
 | 
|---|
| 490 |                                 std::cout << "\"" << name << "\"," << key.first << "," << key.second << ","
 | 
|---|
| 491 |                                           << entry.second << std::endl;
 | 
|---|
| 492 |                         }
 | 
|---|
| 493 |                 }
 | 
|---|
| 494 | 
 | 
|---|
| 495 |         public:
 | 
|---|
| 496 |                 void print() {
 | 
|---|
| 497 |                         for ( auto& stats : for_linkage ) {
 | 
|---|
| 498 |                                 total += stats;
 | 
|---|
| 499 |                         }
 | 
|---|
| 500 | 
 | 
|---|
| 501 |                         std::cout << ",,\"intrinsic\",\"Cforall\",\"C\",\"autogen\",\"compiler\",\"builtinCFA\",\"builtinC\",\"other\",\"TOTAL\"" << std::endl;
 | 
|---|
| 502 | 
 | 
|---|
| 503 |                         printAllMap("n_type_params", [](const Stats& stats) { return stats.n_type_params; });
 | 
|---|
| 504 |                         printAllMap("n_generic_params", [](const Stats& stats) { return stats.n_generic_params; });
 | 
|---|
| 505 |                         printAllMap("n_generic_nesting", [](const Stats& stats) { return stats.n_generic_nesting; });
 | 
|---|
| 506 |                         printAll("n_decls", [](const Stats& stats) { return stats.n_decls; });
 | 
|---|
| 507 |                         printAll("unique_names", [](const Stats& stats) { return stats.by_name.size(); });
 | 
|---|
| 508 |                         printAllSparseHisto("overloads", [](const Stats& stats) { return stats.by_name; });
 | 
|---|
| 509 |                         printAll("basic_type_names", [](const Stats& stats) { return stats.basic_type_names.size(); });
 | 
|---|
| 510 |                         printAllSparseHisto("basic_type_uses", [](const Stats& stats) { return stats.basic_type_names; });
 | 
|---|
| 511 |                         printAllSparseHisto("decls_using_basic_type", [](const Stats& stats) { return stats.basic_type_decls; });
 | 
|---|
| 512 |                         printAll("generic_type_names", [](const Stats& stats) { return stats.generic_type_names.size(); });
 | 
|---|
| 513 |                         printAllSparseHisto("generic_type_uses", [](const Stats& stats) { return stats.generic_type_names; });
 | 
|---|
| 514 |                         printAllSparseHisto("decls_using_generic_type", [](const Stats& stats) { return stats.generic_type_decls; });
 | 
|---|
| 515 |                         printAll("compound_type_names", [](const Stats& stats) { return stats.compound_type_names.size(); });
 | 
|---|
| 516 |                         printAllSparseHisto("compound_type_uses", [](const Stats& stats) { return stats.compound_type_names; });
 | 
|---|
| 517 |                         printAllSparseHisto("decls_using_compound_type", [](const Stats& stats) { return stats.compound_type_decls; });
 | 
|---|
| 518 |                         printAllPack("params", [](const Stats& stats) { return stats.params; });
 | 
|---|
| 519 |                         printAllPack("returns", [](const Stats& stats) { return stats.returns; });
 | 
|---|
| 520 |                         printAllMap("n_assns", [](const Stats& stats) { return stats.n_assns; });
 | 
|---|
| 521 |                         printAllPack("assn_params", [](const Stats& stats) { return stats.assn_params; });
 | 
|---|
| 522 |                         printAllPack("assn_returns", [](const Stats& stats) { return stats.assn_returns; });
 | 
|---|
| 523 |                         std::cout << std::endl;
 | 
|---|
| 524 | 
 | 
|---|
| 525 |                         printPairMap("exprs_by_depth+fanout", exprs_by_fanout_at_depth);
 | 
|---|
| 526 |                 }
 | 
|---|
| 527 |         };
 | 
|---|
| 528 | 
 | 
|---|
| 529 |         const unsigned DeclStats::ind_for_linkage[]
 | 
|---|
| 530 |                 = { 7, 7, 2, 1,   7, 7, 7, 3,   4, 7, 6, 5,   7, 7, 7, 0 };
 | 
|---|
| 531 | 
 | 
|---|
| 532 |         void printDeclStats( std::list< Declaration * > &translationUnit ) {
 | 
|---|
| 533 |                 PassVisitor<DeclStats> stats;
 | 
|---|
| 534 |                 acceptAll( translationUnit, stats );
 | 
|---|
| 535 |                 stats.pass.print();
 | 
|---|
| 536 |         }
 | 
|---|
| 537 | 
 | 
|---|
| 538 | } // namespace CodeTools
 | 
|---|
| 539 | 
 | 
|---|
| 540 | // Local Variables: //
 | 
|---|
| 541 | // tab-width: 4 //
 | 
|---|
| 542 | // mode: c++ //
 | 
|---|
| 543 | // compile-command: "make install" //
 | 
|---|
| 544 | // End: //
 | 
|---|