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 /cfrontend/C2C.ml | |
| parent | ec59c3def2aa2ea3138ea9c2f620b9f67f9eef5a (diff) | |
| download | compcert-kvx-2ce5e496b8d4c838c87c9f00a84ed23d1abc26fc.tar.gz compcert-kvx-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 'cfrontend/C2C.ml')
0 files changed, 0 insertions, 0 deletions