1/* Selftest support for RTL.
2 Copyright (C) 2016-2017 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
8Software Foundation; either version 3, or (at your option) any later
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
15
16You should have received a copy of the GNU General Public License
17along 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
36namespace 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
42void
43assert_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
65void
66assert_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
89rtl_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
99selftest::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
110rtx_insn *
111get_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