]>
Commit | Line | Data |
---|---|---|
51b86113 | 1 | /* Selftest support for RTL. |
8d9254fc | 2 | Copyright (C) 2016-2020 Free Software Foundation, Inc. |
51b86113 DM |
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 | ||
9b1de7e2 RS |
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, "%s:%i: %s: FAIL: %s\n", loc.m_file, loc.m_line, | |
51 | loc.m_function, msg); | |
52 | fprintf (stderr, " expected: "); | |
53 | print_rtl (stderr, expected); | |
54 | fprintf (stderr, "\n actual: "); | |
55 | print_rtl (stderr, actual); | |
56 | fprintf (stderr, "\n"); | |
57 | abort (); | |
58 | } | |
59 | } | |
60 | ||
51b86113 DM |
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, "%s:%i: %s: FAIL: %s\n", loc.m_file, loc.m_line, | |
74 | loc.m_function, msg); | |
75 | fprintf (stderr, " expected (at %p): ", (void *)expected); | |
76 | print_rtl (stderr, expected); | |
77 | fprintf (stderr, "\n actual (at %p): ", (void *)actual); | |
78 | print_rtl (stderr, actual); | |
79 | fprintf (stderr, "\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 (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 */ |