gcc/selftest-rtl.c

   1 /* Selftest support for RTL.
   2    Copyright (C) 2016-2017 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
  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
  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 */