1 /* Selftest support for RTL.
2 Copyright (C) 2016-2019 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
assert_rtx_eq_at(const location & loc,const char * msg,rtx expected,rtx actual)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
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
assert_rtx_ptr_eq_at(const location & loc,const char * msg,rtx expected,rtx actual)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
rtl_dump_test(const location & loc,char * path)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
~rtl_dump_test()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 *
get_insn_by_uid(int uid)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