source: src/CodeTools/DeclStats.cc @ 6a8df56

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 6a8df56 was e23d20b, checked in by Rob Schluntz <rschlunt@…>, 6 years ago

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