Source

pypy / pypy / translator / goal / query.py

Author Commit Message Labels Comments Date
Armin Rigo
Fix for the warning "exceptblock is not completely sane".
Carl Friedrich Bolz
get rid of some more traverse calls
Carl Friedrich Bolz
rename translate_pypy.py to translate.py and fix all references
Armin Rigo
Merging, step 3: copy relevant files and directories from the branch. The branch should not be modified any more now.
Samuele Pedroni
reorganized sanity_check_methods as a generator for translate_pypy_new
Samuele Pedroni
* in translate_pypy_new use polluted logic instead of find_somebojects, complete the formet * move check_exceptblocks logic to query too * started reorganizing the queries to be used for sanity checks by translate_pypy to be generator based with a helper function to write the produced bits of output, in preparatio to use logging with them
Samuele Pedroni
make worstblocks_topten a user-invoked query
Samuele Pedroni
query to find backedgges in the callgraph
Samuele Pedroni
sort output in duplication
Samuele Pedroni
experimental query about potential duplication
Samuele Pedroni
this sanity check should consider that the annotator always normalize unbound methods to the underlying function.
Samuele Pedroni
add sanity checking for method defs annotation
Samuele Pedroni
sanity check query about methods, at least once it releaved problems with three method impls not appearing in the s_value of the corresponding attribute on W_Root
Armin Rigo
print c --> return c.
Samuele Pedroni
- stats for dict get/set/del -item - saner repr for big const SomeDicts
Samuele Pedroni
stats on builtin functions
Samuele Pedroni
... contains stats pretty printing for query for string formatting
Samuele Pedroni
stats over list comparisons
Samuele Pedroni
query specific about bound methods
Samuele Pedroni
some more statics and tweaks, tuple_iter tries to capture the context in which iter annotation has been used,
Samuele Pedroni
some other statics about border-case RPython usages.
Samuele Pedroni
start of simple support for keeping statics and infos while annotating of for example violations to additional constraints imposed by rtyper, for example for newslice and the rules (slightly different form what rtyper right now supports): if ((s_start.is_constant() or (isinstance(s_start, SomeInteger) and s_start.nonneg)) and (s_stop.is_constant() or (isinstance(s_stop, SomeInteger) and s_stop.nonneg)) and (s_step.is_constant() and (s_step.const == 1 or s_step.const == None))): return 'proper…
Armin Rigo
Moved the branch back to the head.
Samuele Pedroni
in the output of pbccall distinguish more clearly the three major kind of cases one/many callables -> one pattern one callable -> many patterns many callables -> many patterns
Samuele Pedroni
another query about callables encountered and gathered info
Samuele Pedroni
slightly nicer output
Samuele Pedroni
don't naively identify PBC representing bound methods (which will carry self) and bare functions/unbound methods we treat SomePBC(func:True) vs SomePBC(func:ClassDef) separately, we use indices of the form (None,func) or (ClassDef, func) for pbc call families. there's a second table mapping bare callables (after identifying functions and unbound methods) to such tuples. reworked query.pbcall to deal with the more complex info, need more work to print information about the second auxiliary table. While a bi…
Samuele Pedroni
- distinguish bound and unbound methods - slitghtly more sorting in the outputs
Samuele Pedroni
pbccall: a bit more info, in particular about the different kinds of callables in the families
Samuele Pedroni
pbccall, query about pbc call families
  1. Prev
  2. 1
  3. 2
  4. Next