diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-12-05 14:48:18 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2017-12-05 14:48:18 +0100 |
| commit | 90b76a0842b7f080893dd70a7c0c6bc878f4056b (patch) | |
| tree | 277edd1eecf7bc7574a4b4dc3b925e3479dab8fd /doc/ccomp.1 | |
| parent | 442e82e6ffc6958192f73382d2270e926ead9c80 (diff) | |
| download | compcert-kvx-90b76a0842b7f080893dd70a7c0c6bc878f4056b.tar.gz compcert-kvx-90b76a0842b7f080893dd70a7c0c6bc878f4056b.zip | |
Optimization for division by one during constant propagation (#39)
Signed and unsigned divisions by literal 1 are already optimized away during the Selection phase. This pull request also optimizes those divisions when the 1 divisor is produced by constant propagation.
Diffstat (limited to 'doc/ccomp.1')
0 files changed, 0 insertions, 0 deletions