Alexandre Terrasa [Tue, 5 Mar 2013 23:02:18 +0000 (18:02 -0500)]
layout_builders: Introduced ResolutionHasher (for future refactoring)
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 5 Mar 2013 22:56:01 +0000 (17:56 -0500)]
layout_builders: Moved routines from CLResolutionLayoutBuilder into ResolutionColorer (for future refactoring)
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 5 Mar 2013 22:47:34 +0000 (17:47 -0500)]
layout_builders: Introduced ResolutionBMizer (for future refactoring)
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 5 Mar 2013 22:42:26 +0000 (17:42 -0500)]
layout_builders: simplified ResolutionLayoutBuilder (for future refactoring)
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 5 Mar 2013 22:36:02 +0000 (17:36 -0500)]
layout_builders: Unified interface for TypingLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 5 Mar 2013 22:10:24 +0000 (17:10 -0500)]
layout_builders: Introduce TypingHasher (for future refactoring)
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 5 Mar 2013 21:44:26 +0000 (16:44 -0500)]
layout_builders: Introduce BMizer class (for future refactoring)
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 5 Mar 2013 00:08:58 +0000 (19:08 -0500)]
layout_builders: merged CLTypeLayoutBuilder and CLClassLayoutBuilder into CLTypingLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 23:55:53 +0000 (18:55 -0500)]
layout_builders: simplified interface for TypingLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 23:36:59 +0000 (18:36 -0500)]
layout_builders: delegated linearization to colorer
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 23:29:20 +0000 (18:29 -0500)]
layout_builders: renamed AbstractColorer in TypingColorer
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 23:22:44 +0000 (18:22 -0500)]
layout_builders: merged PHLayout & PHResolutionLayout
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 23:17:27 +0000 (18:17 -0500)]
layout_builders: renamed PHTypingLayout in PHLayout (for further abstraction)
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 23:12:30 +0000 (18:12 -0500)]
layout_builders: removed useless ResolutionLayout class
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 23:09:25 +0000 (18:09 -0500)]
layout_builders: renamed TypingLayout in Layout (for further abstraction)
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 21:39:28 +0000 (16:39 -0500)]
nitg-s: renamed unanchored in unresolved
According to new terminology used in paper
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 21:19:26 +0000 (16:19 -0500)]
nitg: added explicit super calls with arguments to allow compatibilty without warning with new MM
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 21:16:01 +0000 (16:16 -0500)]
layout_builders: added static bounds to generic types to allow compatibility with new MM
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 21:08:38 +0000 (16:08 -0500)]
tests: updated nitg expected result with new options
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 4 Mar 2013 21:06:13 +0000 (16:06 -0500)]
tests: removed generic tree option from Makefile
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 27 Feb 2013 17:39:53 +0000 (12:39 -0500)]
layout_builders: better filtering of mproperties in MPropertyColorer
Previously using `if mprop isa E then properties.add(mprop)` where `E` was a formal type
but inneficien with compilers using erasure.
Fixed this with hardcoded subtyping test in 3 subclasses : MMethodColorer, MAttributeColorer & MVirtualTypePropColorer
This fix allow better tables computation reducing the total amount of holes.
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 27 Feb 2013 00:35:00 +0000 (19:35 -0500)]
nitg-s/u: changed table metrics computation and output
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 26 Feb 2013 23:52:18 +0000 (18:52 -0500)]
nitg-s removed useless type_layout_builder attribute
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 26 Feb 2013 23:41:31 +0000 (18:41 -0500)]
nitg-s/e: removed useless classids attribute
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 27 Feb 2013 17:23:13 +0000 (12:23 -0500)]
nitg-s: renamed coloring module in layout_builders
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 26 Feb 2013 23:21:15 +0000 (18:21 -0500)]
nitg-se: fixed bug in subtyping type with phmod
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 26 Feb 2013 22:52:41 +0000 (17:52 -0500)]
nitg-s: removed useless perfect hashers from coloring module
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 26 Feb 2013 22:51:14 +0000 (17:51 -0500)]
nitg-s: introduced unique perfect hasher
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 26 Feb 2013 21:59:32 +0000 (16:59 -0500)]
nitg: moved model facilities from coloring to abstract_compiler
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 26 Feb 2013 21:51:51 +0000 (16:51 -0500)]
nitg-se: MProperty layout does not depend anymore on opt_typing used
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Fri, 8 Feb 2013 07:00:04 +0000 (02:00 -0500)]
nitg-s: removed old unanchored coloring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Fri, 8 Feb 2013 06:58:33 +0000 (01:58 -0500)]
nitg-s: separete compiler now use ResolutionLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Fri, 8 Feb 2013 06:56:38 +0000 (01:56 -0500)]
nitg-s: introduced resolution layout builders
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Fri, 8 Feb 2013 05:20:13 +0000 (00:20 -0500)]
nitg-s: moved resolution table building to separate_compiler
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Fri, 8 Feb 2013 04:21:54 +0000 (23:21 -0500)]
nitg-s: removed useless retrieve_anchored_livetype method
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 23:50:30 +0000 (18:50 -0500)]
nitg-s: removed useless property and class coloring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 23:48:01 +0000 (18:48 -0500)]
nitg-s: mproperty layout construction now use new layout builder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 23:32:04 +0000 (18:32 -0500)]
nitg-s: introduced PropertyLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 22:25:52 +0000 (17:25 -0500)]
nitg-s: cleaned up attributes used for FT coloring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 22:22:44 +0000 (17:22 -0500)]
nitg-s: removed FTColoring since it was replaced by resolution table
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 22:20:42 +0000 (17:20 -0500)]
nitg-s: removed compile_type_fts_table and compile_type_vts_table since they were replaced by compile_type_unanchored_table
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 22:16:47 +0000 (17:16 -0500)]
nitg-s: removed useless LiveEntryColoring since there is no more generic tree option
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 22:14:10 +0000 (17:14 -0500)]
nitg-s: moved build_property_table from coloring to serparate_compiler
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 21:46:31 +0000 (16:46 -0500)]
nitg-s: merged TypeLayoutBuilder and ClassLayoutBuilder into generic TypingLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 21:37:30 +0000 (16:37 -0500)]
nitg-s: merged TypeLayout and ClassLayout into generic TypingLayout
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 21:28:23 +0000 (16:28 -0500)]
nitg-s: modified PropertyColoring to use mmodule queries for property retrieving
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 21:08:18 +0000 (16:08 -0500)]
nitg-s: cleaned useless ClassColoring uses
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 21:04:23 +0000 (16:04 -0500)]
nitg-se: now using ClassLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 21:02:47 +0000 (16:02 -0500)]
nitg-s: introduced class table layouts
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 20:42:38 +0000 (15:42 -0500)]
nitg-s: introduced ancestor AbstractHasher for MTypeHasher
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 20:10:55 +0000 (15:10 -0500)]
nitg-s: organized and cleaned coloring module
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 19:37:53 +0000 (14:37 -0500)]
nitg-s: merged build_type_table and hash_type_table
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 19:33:14 +0000 (14:33 -0500)]
nitg-s: merged typeids, type_colors and type_masks into type_layout
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 18:18:14 +0000 (13:18 -0500)]
nitg-s: replaced TypePerfectHashing by PHTypeLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 17:38:23 +0000 (12:38 -0500)]
nitg-s: replaced TypeColoring by CLTypeLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 17:36:11 +0000 (12:36 -0500)]
nitg-s: replaced NaiveTypeColoring by BMTypeLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 16:55:17 +0000 (11:55 -0500)]
nitg-s: inserted layout builder concept in coloring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 16:41:14 +0000 (11:41 -0500)]
nitg-s: moved class tables building from coloring to separate erased compiler
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 16:34:41 +0000 (11:34 -0500)]
nitg-s: moved type tables building from coloring to separate compiler
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 16:33:54 +0000 (11:33 -0500)]
nitg-s: changed module importation for module coloring
Coloring now imports typing. Importation of rapid_type_analysis is done by separate_compiler
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Feb 2013 00:02:49 +0000 (19:02 -0500)]
nitg-s: element set is no more required at colorer initialization
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 6 Feb 2013 17:35:42 +0000 (12:35 -0500)]
nitg-s: cleaned AbstractColoring::colorize method
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 6 Feb 2013 17:21:09 +0000 (12:21 -0500)]
nitg-s: changed signature of colorize method to accept set of elements only
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 6 Feb 2013 16:30:01 +0000 (11:30 -0500)]
nitg-s: replaced model queries from colorers by MModule queries
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 6 Feb 2013 17:26:03 +0000 (12:26 -0500)]
nitg-s: added model exploration facilities in redef MModule
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 6 Feb 2013 14:37:30 +0000 (09:37 -0500)]
nitg-s: removed OrderedSet replaced it by refinements in Array and HashSet
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 6 Feb 2013 00:07:18 +0000 (19:07 -0500)]
nitg-s: removed generic tree option
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 29 Jan 2013 00:42:25 +0000 (19:42 -0500)]
nitg: added class AbstractCompiler to refactor nitg nitg-s nitg-se.
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 22 Jan 2013 17:47:30 +0000 (12:47 -0500)]
nitg-s: Added stats output for compilation process
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Jean Privat [Mon, 17 Dec 2012 01:33:26 +0000 (20:33 -0500)]
bench: forgot ".dat" on some prepare_res
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 17 Dec 2012 01:04:54 +0000 (20:04 -0500)]
fix: bench: ad --no-cc for nitg test on run_compiler
misspell --no-cc
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 17 Dec 2012 00:38:30 +0000 (19:38 -0500)]
bench: better order in options-typing and policy
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 17 Dec 2012 00:32:01 +0000 (19:32 -0500)]
bench: store count on plot file
Since we do not remember later.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 17 Dec 2012 00:16:41 +0000 (19:16 -0500)]
bench: ad --no-cc for nitg test on run_compiler
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sun, 16 Dec 2012 22:41:59 +0000 (17:41 -0500)]
nitg-s&e: clean nullable management on type_test
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sun, 16 Dec 2012 04:23:46 +0000 (23:23 -0500)]
bench: add bench_typetest_languages
this should move to its own directory.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sun, 16 Dec 2012 02:22:28 +0000 (21:22 -0500)]
nitg: add GlobalCompiler::new_file
The point is to avoid contamination between must-be-compiled-separately files
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 15 Dec 2012 15:22:53 +0000 (10:22 -0500)]
model: semi-fixed bounds for VirtualType
This mainly allows to get ride of VT in primitive classes
or bounded to primitive classes.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 14 Dec 2012 22:22:36 +0000 (17:22 -0500)]
tests: forgot to add base_gen_variance2.nit
commit
c5363a7de49a97a2b4197312730e6f3358ac0b36 only has the sav/ files
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 14 Dec 2012 22:21:53 +0000 (17:21 -0500)]
bench: add --fast and reorganize bench
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 14 Dec 2012 22:05:30 +0000 (17:05 -0500)]
shoot: add option for headless run
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 14 Dec 2012 21:46:30 +0000 (16:46 -0500)]
benchs: add bench_policy
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 14 Dec 2012 21:27:57 +0000 (16:27 -0500)]
nitg-s: skip some easy-case tests
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 14 Dec 2012 21:27:29 +0000 (16:27 -0500)]
nitg: add option --typing-test-metrics
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 14 Dec 2012 04:45:18 +0000 (23:45 -0500)]
nitg: shortcut 'for' loops on explicit ranges
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 14 Dec 2012 04:40:47 +0000 (23:40 -0500)]
nitg: autoadapt expression on exit
This avoid to loose static information.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 14 Dec 2012 04:38:42 +0000 (23:38 -0500)]
nitg: protect for additional arguments
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 14 Dec 2012 02:45:25 +0000 (21:45 -0500)]
tests: add base_gen_variance2.nit
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 13 Dec 2012 18:47:23 +0000 (13:47 -0500)]
nitg: use GC_MALLOC_ATOMIC for calloc_string
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 13 Dec 2012 17:11:52 +0000 (12:11 -0500)]
nitg-s: shortcut the == invocation
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 13 Dec 2012 16:06:41 +0000 (11:06 -0500)]
nitg-s: fix opt_generic_tree with opt_hardening
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 13 Dec 2012 17:09:07 +0000 (12:09 -0500)]
fix opt_no_union_attribute
Jean Privat [Thu, 13 Dec 2012 18:48:36 +0000 (13:48 -0500)]
nitg-s&e: implements attributes in a C union
Pro: This give a gain up to 20% in benchs.
Con: isset is broken on primitive attributes.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 22:10:41 +0000 (17:10 -0500)]
tests: nitg-s can bootstrap!
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 12 Dec 2012 05:26:17 +0000 (00:26 -0500)]
tests: add base_formal_isa
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 12 Dec 2012 05:17:18 +0000 (00:17 -0500)]
tests: add base_vararg2.nit
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 12 Dec 2012 05:12:45 +0000 (00:12 -0500)]
nitg: better creation of varargs instances
FIXME: bogus covariance must be dealt with
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 12 Dec 2012 05:13:36 +0000 (00:13 -0500)]
niti: *_class_name use the full type name
So tit behave the same way than the non erasure engines.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 22:08:52 +0000 (17:08 -0500)]
nitg-s: add hardening on initialization
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 22:07:42 +0000 (17:07 -0500)]
nitg-s: implements unanchored_table correctly
Signed-off-by: Jean Privat <jean@pryen.org>
nitlanguage / nit.git / log