public inbox for gdb-prs@sourceware.org
help / color / mirror / Atom feed
* [Bug exp/27051] New: maintenance command to show floating point emulation precision
@ 2020-12-11 13:08 vries at gcc dot gnu.org
  2024-01-10 19:12 ` [Bug exp/27051] " ssbssa at sourceware dot org
  0 siblings, 1 reply; 2+ messages in thread
From: vries at gcc dot gnu.org @ 2020-12-11 13:08 UTC (permalink / raw)
  To: gdb-prs

https://sourceware.org/bugzilla/show_bug.cgi?id=27051

            Bug ID: 27051
           Summary: maintenance command to show floating point emulation
                    precision
           Product: gdb
           Version: HEAD
            Status: NEW
          Severity: normal
          Priority: P2
         Component: exp
          Assignee: unassigned at sourceware dot org
          Reporter: vries at gcc dot gnu.org
  Target Milestone: ---

I just did commit 9cd7a95a2bb9ba9d5a6af022e5454c8ce78aee56 "[gdb/testsuite] Fix
gdb.base/float128.exp with --with-mpfr=no", where we do:
...
+       if { $mpfr_supported == 0 } {
+          # If the host platform has native 128-bit float support (as is
+          # the case for some versions of s390 and powerpc), the
+          # "print large128" test should be passing, even without MPFR
+          # support.  So, in those cases we should have fail here rather than
+          # unsupported.  However, given that we don't have a way to readily
+          # test for this, we fall back to unsupported.
+          unsupported "$test (Missing MPFR support)"
+       } else {
...

In principle, gdb could make a statement through some maintenance command about
what the expected host-side float point precision is. [ I'm sort of hoping
there already is one, and I haven't found it yet. ]

Then, using this maintenance command we could make this test more accurate.

-- 
You are receiving this mail because:
You are on the CC list for the bug.

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [Bug exp/27051] maintenance command to show floating point emulation precision
  2020-12-11 13:08 [Bug exp/27051] New: maintenance command to show floating point emulation precision vries at gcc dot gnu.org
@ 2024-01-10 19:12 ` ssbssa at sourceware dot org
  0 siblings, 0 replies; 2+ messages in thread
From: ssbssa at sourceware dot org @ 2024-01-10 19:12 UTC (permalink / raw)
  To: gdb-prs

https://sourceware.org/bugzilla/show_bug.cgi?id=27051

Hannes Domani <ssbssa at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ssbssa at sourceware dot org

--- Comment #1 from Hannes Domani <ssbssa at sourceware dot org> ---
Since MPFR is no mandatory, can this be closed?

-- 
You are receiving this mail because:
You are on the CC list for the bug.

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2024-01-10 19:12 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-12-11 13:08 [Bug exp/27051] New: maintenance command to show floating point emulation precision vries at gcc dot gnu.org
2024-01-10 19:12 ` [Bug exp/27051] " ssbssa at sourceware dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).