diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-18 15:16:11 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-30 23:29:28 +0200 |
| commit | 80b345a468092d78a422ee0c1cdaad46d0f6fa81 (patch) | |
| tree | 90186433e43bba51f9e1556ae41e08a7a0a5aa42 /validation/optim/kill-stores1.c | |
| parent | a3e062b5803154e05f127a91b2aba6dcc51eb3d1 (diff) | |
| download | sparse-dev-80b345a468092d78a422ee0c1cdaad46d0f6fa81.tar.gz | |
kds: add testcases for kill_dead_stores()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/kill-stores1.c')
| -rw-r--r-- | validation/optim/kill-stores1.c | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/validation/optim/kill-stores1.c b/validation/optim/kill-stores1.c new file mode 100644 index 00000000..09537872 --- /dev/null +++ b/validation/optim/kill-stores1.c @@ -0,0 +1,49 @@ +struct s { + int c[1]; +}; + +static struct s x, y; +static int p; + +static void foo0(void) +{ + (x = y).c; // x = y; +} + +static void foo1(void) +{ + int *t = (x = y).c; // x = y; +} + +static void foo2(void) +{ + (x = y).c + 1; // x = y; +} + +static void foo3(void) +{ + (x = y).c[0]; // x = y; +} + +static void foo4(void) +{ + (p ? x : y).c[0]; // ; +} + +static void foo5(void) +{ + (p, y).c[0]; // ; +} + +/* + * check-name: kill-stores1 + * check-command: test-linearize -Wno-decl $file + * check-known-to-fail + * + * check-output-ignore + * check-output-pattern(4): load\\. + * check-output-pattern(4): load\\..*0\\[y\\] + * check-output-pattern(4): store\\. + * check-output-pattern(4): store\\..*0\\[x\\] + * check-output-excludes: select\\. + */ |