1 /* Unit tests for RTL-handling.
2 Copyright (C) 2015-2016 Free Software Foundation, Inc.
4 This file is part of GCC.
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
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
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/>. */
22 #include "coretypes.h"
27 #include "fixed-value.h"
31 #include "tree-core.h"
32 #include "stor-layout.h"
34 #include "stringpool.h"
35 #include "stor-layout.h"
37 #include "pretty-print.h"
39 #include "print-rtl.h"
49 /* Verify that PAT is printed as EXPECTED. Helper function for
53 verify_print_pattern (const char *expected
, rtx pat
)
56 print_pattern (&pp
, pat
, 1);
57 ASSERT_STREQ (expected
, pp_formatted_text (&pp
));
60 /* Verify that X is dumped as EXPECTED_DUMP, using compact mode.
61 Use LOC as the effective location when reporting errors. */
64 assert_rtl_dump_eq (const location
&loc
, const char *expected_dump
, rtx x
)
66 named_temp_file
tmp_out (".rtl");
67 FILE *outfile
= fopen (tmp_out
.get_filename (), "w");
68 rtx_writer
w (outfile
, 0, false, true);
72 char *dump
= read_file (SELFTEST_LOCATION
, tmp_out
.get_filename ());
73 ASSERT_STREQ_AT (loc
, expected_dump
, dump
);
77 /* Verify that RTX is dumped as EXPECTED_DUMP, using compact mode. */
79 #define ASSERT_RTL_DUMP_EQ(EXPECTED_DUMP, RTX) \
80 assert_rtl_dump_eq (SELFTEST_LOCATION, (EXPECTED_DUMP), (RTX))
82 /* Verify that regs are dumped as expected (in compact mode). */
87 /* Dumps of hard regs contain a target-specific name, so we don't test
90 /* Test dumping of virtual regs. The various virtual regs are inited as
91 Pmode, so this is target-specific. The tests below assume DImode, so
92 only run the tests for targets where Pmode is DImode. */
95 ASSERT_RTL_DUMP_EQ ("(reg:DI virtual-incoming-args)",
96 virtual_incoming_args_rtx
);
97 ASSERT_RTL_DUMP_EQ ("(reg:DI virtual-stack-vars)",
98 virtual_stack_vars_rtx
);
99 ASSERT_RTL_DUMP_EQ ("(reg:DI virtual-stack-dynamic)",
100 virtual_stack_dynamic_rtx
);
101 ASSERT_RTL_DUMP_EQ ("(reg:DI virtual-outgoing-args)",
102 virtual_outgoing_args_rtx
);
103 ASSERT_RTL_DUMP_EQ ("(reg:DI virtual-cfa)",
105 ASSERT_RTL_DUMP_EQ ("(reg:DI virtual-preferred-stack-boundary)",
106 virtual_preferred_stack_boundary_rtx
);
109 /* Test dumping of non-virtual pseudos. */
110 ASSERT_RTL_DUMP_EQ ("(reg:SI %0)",
111 gen_raw_REG (SImode
, LAST_VIRTUAL_REGISTER
+ 1));
112 ASSERT_RTL_DUMP_EQ ("(reg:SI %1)",
113 gen_raw_REG (SImode
, LAST_VIRTUAL_REGISTER
+ 2));
116 /* Verify that insns are dumped as expected (in compact mode). */
119 test_dumping_insns ()
122 rtx_barrier
*barrier
= as_a
<rtx_barrier
*> (rtx_alloc (BARRIER
));
123 SET_NEXT_INSN (barrier
) = NULL
;
124 ASSERT_RTL_DUMP_EQ ("(cbarrier)\n", barrier
);
127 rtx_insn
*label
= gen_label_rtx ();
128 CODE_LABEL_NUMBER (label
) = 42;
129 ASSERT_RTL_DUMP_EQ ("(clabel 0 42 \"\")\n", label
);
131 LABEL_NAME (label
)= "some_label";
132 ASSERT_RTL_DUMP_EQ ("(clabel 0 42 (\"some_label\"))\n", label
);
135 /* Unit testing of "single_set". */
140 /* A label is not a SET. */
141 ASSERT_EQ (NULL_RTX
, single_set (gen_label_rtx ()));
143 /* An unconditional jump insn is a single SET. */
144 rtx set_pc
= gen_rtx_SET (pc_rtx
,
145 gen_rtx_LABEL_REF (VOIDmode
,
147 rtx_insn
*jump_insn
= emit_jump_insn (set_pc
);
148 ASSERT_EQ (set_pc
, single_set (jump_insn
));
153 /* Construct an unconditional jump to a label, and verify that
154 various properties of it are sane. */
159 rtx_insn
*label
= gen_label_rtx ();
160 rtx jump_pat
= gen_rtx_SET (pc_rtx
,
161 gen_rtx_LABEL_REF (VOIDmode
,
163 ASSERT_EQ (SET
, jump_pat
->code
);
164 ASSERT_EQ (LABEL_REF
, SET_SRC (jump_pat
)->code
);
165 ASSERT_EQ (label
, label_ref_label (SET_SRC (jump_pat
)));
166 ASSERT_EQ (PC
, SET_DEST (jump_pat
)->code
);
168 verify_print_pattern ("pc=L0", jump_pat
);
170 ASSERT_RTL_DUMP_EQ ("(set (pc)\n"
174 rtx_insn
*jump_insn
= emit_jump_insn (jump_pat
);
175 ASSERT_FALSE (any_condjump_p (jump_insn
));
176 ASSERT_TRUE (any_uncondjump_p (jump_insn
));
177 ASSERT_TRUE (pc_set (jump_insn
));
178 ASSERT_TRUE (simplejump_p (jump_insn
));
179 ASSERT_TRUE (onlyjump_p (jump_insn
));
180 ASSERT_TRUE (control_flow_insn_p (jump_insn
));
182 ASSERT_RTL_DUMP_EQ ("(cjump_insn (set (pc)\n"
188 /* Run all of the selftests within this file. */
193 test_dumping_regs ();
194 test_dumping_insns ();
199 set_first_insn (NULL
);
200 set_last_insn (NULL
);
203 } // namespace selftest
204 #endif /* #if CHECKING_P */