| Mon, 03 Apr 2017 22:18:22 +0100 |
Mario de Sousa |
Access elements[] in list_c through a new get_element() method.
|
file |
diff |
annotate
|
| Fri, 16 Jan 2015 12:20:14 +0000 |
mjsousa |
Do not allow constant_propagation algorithm go into infinite loop when analysing code with circular references.
|
file |
diff |
annotate
|
| Fri, 16 Jan 2015 11:17:33 +0000 |
mjsousa |
Do constant propagation of FBs instantiated in other FB or Programs, so that variable sized arrays can be declared in FBs too.
|
file |
diff |
annotate
|
| Sun, 11 Jan 2015 20:49:55 +0000 |
mjsousa |
Do constant propagation of instantiated FBs, so that variable sized arrays can be declared in FBs too.
|
file |
diff |
annotate
|
| Tue, 30 Dec 2014 23:32:04 +0000 |
mjsousa |
Add comment about bug that needs to be fixed later on.
|
file |
diff |
annotate
|
| Tue, 30 Dec 2014 23:31:36 +0000 |
mjsousa |
Break constant_folding_c in two classes: constant_folding_c and constant_propagation_c
|
file |
diff |
annotate
|
| Tue, 30 Dec 2014 22:58:52 +0000 |
mjsousa |
Add check whether the same constant var_external variable is initialised with two (or more) different constant values.
|
file |
diff |
annotate
|
| Tue, 30 Dec 2014 22:17:22 +0000 |
mjsousa |
Change algorithm for propagating VAR_GLOBAL constant values to corresponding VAR_EXTERNAL.
|
file |
diff |
annotate
|
| Sun, 28 Dec 2014 22:20:08 +0000 |
mjsousa |
Disable constant propagation again (still not working correctly)
|
file |
diff |
annotate
|
| Fri, 26 Dec 2014 16:36:06 +0000 |
mjsousa |
Fix previous commit (symtable operator[] must return a reference to the stored value!)
|
file |
diff |
annotate
|
| Fri, 26 Dec 2014 12:43:13 +0000 |
mjsousa |
Do constant propagation of configuration/resource variables, taking into account scope of variables.
|
file |
diff |
annotate
|
| Fri, 26 Dec 2014 09:39:18 +0000 |
mjsousa |
Remove debugging code left in by mistake.
|
file |
diff |
annotate
|
| Fri, 26 Dec 2014 08:09:34 +0000 |
mjsousa |
Do constant propagation inside Configurations and Resources (required for support of extension: array [1..max] OF int); (Resources is still buggy)
|
file |
diff |
annotate
|
| Thu, 25 Dec 2014 08:40:15 +0000 |
mjsousa |
Do constant folding of default initial values of datatypes.
|
file |
diff |
annotate
|
| Wed, 24 Dec 2014 13:19:53 +0000 |
mjsousa |
Do constant propagation to symbolic_variables, and correctly handle constant folding and propagation of variable declarations.
|
file |
diff |
annotate
|
| 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
|