BlackMinou [Wed, 1 Apr 2015 06:56:46 +0000 (08:56 +0200)]
Add documentation for the threaded annotation
Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>
Alexis Laferrière [Tue, 31 Mar 2015 17:58:29 +0000 (13:58 -0400)]
tests: add the testosx.sh script to run OSX and iOS specific tests
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Tue, 31 Mar 2015 17:37:28 +0000 (13:37 -0400)]
tests: add savs file for ios tests
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Tue, 31 Mar 2015 17:27:49 +0000 (13:27 -0400)]
tests: tests.sh detects directories before trying to execute them
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Mon, 30 Mar 2015 04:57:16 +0000 (11:57 +0700)]
loader: get_mgroup can be given the root directory or the src directory
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 04:41:38 +0000 (11:41 +0700)]
loader: get_mgroup search README in src first then in the root directory
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 04:39:08 +0000 (11:39 +0700)]
loader: parse_full look inside directories of projects
Signed-off-by: Jean Privat <jean@pryen.org>
Alexandre Terrasa [Mon, 23 Feb 2015 17:02:12 +0000 (18:02 +0100)]
src/doc: uniformize name display
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Tue, 17 Feb 2015 19:59:05 +0000 (20:59 +0100)]
src/doc: migrate topmenu to new templates.
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Mon, 23 Feb 2015 15:02:30 +0000 (16:02 +0100)]
src/doc: introduce bootstrap components abstraction.
This will be used to migrate templates in a cleaner version.
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Lucas Bajolet [Tue, 31 Mar 2015 20:31:07 +0000 (16:31 -0400)]
lib/standard/string: Added faster cstring method on flatstring.
Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>
Jean Privat [Tue, 31 Mar 2015 06:00:24 +0000 (13:00 +0700)]
version 0.7.3
Jean Privat [Tue, 31 Mar 2015 03:49:23 +0000 (10:49 +0700)]
bench_markdown: add a new engine, nitmd-o that is nitmd + optimisations
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 31 Mar 2015 03:48:10 +0000 (10:48 +0700)]
bench_markdown: increase $s so that times are more meaningful
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 31 Mar 2015 03:22:05 +0000 (10:22 +0700)]
Merge: lib/std/union_find: make DisjointSet Cloneable
Just because I need it.
I'm still not sure about what is the best way to deal with the various copy-constructors and clone methods. I think the following make sense:
A copy constructor named `from` that takes, if possible a general classifier (like an interface). This named constructor may use `nosuper` to avoid the automatic invocation of the standard init method if this cause a useless complex initialization that will be throw away by the copy.
A direct copy `clone` than can just return `new SELFTYPE.from(self)`
The advantage is that for simple clone, the `clone` method do the job.
If one want to change the class but keep the data, then the `from` constructor can be used. Like `new HashSet.from([1,2,3])`
Pull-Request: #1226
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Jean Privat [Tue, 31 Mar 2015 03:21:57 +0000 (10:21 +0700)]
Merge: Rewrite the coloration for properties and types.
This introduce a new colorer, `POSetGroupColorer` that colors elements introduced by the classes in a class-hierarchy.
The advantage of this new colorer is that it uses conflict graphs of classes to colorize elements.
By comparison, the previously used colorers work with conflict graphs of elements; that are therefore much larger.
An other advantage is that only the introductions of elements are needed by the colorer, so filling the information from the model is far more easier.
The construction of the poset of types is also removed.
Instead, subtyping tables are computed with a more standard way:
* target cast types are grouped by classes: a map class->types is created
* the map is colored: a table layout by class is computed
* for each live type, the table layout of the associated class is used to build the type table
Results are so good that most of the time of the coloring is removed.
For nitc/nitc/nit
Before:
user: 0m6.044s
total: 15096 MIr
do_property_coloring: 1420 MIr
do_type_coloring: 2600 MIr
After:
user: 0m5.608s (-7%)
total: 12800 MIr (-15%)
do_property_coloring: 452 MIr (-68%)
do_type_coloring: 895 MIr (-65%)
note that in the previous numbers, most of the time is done in the model to inherit or resolve things.
Pure coloring algorithm is now negligible:
conflict_graph: 34 MIr (<1% of the total Ir)
coloring: 60 MIr (<1% of the total Ir)
Unfortunately, with types the coloring can degenerate and produce big tables. If this is an issue, the options `--type-poset` use the previous coloring method for types
Pull-Request: #1215
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Tue, 31 Mar 2015 00:44:48 +0000 (07:44 +0700)]
Merge: Misc for lib
Litttle features and warning-fixes for the libs
Pull-Request: #1228
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Tue, 31 Mar 2015 00:44:42 +0000 (07:44 +0700)]
Merge: iOS support
Adds a target platform in the compiler which generates an XCode project for iOS applications.
Intro the `ios` projet to group services for iOS. It implements the callbacks expected by the iOS system for a basic graphical application. It also triggers compilation for the iOS platform.
Adds one example of a graphical application `hello_ios` and a very minimal test for the iOS platform.
This is still very much a work in progress, you will notice many TODO in the code. Here are some of the next features to implement:
* Extend support to all iOS devices, not only the iPhone in the simulator.
* Reorganize annotations for app.nit: app_name, package_name, and maybe organization_name.
* Add more services of the Cocoa touch library and rewrite the `hello_ios` app in Nit.
* Support assets and other game related features.
* Some cleanup of the generated XCode project files could be a good thing.
Pull-Request: #1227
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Jean Privat [Tue, 31 Mar 2015 00:44:35 +0000 (07:44 +0700)]
Merge: sepcomp: fixup trampoline with tagged primitive values
Thus fix --trampoline-call (and --link-boost)
Pull-Request: #1225
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Jean Privat [Tue, 31 Mar 2015 00:44:30 +0000 (07:44 +0700)]
Merge: Fix escape to c
close #1223
Pull-Request: #1224
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Jean Privat [Tue, 31 Mar 2015 00:44:23 +0000 (07:44 +0700)]
Merge: Fix warnings from clang on OS X
Pull-Request: #1222
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Jean Privat [Mon, 30 Mar 2015 13:01:05 +0000 (20:01 +0700)]
lib/template: migrate the example to new constructors
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 13:00:40 +0000 (20:00 +0700)]
lib/geometry: document ILine
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 12:51:15 +0000 (19:51 +0700)]
lib: move privileges.nit to its subdirectory
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 12:48:34 +0000 (19:48 +0700)]
lib/standard: document FileReader::from_fd
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 12:46:44 +0000 (19:46 +0700)]
lib/standard: factorize File*::close
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 12:37:44 +0000 (19:37 +0700)]
lib/standard: add Collection::not_empty
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 12:33:51 +0000 (19:33 +0700)]
lib/sorter: add `MapRead::keys_sorted_by_values` and the related comparator
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Sun, 29 Mar 2015 19:55:33 +0000 (15:55 -0400)]
tests: skip iOS tests on GNU/Linux
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sun, 29 Mar 2015 15:01:44 +0000 (11:01 -0400)]
lib/ios: add the simple hello_ios app
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 27 Mar 2015 22:41:28 +0000 (18:41 -0400)]
tests: add a very minimal test for the iOS platform
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 15 Jan 2015 16:03:52 +0000 (11:03 -0500)]
lib: intro the iOS library
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 27 Mar 2015 16:39:25 +0000 (12:39 -0400)]
nitc: support compiling for the iOS platform
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 28 Mar 2015 17:58:27 +0000 (13:58 -0400)]
nitc: `Toolchain` keeps the compiler as an attribute
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Mon, 30 Mar 2015 12:25:05 +0000 (19:25 +0700)]
lib/sorter: add `MapRead::values_sorted_by_key`
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 04:24:51 +0000 (11:24 +0700)]
test_phase: use parse_full
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 01:33:48 +0000 (08:33 +0700)]
semantize: handle the with statement
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 01:33:15 +0000 (08:33 +0700)]
parser: regenerate with the `with` statement
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 30 Mar 2015 01:32:56 +0000 (08:32 +0700)]
grammar: new `with` statement
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sun, 29 Mar 2015 14:39:02 +0000 (21:39 +0700)]
lib/std/union_find: make DisjointSet Cloneable
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sun, 29 Mar 2015 09:10:30 +0000 (16:10 +0700)]
sepcomp: fixup trampoline with tagged primitive values
Signed-off-by: Jean Privat <jean@pryen.org>
BlackMinou [Thu, 26 Mar 2015 06:31:11 +0000 (07:31 +0100)]
examples : adds a little example using "threaded" annotation
Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>
BlackMinou [Thu, 26 Mar 2015 06:30:27 +0000 (07:30 +0100)]
Adds the parallelization_phase to the frontend execution
Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>
BlackMinou [Thu, 26 Mar 2015 06:30:14 +0000 (07:30 +0100)]
Introduce parallelization_phase to deal with the "threaded" annotation
Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>
Jean Privat [Sun, 29 Mar 2015 03:05:15 +0000 (10:05 +0700)]
tests: update sav/test_parser_args1.res for escape_to_c changes
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sun, 29 Mar 2015 01:59:01 +0000 (08:59 +0700)]
lib/string: escape_to_c uses 3 digits in the octal form \nn to avoid misinterpretation
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sun, 29 Mar 2015 01:58:11 +0000 (08:58 +0700)]
lib/string: escape_to_c transforms `"\t"` to `"\\t"`
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 08:33:19 +0000 (15:33 +0700)]
sepcomp: do not generate class tables for dead classes
exceptions are pimitive types and classes that have a `new` factory
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 28 Mar 2015 02:12:28 +0000 (09:12 +0700)]
sepcomp: use the new `POSetGroupColorer` to color types for tests
The previous coloring with a poset of types is still available trough `--type-poset`
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 28 Mar 2015 01:39:53 +0000 (08:39 +0700)]
Merge: Fast benches
Last week benches shows some failures on some options due to recent commits.
This PR add a `--fast --fast` option that test only `hello_world` so it could be used in continuous integration to test the various meaningful combination of compiling options.
Moreover, the script is simplified to be more simple to use and extends with new options or combination of options,
Pull-Request: #1217
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Sat, 28 Mar 2015 01:34:45 +0000 (08:34 +0700)]
Merge: Fast super strings
Superstrings, like "a{b}c", are managed in the AST as a special group of sub-expression nodes that are either literal string parts or standard expressions.
The previous example is basically `["a", b, "c"]`
Previously, the compilation of super-strings was direct: the values are grouped in an array and `to_s` is called on it.
So in fact `"a{b}c"` was compiled as `["a", b, "c"].to_s`.
This basic implementation is simple and correct. But it has some drawbacks:
* a new Array[Object] (and a NativeArray[Object]) is allocated each time the super-string is evaluated.
* all elements are to_s-ized in `Array::to_s`, even the literal parts.
* an additional NativeArray[String] is allocated in `Array:to_s` to do the fast concatenation.
Because of the numerous allocations, superstrings caused a lot of work to the GC.
This PR provides a better, but more complex implementation:
* instead of an Array[Object], a NativeArray[String] is directly build and a fast concatenation `native_to_s` is invoked.
* the allocated NativeArray is cached in a static variable so it can be reused in next evaluation.
* the literal string parts are stored in the native array as is, and only once just after the allocation of the native array.
Results for nitc/nitc/nitc:
before: 0m6.076s
after: 0m5.512s (-9% not bad!)
Pull-Request: #1219
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Jean Privat [Sat, 28 Mar 2015 01:29:12 +0000 (08:29 +0700)]
Merge: lib/std/file: do not flush on each write
Flushing for each small element of an output made things too slow.
real (not user) time for nitc/nitc/nitc:
before: 0m7.373s
after: 0m5.901s (-20%)
Pull-Request: #1216
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Sat, 28 Mar 2015 01:26:29 +0000 (08:26 +0700)]
Merge: Some cleaning in vm files
This small PR creates a directory for all vm files and a unique entry point.
Signed-off-by: Julien Pagès <julien.projet@gmail.com>
Pull-Request: #1221
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 28 Mar 2015 01:23:37 +0000 (08:23 +0700)]
Merge: nitc: fix closing manifest writer, should fix bug on #1216
Pull-Request: #1220
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 28 Mar 2015 01:16:36 +0000 (08:16 +0700)]
tests: remove sav/nitg-e/error_needed_method_alt4.res since behavior is fixed
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Sat, 28 Mar 2015 00:29:20 +0000 (20:29 -0400)]
nitc: fix missing includes for getpid
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 28 Mar 2015 00:28:59 +0000 (20:28 -0400)]
lib: fix return value of the system method
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
BlackMinou [Thu, 26 Mar 2015 06:28:43 +0000 (07:28 +0100)]
pthreads: Adds "threadeed" annotation
Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>
Jean Privat [Tue, 24 Mar 2015 00:24:12 +0000 (07:24 +0700)]
Merge: Fix --no-union-attributes
--no-union-attributes was broken since the tagging of primitive. This PR fix it.
Pull-Request: #1218
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Jean Privat [Sat, 21 Mar 2015 15:41:06 +0000 (22:41 +0700)]
compiler: prefill the native array with the literal string parts
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 21 Mar 2015 15:40:01 +0000 (22:40 +0700)]
compiler: `ASuperstringExpr` store the native array in a static variable
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 21 Mar 2015 15:38:19 +0000 (22:38 +0700)]
compiler: compile ASuperstringExpr using `native_to_s`
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 21 Mar 2015 15:35:50 +0000 (22:35 +0700)]
lib: introduce `NativeArray::native_to_s`
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Mon, 23 Mar 2015 18:03:12 +0000 (14:03 -0400)]
nitc: fix closing manifest writer when done for #1216
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Julien Pagès [Mon, 16 Mar 2015 12:23:03 +0000 (13:23 +0100)]
nitvm: Creation of a directory vm/ for the vm files
Signed-off-by: Julien Pagès <julien.projet@gmail.com>
Jean Privat [Sat, 21 Mar 2015 15:35:11 +0000 (22:35 +0700)]
compiler: add native_array_get and native_array_set
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 14:17:30 +0000 (21:17 +0700)]
lib/string_exp: initialize an uninitialized attribute
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 14:16:26 +0000 (21:16 +0700)]
sepcomp: initialize lazy guards to 'false' if opt_no_union_attribute.
Otherwise the guard is let at `NULL` (aka uninitialized) and will
ironically fail at runtime because the lazy guard is not initialized.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 14:00:24 +0000 (21:00 +0700)]
sepcomp: isset is implemented on tagged attributes
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 13:58:55 +0000 (20:58 +0700)]
sepcomp: tag values when storing it with opt_no_union_attribute
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 15:16:18 +0000 (22:16 +0700)]
Merge: compiler: introduce and use `MType::is_c_primitive`
Thus remove all comparaison to "val*" in the code, this is cleaner.
Pull-Request: #1214
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Jean Privat [Mon, 23 Mar 2015 15:16:10 +0000 (22:16 +0700)]
Merge: Simplify management of primitive types
Add direct methods to access primitive types
Simplify and improve the generation of primitive values in the compiler.
More (and improved) `*_instance` methods are now available in AbstractCompilerVisitor.
One of the point is the simplification of the generated C so that less local variables are generated, maybe this will also help the C compiler to work faster.
Pull-Request: #1213
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Jean Privat [Mon, 23 Mar 2015 10:34:36 +0000 (17:34 +0700)]
bench_engines: put all at the end
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 10:29:47 +0000 (17:29 +0700)]
bench_engine: refactor most tests in a single function
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 06:28:26 +0000 (13:28 +0700)]
sepcomp: use the new `POSetGroupColorer` to color properties
The diff is ugly. basically it is a complete change of the code
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 06:23:14 +0000 (13:23 +0700)]
coloring: new class `POSetGroupColorer` to colorize bucklets of things
The difference with `POSetBucketsColorer` is that the new one is faster
but the constraint is that an element is introduced by a single holder.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 14:30:34 +0000 (21:30 +0700)]
compiler: introduce and use `MType::is_c_primitive`
Thus remove all comparison to "val*" in the code, this is cleaner.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 13:01:03 +0000 (20:01 +0700)]
lib/std/exec: remove write buffon on pipes
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 09:55:42 +0000 (16:55 +0700)]
bench_engines: add --fast --fast to just check the compiler
It will be included in CI tests to prevent breaking benches.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 09:54:16 +0000 (16:54 +0700)]
bench_engine: silent clean
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 06:19:52 +0000 (13:19 +0700)]
coloring: add `POSet::to_conflict_graph` for lazy peoples
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 06:18:44 +0000 (13:18 +0700)]
coloring: add `POSetConflictGraph:order`
to factorize the linearization
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 06:16:27 +0000 (13:16 +0700)]
sepcomp: `compute_resolution_tables` group by classes
Inspired by #1212
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 07:43:13 +0000 (14:43 +0700)]
lib/std/file: no not flush on each write
Flushing for each small element of an output made things too slow.
real (not user) time for nitc/nitc/nitc:
before: 0m7.373s
after: 0m5.901s (-20%)
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 06:13:57 +0000 (13:13 +0700)]
sepcomp: `compile_class_to_c` protect access to null vtf/attrs
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 23 Mar 2015 06:11:42 +0000 (13:11 +0700)]
compiler: import counter for better stats
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 21 Mar 2015 05:21:03 +0000 (12:21 +0700)]
compiler: introduce and use char_instance, float_instance and null_instance
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 21 Mar 2015 05:04:47 +0000 (12:04 +0700)]
compiler: `int_instance` and `bool_instance` return a inlined runtimevariable
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 21 Mar 2015 05:02:13 +0000 (12:02 +0700)]
compiler: use `bool_instance` and `int_instance` when possible
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 21 Mar 2015 14:25:25 +0000 (21:25 +0700)]
model: provide direct methods to access primitive types
This avoid that each module re-search class by their names
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 21 Mar 2015 06:13:27 +0000 (13:13 +0700)]
Merge: compiler: improve `poset_from_mtypes` used for type coloring.
Instead of doing the full matrix mtypes X cast_types, a grouping is done by the base classes of the types so that we compare only types whose base classes are in inheritance.
For nitc/nitc/nitc the result is not that bad:
before:
0m6.584s
17.605 GIr
time passed in poset_from_mtypes: 26.01% (4.579 GIr)
now:
0m5.880s (-10%)
15.088 GIr (-14%)
time passed in poset_from_mtypes: 11.72% (1.768 GIr)
In the best condition, I can now expect to compile in less than 6s.
Note that coloring is still a MAJOR issue in term of compile time since 1/4 of the Ir are used to compute coloration.
* type_coloring: 17.23%
* property_coloring: 9.35%
Pull-Request: #1212
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Jean Privat [Sat, 21 Mar 2015 06:13:05 +0000 (13:13 +0700)]
Merge: Handle signal
This PR improves slightly the handling of signal by providing better defaults.
A side effect is that this close #754
Pull-Request: #1211
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Sat, 21 Mar 2015 06:12:59 +0000 (13:12 +0700)]
Merge: contrib/header_keeper: a cog in the toolchains to generate FFI wrapper for C-like languages
This is needed by @Tagachi for the Objective-C wrapper.
Once again, everything is in the doc:
### Filters preprocessed C-like header files to remove included files
This tool is used in the process of parsing header files to extract
information on the declared services (the functions and structures).
This information is then used to generate bindings for Nit code
to access these services.
The C preprocessor extends macros, inline files marked with `#include`,
and more. This tool acts after the C preprocessor, in a way to keep
everything but the included files. It searches for line pragmas
to identify the source of each line. The result is printed to stdout.
Typical usage on the output of `gcc -E` (it would be the same with `clang`):
~~~
gcc -E /usr/include/SDL/SDL_image.h | header_keeper SDL_image.h > preprocessed_header.h
~~~
This module can also be used as a library. The main service is the method `header_keeper`.
Pull-Request: #1210
Reviewed-by: ArthurDelamare <>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>
Jean Privat [Fri, 20 Mar 2015 06:56:15 +0000 (13:56 +0700)]
sepcomp: rename `compile_resolution_tables` as `compute_resolution_tables`
because there is no C generation, only abstract data-structures.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 20 Mar 2015 06:48:22 +0000 (13:48 +0700)]
sepcomp: `do_type_coloring` can work directly with RTA results
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 20 Mar 2015 06:13:33 +0000 (13:13 +0700)]
sepcomp: add a missing undead type
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 20 Mar 2015 05:14:30 +0000 (12:14 +0700)]
compiler: improve `poset_from_mtypes` used for type coloring.
Instead of doing the full matrix mtypes X cast_types, a grouping is done by the base classes of the types so that we compare only types whose base classes are in inheritance.
For nitc/nitc/nitc the result is not that bad:
before:
0m6.584s
17.605 GIr
time passed in poset_from_mtypes: 26.01% (4.579 GIr)
now:
0m5.880s (-10%)
15.088 GIr (-14%)
time passed in poset_from_mtypes: 11.72% (1.768 GIr)
In the best condition, I can now expect to compile in less than 6s.
Note that coloring is still a MAJOR issue in term of compile time since 1/4 of the Ir are used to compute coloration.
* type_coloring: 17.23%
* property_coloring: 9.35%
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 20 Mar 2015 02:01:49 +0000 (09:01 +0700)]
lib/std/exec: `signal` will forward ^C (SIGINT) to the main program
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 20 Mar 2015 01:55:58 +0000 (08:55 +0700)]
comp: forward signals instead of exiting
Exit status of process distinguishes normal termination `WIFEXITED`
and signal-caused termination `WIFSIGNALED`.
Shells and other commands use this information to handle sub-commands.
Therefore, compiled programs should not, by default, terminate
their signal handler by an `exit` but should rethrow the original signal.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 21 Mar 2015 03:05:37 +0000 (10:05 +0700)]
compiler: rename `show_backtrace` as `fatal_exit`
Signed-off-by: Jean Privat <jean@pryen.org>