diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-23 18:45:51 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-26 18:44:14 +0100 |
commit | d851af2536a093d9ff257df55a3a67a0f381a6b6 (patch) | |
tree | d3a7902a2adf861062119f3c043c1f87fa58fcad /test/spass/sharing.h | |
parent | 929ea48c136e4c07900e3f23995582f5f88f4f6d (diff) | |
download | compcert-d851af2536a093d9ff257df55a3a67a0f381a6b6.tar.gz compcert-d851af2536a093d9ff257df55a3a67a0f381a6b6.zip |
AArch64: clarify the printing of extending-register arithmetic operations
The extended register is now printed as an X register if the
extension mode is UXTX, and as a W register otherwise.
Diffstat (limited to 'test/spass/sharing.h')
0 files changed, 0 insertions, 0 deletions