| commit | 2e9471d51289b7b67090ee06c475fe7d2b8e6ede | |
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | |
| Thu, 16 Feb 2017 04:57:04 +0000 (16 05:57 +0100) | ||
| committer | Christopher Li <sparse@chrisli.org> | |
| Thu, 16 Feb 2017 12:43:10 +0000 (16 20:43 +0800) | ||
| tree | 48b21f93eed5b7eeda5f9d490dcdb0454b3b78fb | treesnapshot (tar.gz zip) |
| parent | c3420f1e8ad7af77c03c2946e826b5ad4692601e | commitdiff |
add killing of stores
OP_STOREs were ignored by kill_instruction() but if it is force-killed
because the basic block it belong became unreachable then we need to
adjust the usage of its operands.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
OP_STOREs were ignored by kill_instruction() but if it is force-killed
because the basic block it belong became unreachable then we need to
adjust the usage of its operands.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
| simplify.c | diffblobblamehistory | |
| validation/kill-store.c | [new file with mode: 0644] | blob |