diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2016-12-06 10:24:44 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-13 14:16:51 +0100 |
| commit | 425aca24c35c02aad7e779d5eb7500cba2123238 (patch) | |
| tree | aaf76ac1eeba3aa9ed4e94504de08499cff619ce /validation/optim/canonical-add.c | |
| parent | 1f6cd6fe94fc440a9bbd9c2f1070bd016e550be4 (diff) | |
| download | sparse-dev-425aca24c35c02aad7e779d5eb7500cba2123238.tar.gz | |
add test cases for canonicalization of add/sub chains
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/canonical-add.c')
| -rw-r--r-- | validation/optim/canonical-add.c | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/validation/optim/canonical-add.c b/validation/optim/canonical-add.c new file mode 100644 index 00000000..b7035e4c --- /dev/null +++ b/validation/optim/canonical-add.c @@ -0,0 +1,55 @@ +int xpc_add_ypc(int x, int y) +{ + return (x + 1) + (y + 1); +} + +int xmc_add_ypc(int x, int y) +{ + return (x - 1) + (y + 1); +} + +int xpc_add_ymc(int x, int y) +{ + return (x + 1) + (y - 1); +} + +int xmc_add_ymc(int x, int y) +{ + return (x - 1) + (y - 1); +} + +int xpc_sub_ypc(int x, int y) +{ + return (x + 1) - (y + 1); +} + +int xmc_sub_ypc(int x, int y) +{ + return (x - 1) - (y + 1); +} + +int xpc_sub_ymc(int x, int y) +{ + return (x + 1) - (y - 1); +} + +int xmc_sub_ymc(int x, int y) +{ + return (x - 1) - (y - 1); +} + +/* + * check-name: canonical-add + * check-description: + * 1) verify that constants in add/sub chains are + * pushed at the right of the whole chain. + * For example '(a + 1) + b' must be canonicalized into '(a + b) + 1' + * This is needed for '(a + 1) + b - 1' to be simplified into '(a + b)' + * + * check-command: test-linearize -Wno-decl $file + * check-known-to-fail + * check-output-ignore + + * check-output-excludes: \$1 + * check-output-excludes: \$-1 + */ |