1 | /* Selftest support for RTL. |
2 | Copyright (C) 2016-2023 Free Software Foundation, Inc. |
3 | |
4 | This file is part of GCC. |
5 | |
6 | GCC is free software; you can redistribute it and/or modify it under |
7 | the terms of the GNU General Public License as published by the Free |
8 | Software Foundation; either version 3, or (at your option) any later |
9 | version. |
10 | |
11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or |
13 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
14 | for more details. |
15 | |
16 | You should have received a copy of the GNU General Public License |
17 | along with GCC; see the file COPYING3. If not see |
18 | <http://www.gnu.org/licenses/>. */ |
19 | |
20 | #include "config.h" |
21 | #include "system.h" |
22 | #include "coretypes.h" |
23 | #include "selftest.h" |
24 | #include "backend.h" |
25 | #include "target.h" |
26 | #include "rtl.h" |
27 | #include "read-rtl-function.h" |
28 | #include "read-md.h" |
29 | #include "tree-core.h" |
30 | #include "memmodel.h" |
31 | #include "emit-rtl.h" |
32 | #include "selftest-rtl.h" |
33 | |
34 | #if CHECKING_P |
35 | |
36 | namespace selftest { |
37 | |
38 | /* Compare rtx EXPECTED and ACTUAL using rtx_equal_p, calling |
39 | ::selftest::pass if they are equal, aborting if they are non-equal. |
40 | LOC is the effective location of the assertion, MSG describes it. */ |
41 | |
42 | void |
43 | assert_rtx_eq_at (const location &loc, const char *msg, |
44 | rtx expected, rtx actual) |
45 | { |
46 | if (rtx_equal_p (expected, actual)) |
47 | ::selftest::pass (loc, msg); |
48 | else |
49 | { |
50 | fprintf (stderr, format: "%s:%i: %s: FAIL: %s\n" , loc.m_file, loc.m_line, |
51 | loc.m_function, msg); |
52 | fprintf (stderr, format: " expected: " ); |
53 | print_rtl (stderr, expected); |
54 | fprintf (stderr, format: "\n actual: " ); |
55 | print_rtl (stderr, actual); |
56 | fprintf (stderr, format: "\n" ); |
57 | abort (); |
58 | } |
59 | } |
60 | |
61 | /* Compare rtx EXPECTED and ACTUAL by pointer equality, calling |
62 | ::selftest::pass if they are equal, aborting if they are non-equal. |
63 | LOC is the effective location of the assertion, MSG describes it. */ |
64 | |
65 | void |
66 | assert_rtx_ptr_eq_at (const location &loc, const char *msg, |
67 | rtx expected, rtx actual) |
68 | { |
69 | if (expected == actual) |
70 | ::selftest::pass (loc, msg); |
71 | else |
72 | { |
73 | fprintf (stderr, format: "%s:%i: %s: FAIL: %s\n" , loc.m_file, loc.m_line, |
74 | loc.m_function, msg); |
75 | fprintf (stderr, format: " expected (at %p): " , (void *)expected); |
76 | print_rtl (stderr, expected); |
77 | fprintf (stderr, format: "\n actual (at %p): " , (void *)actual); |
78 | print_rtl (stderr, actual); |
79 | fprintf (stderr, format: "\n" ); |
80 | abort (); |
81 | } |
82 | } |
83 | |
84 | /* Constructor for selftest::rtl_dump_test. |
85 | Read a dumped RTL function from PATH. |
86 | Takes ownership of PATH, freeing in dtor. |
87 | Use LOC as the effective location when reporting failures. */ |
88 | |
89 | rtl_dump_test::rtl_dump_test (const location &loc, char *path) |
90 | : m_path (path) |
91 | { |
92 | bool read_ok = read_rtl_function_body (path); |
93 | ASSERT_TRUE_AT (loc, read_ok); |
94 | } |
95 | |
96 | /* Destructor for selftest::rtl_dump_test. |
97 | Cleanup global state relating to the function, and free the path. */ |
98 | |
99 | selftest::rtl_dump_test::~rtl_dump_test () |
100 | { |
101 | /* Cleanups. */ |
102 | current_function_decl = NULL; |
103 | free_after_compilation (cfun); |
104 | set_cfun (NULL); |
105 | free (ptr: m_path); |
106 | } |
107 | |
108 | /* Get the insn with the given uid, or NULL if not found. */ |
109 | |
110 | rtx_insn * |
111 | get_insn_by_uid (int uid) |
112 | { |
113 | for (rtx_insn *insn = get_insns (); insn; insn = NEXT_INSN (insn)) |
114 | if (INSN_UID (insn) == uid) |
115 | return insn; |
116 | |
117 | /* Not found. */ |
118 | return NULL; |
119 | } |
120 | |
121 | } // namespace selftest |
122 | |
123 | #endif /* #if CHECKING_P */ |
124 | |