1 /* Self tests for gdbarch for GDB, the GNU debugger.
3 Copyright (C) 2017 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
23 #include "selftest-arch.h"
25 #include "gdbthread.h"
27 #include "target-float.h"
28 #include "common/def-vector.h"
32 /* Test gdbarch methods register_to_value and value_to_register. */
35 register_to_value_test (struct gdbarch *gdbarch)
37 const struct builtin_type *builtin = builtin_type (gdbarch);
38 struct type *types[] =
40 builtin->builtin_void,
41 builtin->builtin_char,
42 builtin->builtin_short,
44 builtin->builtin_long,
45 builtin->builtin_signed_char,
46 builtin->builtin_unsigned_short,
47 builtin->builtin_unsigned_int,
48 builtin->builtin_unsigned_long,
49 builtin->builtin_float,
50 builtin->builtin_double,
51 builtin->builtin_long_double,
52 builtin->builtin_complex,
53 builtin->builtin_double_complex,
54 builtin->builtin_string,
55 builtin->builtin_bool,
56 builtin->builtin_long_long,
57 builtin->builtin_unsigned_long_long,
58 builtin->builtin_int8,
59 builtin->builtin_uint8,
60 builtin->builtin_int16,
61 builtin->builtin_uint16,
62 builtin->builtin_int32,
63 builtin->builtin_uint32,
64 builtin->builtin_int64,
65 builtin->builtin_uint64,
66 builtin->builtin_int128,
67 builtin->builtin_uint128,
68 builtin->builtin_char16,
69 builtin->builtin_char32,
72 /* Error out if debugging something, because we're going to push the
73 test target, which would pop any existing target. */
74 if (current_target.to_stratum >= process_stratum)
75 error (_("target already pushed"));
77 /* Create a mock environment. An inferior with a thread, with a
78 process_stratum target pushed. */
80 test_target_ops mock_target;
81 ptid_t mock_ptid (1, 1);
82 inferior mock_inferior (mock_ptid.pid ());
83 address_space mock_aspace {};
84 mock_inferior.gdbarch = gdbarch;
85 mock_inferior.aspace = &mock_aspace;
86 thread_info mock_thread (&mock_inferior, mock_ptid);
88 scoped_restore restore_thread_list
89 = make_scoped_restore (&thread_list, &mock_thread);
91 /* Add the mock inferior to the inferior list so that look ups by
92 target+ptid can find it. */
93 scoped_restore restore_inferior_list
94 = make_scoped_restore (&inferior_list);
95 inferior_list = &mock_inferior;
97 /* Switch to the mock inferior. */
98 scoped_restore_current_inferior restore_current_inferior;
99 set_current_inferior (&mock_inferior);
101 /* Push the process_stratum target so we can mock accessing
103 push_target (&mock_target);
105 /* Pop it again on exit (return/exception). */
110 pop_all_targets_at_and_above (process_stratum);
114 /* Switch to the mock thread. */
115 scoped_restore restore_inferior_ptid
116 = make_scoped_restore (&inferior_ptid, mock_ptid);
118 struct frame_info *frame = get_current_frame ();
119 const int num_regs = (gdbarch_num_regs (gdbarch)
120 + gdbarch_num_pseudo_regs (gdbarch));
122 /* Test gdbarch methods register_to_value and value_to_register with
123 different combinations of register numbers and types. */
124 for (const auto &type : types)
126 for (auto regnum = 0; regnum < num_regs; regnum++)
128 if (gdbarch_convert_register_p (gdbarch, regnum, type))
130 std::vector<gdb_byte> expected (TYPE_LENGTH (type), 0);
132 if (TYPE_CODE (type) == TYPE_CODE_FLT)
134 /* Generate valid float format. */
135 target_float_from_string (expected.data (), type, "1.25");
139 for (auto j = 0; j < expected.size (); j++)
140 expected[j] = (regnum + j) % 16;
143 gdbarch_value_to_register (gdbarch, frame, regnum, type,
146 /* Allocate two bytes more for overflow check. */
147 std::vector<gdb_byte> buf (TYPE_LENGTH (type) + 2, 0);
148 int optim, unavail, ok;
150 /* Set the fingerprint in the last two bytes. */
151 buf [TYPE_LENGTH (type)]= 'w';
152 buf [TYPE_LENGTH (type) + 1]= 'l';
153 ok = gdbarch_register_to_value (gdbarch, frame, regnum, type,
154 buf.data (), &optim, &unavail);
158 SELF_CHECK (!unavail);
160 SELF_CHECK (buf[TYPE_LENGTH (type)] == 'w');
161 SELF_CHECK (buf[TYPE_LENGTH (type) + 1] == 'l');
163 for (auto k = 0; k < TYPE_LENGTH(type); k++)
164 SELF_CHECK (buf[k] == expected[k]);
170 } // namespace selftests
171 #endif /* GDB_SELF_TEST */
174 _initialize_gdbarch_selftests (void)
177 selftests::register_test_foreach_arch ("register_to_value",
178 selftests::register_to_value_test);