diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-06 13:34:23 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-08-06 14:26:20 +0200 |
commit | 2ce5e496b8d4c838c87c9f00a84ed23d1abc26fc (patch) | |
tree | a568fc562e023e97f4a5ae5487eaa4ba31fc0dfc /flocq/Core | |
parent | ec59c3def2aa2ea3138ea9c2f620b9f67f9eef5a (diff) | |
download | compcert-2ce5e496b8d4c838c87c9f00a84ed23d1abc26fc.tar.gz compcert-2ce5e496b8d4c838c87c9f00a84ed23d1abc26fc.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 'flocq/Core')
0 files changed, 0 insertions, 0 deletions