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 /exportclight/Clightdefs.v | |
parent | ddb2c968e6c57d2117434f169471d87f643d831a (diff) | |
download | compcert-37cebaabf65fe3961b9932c6582d15b3b676cefe.tar.gz compcert-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 'exportclight/Clightdefs.v')
0 files changed, 0 insertions, 0 deletions