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 /lib/Zbits.v | |
| parent | 5148617b7961c1d67acb70bfc783bc5616537486 (diff) | |
| download | compcert-kvx-4e3d57e84a0ebf96723fc7a6deeb9fd27f56770a.tar.gz compcert-kvx-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 'lib/Zbits.v')
0 files changed, 0 insertions, 0 deletions