diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-12-01 00:10:35 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-25 00:11:53 +0100 |
| commit | e0c12f39daec8b2d13fb84e80033f7d9052374c7 (patch) | |
| tree | 2dae3f674fedb04fc38893f5a69b117fd574b533 /validation/memops | |
| parent | fece51c37252e654cd46eda5fd12938b4be7deff (diff) | |
| download | sparse-dev-e0c12f39daec8b2d13fb84e80033f7d9052374c7.tar.gz | |
kill parent's dead stores too
kill_dominated_stores() identify and remove dead stores
(stores unneeded because the same location is overwritten later
by another store) only when both stores are in the same basic block.
Slightly improve this by also handling the case when the dead store
is in a parent BB of the "live" store.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/memops')
| -rw-r--r-- | validation/memops/kill-dead-store-parent0.c | 1 | ||||
| -rw-r--r-- | validation/memops/kill-dead-store-parent2.c | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/validation/memops/kill-dead-store-parent0.c b/validation/memops/kill-dead-store-parent0.c index 1413134b..c1b2466c 100644 --- a/validation/memops/kill-dead-store-parent0.c +++ b/validation/memops/kill-dead-store-parent0.c @@ -8,7 +8,6 @@ void foo(int *ptr, int p) /* * check-name: kill-dead-store-parent0 * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-pattern(1): store diff --git a/validation/memops/kill-dead-store-parent2.c b/validation/memops/kill-dead-store-parent2.c index b563fd31..4f7b9dd9 100644 --- a/validation/memops/kill-dead-store-parent2.c +++ b/validation/memops/kill-dead-store-parent2.c @@ -19,7 +19,6 @@ l20: /* * check-name: kill-dead-store-parent2 * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-pattern(1): store |