On 10/27/2015 01:49 PM, David Malcolm wrote:
gcc/testsuite/ChangeLog:
* unittests/test-rtl.c: New file.
---
gcc/testsuite/unittests/test-rtl.c | 94 ++++++++++++++++++++++++++++++++++++++
1 file changed, 94 insertions(+)
create mode 100644 gcc/testsuite/unittests/test-rtl.c
diff --git a/gcc/testsuite/unittests/test-rtl.c
b/gcc/testsuite/unittests/test-rtl.c
new file mode 100644
index 0000000..69eb444
--- /dev/null
+++ b/gcc/testsuite/unittests/test-rtl.c
@@ -0,0 +1,94 @@
+/* Unit tests for RTL-handling.
+ Copyright (C) 2015 Free Software Foundation, Inc.
+
+This file is part of GCC.
+
+GCC is free software; you can redistribute it and/or modify it under
+the terms of the GNU General Public License as published by the Free
+Software Foundation; either version 3, or (at your option) any later
+version.
+
+GCC is distributed in the hope that it will be useful, but WITHOUT ANY
+WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
+for more details.
+
+You should have received a copy of the GNU General Public License
+along with GCC; see the file COPYING3. If not see
+<http://www.gnu.org/licenses/>. */
+
+#include "config.h"
+#include "gtest/gtest.h"
+#include "system.h"
+#include "coretypes.h"
+#include "tm.h"
+#include "opts.h"
+#include "signop.h"
+#include "hash-set.h"
+#include "fixed-value.h"
+#include "alias.h"
+#include "flags.h"
+#include "symtab.h"
+#include "tree-core.h"
+#include "stor-layout.h"
+#include "tree.h"
+#include "stringpool.h"
+#include "stor-layout.h"
+#include "rtl.h"
+#include "pretty-print.h"
+#include "cfgbuild.h"
+#include "print-rtl.h"
+
+namespace {
+
+class rtl_test : public ::testing::Test
+{
+ protected:
+ void
+ verify_print_pattern (const char *expected, rtx pat)
+ {
+ pretty_printer pp;
+ print_pattern (&pp, pat, 1);
+ EXPECT_STREQ (expected, pp_formatted_text (&pp));
+ }
+};
+
+/* Unit testing of "single_set". */
+TEST_F (rtl_test, test_single_set)
+{
+ /* A label is not a SET. */
+ EXPECT_EQ (NULL_RTX, single_set (gen_label_rtx ()));
+
+ /* An unconditional jump insn is a single SET. */
+ rtx set_pc = gen_rtx_SET (pc_rtx,
+ gen_rtx_LABEL_REF (VOIDmode,
+ gen_label_rtx ()));
+ rtx_insn *jump_insn = emit_jump_insn (set_pc);
+ EXPECT_EQ (set_pc, single_set (jump_insn));
+
+ /* etc */
+}
Oh the things we could do here. A parallel of multiple sets where all
but one is unused is a single set, I can't recall if a single set in
parallel with a jump/cond jump is a single set or not. But the
possibilities are sigificant.
+
+TEST_F (rtl_test, uncond_jump)
+{
+ rtx_insn *label = gen_label_rtx ();
+ rtx jump_pat = gen_rtx_SET (pc_rtx,
+ gen_rtx_LABEL_REF (VOIDmode,
+ label));
+ EXPECT_EQ (SET, jump_pat->code);
+ EXPECT_EQ (LABEL_REF, SET_SRC (jump_pat)->code);
+ EXPECT_EQ (label, LABEL_REF_LABEL (SET_SRC (jump_pat)));
+ EXPECT_EQ (PC, SET_DEST (jump_pat)->code);
+
+ verify_print_pattern ("pc=L0", jump_pat);
+
+ rtx_insn *jump_insn = emit_jump_insn (jump_pat);
+ EXPECT_FALSE (any_condjump_p (jump_insn));
+ EXPECT_TRUE (any_uncondjump_p (jump_insn));
+ EXPECT_TRUE (pc_set (jump_insn));
+ EXPECT_TRUE (simplejump_p (jump_insn));
+ EXPECT_TRUE (onlyjump_p (jump_insn));
+ EXPECT_TRUE (control_flow_insn_p (jump_insn));
Similarly there's lots we could do here.
Anyway, I think at this stage we should think of this file as starting
points/examples.
OK if/when prereqs are approved. Minor twiddling if we end up moving it
elsewhere or standardizing/reducing header files is pre-approved.
Jeff
