diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-02-04 17:27:33 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-02-08 17:11:46 +0100 |
commit | 14aad5e8f330423427e63265dcb9bff45a3f55f3 (patch) | |
tree | 6bb84e8abfd2a8dced23388e712f909cda0cc16f /cparser/Diagnostics.mli | |
parent | de0ff0bcb9df3dba542d22336e58e70ba8bda947 (diff) | |
download | compcert-14aad5e8f330423427e63265dcb9bff45a3f55f3.tar.gz compcert-14aad5e8f330423427e63265dcb9bff45a3f55f3.zip |
x86 ConstpropOp.addr_strength_reduction: always check validity of resulting addressing
In the original code, the addressing_valid check is skipped if we are in 32 bits, because we know the check is always true. This is correct but not obvious nor future-proof. (In the future we may want to make addressing_valid more strict.)
This commit restructures ConstpropOp.addr_strength_reduction so that the addressing_valid check is always performed.
Diffstat (limited to 'cparser/Diagnostics.mli')
0 files changed, 0 insertions, 0 deletions