[Bug target/45365] X86 FP add and multiply aren't commutative

2010-08-20 Thread hjl dot tools at gmail dot com
--- 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. --

[Bug target/45365] X86 FP add and multiply aren't commutative

2010-08-20 Thread hjl dot tools at gmail dot com
--- 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

[Bug target/45365] X86 FP add and multiply aren't commutative

2010-08-20 Thread pinskia at gcc dot gnu dot org
--- 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

[Bug target/45365] X86 FP add and multiply aren't commutative

2010-08-20 Thread hjl dot tools at gmail dot com
--- 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