| commit | 00103569aa4c9eae6fd99c89a03d3b1a2bae6e06 | |
| author | Sven van Haastregt <sven.vanhaastregt@arm.com> | |
| Mon, 29 Sep 2014 17:07:58 +0000 (29 18:07 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 30 Sep 2014 07:55:42 +0000 (30 09:55 +0200) | ||
| tree | 0c6317def60763a65752d5fe4202c92c0ffdcdc2 | treesnapshot (tar.gz zip) |
| parent | c73f000ccf10ec381b99498b599dc38a27508151 | commitdiff |
add ast_always_print_block option
Deep loop nests are often easier to read by humans when all for and if
bodies are printed as blocks (that is, are surrounded by braces in C).
Processing of generated code by e.g. GPUVerify also becomes easier if
braces are emitted uniformly.
The new option provides a way to always print bodies as blocks.
Signed-off-by: Sven van Haastregt <sven.vanhaastregt@arm.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Deep loop nests are often easier to read by humans when all for and if
bodies are printed as blocks (that is, are surrounded by braces in C).
Processing of generated code by e.g. GPUVerify also becomes easier if
braces are emitted uniformly.
The new option provides a way to always print bodies as blocks.
Signed-off-by: Sven van Haastregt <sven.vanhaastregt@arm.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| doc/user.pod | diffblobblamehistory | |
| include/isl/ast.h | diffblobblamehistory | |
| isl_ast.c | diffblobblamehistory | |
| isl_options.c | diffblobblamehistory | |
| isl_options_private.h | diffblobblamehistory |