diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index cfbe0b050b5..23f2ea022db 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -3660,7 +3660,7 @@ (define_split [(set (match_operand 0 "any_fp_register_operand") - (match_operand 1 "memory_operand"))] + (match_operand 1 "nonimmediate_operand"))] "reload_completed && (GET_MODE (operands[0]) == TFmode || GET_MODE (operands[0]) == XFmode @@ -3672,7 +3672,7 @@ (define_split [(set (match_operand 0 "any_fp_register_operand") - (float_extend (match_operand 1 "memory_operand")))] + (float_extend (match_operand 1 "nonimmediate_operand")))] "reload_completed && (GET_MODE (operands[0]) == TFmode || GET_MODE (operands[0]) == XFmode diff --git a/gcc/testsuite/gcc.target/i386/pr79593.c b/gcc/testsuite/gcc.target/i386/pr79593.c new file mode 100644 index 00000000000..c1166341854 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr79593.c @@ -0,0 +1,17 @@ +/* PR target/79593 */ +/* { dg-do compile } */ +/* { dg-options "-Ofast -mfpmath=387" } */ + +extern float global_data[1024]; + +static long double MIN (long double a, long double b) { return a < b ? a : b; } +static long double MAX (long double a, long double b) { return a > b ? a : b; } + +float bar (void) +{ + long double delta = (global_data[0]); + + return (MIN (MAX (delta, 0.0l), 1.0l)); +} + +/* { dg-final { scan-assembler-not "fld\[ \t\]+%st" } } */