--- Comment #4 from hjl dot tools at gmail dot com 2010-08-21 04:14 ---
(In reply to comment #2)
> How are they are not commutative with respect of the NaNs? Is it only when
> both are operands are NaNs, it causes an issue?
>
Yes, only when both operands and NaNs with SSE FP.
--
--- Comment #3 from hjl dot tools at gmail dot com 2010-08-21 04:10 ---
(In reply to comment #2)
> How are they are not commutative with respect of the NaNs? Is it only when
> both are operands are NaNs, it causes an issue?
>
>
> If I read your testcase correctly, x87 and SSE both d
--- Comment #2 from pinskia at gcc dot gnu dot org 2010-08-21 03:58 ---
How are they are not commutative with respect of the NaNs? Is it only when
both are operands are NaNs, it causes an issue?
If I read your testcase correctly, x87 and SSE both don't do IEEE FP correctly
with resp
--- Comment #1 from hjl dot tools at gmail dot com 2010-08-21 03:54 ---
[...@gnu-6 intrin]$ cat mulpd.c
#include
#include
#include
#include
__m128d a;
__m128d b;
uint64_t av[] = {0x0, 0xfff8ULL};
uint64_t bv[] = {0xffefULL, 0x7fff2d4db6efd985ULL};
uint64_t ex