gdb/testsuite/gdb.ada/float-bits.exp

   1 # Copyright 2022-2024 Free Software Foundation, Inc.
   2 #
   3 # This program is free software; you can redistribute it and/or modify
   4 # it under the terms of the GNU General Public License as published by
   5 # the Free Software Foundation; either version 3 of the License, or
   6 # (at your option) any later version.
   7 #
   8 # This program is distributed in the hope that it will be useful,
   9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 # GNU General Public License for more details.
  12 #
  13 # You should have received a copy of the GNU General Public License
  14 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  15
  16 # Test floating-point literal extension.
  17
  18 load_lib "ada.exp"
  19
  20 require allow_ada_tests
  21
  22 standard_ada_testfile prog
  23
  24 if {[gdb_compile_ada "${srcfile}" "${binfile}" executable {debug}] != ""} {
  25     return -1
  26 }
  27
  28 # Given a floating point EXPRESSION, return the size of the result.
  29
  30 proc float_size { expression } {
  31
  32     set size 0
  33     gdb_test_multiple "ptype ${expression}" "" {
  34         -re -wrap "<16-byte float>" {
  35             set size 16
  36         }
  37         -re -wrap "<12-byte float>" {
  38             set size 12
  39         }
  40         -re -wrap "<\\d+-byte float>" {
  41             # Assume 8 for anything less than or equal to 8.
  42             set size 8
  43         }
  44     }
  45
  46     return $size
  47 }
  48
  49 clean_restart ${testfile}
  50
  51 set bp_location [gdb_get_line_number "BREAK" ${testdir}/prog.adb]
  52 runto "prog.adb:$bp_location"
  53
  54 gdb_test "print 16f#41b80000#" " = 23.0"
  55 gdb_test "print val_float" " = 23.0"
  56 gdb_test "print val_float := 16f#41b80000#" " = 23.0"
  57 gdb_test "print val_float" " = 23.0" \
  58     "print val_float after assignment"
  59
  60 gdb_test "print 16lf#bc0d83c94fb6d2ac#" " = -2.0e-19"
  61 gdb_test "print val_double" " = -2.0e-19"
  62 gdb_test "print val_double := 16lf#bc0d83c94fb6d2ac#" " = -2.0e-19"
  63 gdb_test "print val_double" " = -2.0e-19" \
  64     "print val_double after assignment"
  65
  66 # Fetch the size of a compiler-generated long double.
  67 set compiler_long_double_size [float_size "long_long_float" ]
  68
  69 # Fetch the size of an internal long double type in GDB.
  70 set gdb_long_double_size [float_size "16llf#0#" ]
  71
  72 # Different architectures use different long double formats.  For
  73 # example, IEEE quad versus i387 long doubles.  Account for that in the
  74 # tests below.
  75
  76 # Get the used long double format.
  77 set long_double_format ""
  78 set cmd "maint print architecture"
  79 gdb_test_multiple $cmd  "" {
  80     -re "^[string_to_regexp $cmd](?=\r\n)" {
  81         exp_continue
  82     }
  83     -re "^\r\ngdbarch_dump: long_double_format = (\[^\r\n\]*)(?=\r\n)" {
  84         set long_double_format $expect_out(1,string)
  85         exp_continue
  86     }
  87     -re "^\r\n$gdb_prompt $" {
  88         pass $gdb_test_name
  89     }
  90     -re "^\r\n(\[^\r\n\]*)(?=\r\n)" {
  91         exp_continue
  92     }
  93 }
  94
  95 # Set default values for 128-bit IEEE quad long doubles.
  96 set valid_long_double "16llf#4000921fb54442d18469898cc51701b8#"
  97 set printed_long_double "3.1415926535897932384626433832795028"
  98 set invalid_long_double ""
  99 set has_invalid_long_double 0
 100
 101 switch -glob $long_double_format {
 102     floatformat_ibm_long_double_* {
 103         set w1 c1e1c00000000000
 104         set w2 4544adf4b7320335
 105         switch $long_double_format {
 106             floatformat_ibm_long_double_big {
 107                 set valid_long_double "16llf#$w2$w1#"
 108             }
 109             floatformat_ibm_long_double_little {
 110                 set valid_long_double "16llf#$w1$w2#"
 111             }
 112         }
 113         set printed_long_double "50000000000000000000000000.0"
 114     }
 115 }
 116
 117 if { [istarget x86_64-*-* ] || [istarget i?86-*-*] } {
 118     # i387 long double have invalid values
 119     set has_invalid_long_double 1
 120     if { $compiler_long_double_size == 16 } {
 121         # 5.0e+25 in i387 128-bit long double.
 122         set valid_long_double "16llf#7ffff7ff4054a56fa5b99019a5c8#"
 123         set invalid_long_double "16llf#a56fa5b99019a5c800007ffff7ff4054#"
 124         set printed_long_double "5.0e\\+25"
 125     } elseif { $compiler_long_double_size == 12 } {
 126         # 5.0e+25 in i387 80-bit long double.
 127         set valid_long_double "16llf#56554054a56fa5b99019a5c8#"
 128         set invalid_long_double "16llf#9019a5c800007ffff7ff4054#"
 129         set printed_long_double "5.0e\\+25"
 130     }
 131 }
 132
 133 # Exercise GDB-side long doubles.
 134 if { $gdb_long_double_size > 8 } {
 135     gdb_test "print ${valid_long_double}" " = ${printed_long_double}"
 136     gdb_test "print \$foo:=${valid_long_double}" "= ${printed_long_double}"
 137     gdb_test "print \$foo" "= ${printed_long_double}" \
 138         "print internal long double variable after assignment"
 139 }
 140
 141 # Exercise compiler-side long doubles.
 142 if { $compiler_long_double_size > 8 } {
 143     gdb_test "print val_long_double" " = 5.0e\\+25"
 144     gdb_test "print val_long_double := ${valid_long_double}" \
 145         " = ${printed_long_double}"
 146     gdb_test "print val_long_double" " = ${printed_long_double}" \
 147         "print val_long_double after assignment"
 148 }
 149
 150 # If the target has invalid long double values, test it now.
 151 if { $has_invalid_long_double } {
 152     gdb_test "print ${invalid_long_double}" \
 153         " = <invalid float value>" "print invalid long double value"
 154 }