gcc/gimple-streamer-out.c

   1 /* Routines for emitting GIMPLE to a file stream.
   2
   3    Copyright 2011 Free Software Foundation, Inc.
   4    Contributed by Diego Novillo <dnovillo@google.com>
   5
   6 This file is part of GCC.
   7
   8 GCC is free software; you can redistribute it and/or modify it under
   9 the terms of the GNU General Public License as published by the Free
  10 Software Foundation; either version 3, or (at your option) any later
  11 version.
  12
  13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  16 for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with GCC; see the file COPYING3.  If not see
  20 <http://www.gnu.org/licenses/>.  */
  21
  22 #include "config.h"
  23 #include "system.h"
  24 #include "coretypes.h"
  25 #include "tree.h"
  26 #include "tree-flow.h"
  27 #include "data-streamer.h"
  28 #include "gimple-streamer.h"
  29 #include "lto-streamer.h"
  30 #include "tree-streamer.h"
  31
  32 /* Output PHI function PHI to the main stream in OB.  */
  33
  34 static void
  35 output_phi (struct output_block *ob, gimple phi)
  36 {
  37   unsigned i, len = gimple_phi_num_args (phi);
  38
  39   output_record_start (ob, lto_gimple_code_to_tag (GIMPLE_PHI));
  40   output_uleb128 (ob, SSA_NAME_VERSION (PHI_RESULT (phi)));
  41
  42   for (i = 0; i < len; i++)
  43     {
  44       stream_write_tree (ob, gimple_phi_arg_def (phi, i), true);
  45       output_uleb128 (ob, gimple_phi_arg_edge (phi, i)->src->index);
  46       lto_output_location (ob, gimple_phi_arg_location (phi, i));
  47     }
  48 }
  49
  50
  51 /* Emit statement STMT on the main stream of output block OB.  */
  52
  53 static void
  54 output_gimple_stmt (struct output_block *ob, gimple stmt)
  55 {
  56   unsigned i;
  57   enum gimple_code code;
  58   enum LTO_tags tag;
  59   struct bitpack_d bp;
  60
  61   /* Emit identifying tag.  */
  62   code = gimple_code (stmt);
  63   tag = lto_gimple_code_to_tag (code);
  64   output_record_start (ob, tag);
  65
  66   /* Emit the tuple header.  */
  67   bp = bitpack_create (ob->main_stream);
  68   bp_pack_var_len_unsigned (&bp, gimple_num_ops (stmt));
  69   bp_pack_value (&bp, gimple_no_warning_p (stmt), 1);
  70   if (is_gimple_assign (stmt))
  71     bp_pack_value (&bp, gimple_assign_nontemporal_move_p (stmt), 1);
  72   bp_pack_value (&bp, gimple_has_volatile_ops (stmt), 1);
  73   bp_pack_var_len_unsigned (&bp, stmt->gsbase.subcode);
  74   lto_output_bitpack (&bp);
  75
  76   /* Emit location information for the statement.  */
  77   lto_output_location (ob, gimple_location (stmt));
  78
  79   /* Emit the lexical block holding STMT.  */
  80   stream_write_tree (ob, gimple_block (stmt), true);
  81
  82   /* Emit the operands.  */
  83   switch (gimple_code (stmt))
  84     {
  85     case GIMPLE_RESX:
  86       output_sleb128 (ob, gimple_resx_region (stmt));
  87       break;
  88
  89     case GIMPLE_EH_MUST_NOT_THROW:
  90       stream_write_tree (ob, gimple_eh_must_not_throw_fndecl (stmt), true);
  91       break;
  92
  93     case GIMPLE_EH_DISPATCH:
  94       output_sleb128 (ob, gimple_eh_dispatch_region (stmt));
  95       break;
  96
  97     case GIMPLE_ASM:
  98       lto_output_uleb128_stream (ob->main_stream, gimple_asm_ninputs (stmt));
  99       lto_output_uleb128_stream (ob->main_stream, gimple_asm_noutputs (stmt));
 100       lto_output_uleb128_stream (ob->main_stream, gimple_asm_nclobbers (stmt));
 101       lto_output_uleb128_stream (ob->main_stream, gimple_asm_nlabels (stmt));
 102       lto_output_string (ob, ob->main_stream, gimple_asm_string (stmt), true);
 103       /* Fallthru  */
 104
 105     case GIMPLE_ASSIGN:
 106     case GIMPLE_CALL:
 107     case GIMPLE_RETURN:
 108     case GIMPLE_SWITCH:
 109     case GIMPLE_LABEL:
 110     case GIMPLE_COND:
 111     case GIMPLE_GOTO:
 112     case GIMPLE_DEBUG:
 113       for (i = 0; i < gimple_num_ops (stmt); i++)
 114         {
 115           tree op = gimple_op (stmt, i);
 116           /* Wrap all uses of non-automatic variables inside MEM_REFs
 117              so that we do not have to deal with type mismatches on
 118              merged symbols during IL read in.  The first operand
 119              of GIMPLE_DEBUG must be a decl, not MEM_REF, though.  */
 120           if (op && (i || !is_gimple_debug (stmt)))
 121             {
 122               tree *basep = &op;
 123               while (handled_component_p (*basep))
 124                 basep = &TREE_OPERAND (*basep, 0);
 125               if (TREE_CODE (*basep) == VAR_DECL
 126                   && !auto_var_in_fn_p (*basep, current_function_decl)
 127                   && !DECL_REGISTER (*basep))
 128                 {
 129                   bool volatilep = TREE_THIS_VOLATILE (*basep);
 130                   *basep = build2 (MEM_REF, TREE_TYPE (*basep),
 131                                    build_fold_addr_expr (*basep),
 132                                    build_int_cst (build_pointer_type
 133                                                   (TREE_TYPE (*basep)), 0));
 134                   TREE_THIS_VOLATILE (*basep) = volatilep;
 135                 }
 136             }
 137           stream_write_tree (ob, op, true);
 138         }
 139       if (is_gimple_call (stmt))
 140         {
 141           if (gimple_call_internal_p (stmt))
 142             lto_output_enum (ob->main_stream, internal_fn,
 143                              IFN_LAST, gimple_call_internal_fn (stmt));
 144           else
 145             stream_write_tree (ob, gimple_call_fntype (stmt), true);
 146         }
 147       break;
 148
 149     case GIMPLE_NOP:
 150     case GIMPLE_PREDICT:
 151       break;
 152
 153     default:
 154       gcc_unreachable ();
 155     }
 156 }
 157
 158
 159 /* Output a basic block BB to the main stream in OB for this FN.  */
 160
 161 void
 162 output_bb (struct output_block *ob, basic_block bb, struct function *fn)
 163 {
 164   gimple_stmt_iterator bsi = gsi_start_bb (bb);
 165
 166   output_record_start (ob,
 167                        (!gsi_end_p (bsi)) || phi_nodes (bb)
 168                         ? LTO_bb1
 169                         : LTO_bb0);
 170
 171   output_uleb128 (ob, bb->index);
 172   output_sleb128 (ob, bb->count);
 173   output_sleb128 (ob, bb->loop_depth);
 174   output_sleb128 (ob, bb->frequency);
 175   output_sleb128 (ob, bb->flags);
 176
 177   if (!gsi_end_p (bsi) || phi_nodes (bb))
 178     {
 179       /* Output the statements.  The list of statements is terminated
 180          with a zero.  */
 181       for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
 182         {
 183           int region;
 184           gimple stmt = gsi_stmt (bsi);
 185
 186           output_gimple_stmt (ob, stmt);
 187
 188           /* Emit the EH region holding STMT.  */
 189           region = lookup_stmt_eh_lp_fn (fn, stmt);
 190           if (region != 0)
 191             {
 192               output_record_start (ob, LTO_eh_region);
 193               output_sleb128 (ob, region);
 194             }
 195           else
 196             output_record_start (ob, LTO_null);
 197         }
 198
 199       output_record_start (ob, LTO_null);
 200
 201       for (bsi = gsi_start_phis (bb); !gsi_end_p (bsi); gsi_next (&bsi))
 202         {
 203           gimple phi = gsi_stmt (bsi);
 204
 205           /* Only emit PHIs for gimple registers.  PHI nodes for .MEM
 206              will be filled in on reading when the SSA form is
 207              updated.  */
 208           if (is_gimple_reg (gimple_phi_result (phi)))
 209             output_phi (ob, phi);
 210         }
 211
 212       output_record_start (ob, LTO_null);
 213     }
 214 }