| Wed, 17 Dec 2014 13:46:36 +0000 |
mjsousa |
Small code re-organization of how const values are stored in symbol_c (can now be accessed through member functions, instead of macros)
|
file |
diff |
annotate
|
| Sun, 14 Dec 2014 19:15:29 +0000 |
mjsousa |
Fix bugs introduced in previous commit (once again do constant folding of all literals in type declarations)
|
file |
diff |
annotate
|
| Sun, 14 Dec 2014 18:40:20 +0000 |
mjsousa |
Do constant folding of variable's initial value (allows correct C code generation with variables in the subrange of an array declaration: ARRAY [1..max] of INT).
|
file |
diff |
annotate
|
| Sun, 16 Nov 2014 12:54:10 +0000 |
mjsousa |
Add support for relaxed datatype model for array datatypes.
|
file |
diff |
annotate
|
| Thu, 08 May 2014 12:21:48 +0100 |
mjsousa |
Fix compilation error on platforms where real64_t is mapped onto 'long double'
|
file |
diff |
annotate
|
| Thu, 10 Jan 2013 10:47:06 +0000 |
Mario de Sousa |
disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results),
|
file |
diff |
annotate
|
| Thu, 10 Jan 2013 10:38:41 +0000 |
Mario de Sousa |
merge
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 23:39:25 +0100 |
Manuele Conti |
Fix constant propagation for repeat_statement_c class.
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 23:16:19 +0100 |
Manuele Conti |
Remove unused variable.
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 22:54:55 +0100 |
Manuele Conti |
Implement Mario's suggestions:
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 20:34:10 +0100 |
Manuele Conti |
Fix constant_folding missing call. [Bug found by Mario.]
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 19:31:12 +0000 |
Mario de Sousa |
Fix divide by 0 bug.
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 11:02:38 +0100 |
Manuele Conti |
Remove redundant class for get variable name.
|
file |
diff |
annotate
|
| Fri, 28 Dec 2012 16:24:17 +0100 |
Manuele Conti |
Fix constant propagation alg. in for statement like Mario suggestion.
|
file |
diff |
annotate
|
| Fri, 28 Dec 2012 11:22:02 +0100 |
Manuele Conti |
Add note about How Constant Folding class is extended with a implementation constant propagation algorithm
|
file |
diff |
annotate
|
| Thu, 27 Dec 2012 00:17:08 +0100 |
Manuele Conti |
Add constant propagation algorithm for loop cycles.
|
file |
diff |
annotate
|
| Mon, 24 Dec 2012 16:56:08 +0100 |
Manuele Conti |
Fix comment about meet semilattice rules.
|
file |
diff |
annotate
|
| Sat, 22 Dec 2012 19:31:48 +0100 |
Manuele Conti |
Start to implement constant propagation algorithm.
|
file |
diff |
annotate
|
| Sun, 18 Nov 2012 12:54:48 +0100 |
Manuele Conti |
Fix some important clang++ warnings.
|
file |
diff |
annotate
|
| Thu, 25 Oct 2012 18:20:28 +0100 |
Mario de Sousa |
Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis.
|
file |
diff |
annotate
|
| Thu, 04 Oct 2012 15:10:45 +0100 |
Mario de Sousa |
Merge
|
file |
diff |
annotate
|
| Wed, 26 Sep 2012 20:12:39 +0200 |
Manuele Conti |
Minor changes needed to build with pedantic flag.
|
file |
diff |
annotate
|
| Thu, 30 Aug 2012 13:35:15 +0100 |
Mario de Sousa |
More precise handling of const value status.
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 19:38:15 +0100 |
Mario de Sousa |
Fix constant folding: now handles INT_MIN and neg_integer_c correctly.
|
file |
diff |
annotate
|
| Mon, 27 Aug 2012 17:58:07 +0100 |
Mario de Sousa |
Add some comments.
|
file |
diff |
annotate
|
| Thu, 13 Sep 2012 16:35:10 +0200 |
Laurent Bessard |
Fix bug with task interval using fixed_point value for duration items
|
file |
diff |
annotate
|
| Thu, 16 Aug 2012 18:28:23 +0100 |
Mario de Sousa |
Remove remaining signed/unsigned comparison error messages when compiling.
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 15:50:49 +0100 |
Mario de Sousa |
Constant folding for IL.
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 22:34:51 +0100 |
Mario de Sousa |
cleaning up code. Changing HUGE_VAL to INFINITY.
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 16:56:36 +0100 |
Mario de Sousa |
Fixing includes to define INTxx_MAX etc...
|
file |
diff |
annotate
|
| Sat, 14 Jul 2012 11:09:26 +0200 |
Manuele Conti |
Add remove_from_candidate_datatype_list method using constant_folding results.
|
file |
diff |
annotate
|
| Tue, 19 Jun 2012 18:55:43 +0100 |
Mario de Sousa |
fix typo.
|
file |
diff |
annotate
|
| Tue, 19 Jun 2012 11:23:30 +0100 |
Mario de Sousa |
fix parsing of non base 10 constant values.
|
file |
diff |
annotate
|
| Mon, 18 Jun 2012 16:11:00 +0100 |
Mario de Sousa |
determine const value of hex, octal and bin literals correctly.
|
file |
diff |
annotate
|
| Fri, 15 Jun 2012 19:54:33 +0100 |
Mario de Sousa |
Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc
|
file |
diff |
annotate
|
| Wed, 13 Jun 2012 19:43:12 +0100 |
Mario de Sousa |
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
|
file |
diff |
annotate
|
| Wed, 13 Jun 2012 14:07:41 +0100 |
Mario de Sousa |
Add support for -INT64_MIN values in literals.
|
file |
diff |
annotate
|
| Tue, 12 Jun 2012 22:46:51 +0200 |
Manuele Conti |
Add missing set overflow flag.
|
file |
diff |
annotate
|
| Tue, 12 Jun 2012 22:32:09 +0200 |
Manuele Conti |
Fix extract_integer_value.
|
file |
diff |
annotate
|
| Mon, 11 Jun 2012 15:58:44 +0100 |
Mario de Sousa |
Fix 'overflow' detection for real64.
|
file |
diff |
annotate
|
| Sun, 10 Jun 2012 21:51:16 +0100 |
Mario de Sousa |
small bug fix.
|
file |
diff |
annotate
|
| Sun, 10 Jun 2012 21:28:21 +0200 |
Manuele Conti |
Fix compare expression in constat folding class.
|
file |
diff |
annotate
|
| Sun, 10 Jun 2012 21:47:15 +0100 |
Mario de Sousa |
Fix extract_real (thanks Manuele), and add check for overflow.
|
file |
diff |
annotate
|
| Sun, 10 Jun 2012 15:54:10 +0100 |
Mario de Sousa |
cleaning up the code...
|
file |
diff |
annotate
|
| Sun, 10 Jun 2012 15:38:24 +0100 |
Mario de Sousa |
Fix remaining overflow checks.
|
file |
diff |
annotate
|
| Sat, 09 Jun 2012 22:58:43 +0100 |
Mario de Sousa |
remove incorrect include file.
|
file |
diff |
annotate
|
| Sat, 09 Jun 2012 22:55:29 +0100 |
Mario de Sousa |
Correctly implement MOD operation and overflow checks (still missing uint * / MOD).
|
file |
diff |
annotate
|
| Fri, 08 Jun 2012 19:47:45 +0100 |
Mario de Sousa |
cosmetic changes.
|
file |
diff |
annotate
|
| Fri, 08 Jun 2012 19:44:32 +0100 |
Mario de Sousa |
Add data structure for storing overflow of constant values.
|
file |
diff |
annotate
|
| Wed, 06 Jun 2012 16:39:54 +0100 |
Mario de Sousa |
make the compiler platform independent (i.e. no longer assume sizeof(double)==8).
|
file |
diff |
annotate
|
| Wed, 06 Jun 2012 13:28:50 +0100 |
Mario de Sousa |
create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!
|
file |
diff |
annotate
|
| Wed, 06 Jun 2012 00:20:06 +0200 |
Manuele Conti |
Update constant folding: fixing minor bug.
|
file |
diff |
annotate
|
| Wed, 06 Jun 2012 12:39:32 +0100 |
Mario de Sousa |
Fix a few bugs of previous commit.
|
file |
diff |
annotate
|
| Tue, 05 Jun 2012 19:17:29 +0200 |
Manuele Conti |
Start constant_folding class.
|
file |
diff |
annotate
|