diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-17 08:55:44 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-17 09:25:43 +0200 |
| commit | 8a92181a03e1c6c6ce723a8edddc4b786ad3cebc (patch) | |
| tree | 7fd9712b99e874367c6ea9f1f754bd4c25cf4c67 /validation | |
| parent | 3a729e93ba9f435855f0ca0cccafaa0c1648fb84 (diff) | |
| parent | 248c2a6a726af7c2c6089c48e3a1da47611a9cb6 (diff) | |
| download | sparse-dev-8a92181a03e1c6c6ce723a8edddc4b786ad3cebc.tar.gz | |
Merge branches 'optim-shl-lsr' and 'optim-trunc-trunc' into tip
* add simplification of TRUNC(TRUNC((x))
* add simplification of SHL(LSR(x), S), S)
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/optim/trunc-trunc.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/validation/optim/trunc-trunc.c b/validation/optim/trunc-trunc.c new file mode 100644 index 00000000..6dc50aee --- /dev/null +++ b/validation/optim/trunc-trunc.c @@ -0,0 +1,12 @@ +char foo(int a) +{ + return ((((short) a) + 1) - 1); +} + +/* + * check-name: trunc-trunc + * check-command: test-linearize -Wno-decl $file + * + * check-output-ignore + * check-output-pattern(1): trunc\\. + */ |