Mercurial > hg > CbC > CbC_gcc
diff gcc/print-rtl.h @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children | 84e7813d76e9 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gcc/print-rtl.h Fri Oct 27 22:46:09 2017 +0900 @@ -0,0 +1,162 @@ +/* Print RTL for GCC. + Copyright (C) 1987-2017 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/>. */ + +#ifndef GCC_PRINT_RTL_H +#define GCC_PRINT_RTL_H + +#ifndef GENERATOR_FILE +#include "bitmap.h" +#endif /* #ifndef GENERATOR_FILE */ + +class rtx_reuse_manager; + +/* A class for writing rtx to a FILE *. */ + +class rtx_writer +{ + public: + rtx_writer (FILE *outfile, int ind, bool simple, bool compact, + rtx_reuse_manager *reuse_manager); + + void print_rtx (const_rtx in_rtx); + void print_rtl (const_rtx rtx_first); + int print_rtl_single_with_indent (const_rtx x, int ind); + + void finish_directive (); + + private: + void print_rtx_operand_code_0 (const_rtx in_rtx, int idx); + void print_rtx_operand_code_e (const_rtx in_rtx, int idx); + void print_rtx_operand_codes_E_and_V (const_rtx in_rtx, int idx); + void print_rtx_operand_code_i (const_rtx in_rtx, int idx); + void print_rtx_operand_code_r (const_rtx in_rtx); + void print_rtx_operand_code_u (const_rtx in_rtx, int idx); + void print_rtx_operand (const_rtx in_rtx, int idx); + bool operand_has_default_value_p (const_rtx in_rtx, int idx); + + private: + FILE *m_outfile; + int m_sawclose; + int m_indent; + bool m_in_call_function_usage; + + /* True means use simplified format without flags, modes, etc. */ + bool m_simple; + + /* If true, use compact dump format: + - PREV/NEXT_INSN UIDs are omitted + - INSN_CODEs are omitted, + - register numbers are omitted for hard and virtual regs, and + non-virtual pseudos are offset relative to the first such reg, and + printed with a '%' sigil e.g. "%0" for (LAST_VIRTUAL_REGISTER + 1), + - insn names are prefixed with "c" (e.g. "cinsn", "cnote", etc). */ + bool m_compact; + + /* An optional instance of rtx_reuse_manager. */ + rtx_reuse_manager *m_rtx_reuse_manager; +}; + +#ifdef BUFSIZ +extern void print_rtl (FILE *, const_rtx); +#endif +extern void print_rtx_insn_vec (FILE *file, const vec<rtx_insn *> &vec); + +extern void dump_value_slim (FILE *, const_rtx, int); +extern void dump_insn_slim (FILE *, const rtx_insn *); +extern void dump_rtl_slim (FILE *, const rtx_insn *, const rtx_insn *, + int, int); +extern void print_value (pretty_printer *, const_rtx, int); +extern void print_pattern (pretty_printer *, const_rtx, int); +extern void print_insn (pretty_printer *pp, const rtx_insn *x, int verbose); + +extern void rtl_dump_bb_for_graph (pretty_printer *, basic_block); +extern const char *str_pattern_slim (const_rtx); + +extern void print_rtx_function (FILE *file, function *fn, bool compact); + +#ifndef GENERATOR_FILE + +/* For some rtx codes (such as SCRATCH), instances are defined to only be + equal for pointer equality: two distinct SCRATCH instances are non-equal. + copy_rtx preserves this equality by reusing the SCRATCH instance. + + For example, in this x86 instruction: + + (cinsn (set (mem/v:BLK (scratch:DI) [0 A8]) + (unspec:BLK [ + (mem/v:BLK (scratch:DI) [0 A8]) + ] UNSPEC_MEMORY_BLOCKAGE)) "test.c":2 + (nil)) + + the two instances of "(scratch:DI)" are actually the same underlying + rtx pointer (and thus "equal"), and the insn will only be recognized + (as "*memory_blockage") if this pointer-equality is preserved. + + To be able to preserve this pointer-equality when round-tripping + through dumping/loading the rtl, we need some syntax. The first + time a reused rtx is encountered in the dump, we prefix it with + a reuse ID: + + (0|scratch:DI) + + Subsequent references to the rtx in the dump can be expressed using + "reuse_rtx" e.g.: + + (reuse_rtx 0) + + This class is responsible for tracking a set of reuse IDs during a dump. + + Dumping with reuse-support is done in two passes: + + (a) a first pass in which "preprocess" is called on each top-level rtx + to be seen in the dump. This traverses the rtx and its descendents, + identifying rtx that will be seen more than once in the actual dump, + and assigning them reuse IDs. + + (b) the actual dump, via print_rtx etc. print_rtx detect the presence + of a live rtx_reuse_manager and uses it if there is one. Any rtx + that were assigned reuse IDs will be printed with it the first time + that they are seen, and then printed as "(reuse_rtx ID)" subsequently. + + The first phase is needed since otherwise there would be no way to tell + if an rtx will be reused when first encountering it. */ + +class rtx_reuse_manager +{ + public: + rtx_reuse_manager (); + + /* The first pass. */ + void preprocess (const_rtx x); + + /* The second pass (within print_rtx). */ + bool has_reuse_id (const_rtx x, int *out); + bool seen_def_p (int reuse_id); + void set_seen_def (int reuse_id); + + private: + hash_map<const_rtx, int> m_rtx_occurrence_count; + hash_map<const_rtx, int> m_rtx_reuse_ids; + auto_bitmap m_defs_seen; + int m_next_id; +}; + +#endif /* #ifndef GENERATOR_FILE */ + +#endif // GCC_PRINT_RTL_H