diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-17 00:12:29 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-23 08:04:19 +0800 |
| commit | 5265109dabc72cf7694b3ca9da456c832076aa00 (patch) | |
| tree | 4b40519707e0d62bf1c1ceb5f0db597461979528 /expression.c | |
| parent | 60ba2df1de54fa7da812aecf282ca14d39916bae (diff) | |
| download | sparse-dev-5265109dabc72cf7694b3ca9da456c832076aa00.tar.gz | |
CSE: use commutativity to identify equivalent instructions
By definition a commutative operation give the same result if its
operands are exchanged.
CSE can use this property when comparing instructions to find
more equivalent instructions and thus eliminate more of them..
Implement this by special-casing commutative ops in insn_compare().
Note: this come for free when all instructions are properly
canonicalized, which is not yet the case.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'expression.c')
0 files changed, 0 insertions, 0 deletions