diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-15 20:04:25 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-30 23:29:28 +0200 |
| commit | 6ad43a13c2e2b556bdd697a2c47b449cbaa80262 (patch) | |
| tree | 4c15cc74cba85db266727ace74acb9bc9b562267 /validation/optim | |
| parent | 4723d27700f35d172053c725488a84ffdac9891f (diff) | |
| download | sparse-dev-6ad43a13c2e2b556bdd697a2c47b449cbaa80262.tar.gz | |
kds: shortcut for kill_dead_stores()
In kill_dead_stores(), instructions must be scanned backward
in order to check if the store is dead and can be removed.
However, if the corresponding pseudo has a single user,
this user is a store and the it correspond to a local symbol,
then it's not needed to scan, the store can be directly be removed.
This is somehow important for some semi-pathological case where
some BB contains a lot of dead stores because the current way is
annoyingly O(n^2).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim')
0 files changed, 0 insertions, 0 deletions