diff options
| -rw-r--r-- | gcc/config/avr/avr.md | 16 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/avr/torture/pr115307-isinf.c | 21 |
2 files changed, 37 insertions, 0 deletions
diff --git a/gcc/config/avr/avr.md b/gcc/config/avr/avr.md index d4fcff4..75d35d5 100644 --- a/gcc/config/avr/avr.md +++ b/gcc/config/avr/avr.md @@ -292,6 +292,8 @@ (define_mode_iterator SPLIT34 [SI SF PSI SQ USQ SA USA]) +(define_mode_iterator SFDF [SF DF]) + ;; Where the most significant bit is located. (define_mode_attr MSB [(QI "7") (QQ "7") (UQQ "7") (HI "15") (HQ "15") (UHQ "15") (HA "15") (UHA "15") @@ -10047,6 +10049,20 @@ (const_int 1) (match_dup 2)))]) + +;; Work around PR115307: Early passes expand isinf/f/l to a bloat. +;; These passes do not consider costs, and there is no way to +;; hook in or otherwise disable the generated bloat. + +;; isinfsf2 isinfdf2 +(define_expand "isinf<mode>2" + [(parallel [(match_operand:HI 0) + (match_operand:SFDF 1)])] + "" + { + FAIL; + }) + ;; Fixed-point instructions (include "avr-fixed.md") diff --git a/gcc/testsuite/gcc.target/avr/torture/pr115307-isinf.c b/gcc/testsuite/gcc.target/avr/torture/pr115307-isinf.c new file mode 100644 index 0000000..6368bd2 --- /dev/null +++ b/gcc/testsuite/gcc.target/avr/torture/pr115307-isinf.c @@ -0,0 +1,21 @@ +/* { dg-do compile } */ + +int call_isinff (float f) +{ + int isinff (float); + return isinff (f); +} + +int call_isinf (double f) +{ + int isinf (double); + return isinf (f); +} + +int call_isinfl (long double f) +{ + int isinfl (long double); + return isinfl (f); +} + +/* { dg-final { scan-assembler-not "unord" } } */ |