[Bug c/96253] New: decimal floating point missing on ARM

[tydeman at tybor dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96253

            Bug ID: 96253
           Summary: decimal floating point missing on ARM
           Product: gcc
           Version: 9.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tydeman at tybor dot com
  Target Milestone: ---

Based on the output of "gcc $CFLAGS -E -dM hello.c", I see that most of the
_Decimal32/64/128 related values are defined for ARM -std=gnu2x
-mcpu=cortex-a72 when I use gcc 9.3.0 on an ARM based computer.  Yet, when I
try to use _Decimal32/64/128 as a floating-point type, I get the error: 
decimal floating point not supported for this target.  Assuming decimal
floating point is supported for some version of ARM, what command line options
(or other things) do I need to get it?  It would be nice if the online gcc
documentation said which targets do support decimal floating point.