[Bug c/60070] New: An option to disable all floating-pont

[Bug c/60070] New: An option to disable all floating-pont

[hpa at zytor dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60070

            Bug ID: 60070
           Summary: An option to disable all floating-pont
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hpa at zytor dot com

In the Linux kernel, and quite possibly in other standalone/embedded
environments, the use of any floating-point state or instructions is an error.

It would be nice to have a single option to have gcc error out on any floating
point use, rather than having to chase options.

[Bug middle-end/60070] An option to disable all floating-pont

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60070

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |middle-end

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Some targets have this option.  

Like AARCH64:
mgeneral-regs-only
Target Report RejectNegative Mask(GENERAL_REGS_ONLY)
Generate code which uses only the general registers


I rather see this as a target specific option and not a single option as it is
a target specific problem and some targets don't have floating point/vector
registers.  


Also some targets having some support for having vector/floating point in the
kernel.

[Bug middle-end/60070] An option to disable all floating-pont

[thopre01 at gcc dot gnu.org]

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

thopre01 at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |thopre01 at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |thopre01 at gcc dot gnu.org

--- Comment #2 from thopre01 at gcc dot gnu.org ---
It seems to me that the comment from Peter Anvin rather advocates for a target
independent option to check whether float are used or not. I'm actually working
on such a patch and should have soon something to show.

[Bug middle-end/60070] An option to disable all floating-pont

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
For x86_64, the option was added with PR 70738.

I don't know if this would be an useful option that is general though. Each
target will implement it differently too.