diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-07 21:50:27 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-13 09:34:46 +0800 |
| commit | f4615a44a2ab133b90a9c9eb9bc7861fa66dfa46 (patch) | |
| tree | 4889a4792818b1217bcb6dd9bddcab07d4bf475d /linearize.h | |
| parent | f1252a541ac87e814018c0dd01c39ea6356530eb (diff) | |
| download | sparse-dev-f4615a44a2ab133b90a9c9eb9bc7861fa66dfa46.tar.gz | |
simplify '(x / -1)' to '-x' (but only for signed division)
A previous patch added the simplification for multiply by -1
but we can do the same for the signed divide.
This patch add this simplification
Also add the corresponding test cases.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'linearize.h')
0 files changed, 0 insertions, 0 deletions