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>
Jean Privat [Tue, 11 Dec 2012 22:05:23 +0000 (17:05 -0500)]
nitg-s: implements calloc_array by calling native_array_instance
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 16:43:01 +0000 (11:43 -0500)]
nitg-s: remove superfluous autobox
A function type_info is introduced to uniformize the access to
a type structure.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 17:29:17 +0000 (12:29 -0500)]
nitg-s: add primitive types to the set of mtypes
This will allow static designation of related structures to be compilable.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 16:35:42 +0000 (11:35 -0500)]
nitg-s: rename fields Xts to types to be consistant with the abstract struct
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 05:57:46 +0000 (00:57 -0500)]
nitg: disable Boehm's GC by defining the macro NOBOEHM
From a command line point of view, one can use
nitg --make-flags "CFLAGS=\"-O2 -DNOBOEHM\"" myprog.nit
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 05:28:37 +0000 (00:28 -0500)]
bench: compare nitg-e with various compiler and -O values
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 05:28:06 +0000 (00:28 -0500)]
nitg: add option --make-flags to pass options to make
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 03:40:12 +0000 (22:40 -0500)]
bench: add bench_nitc_vc_nitg
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 03:18:18 +0000 (22:18 -0500)]
bench: replace shootout_binarytrees with bench_bintree_gen
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 03:18:01 +0000 (22:18 -0500)]
tests: add bench_bintree_gen
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 02:33:27 +0000 (21:33 -0500)]
tests: base_gen_reassign.nit
This test basically fails on every engine :(
So no sav/ files for the moment.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 11 Dec 2012 02:30:56 +0000 (21:30 -0500)]
tests: add a timeout limit to avoid blocked programs
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sun, 9 Dec 2012 05:13:25 +0000 (00:13 -0500)]
nitg-s&e: store class_names directly in the type/class structures
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 10 Dec 2012 21:20:00 +0000 (16:20 -0500)]
nitg-e: make HASH a macro, not a function
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 10 Dec 2012 21:12:04 +0000 (16:12 -0500)]
benchs: add nitg-s to benchs
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 10 Dec 2012 03:32:57 +0000 (22:32 -0500)]
bench: factorize some benchs
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 10 Dec 2012 02:29:56 +0000 (21:29 -0500)]
nitg-s&e: compile module in local knowledge
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 10 Dec 2012 20:53:57 +0000 (15:53 -0500)]
Merge remote-tracking branch 'alexandre/master'
Alexandre Terrasa [Sun, 9 Dec 2012 22:10:36 +0000 (17:10 -0500)]
nitg-e: avoid automatic boxing in vt resolution
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Sun, 9 Dec 2012 22:08:35 +0000 (17:08 -0500)]
nitg-s/-e: avoid compilation of emtpy vt/ft/unanchored structs.
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Sun, 9 Dec 2012 21:17:51 +0000 (16:17 -0500)]
nitg-s: merged fts, vts and unanchored struct types representations.
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Sun, 9 Dec 2012 21:05:23 +0000 (16:05 -0500)]
nitg-s: reorder struct type fields
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Sun, 9 Dec 2012 20:59:24 +0000 (15:59 -0500)]
nitg-s: introduce unanchored resolution tables.
Unanchored resolution tables allow the compiler to retrieve at runtime a live generic type with given formal types
Old tree based resolution structure with tree is now an option of nitg (--generic-resolution-tree)
Options --bm-typing and --ph*-typing affects the unanchored tables generations.
Updated nitg.res with new option. Also added tests in makefile.
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Jean Privat [Sun, 9 Dec 2012 06:38:43 +0000 (01:38 -0500)]
Merge remote-tracking branch 'alexandre/master'
Jean Privat [Sun, 9 Dec 2012 05:33:26 +0000 (00:33 -0500)]
tests: add test_array_formal.nit
Signed-off-by: Jean Privat <jean@pryen.org>
nitlanguage / nit.git / log