diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-17 09:43:34 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-06-17 13:58:35 +0200 |
| commit | 37cebaabf65fe3961b9932c6582d15b3b676cefe (patch) | |
| tree | b96ff1252181269ba5ae8fdad3cea9784c571b52 /doc | |
| parent | ddb2c968e6c57d2117434f169471d87f643d831a (diff) | |
| download | compcert-kvx-37cebaabf65fe3961b9932c6582d15b3b676cefe.tar.gz compcert-kvx-37cebaabf65fe3961b9932c6582d15b3b676cefe.zip | |
Perform constant propagation and strength reduction on conditional moves
A conditional move whose condition is statically known becomes a regular move.
Otherwise, the condition can sometimes be simplified by strength reduction.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions