1 # Copyright 2004-2021 Free Software Foundation, Inc.
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.
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.
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/>.
18 if { [skip_ada_tests] } { return -1 }
20 standard_ada_testfile fixed_points
22 foreach_with_prefix scenario {all minimal} {
23 set flags [list debug additional_flags=-fgnat-encodings=$scenario]
24 if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
28 clean_restart ${testfile}
30 set bp_location [gdb_get_line_number "Set breakpoint here" ${testdir}/fixed_points.adb]
31 runto "fixed_points.adb:$bp_location"
33 # Fixed point subtypes:
35 gdb_test "print base_object" \
37 "p on a fixed point type"
39 gdb_test "print subtype_object" \
41 "p on a subtype fixed point type"
43 gdb_test "print new_type_object" \
45 "p on a new fixed point type"
49 gdb_test "print Overprecise_Object" \
52 gdb_test_multiple "ptype Overprecise_Object" "" {
53 -re "type = <2-byte fixed point \\(small = 135791357913579/1000000000000000\\)>\r\n$gdb_prompt $" {
56 -re "type = delta 0.135791\r\n$gdb_prompt $" {
57 # The (legacy) output we obtain when the compiler described
58 # our fixed point types using the GNAT encodings rather than
59 # standard DWARF. OK as well.
66 gdb_test "print fp1_var" \
69 gdb_test_multiple "ptype fp1_var" "" {
70 -re "type = <1-byte fixed point \\(small = 1/16\\)>\r\n$gdb_prompt $" {
73 -re "type = delta 0\\.1 <'small = 0\\.0625>\r\n$gdb_prompt $" {
74 # The (legacy) output we obtain when the compiler described
75 # our fixed point types using the GNAT encodings rather than
76 # standard DWARF. OK as well.
81 gdb_test "print fp2_var" \
84 gdb_test_multiple "ptype fp2_var" "" {
85 -re "type = <8-byte fixed point \\(small = 1/100\\)>\r\n$gdb_prompt $" {
88 -re "type = delta 0\\.01\r\n$gdb_prompt $" {
89 # The (legacy) output we obtain when the compiler described
90 # our fixed point types using the GNAT encodings rather than
91 # standard DWARF. OK as well.
96 gdb_test "print fp3_var" \
99 gdb_test_multiple "ptype fp3_var" "" {
100 -re "type = <1-byte fixed point \\(small = 1/30\\)>\r\n$gdb_prompt $" {
103 -re "type = delta 0\\.1 <'small = 0\\.0333333>\r\n$gdb_prompt $" {
104 # The (legacy) output we obtain when the compiler described
105 # our fixed point types using the GNAT encodings rather than
106 # standard DWARF. OK as well.
111 # One of the benefits of minimal encoding is that operations work
113 if {$scenario == "minimal"} {
114 gdb_test "print fp2_var + 0" \
116 gdb_test "print 0 + fp2_var" \
118 gdb_test "print fp2_var - 0" \
122 gdb_test "print fp4_var" $fp4
123 gdb_test "print fp4_var * 1" $fp4
124 gdb_test "print 1 * fp4_var" $fp4
125 gdb_test "print fp4_var / 1" $fp4
127 # This only started working in GCC 11.
128 if {[test_compiler_info {gcc-11-*}]} {
129 gdb_test "print fp5_var" " = 3e-19"