| commit | 892c4f37f70d14cec21c1d95eb80b1f770c9b260 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 28 Jan 2014 10:16:24 +0000 (28 11:16 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 31 Mar 2014 12:08:03 +0000 (31 14:08 +0200) | ||
| tree | b71cb9f06d47a186d697c2bb520d529b4c40d18f | treesnapshot (tar.gz zip) |
| parent | 6954d8c5606589e688c46f4a14532bfd16c8f1c4 | commitdiff |
add encapsulate_dynamic_control option
With this option turned on, any dynamic control is encapsulated
in a macro statement.
We currently detect the dynamic control on our way back up the pet_tree.
This means that we first create scops that may contain dynamic control and
then discard and replace them with a single statement scop.
This process could be optimized by detecting some dynamic control
beforehand.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
With this option turned on, any dynamic control is encapsulated
in a macro statement.
We currently detect the dynamic control on our way back up the pet_tree.
This means that we first create scops that may contain dynamic control and
then discard and replace them with a single statement scop.
This process could be optimized by detecting some dynamic control
beforehand.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
15 files changed:
| include/pet.h | diffblobblamehistory | |
| options.c | diffblobblamehistory | |
| options.h | diffblobblamehistory | |
| pet_test.sh.in | diffblobblamehistory | |
| tests/encapsulate/dynamic_condition.c | [new file with mode: 0644] | blob |
| tests/encapsulate/dynamic_condition.scop | [new file with mode: 0644] | blob |
| tests/encapsulate/for_while.c | [new file with mode: 0644] | blob |
| tests/encapsulate/for_while.scop | [new file with mode: 0644] | blob |
| tests/encapsulate/loop7.c | [new file with mode: 0644] | blob |
| tests/encapsulate/loop7.scop | [new file with mode: 0644] | blob |
| tests/encapsulate/while.c | [new file with mode: 0644] | blob |
| tests/encapsulate/while.scop | [new file with mode: 0644] | blob |
| tests/encapsulate/while_affine.c | [new file with mode: 0644] | blob |
| tests/encapsulate/while_affine.scop | [new file with mode: 0644] | blob |
| tree2scop.c | diffblobblamehistory |