diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-06 13:34:23 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-07 10:37:28 +0200 |
commit | 4e3d57e84a0ebf96723fc7a6deeb9fd27f56770a (patch) | |
tree | a568fc562e023e97f4a5ae5487eaa4ba31fc0dfc /arm/Asm.v | |
parent | 5148617b7961c1d67acb70bfc783bc5616537486 (diff) | |
download | compcert-4e3d57e84a0ebf96723fc7a6deeb9fd27f56770a.tar.gz compcert-4e3d57e84a0ebf96723fc7a6deeb9fd27f56770a.zip |
x86: wrong expansion of __builtin_fmadd et al
There was a misunderstanding on the asm syntax for 3-operand instructions
such as vfmadd132: when the Intel manual reads
vfmadd132 res, arg2, arg3
the corresponding GNU asm syntax is
vfmadd132 arg3, arg2, res
but not
vfmadd132 arg2, arg3, res
Closes: #188
Diffstat (limited to 'arm/Asm.v')
0 files changed, 0 insertions, 0 deletions