On Tue, Jan 12, 2016 at 7:18 PM, Joseph Myers <[email protected]> wrote:
> On Tue, 12 Jan 2016, Uros Bizjak wrote:
>
>> I think that following definition describes -msse -mfpmath=sse
>> situation in the most elegant way. We can just declare that the
>> precision is not known in this case:
Attached patch rewrites FLT_EVAL_METHOD to account for TARGET_SSE2.
2016-01-13 Uros Bizjak <[email protected]>
* config/i386/i386.h (TARGET_FLT_EVAL_METHOD): Return -1 for
TARGET_SSE_MATH without TARGET_SSE2. Rewrite.
Bootstrapped and regression tested on x86_64-linux-gnu {,-m32},
committed to mainline SVN.
Uros.
Index: i386.h
===================================================================
--- i386.h (revision 232293)
+++ i386.h (working copy)
@@ -693,8 +693,11 @@
only SSE, rounding is correct; when using both SSE and the FPU,
the rounding precision is indeterminate, since either may be chosen
apparently at random. */
-#define TARGET_FLT_EVAL_METHOD \
- (TARGET_MIX_SSE_I387 ? -1 : (TARGET_80387 && !TARGET_SSE_MATH) ? 2 : 0)
+#define TARGET_FLT_EVAL_METHOD \
+ (TARGET_80387
\
+ ? (TARGET_MIX_SSE_I387 ? -1 \
+ : (TARGET_SSE_MATH ? (TARGET_SSE2 ? 0 : -1) : 2))
\
+ : 0)
/* Whether to allow x87 floating-point arithmetic on MODE (one of
SFmode, DFmode and XFmode) in the current excess precision
