OSDN Git Service

2010-05-07 Richard Guenther <rguenther@suse.de>
[pf3gnuchains/gcc-fork.git] / gcc / lto / lto.c
1 /* Top-level LTO routines.
2    Copyright 2009, 2010 Free Software Foundation, Inc.
3    Contributed by CodeSourcery, Inc.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3.  If not see
19 <http://www.gnu.org/licenses/>.  */
20
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "opts.h"
25 #include "toplev.h"
26 #include "tree.h"
27 #include "diagnostic.h"
28 #include "tm.h"
29 #include "libiberty.h"
30 #include "cgraph.h"
31 #include "ggc.h"
32 #include "tree-ssa-operands.h"
33 #include "tree-pass.h"
34 #include "langhooks.h"
35 #include "vec.h"
36 #include "bitmap.h"
37 #include "pointer-set.h"
38 #include "ipa-prop.h"
39 #include "common.h"
40 #include "timevar.h"
41 #include "gimple.h"
42 #include "lto.h"
43 #include "lto-tree.h"
44 #include "lto-streamer.h"
45
46 /* This needs to be included after config.h.  Otherwise, _GNU_SOURCE will not
47    be defined in time to set __USE_GNU in the system headers, and strsignal
48    will not be declared.  */
49 #if HAVE_MMAP_FILE
50 #include <sys/mman.h>
51 #endif
52
53 /* Handle opening elf files on hosts, such as Windows, that may use 
54    text file handling that will break binary access.  */
55
56 #ifndef O_BINARY
57 # define O_BINARY 0
58 #endif
59
60
61 DEF_VEC_P(bitmap);
62 DEF_VEC_ALLOC_P(bitmap,heap);
63
64 /* Read the constructors and inits.  */
65
66 static void
67 lto_materialize_constructors_and_inits (struct lto_file_decl_data * file_data)
68 {
69   size_t len;
70   const char *data = lto_get_section_data (file_data, 
71                                            LTO_section_static_initializer,
72                                            NULL, &len);
73   lto_input_constructors_and_inits (file_data, data);
74   lto_free_section_data (file_data, LTO_section_static_initializer, NULL,
75                          data, len);
76 }
77
78 /* Read the function body for the function associated with NODE if possible.  */
79
80 static void
81 lto_materialize_function (struct cgraph_node *node)
82 {
83   tree decl;
84   struct lto_file_decl_data *file_data;
85   const char *data, *name;
86   size_t len;
87   tree step;
88
89   /* Ignore clone nodes.  Read the body only from the original one.
90      We may find clone nodes during LTRANS after WPA has made inlining
91      decisions.  */
92   if (node->clone_of)
93     return;
94
95   decl = node->decl;
96   file_data = node->local.lto_file_data;
97   name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)); 
98
99   /* We may have renamed the declaration, e.g., a static function.  */
100   name = lto_get_decl_name_mapping (file_data, name);
101
102   data = lto_get_section_data (file_data, LTO_section_function_body,
103                                name, &len);
104   if (data)
105     {
106       struct function *fn;
107
108       gcc_assert (!DECL_IS_BUILTIN (decl));
109
110       /* This function has a definition.  */
111       TREE_STATIC (decl) = 1;
112
113       gcc_assert (DECL_STRUCT_FUNCTION (decl) == NULL);
114       allocate_struct_function (decl, false);
115
116       /* Load the function body only if not operating in WPA mode.  In
117          WPA mode, the body of the function is not needed.  */
118       if (!flag_wpa)
119         {
120           lto_input_function_body (file_data, decl, data);
121           lto_stats.num_function_bodies++;
122         }
123
124       fn = DECL_STRUCT_FUNCTION (decl);
125       lto_free_section_data (file_data, LTO_section_function_body, name,
126                              data, len);
127
128       /* Look for initializers of constant variables and private
129          statics.  */
130       for (step = fn->local_decls; step; step = TREE_CHAIN (step))
131         {
132           tree decl = TREE_VALUE (step);
133           if (TREE_CODE (decl) == VAR_DECL
134               && (TREE_STATIC (decl) && !DECL_EXTERNAL (decl))
135               && flag_unit_at_a_time)
136             varpool_finalize_decl (decl);
137         }
138     }
139   else
140     DECL_EXTERNAL (decl) = 1;
141
142   /* Let the middle end know about the function.  */
143   rest_of_decl_compilation (decl, 1, 0);
144   if (cgraph_node (decl)->needed)
145     cgraph_mark_reachable_node (cgraph_node (decl));
146 }
147
148
149 /* Decode the content of memory pointed to by DATA in the the
150    in decl state object STATE. DATA_IN points to a data_in structure for
151    decoding. Return the address after the decoded object in the input.  */
152
153 static const uint32_t *
154 lto_read_in_decl_state (struct data_in *data_in, const uint32_t *data,
155                         struct lto_in_decl_state *state)
156 {
157   uint32_t ix;
158   tree decl;
159   uint32_t i, j;
160   
161   ix = *data++;
162   decl = lto_streamer_cache_get (data_in->reader_cache, (int) ix);
163   if (TREE_CODE (decl) != FUNCTION_DECL)
164     {
165       gcc_assert (decl == void_type_node);
166       decl = NULL_TREE;
167     }
168   state->fn_decl = decl;
169
170   for (i = 0; i < LTO_N_DECL_STREAMS; i++)
171     {
172       uint32_t size = *data++;
173       tree *decls = GGC_NEWVEC (tree, size);
174
175       for (j = 0; j < size; j++)
176         {
177           decls[j] = lto_streamer_cache_get (data_in->reader_cache, data[j]);
178
179           /* Register every type in the global type table.  If the
180              type existed already, use the existing type.  */
181           if (TYPE_P (decls[j]))
182             decls[j] = gimple_register_type (decls[j]);
183         }
184
185       state->streams[i].size = size;
186       state->streams[i].trees = decls;
187       data += size;
188     }
189
190   return data;
191 }
192
193
194 /* Read all the symbols from buffer DATA, using descriptors in DECL_DATA.
195    RESOLUTIONS is the set of symbols picked by the linker (read from the
196    resolution file when the linker plugin is being used).  */
197
198 static void
199 lto_read_decls (struct lto_file_decl_data *decl_data, const void *data,
200                 VEC(ld_plugin_symbol_resolution_t,heap) *resolutions)
201 {
202   const struct lto_decl_header *header = (const struct lto_decl_header *) data;
203   const int32_t decl_offset = sizeof (struct lto_decl_header);
204   const int32_t main_offset = decl_offset + header->decl_state_size;
205   const int32_t string_offset = main_offset + header->main_size;
206   struct lto_input_block ib_main;
207   struct data_in *data_in;
208   unsigned int i;
209   const uint32_t *data_ptr, *data_end;
210   uint32_t num_decl_states;
211
212   LTO_INIT_INPUT_BLOCK (ib_main, (const char *) data + main_offset, 0,
213                         header->main_size);
214
215   data_in = lto_data_in_create (decl_data, (const char *) data + string_offset,
216                                 header->string_size, resolutions);
217
218   /* Read the global declarations and types.  */
219   while (ib_main.p < ib_main.len)
220     {
221       tree t = lto_input_tree (&ib_main, data_in);
222       gcc_assert (t && ib_main.p <= ib_main.len);
223     }
224
225   /* Read in lto_in_decl_state objects.  */
226   data_ptr = (const uint32_t *) ((const char*) data + decl_offset); 
227   data_end =
228      (const uint32_t *) ((const char*) data_ptr + header->decl_state_size);
229   num_decl_states = *data_ptr++;
230   
231   gcc_assert (num_decl_states > 0);
232   decl_data->global_decl_state = lto_new_in_decl_state ();
233   data_ptr = lto_read_in_decl_state (data_in, data_ptr,
234                                      decl_data->global_decl_state);
235
236   /* Read in per-function decl states and enter them in hash table.  */
237   decl_data->function_decl_states =
238     htab_create_ggc (37, lto_hash_in_decl_state, lto_eq_in_decl_state, NULL);
239
240   for (i = 1; i < num_decl_states; i++)
241     {
242       struct lto_in_decl_state *state = lto_new_in_decl_state ();
243       void **slot;
244
245       data_ptr = lto_read_in_decl_state (data_in, data_ptr, state);
246       slot = htab_find_slot (decl_data->function_decl_states, state, INSERT);
247       gcc_assert (*slot == NULL);
248       *slot = state;
249     }
250
251   if (data_ptr != data_end)
252     internal_error ("bytecode stream: garbage at the end of symbols section");
253   
254   /* Set the current decl state to be the global state. */
255   decl_data->current_decl_state = decl_data->global_decl_state;
256
257   lto_data_in_delete (data_in);
258 }
259
260 /* strtoll is not portable. */
261 int64_t
262 lto_parse_hex (const char *p) {
263   uint64_t ret = 0;
264   for (; *p != '\0'; ++p)
265     {
266       char c = *p;
267       unsigned char part;
268       ret <<= 4;
269       if (c >= '0' && c <= '9')
270         part = c - '0';
271       else if (c >= 'a' && c <= 'f')
272         part = c - 'a' + 10;
273       else if (c >= 'A' && c <= 'F')
274         part = c - 'A' + 10;
275       else
276         internal_error ("could not parse hex number");
277       ret |= part;
278     }
279   return ret;
280 }
281
282 /* Read resolution for file named FILE_NAME. The resolution is read from
283    RESOLUTION. An array with the symbol resolution is returned. The array
284    size is written to SIZE. */
285
286 static VEC(ld_plugin_symbol_resolution_t,heap) *
287 lto_resolution_read (FILE *resolution, lto_file *file)
288 {
289   /* We require that objects in the resolution file are in the same
290      order as the lto1 command line. */
291   unsigned int name_len;
292   char *obj_name;
293   unsigned int num_symbols;
294   unsigned int i;
295   VEC(ld_plugin_symbol_resolution_t,heap) *ret = NULL;
296   unsigned max_index = 0;
297
298   if (!resolution)
299     return NULL;
300
301   name_len = strlen (file->filename);
302   obj_name = XNEWVEC (char, name_len + 1);
303   fscanf (resolution, " ");   /* Read white space. */
304
305   fread (obj_name, sizeof (char), name_len, resolution);
306   obj_name[name_len] = '\0';
307   if (strcmp (obj_name, file->filename) != 0)
308     internal_error ("unexpected file name %s in linker resolution file. "
309                     "Expected %s", obj_name, file->filename);
310   if (file->offset != 0)
311     {
312       int t;
313       char offset_p[17];
314       int64_t offset;
315       t = fscanf (resolution, "@0x%16s", offset_p);
316       if (t != 1)
317         internal_error ("could not parse file offset");
318       offset = lto_parse_hex (offset_p);
319       if (offset != file->offset)
320         internal_error ("unexpected offset");
321     }
322
323   free (obj_name);
324
325   fscanf (resolution, "%u", &num_symbols);
326
327   for (i = 0; i < num_symbols; i++)
328     {
329       int t;
330       unsigned index;
331       char r_str[27];
332       enum ld_plugin_symbol_resolution r;
333       unsigned int j;
334       unsigned int lto_resolution_str_len =
335         sizeof (lto_resolution_str) / sizeof (char *);
336
337       t = fscanf (resolution, "%u %26s %*[^\n]\n", &index, r_str);
338       if (t != 2)
339         internal_error ("Invalid line in the resolution file.");
340       if (index > max_index)
341         max_index = index;
342
343       for (j = 0; j < lto_resolution_str_len; j++)
344         {
345           if (strcmp (lto_resolution_str[j], r_str) == 0)
346             {
347               r = (enum ld_plugin_symbol_resolution) j;
348               break;
349             }
350         }
351       if (j == lto_resolution_str_len)
352         internal_error ("Invalid resolution in the resolution file.");
353
354       VEC_safe_grow_cleared (ld_plugin_symbol_resolution_t, heap, ret,
355                              max_index + 1);
356       VEC_replace (ld_plugin_symbol_resolution_t, ret, index, r);
357     }
358
359   return ret;
360 }
361
362 /* Generate a TREE representation for all types and external decls
363    entities in FILE.  
364
365    Read all of the globals out of the file.  Then read the cgraph
366    and process the .o index into the cgraph nodes so that it can open
367    the .o file to load the functions and ipa information.   */
368
369 static struct lto_file_decl_data *
370 lto_file_read (lto_file *file, FILE *resolution_file)
371 {
372   struct lto_file_decl_data *file_data;
373   const char *data;
374   size_t len;
375   VEC(ld_plugin_symbol_resolution_t,heap) *resolutions;
376   
377   resolutions = lto_resolution_read (resolution_file, file);
378
379   file_data = GGC_NEW (struct lto_file_decl_data);
380   file_data->file_name = file->filename;
381   file_data->section_hash_table = lto_obj_build_section_table (file);
382   file_data->renaming_hash_table = lto_create_renaming_table ();
383
384   data = lto_get_section_data (file_data, LTO_section_decls, NULL, &len);
385   lto_read_decls (file_data, data, resolutions);
386   lto_free_section_data (file_data, LTO_section_decls, NULL, data, len);
387
388   return file_data;
389 }
390
391 #if HAVE_MMAP_FILE && HAVE_SYSCONF && defined _SC_PAGE_SIZE
392 #define LTO_MMAP_IO 1
393 #endif
394
395 #if LTO_MMAP_IO
396 /* Page size of machine is used for mmap and munmap calls.  */
397 static size_t page_mask;
398 #endif
399
400 /* Get the section data of length LEN from FILENAME starting at
401    OFFSET.  The data segment must be freed by the caller when the
402    caller is finished.  Returns NULL if all was not well.  */
403
404 static char *
405 lto_read_section_data (struct lto_file_decl_data *file_data,
406                        intptr_t offset, size_t len)
407 {
408   char *result;
409   static int fd = -1;
410   static char *fd_name;
411 #if LTO_MMAP_IO
412   intptr_t computed_len;
413   intptr_t computed_offset;
414   intptr_t diff;
415 #endif
416
417   /* Keep a single-entry file-descriptor cache.  The last file we
418      touched will get closed at exit.
419      ???  Eventually we want to add a more sophisticated larger cache
420      or rather fix function body streaming to not stream them in
421      practically random order.  */
422   if (fd != -1
423       && strcmp (fd_name, file_data->file_name) != 0)
424     {
425       free (fd_name);
426       close (fd);
427       fd = -1;
428     }
429   if (fd == -1)
430     {
431       fd_name = xstrdup (file_data->file_name);
432       fd = open (file_data->file_name, O_RDONLY|O_BINARY);
433       if (fd == -1)
434         return NULL;
435     }
436
437 #if LTO_MMAP_IO
438   if (!page_mask)
439     {
440       size_t page_size = sysconf (_SC_PAGE_SIZE);
441       page_mask = ~(page_size - 1);
442     }
443
444   computed_offset = offset & page_mask;
445   diff = offset - computed_offset;
446   computed_len = len + diff;
447
448   result = (char *) mmap (NULL, computed_len, PROT_READ, MAP_PRIVATE,
449                           fd, computed_offset);
450   if (result == MAP_FAILED)
451     return NULL;
452
453   return result + diff;
454 #else
455   result = (char *) xmalloc (len);
456   if (lseek (fd, offset, SEEK_SET) != offset
457       || read (fd, result, len) != (ssize_t) len)
458     {
459       free (result);
460       return NULL;
461     }
462
463   return result;
464 #endif
465 }    
466
467
468 /* Get the section data from FILE_DATA of SECTION_TYPE with NAME.
469    NAME will be NULL unless the section type is for a function
470    body.  */
471
472 static const char *
473 get_section_data (struct lto_file_decl_data *file_data,
474                       enum lto_section_type section_type,
475                       const char *name,
476                       size_t *len)
477 {
478   htab_t section_hash_table = file_data->section_hash_table;
479   struct lto_section_slot *f_slot;
480   struct lto_section_slot s_slot;
481   const char *section_name = lto_get_section_name (section_type, name);
482   char *data = NULL;
483
484   *len = 0;
485   s_slot.name = section_name;
486   f_slot = (struct lto_section_slot *) htab_find (section_hash_table, &s_slot);
487   if (f_slot)
488     {
489       data = lto_read_section_data (file_data, f_slot->start, f_slot->len);
490       *len = f_slot->len;
491     }
492
493   free (CONST_CAST (char *, section_name));
494   return data;
495 }
496
497
498 /* Free the section data from FILE_DATA of SECTION_TYPE with NAME that
499    starts at OFFSET and has LEN bytes.  */
500
501 static void
502 free_section_data (struct lto_file_decl_data *file_data ATTRIBUTE_UNUSED,
503                    enum lto_section_type section_type ATTRIBUTE_UNUSED,
504                    const char *name ATTRIBUTE_UNUSED,
505                    const char *offset, size_t len ATTRIBUTE_UNUSED)
506 {
507 #if LTO_MMAP_IO
508   intptr_t computed_len;
509   intptr_t computed_offset;
510   intptr_t diff;
511 #endif
512
513 #if LTO_MMAP_IO
514   computed_offset = ((intptr_t) offset) & page_mask;
515   diff = (intptr_t) offset - computed_offset;
516   computed_len = len + diff;
517
518   munmap ((caddr_t) computed_offset, computed_len);
519 #else
520   free (CONST_CAST(char *, offset));
521 #endif
522 }
523
524 /* Vector of all cgraph node sets. */
525 static GTY (()) VEC(cgraph_node_set, gc) *lto_cgraph_node_sets;
526 static GTY (()) VEC(varpool_node_set, gc) *lto_varpool_node_sets;
527
528
529 /* Group cgrah nodes by input files.  This is used mainly for testing
530    right now.  */
531
532 static void
533 lto_1_to_1_map (void)
534 {
535   struct cgraph_node *node;
536   struct varpool_node *vnode;
537   struct lto_file_decl_data *file_data;
538   struct pointer_map_t *pmap;
539   struct pointer_map_t *vpmap;
540   cgraph_node_set set;
541   varpool_node_set vset;
542   void **slot;
543
544   timevar_push (TV_WHOPR_WPA);
545
546   lto_cgraph_node_sets = VEC_alloc (cgraph_node_set, gc, 1);
547   lto_varpool_node_sets = VEC_alloc (varpool_node_set, gc, 1);
548
549   pmap = pointer_map_create ();
550   vpmap = pointer_map_create ();
551
552   for (node = cgraph_nodes; node; node = node->next)
553     {
554       /* We will get proper partition based on function they are inlined to or
555          cloned from.  */
556       if (node->global.inlined_to || node->clone_of)
557         continue;
558       /* Nodes without a body do not need partitioning.  */
559       if (!node->analyzed || node->same_body_alias)
560         continue;
561       /* We only need to partition the nodes that we read from the
562          gimple bytecode files.  */
563       file_data = node->local.lto_file_data;
564       if (file_data == NULL)
565         continue;
566
567       slot = pointer_map_contains (pmap, file_data);
568       if (slot)
569         set = (cgraph_node_set) *slot;
570       else
571         {
572           set = cgraph_node_set_new ();
573           slot = pointer_map_insert (pmap, file_data);
574           *slot = set;
575           VEC_safe_push (cgraph_node_set, gc, lto_cgraph_node_sets, set);
576           vset = varpool_node_set_new ();
577           slot = pointer_map_insert (vpmap, file_data);
578           *slot = vset;
579           VEC_safe_push (varpool_node_set, gc, lto_varpool_node_sets, vset);
580         }
581
582       cgraph_node_set_add (set, node);
583     }
584
585   for (vnode = varpool_nodes; vnode; vnode = vnode->next)
586     {
587       if (vnode->alias || !vnode->needed)
588         continue;
589       slot = pointer_map_contains (vpmap, file_data);
590       if (slot)
591         vset = (varpool_node_set) *slot;
592       else
593         {
594           set = cgraph_node_set_new ();
595           slot = pointer_map_insert (pmap, file_data);
596           *slot = set;
597           VEC_safe_push (cgraph_node_set, gc, lto_cgraph_node_sets, set);
598           vset = varpool_node_set_new ();
599           slot = pointer_map_insert (vpmap, file_data);
600           *slot = vset;
601           VEC_safe_push (varpool_node_set, gc, lto_varpool_node_sets, vset);
602         }
603
604       varpool_node_set_add (vset, vnode);
605     }
606
607   /* If the cgraph is empty, create one cgraph node set so that there is still
608      an output file for any variables that need to be exported in a DSO.  */
609   if (!lto_cgraph_node_sets)
610     {
611       set = cgraph_node_set_new ();
612       VEC_safe_push (cgraph_node_set, gc, lto_cgraph_node_sets, set);
613       vset = varpool_node_set_new ();
614       VEC_safe_push (varpool_node_set, gc, lto_varpool_node_sets, vset);
615     }
616
617   pointer_map_destroy (pmap);
618   pointer_map_destroy (vpmap);
619
620   timevar_pop (TV_WHOPR_WPA);
621
622   lto_stats.num_cgraph_partitions += VEC_length (cgraph_node_set, 
623                                                  lto_cgraph_node_sets);
624 }
625
626
627 /* Add inlined clone NODE and its master clone to SET, if NODE itself has
628    inlined callees, recursively add the callees.  */
629
630 static void
631 lto_add_inline_clones (cgraph_node_set set, struct cgraph_node *node,
632                        bitmap original_decls)
633 {
634    struct cgraph_node *callee;
635    struct cgraph_edge *edge;
636
637    cgraph_node_set_add (set, node);
638
639    /* Check to see if NODE has any inlined callee.  */
640    for (edge = node->callees; edge != NULL; edge = edge->next_callee)
641      {
642         callee = edge->callee;
643         if (callee->global.inlined_to != NULL)
644           lto_add_inline_clones (set, callee, original_decls);
645      }
646 }
647
648 /* Compute the transitive closure of inlining of SET based on the
649    information in the callgraph.  Returns a bitmap of decls that have
650    been inlined into SET indexed by UID.  */
651
652 static void
653 lto_add_all_inlinees (cgraph_node_set set)
654 {
655   cgraph_node_set_iterator csi;
656   struct cgraph_node *node;
657   bitmap original_nodes = lto_bitmap_alloc ();
658   bitmap original_decls = lto_bitmap_alloc ();
659   bool changed;
660
661   /* We are going to iterate SET while adding to it, mark all original
662      nodes so that we only add node inlined to original nodes.  */
663   for (csi = csi_start (set); !csi_end_p (csi); csi_next (&csi))
664     {
665       bitmap_set_bit (original_nodes, csi_node (csi)->uid);
666       bitmap_set_bit (original_decls, DECL_UID (csi_node (csi)->decl));
667     }
668
669   /* Some of the original nodes might not be needed anymore.  
670      Remove them.  */
671   do
672     {
673       changed = false;
674       for (csi = csi_start (set); !csi_end_p (csi); csi_next (&csi))
675         {
676           struct cgraph_node *inlined_to;
677           node = csi_node (csi);
678
679           /* NODE was not inlined.  We still need it.  */
680           if (!node->global.inlined_to)
681             continue;
682
683           inlined_to = node->global.inlined_to;
684
685           /* NODE should have only one caller.  */
686           gcc_assert (!node->callers->next_caller);
687
688           if (!bitmap_bit_p (original_nodes, inlined_to->uid))
689             {
690               bitmap_clear_bit (original_nodes, node->uid);
691               cgraph_node_set_remove (set, node);
692               changed = true;
693             }
694         }
695     }
696   while (changed);
697
698  /* Transitively add to SET all the inline clones for every node that
699     has been inlined.  */
700  for (csi = csi_start (set); !csi_end_p (csi); csi_next (&csi))
701    {
702      node = csi_node (csi);
703      if (bitmap_bit_p (original_nodes, node->uid))
704       lto_add_inline_clones (set, node, original_decls);
705    }
706
707   lto_bitmap_free (original_nodes);
708   lto_bitmap_free (original_decls);
709 }
710
711 /* Find out all static decls that need to be promoted to global because
712    of cross file sharing.  This function must be run in the WPA mode after
713    all inlinees are added.  */
714
715 static void
716 lto_promote_cross_file_statics (void)
717 {
718   struct varpool_node *vnode;
719   unsigned i, n_sets;
720   cgraph_node_set set;
721   varpool_node_set vset;
722   cgraph_node_set_iterator csi;
723   varpool_node_set_iterator vsi;
724
725   gcc_assert (flag_wpa);
726
727   n_sets = VEC_length (cgraph_node_set, lto_cgraph_node_sets);
728   for (i = 0; i < n_sets; i++)
729     {
730       set = VEC_index (cgraph_node_set, lto_cgraph_node_sets, i);
731       vset = VEC_index (varpool_node_set, lto_varpool_node_sets, i);
732
733       /* If node has either address taken (and we have no clue from where)
734          or it is called from other partition, it needs to be globalized.  */
735       for (csi = csi_start (set); !csi_end_p (csi); csi_next (&csi))
736         {
737           struct cgraph_node *node = csi_node (csi);
738           bool globalize = node->local.vtable_method;
739           struct cgraph_edge *e;
740           if (node->local.externally_visible)
741             continue;
742           if (!globalize
743               && referenced_from_other_partition_p (&node->ref_list, set, vset))
744             globalize = true;
745           for (e = node->callers; e && !globalize; e = e->next_caller)
746             {
747               struct cgraph_node *caller = e->caller;
748               if (caller->global.inlined_to)
749                 caller = caller->global.inlined_to;
750               if (!cgraph_node_in_set_p (caller, set))
751                 globalize = true;
752             }
753           if (globalize)
754              {
755                 gcc_assert (flag_wpa);
756                 TREE_PUBLIC (node->decl) = 1;
757                 DECL_VISIBILITY (node->decl) = VISIBILITY_HIDDEN;
758                 if (node->same_body)
759                   {
760                     struct cgraph_node *alias;
761                     for (alias = node->same_body;
762                          alias; alias = alias->next)
763                       {
764                         TREE_PUBLIC (alias->decl) = 1;
765                         DECL_VISIBILITY (alias->decl) = VISIBILITY_HIDDEN;
766                       }
767                   }
768              }
769         }
770       for (vsi = vsi_start (vset); !vsi_end_p (vsi); vsi_next (&vsi))
771         {
772           vnode = vsi_node (vsi);
773           /* Constant pool references use internal labels and thus can not
774              be made global.  It is sensible to keep those ltrans local to
775              allow better optimization.  */
776           if (!DECL_IN_CONSTANT_POOL (vnode->decl)
777               && !vnode->externally_visible && vnode->analyzed
778               && referenced_from_other_partition_p (&vnode->ref_list, set, vset))
779             {
780               gcc_assert (flag_wpa);
781               TREE_PUBLIC (vnode->decl) = 1;
782               DECL_VISIBILITY (vnode->decl) = VISIBILITY_HIDDEN;
783             }
784         }
785
786     }
787 }
788
789
790 /* Given a file name FNAME, return a string with FNAME prefixed with '*'.  */
791
792 static char *
793 prefix_name_with_star (const char *fname)
794 {
795   char *star_fname;
796   size_t len;
797   
798   len = strlen (fname) + 1 + 1;
799   star_fname = XNEWVEC (char, len);
800   snprintf (star_fname, len, "*%s", fname);
801
802   return star_fname;
803 }
804
805
806 /* Return a copy of FNAME without the .o extension.  */
807
808 static char *
809 strip_extension (const char *fname)
810 {
811   char *s = XNEWVEC (char, strlen (fname) - 2 + 1);
812   gcc_assert (strstr (fname, ".o"));
813   snprintf (s, strlen (fname) - 2 + 1, "%s", fname);
814
815   return s;
816 }
817
818
819 /* Return a file name associated with cgraph node set SET.  This may
820    be a new temporary file name if SET needs to be processed by
821    LTRANS, or the original file name if all the nodes in SET belong to
822    the same input file.  */
823
824 static char *
825 get_filename_for_set (cgraph_node_set set)
826 {
827   char *fname = NULL;
828   static const size_t max_fname_len = 100;
829
830   /* Create a new temporary file to store SET.  To facilitate
831      debugging, use file names from SET as part of the new
832      temporary file name.  */
833   cgraph_node_set_iterator si;
834   struct pointer_set_t *pset = pointer_set_create ();
835   for (si = csi_start (set); !csi_end_p (si); csi_next (&si))
836     {
837       struct cgraph_node *n = csi_node (si);
838       const char *node_fname;
839       char *f;
840
841       /* Don't use the same file name more than once.  */
842       if (pointer_set_insert (pset, n->local.lto_file_data))
843         continue;
844
845       /* The first file name found in SET determines the output
846          directory.  For the remaining files, we use their
847          base names.  */
848       node_fname = n->local.lto_file_data->file_name;
849       if (fname == NULL)
850         {
851           fname = strip_extension (node_fname);
852           continue;
853         }
854
855       f = strip_extension (lbasename (node_fname));
856
857       /* If the new name causes an excessively long file name,
858          make the last component "___" to indicate overflow.  */
859       if (strlen (fname) + strlen (f) > max_fname_len - 3)
860         {
861           fname = reconcat (fname, fname, "___", NULL);
862           break;
863         }
864       else
865         {
866           fname = reconcat (fname, fname, "_", f, NULL);
867           free (f);
868         }
869     }
870
871   pointer_set_destroy (pset);
872
873   if (!fname)
874     {
875       /* Since SET does not need to be processed by LTRANS, use
876          the original file name and mark it with a '*' prefix so that
877          lto_execute_ltrans knows not to process it.  */
878       cgraph_node_set_iterator si = csi_start (set);
879       struct cgraph_node *first = csi_node (si);
880       fname = prefix_name_with_star (first->local.lto_file_data->file_name);
881     }
882   else
883     {
884       /* Add the extension .wpa.o to indicate that this file has been
885          produced by WPA.  */
886       fname = reconcat (fname, fname, ".wpa.o", NULL);
887       gcc_assert (fname);
888     }
889
890   return fname;
891 }
892
893 static lto_file *current_lto_file;
894
895
896 /* Write all output files in WPA mode.  Returns a NULL-terminated array of
897    output file names.  */
898
899 static char **
900 lto_wpa_write_files (void)
901 {
902   char **output_files;
903   unsigned i, n_sets, last_out_file_ix, num_out_files;
904   lto_file *file;
905   cgraph_node_set set;
906   varpool_node_set vset;
907
908   timevar_push (TV_WHOPR_WPA);
909
910   /* Include all inlined functions and determine what sets need to be
911      compiled by LTRANS.  After this loop, only those sets that
912      contain callgraph nodes from more than one file will need to be
913      compiled by LTRANS.  */
914   for (i = 0; VEC_iterate (cgraph_node_set, lto_cgraph_node_sets, i, set); i++)
915     {
916       lto_add_all_inlinees (set);
917       lto_stats.num_output_cgraph_nodes += VEC_length (cgraph_node_ptr,
918                                                        set->nodes);
919     }
920
921   /* After adding all inlinees, find out statics that need to be promoted
922      to globals because of cross-file inlining.  */
923   lto_promote_cross_file_statics ();
924
925   timevar_pop (TV_WHOPR_WPA);
926
927   timevar_push (TV_WHOPR_WPA_IO);
928
929   /* The number of output files depends on the number of input files
930      and how many callgraph node sets we create.  Reserve enough space
931      for the maximum of these two.  */
932   num_out_files = MAX (VEC_length (cgraph_node_set, lto_cgraph_node_sets),
933                        num_in_fnames);
934   output_files = XNEWVEC (char *, num_out_files + 1);
935
936   n_sets = VEC_length (cgraph_node_set, lto_cgraph_node_sets);
937   for (i = 0; i < n_sets; i++)
938     {
939       char *temp_filename;
940
941       set = VEC_index (cgraph_node_set, lto_cgraph_node_sets, i);
942       vset = VEC_index (varpool_node_set, lto_varpool_node_sets, i);
943       temp_filename = get_filename_for_set (set);
944       output_files[i] = temp_filename;
945
946       if (cgraph_node_set_nonempty_p (set) || varpool_node_set_nonempty_p (vset))
947         {
948           /* Write all the nodes in SET to TEMP_FILENAME.  */
949           file = lto_obj_file_open (temp_filename, true);
950           if (!file)
951             fatal_error ("lto_obj_file_open() failed");
952
953           if (!quiet_flag)
954             fprintf (stderr, " %s", temp_filename);
955
956           lto_set_current_out_file (file);
957
958           ipa_write_optimization_summaries (set, vset);
959
960           lto_set_current_out_file (NULL);
961           lto_obj_file_close (file);
962         }
963     }
964
965   last_out_file_ix = n_sets;
966
967   lto_stats.num_output_files += n_sets;
968
969   output_files[last_out_file_ix] = NULL;
970
971   timevar_pop (TV_WHOPR_WPA_IO);
972
973   return output_files;
974 }
975
976 /* Perform local transformations (LTRANS) on the files in the NULL-terminated
977    FILES array.  These should have been written previously by
978    lto_wpa_write_files ().  Transformations are performed via executing
979    COLLECT_GCC for reach file.  */
980
981 static void
982 lto_write_ltrans_list (char *const *files)
983 {
984   FILE *ltrans_output_list_stream = NULL;
985   unsigned i;
986
987   /* Open the LTRANS output list.  */
988   if (!ltrans_output_list)
989     error ("no LTRANS output filename provided");
990
991   ltrans_output_list_stream = fopen (ltrans_output_list, "w");
992   if (ltrans_output_list_stream == NULL)
993     error ("opening LTRANS output list %s: %m", ltrans_output_list);
994
995   for (i = 0; files[i]; ++i)
996     {
997       size_t len;
998
999       len = strlen (files[i]);
1000       if (fwrite (files[i], 1, len, ltrans_output_list_stream) < len
1001           || fwrite ("\n", 1, 1, ltrans_output_list_stream) < 1)
1002         error ("writing to LTRANS output list %s: %m",
1003                ltrans_output_list);
1004     }
1005
1006   /* Close the LTRANS output list.  */
1007   if (fclose (ltrans_output_list_stream))
1008     error ("closing LTRANS output list %s: %m", ltrans_output_list);
1009 }
1010
1011
1012 typedef struct {
1013   struct pointer_set_t *seen;
1014 } lto_fixup_data_t;
1015
1016 #define LTO_FIXUP_SUBTREE(t) \
1017   do \
1018     walk_tree (&(t), lto_fixup_tree, data, NULL); \
1019   while (0)
1020
1021 #define LTO_REGISTER_TYPE_AND_FIXUP_SUBTREE(t) \
1022   do \
1023     { \
1024       if (t) \
1025         (t) = gimple_register_type (t); \
1026       walk_tree (&(t), lto_fixup_tree, data, NULL); \
1027     } \
1028   while (0)
1029
1030 static tree lto_fixup_tree (tree *, int *, void *);
1031
1032 /* Return true if T does not need to be fixed up recursively.  */
1033
1034 static inline bool
1035 no_fixup_p (tree t)
1036 {
1037   return (t == NULL
1038           || CONSTANT_CLASS_P (t)
1039           || TREE_CODE (t) == IDENTIFIER_NODE);
1040 }
1041
1042 /* Fix up fields of a tree_common T.  DATA points to fix-up states.  */
1043
1044 static void
1045 lto_fixup_common (tree t, void *data)
1046 {
1047   /* The following re-creates the TYPE_REFERENCE_TO and TYPE_POINTER_TO
1048      lists.  We do not stream TYPE_REFERENCE_TO, TYPE_POINTER_TO or
1049      TYPE_NEXT_PTR_TO and TYPE_NEXT_REF_TO.
1050      First remove us from any pointer list we are on.  */
1051   if (TREE_CODE (t) == POINTER_TYPE)
1052     {
1053       if (TYPE_POINTER_TO (TREE_TYPE (t)) == t)
1054         TYPE_POINTER_TO (TREE_TYPE (t)) = TYPE_NEXT_PTR_TO (t);
1055       else
1056         {
1057           tree tem = TYPE_POINTER_TO (TREE_TYPE (t));
1058           while (tem && TYPE_NEXT_PTR_TO (tem) != t)
1059             tem = TYPE_NEXT_PTR_TO (tem);
1060           if (tem)
1061             TYPE_NEXT_PTR_TO (tem) = TYPE_NEXT_PTR_TO (t);
1062         }
1063       TYPE_NEXT_PTR_TO (t) = NULL_TREE;
1064     }
1065   else if (TREE_CODE (t) == REFERENCE_TYPE)
1066     {
1067       if (TYPE_REFERENCE_TO (TREE_TYPE (t)) == t)
1068         TYPE_REFERENCE_TO (TREE_TYPE (t)) = TYPE_NEXT_REF_TO (t);
1069       else
1070         {
1071           tree tem = TYPE_REFERENCE_TO (TREE_TYPE (t));
1072           while (tem && TYPE_NEXT_REF_TO (tem) != t)
1073             tem = TYPE_NEXT_REF_TO (tem);
1074           if (tem)
1075             TYPE_NEXT_REF_TO (tem) = TYPE_NEXT_REF_TO (t);
1076         }
1077       TYPE_NEXT_REF_TO (t) = NULL_TREE;
1078     }
1079
1080   /* Fixup our type.  */
1081   LTO_REGISTER_TYPE_AND_FIXUP_SUBTREE (TREE_TYPE (t));
1082
1083   /* Second put us on the list of pointers of the new pointed-to type
1084      if we are a main variant.  This is done in lto_fixup_type after
1085      fixing up our main variant.  */
1086
1087   /* This is not very efficient because we cannot do tail-recursion with
1088      a long chain of trees. */
1089   LTO_FIXUP_SUBTREE (TREE_CHAIN (t));
1090 }
1091
1092 /* Fix up fields of a decl_minimal T.  DATA points to fix-up states.  */
1093
1094 static void
1095 lto_fixup_decl_minimal (tree t, void *data)
1096 {
1097   lto_fixup_common (t, data);
1098   LTO_FIXUP_SUBTREE (DECL_NAME (t));
1099   LTO_FIXUP_SUBTREE (DECL_CONTEXT (t));
1100 }
1101
1102 /* Fix up fields of a decl_common T.  DATA points to fix-up states.  */
1103
1104 static void
1105 lto_fixup_decl_common (tree t, void *data)
1106 {
1107   lto_fixup_decl_minimal (t, data);
1108   LTO_FIXUP_SUBTREE (DECL_SIZE (t));
1109   LTO_FIXUP_SUBTREE (DECL_SIZE_UNIT (t));
1110   LTO_FIXUP_SUBTREE (DECL_INITIAL (t));
1111   LTO_FIXUP_SUBTREE (DECL_ATTRIBUTES (t));
1112   LTO_FIXUP_SUBTREE (DECL_ABSTRACT_ORIGIN (t));
1113 }
1114
1115 /* Fix up fields of a decl_with_vis T.  DATA points to fix-up states.  */
1116
1117 static void
1118 lto_fixup_decl_with_vis (tree t, void *data)
1119 {
1120   lto_fixup_decl_common (t, data);
1121
1122   /* Accessor macro has side-effects, use field-name here. */
1123   LTO_FIXUP_SUBTREE (t->decl_with_vis.assembler_name);
1124
1125   gcc_assert (no_fixup_p (DECL_SECTION_NAME (t)));
1126 }
1127
1128 /* Fix up fields of a decl_non_common T.  DATA points to fix-up states.  */
1129
1130 static void
1131 lto_fixup_decl_non_common (tree t, void *data)
1132 {
1133   lto_fixup_decl_with_vis (t, data);
1134   LTO_FIXUP_SUBTREE (DECL_ARGUMENT_FLD (t));
1135   LTO_FIXUP_SUBTREE (DECL_RESULT_FLD (t));
1136   LTO_FIXUP_SUBTREE (DECL_VINDEX (t));
1137
1138   /* SAVED_TREE should not cleared by now.  Also no accessor for base type. */
1139   gcc_assert (no_fixup_p (t->decl_non_common.saved_tree));
1140 }
1141
1142 /* Fix up fields of a decl_non_common T.  DATA points to fix-up states.  */
1143
1144 static void
1145 lto_fixup_function (tree t, void *data)
1146 {
1147   lto_fixup_decl_non_common (t, data);
1148   LTO_FIXUP_SUBTREE (DECL_FUNCTION_PERSONALITY (t));
1149 }
1150
1151 /* Fix up fields of a field_decl T.  DATA points to fix-up states.  */
1152
1153 static void
1154 lto_fixup_field_decl (tree t, void *data)
1155 {
1156   lto_fixup_decl_common (t, data);
1157   LTO_FIXUP_SUBTREE (DECL_FIELD_OFFSET (t));
1158   LTO_FIXUP_SUBTREE (DECL_BIT_FIELD_TYPE (t));
1159   LTO_FIXUP_SUBTREE (DECL_QUALIFIER (t));
1160   gcc_assert (no_fixup_p (DECL_FIELD_BIT_OFFSET (t)));
1161   LTO_FIXUP_SUBTREE (DECL_FCONTEXT (t));
1162 }
1163
1164 /* Fix up fields of a type T.  DATA points to fix-up states.  */
1165
1166 static void
1167 lto_fixup_type (tree t, void *data)
1168 {
1169   tree tem, mv;
1170
1171   lto_fixup_common (t, data);
1172   LTO_FIXUP_SUBTREE (TYPE_CACHED_VALUES (t));
1173   LTO_FIXUP_SUBTREE (TYPE_SIZE (t));
1174   LTO_FIXUP_SUBTREE (TYPE_SIZE_UNIT (t));
1175   LTO_FIXUP_SUBTREE (TYPE_ATTRIBUTES (t));
1176   LTO_FIXUP_SUBTREE (TYPE_NAME (t));
1177
1178   /* Accessors are for derived node types only. */
1179   if (!POINTER_TYPE_P (t))
1180     LTO_FIXUP_SUBTREE (t->type.minval);
1181   LTO_FIXUP_SUBTREE (t->type.maxval);
1182
1183   /* Accessor is for derived node types only. */
1184   LTO_FIXUP_SUBTREE (t->type.binfo);
1185
1186   if (TYPE_CONTEXT (t))
1187     {
1188       if (TYPE_P (TYPE_CONTEXT (t)))
1189         LTO_REGISTER_TYPE_AND_FIXUP_SUBTREE (TYPE_CONTEXT (t));
1190       else
1191         LTO_FIXUP_SUBTREE (TYPE_CONTEXT (t));
1192     }
1193   LTO_REGISTER_TYPE_AND_FIXUP_SUBTREE (TYPE_CANONICAL (t));
1194
1195   /* The following re-creates proper variant lists while fixing up
1196      the variant leaders.  We do not stream TYPE_NEXT_VARIANT so the
1197      variant list state before fixup is broken.  */
1198
1199   /* Remove us from our main variant list if we are not the variant leader.  */
1200   if (TYPE_MAIN_VARIANT (t) != t)
1201     {
1202       tem = TYPE_MAIN_VARIANT (t);
1203       while (tem && TYPE_NEXT_VARIANT (tem) != t)
1204         tem = TYPE_NEXT_VARIANT (tem);
1205       if (tem)
1206         TYPE_NEXT_VARIANT (tem) = TYPE_NEXT_VARIANT (t);
1207       TYPE_NEXT_VARIANT (t) = NULL_TREE;
1208     }
1209
1210   /* Query our new main variant.  */
1211   mv = gimple_register_type (TYPE_MAIN_VARIANT (t));
1212
1213   /* If we were the variant leader and we get replaced ourselves drop
1214      all variants from our list.  */
1215   if (TYPE_MAIN_VARIANT (t) == t
1216       && mv != t)
1217     {
1218       tem = t;
1219       while (tem)
1220         {
1221           tree tem2 = TYPE_NEXT_VARIANT (tem);
1222           TYPE_NEXT_VARIANT (tem) = NULL_TREE;
1223           tem = tem2;
1224         }
1225     }
1226
1227   /* If we are not our own variant leader link us into our new leaders
1228      variant list.  */
1229   if (mv != t)
1230     {
1231       TYPE_NEXT_VARIANT (t) = TYPE_NEXT_VARIANT (mv);
1232       TYPE_NEXT_VARIANT (mv) = t;
1233     }
1234
1235   /* Finally adjust our main variant and fix it up.  */
1236   TYPE_MAIN_VARIANT (t) = mv;
1237   LTO_FIXUP_SUBTREE (TYPE_MAIN_VARIANT (t));
1238
1239   /* As the second step of reconstructing the pointer chains put us
1240      on the list of pointers of the new pointed-to type
1241      if we are a main variant.  See lto_fixup_common for the first step.  */
1242   if (TREE_CODE (t) == POINTER_TYPE
1243       && TYPE_MAIN_VARIANT (t) == t)
1244     {
1245       TYPE_NEXT_PTR_TO (t) = TYPE_POINTER_TO (TREE_TYPE (t));
1246       TYPE_POINTER_TO (TREE_TYPE (t)) = t;
1247     }
1248   else if (TREE_CODE (t) == REFERENCE_TYPE
1249            && TYPE_MAIN_VARIANT (t) == t)
1250     {
1251       TYPE_NEXT_REF_TO (t) = TYPE_REFERENCE_TO (TREE_TYPE (t));
1252       TYPE_REFERENCE_TO (TREE_TYPE (t)) = t;
1253     }
1254 }
1255
1256 /* Fix up fields of a BINFO T.  DATA points to fix-up states.  */
1257
1258 static void
1259 lto_fixup_binfo (tree t, void *data)
1260 {
1261   unsigned HOST_WIDE_INT i, n;
1262   tree base, saved_base;
1263
1264   lto_fixup_common (t, data);
1265   gcc_assert (no_fixup_p (BINFO_OFFSET (t)));
1266   LTO_FIXUP_SUBTREE (BINFO_VTABLE (t));
1267   LTO_FIXUP_SUBTREE (BINFO_VIRTUALS (t));
1268   LTO_FIXUP_SUBTREE (BINFO_VPTR_FIELD (t));
1269   n = VEC_length (tree, BINFO_BASE_ACCESSES (t));
1270   for (i = 0; i < n; i++)
1271     {
1272       saved_base = base = BINFO_BASE_ACCESS (t, i);
1273       LTO_FIXUP_SUBTREE (base);
1274       if (base != saved_base)
1275         VEC_replace (tree, BINFO_BASE_ACCESSES (t), i, base);
1276     }
1277   LTO_FIXUP_SUBTREE (BINFO_INHERITANCE_CHAIN (t));
1278   LTO_FIXUP_SUBTREE (BINFO_SUBVTT_INDEX (t));
1279   LTO_FIXUP_SUBTREE (BINFO_VPTR_INDEX (t));
1280   n = BINFO_N_BASE_BINFOS (t);
1281   for (i = 0; i < n; i++)
1282     {
1283       saved_base = base = BINFO_BASE_BINFO (t, i);
1284       LTO_FIXUP_SUBTREE (base);
1285       if (base != saved_base)
1286         VEC_replace (tree, BINFO_BASE_BINFOS (t), i, base);
1287     }
1288 }
1289
1290 /* Fix up fields of a CONSTRUCTOR T.  DATA points to fix-up states.  */
1291
1292 static void
1293 lto_fixup_constructor (tree t, void *data)
1294 {
1295   unsigned HOST_WIDE_INT idx;
1296   constructor_elt *ce;
1297
1298   LTO_REGISTER_TYPE_AND_FIXUP_SUBTREE (TREE_TYPE (t));
1299
1300   for (idx = 0;
1301        VEC_iterate(constructor_elt, CONSTRUCTOR_ELTS (t), idx, ce);
1302        idx++)
1303     {
1304       LTO_FIXUP_SUBTREE (ce->index);
1305       LTO_FIXUP_SUBTREE (ce->value);
1306     }
1307 }
1308
1309 /* A walk_tree callback used by lto_fixup_state. TP is the pointer to the
1310    current tree. WALK_SUBTREES indicates if the subtrees will be walked.
1311    DATA is a pointer set to record visited nodes. */
1312
1313 static tree
1314 lto_fixup_tree (tree *tp, int *walk_subtrees, void *data)
1315 {
1316   tree t;
1317   lto_fixup_data_t *fixup_data = (lto_fixup_data_t *) data;
1318   tree prevailing;
1319
1320   t = *tp;
1321   *walk_subtrees = 0;
1322   if (!t || pointer_set_contains (fixup_data->seen, t))
1323     return NULL;
1324
1325   if (TREE_CODE (t) == VAR_DECL || TREE_CODE (t) == FUNCTION_DECL)
1326     {
1327       prevailing = lto_symtab_prevailing_decl (t);
1328
1329       if (t != prevailing)
1330         {
1331            /* Also replace t with prevailing defintion.  We don't want to
1332               insert the other defintion in the seen set as we want to
1333               replace all instances of it.  */
1334           *tp = prevailing;
1335           t = prevailing;
1336         }
1337     }
1338   else if (TYPE_P (t))
1339     {
1340       /* Replace t with the prevailing type.  We don't want to insert the
1341          other type in the seen set as we want to replace all instances of it.  */
1342       t = gimple_register_type (t);
1343       *tp = t;
1344     }
1345
1346   if (pointer_set_insert (fixup_data->seen, t))
1347     return NULL;
1348
1349   /* walk_tree does not visit all reachable nodes that need to be fixed up.
1350      Hence we do special processing here for those kind of nodes. */
1351   switch (TREE_CODE (t))
1352     {
1353     case FIELD_DECL:
1354       lto_fixup_field_decl (t, data);
1355       break;
1356
1357     case LABEL_DECL:
1358     case CONST_DECL:
1359     case PARM_DECL:
1360     case RESULT_DECL:
1361     case IMPORTED_DECL:
1362       lto_fixup_decl_common (t, data);
1363       break;
1364
1365     case VAR_DECL:
1366       lto_fixup_decl_with_vis (t, data);
1367       break;    
1368
1369     case TYPE_DECL:
1370       lto_fixup_decl_non_common (t, data);
1371       break;
1372
1373     case FUNCTION_DECL:
1374       lto_fixup_function (t, data);
1375       break;
1376
1377     case TREE_BINFO:
1378       lto_fixup_binfo (t, data);
1379       break;
1380
1381     default:
1382       if (TYPE_P (t))
1383         lto_fixup_type (t, data);
1384       else if (TREE_CODE (t) == CONSTRUCTOR)
1385         lto_fixup_constructor (t, data);
1386       else if (CONSTANT_CLASS_P (t))
1387         LTO_REGISTER_TYPE_AND_FIXUP_SUBTREE (TREE_TYPE (t));
1388       else if (EXPR_P (t))
1389         {
1390           /* walk_tree only handles TREE_OPERANDs. Do the rest here.  */
1391           lto_fixup_common (t, data);
1392           LTO_FIXUP_SUBTREE (t->exp.block);
1393           *walk_subtrees = 1;
1394         }
1395       else
1396         {
1397           /* Let walk_tree handle sub-trees.  */
1398           *walk_subtrees = 1;
1399         }
1400     }
1401
1402   return NULL;
1403 }
1404
1405 /* Helper function of lto_fixup_decls. Walks the var and fn streams in STATE,
1406    replaces var and function decls with the corresponding prevailing def and
1407    records the old decl in the free-list in DATA. We also record visted nodes
1408    in the seen-set in DATA to avoid multiple visit for nodes that need not
1409    to be replaced.  */
1410
1411 static void
1412 lto_fixup_state (struct lto_in_decl_state *state, lto_fixup_data_t *data)
1413 {
1414   unsigned i, si;
1415   struct lto_tree_ref_table *table;
1416
1417   /* Although we only want to replace FUNCTION_DECLs and VAR_DECLs,
1418      we still need to walk from all DECLs to find the reachable
1419      FUNCTION_DECLs and VAR_DECLs.  */
1420   for (si = 0; si < LTO_N_DECL_STREAMS; si++)
1421     {
1422       table = &state->streams[si];
1423       for (i = 0; i < table->size; i++)
1424         walk_tree (table->trees + i, lto_fixup_tree, data, NULL);
1425     }
1426 }
1427
1428 /* A callback of htab_traverse. Just extract a state from SLOT and the
1429    lto_fixup_data_t object from AUX and calls lto_fixup_state. */
1430
1431 static int
1432 lto_fixup_state_aux (void **slot, void *aux)
1433 {
1434   struct lto_in_decl_state *state = (struct lto_in_decl_state *) *slot;
1435   lto_fixup_state (state, (lto_fixup_data_t *) aux);
1436   return 1;
1437 }
1438
1439 /* Fix the decls from all FILES. Replaces each decl with the corresponding
1440    prevailing one.  */
1441
1442 static void
1443 lto_fixup_decls (struct lto_file_decl_data **files)
1444 {
1445   unsigned int i;
1446   tree decl;
1447   struct pointer_set_t *seen = pointer_set_create ();
1448   lto_fixup_data_t data;
1449
1450   data.seen = seen;
1451   for (i = 0; files[i]; i++)
1452     {
1453       struct lto_file_decl_data *file = files[i];
1454       struct lto_in_decl_state *state = file->global_decl_state;
1455       lto_fixup_state (state, &data);
1456
1457       htab_traverse (file->function_decl_states, lto_fixup_state_aux, &data);
1458     }
1459
1460   for (i = 0; VEC_iterate (tree, lto_global_var_decls, i, decl); i++)
1461     {
1462       tree saved_decl = decl;
1463       walk_tree (&decl, lto_fixup_tree, &data, NULL);
1464       if (decl != saved_decl)
1465         VEC_replace (tree, lto_global_var_decls, i, decl);
1466     }
1467
1468   pointer_set_destroy (seen);
1469 }
1470
1471 /* Read the options saved from each file in the command line.  Called
1472    from lang_hooks.post_options which is called by process_options
1473    right before all the options are used to initialize the compiler.
1474    This assumes that decode_options has already run, so the
1475    num_in_fnames and in_fnames are properly set.
1476
1477    Note that this assumes that all the files had been compiled with
1478    the same options, which is not a good assumption.  In general,
1479    options ought to be read from all the files in the set and merged.
1480    However, it is still unclear what the merge rules should be.  */
1481
1482 void
1483 lto_read_all_file_options (void)
1484 {
1485   size_t i;
1486
1487   /* Clear any file options currently saved.  */
1488   lto_clear_file_options ();
1489
1490   /* Set the hooks to read ELF sections.  */
1491   lto_set_in_hooks (NULL, get_section_data, free_section_data);
1492
1493   for (i = 0; i < num_in_fnames; i++)
1494     {
1495       struct lto_file_decl_data *file_data;
1496       lto_file *file = lto_obj_file_open (in_fnames[i], false);
1497       if (!file)
1498         break;
1499
1500       file_data = XCNEW (struct lto_file_decl_data);
1501       file_data->file_name = file->filename;
1502       file_data->section_hash_table = lto_obj_build_section_table (file);
1503
1504       lto_read_file_options (file_data);
1505
1506       lto_obj_file_close (file);
1507       htab_delete (file_data->section_hash_table);
1508       free (file_data);
1509     }
1510
1511   /* Apply globally the options read from all the files.  */
1512   lto_reissue_options ();
1513 }
1514
1515 static GTY((length ("lto_stats.num_input_files + 1"))) struct lto_file_decl_data **all_file_decl_data;
1516
1517 /* Read all the symbols from the input files FNAMES.  NFILES is the
1518    number of files requested in the command line.  Instantiate a
1519    global call graph by aggregating all the sub-graphs found in each
1520    file.  */
1521
1522 static void
1523 read_cgraph_and_symbols (unsigned nfiles, const char **fnames)
1524 {
1525   unsigned int i, last_file_ix;
1526   FILE *resolution;
1527   struct cgraph_node *node;
1528
1529   lto_stats.num_input_files = nfiles;
1530
1531   timevar_push (TV_IPA_LTO_DECL_IO);
1532
1533   /* Set the hooks so that all of the ipa passes can read in their data.  */
1534   all_file_decl_data = GGC_CNEWVEC (struct lto_file_decl_data *, nfiles + 1);
1535   lto_set_in_hooks (all_file_decl_data, get_section_data, free_section_data);
1536
1537   /* Read the resolution file.  */
1538   resolution = NULL;
1539   if (resolution_file_name)
1540     {
1541       int t;
1542       unsigned num_objects;
1543
1544       resolution = fopen (resolution_file_name, "r");
1545       if (resolution == NULL)
1546         fatal_error ("could not open symbol resolution file: %s",
1547                      xstrerror (errno));
1548
1549       t = fscanf (resolution, "%u", &num_objects);
1550       gcc_assert (t == 1);
1551
1552       /* True, since the plugin splits the archives.  */
1553       gcc_assert (num_objects == nfiles);
1554     }
1555
1556   if (!quiet_flag)
1557     fprintf (stderr, "Reading object files:");
1558
1559   /* Read all of the object files specified on the command line.  */
1560   for (i = 0, last_file_ix = 0; i < nfiles; ++i)
1561     {
1562       struct lto_file_decl_data *file_data = NULL;
1563       if (!quiet_flag)
1564         {
1565           fprintf (stderr, " %s", fnames[i]);
1566           fflush (stderr);
1567         }
1568
1569       current_lto_file = lto_obj_file_open (fnames[i], false);
1570       if (!current_lto_file)
1571         break;
1572
1573       file_data = lto_file_read (current_lto_file, resolution);
1574       if (!file_data)
1575         break;
1576
1577       all_file_decl_data[last_file_ix++] = file_data;
1578
1579       lto_obj_file_close (current_lto_file);
1580       current_lto_file = NULL;
1581       ggc_collect ();
1582     }
1583
1584   if (resolution_file_name)
1585     fclose (resolution);
1586
1587   all_file_decl_data[last_file_ix] = NULL;
1588
1589   /* Set the hooks so that all of the ipa passes can read in their data.  */
1590   lto_set_in_hooks (all_file_decl_data, get_section_data, free_section_data);
1591
1592   timevar_pop (TV_IPA_LTO_DECL_IO);
1593
1594   if (!quiet_flag)
1595     fprintf (stderr, "\nReading the callgraph\n");
1596
1597   timevar_push (TV_IPA_LTO_CGRAPH_IO);
1598   /* Read the callgraph.  */
1599   input_cgraph ();
1600   timevar_pop (TV_IPA_LTO_CGRAPH_IO);
1601
1602   if (!quiet_flag)
1603     fprintf (stderr, "Merging declarations\n");
1604
1605   timevar_push (TV_IPA_LTO_DECL_MERGE);
1606   /* Merge global decls.  */
1607   lto_symtab_merge_decls ();
1608
1609   /* Fixup all decls and types and free the type hash tables.  */
1610   lto_fixup_decls (all_file_decl_data);
1611   free_gimple_type_tables ();
1612   ggc_collect ();
1613
1614   timevar_pop (TV_IPA_LTO_DECL_MERGE);
1615   /* Each pass will set the appropriate timer.  */
1616
1617   if (!quiet_flag)
1618     fprintf (stderr, "Reading summaries\n");
1619
1620   /* Read the IPA summary data.  */
1621   if (flag_ltrans)
1622     ipa_read_optimization_summaries ();
1623   else
1624     ipa_read_summaries ();
1625
1626   /* Finally merge the cgraph according to the decl merging decisions.  */
1627   timevar_push (TV_IPA_LTO_CGRAPH_MERGE);
1628   lto_symtab_merge_cgraph_nodes ();
1629   ggc_collect ();
1630
1631   if (flag_ltrans)
1632     for (node = cgraph_nodes; node; node = node->next)
1633       {
1634         /* FIXME: ipa_transforms_to_apply holds list of passes that have optimization
1635            summaries computed and needs to apply changes.  At the moment WHOPR only
1636            supports inlining, so we can push it here by hand.  In future we need to stream
1637            this field into ltrans compilation.  */
1638         if (node->analyzed)
1639           VEC_safe_push (ipa_opt_pass, heap,
1640                          node->ipa_transforms_to_apply,
1641                          (ipa_opt_pass)&pass_ipa_inline);
1642       }
1643   timevar_pop (TV_IPA_LTO_CGRAPH_MERGE);
1644
1645   timevar_push (TV_IPA_LTO_DECL_INIT_IO);
1646
1647   /* FIXME lto. This loop needs to be changed to use the pass manager to
1648      call the ipa passes directly.  */
1649   if (!errorcount)
1650     for (i = 0; i < last_file_ix; i++)
1651       {
1652         struct lto_file_decl_data *file_data = all_file_decl_data [i];
1653         lto_materialize_constructors_and_inits (file_data);
1654       }
1655
1656   /* Indicate that the cgraph is built and ready.  */
1657   cgraph_function_flags_ready = true;
1658
1659   timevar_pop (TV_IPA_LTO_DECL_INIT_IO);
1660   ggc_free (all_file_decl_data);
1661   all_file_decl_data = NULL;
1662 }
1663
1664
1665 /* Materialize all the bodies for all the nodes in the callgraph.  */
1666
1667 static void
1668 materialize_cgraph (void)
1669 {
1670   tree decl;
1671   struct cgraph_node *node; 
1672   unsigned i;
1673   timevar_id_t lto_timer;
1674
1675   if (!quiet_flag)
1676     fprintf (stderr,
1677              flag_wpa ? "Materializing decls:" : "Reading function bodies:");
1678
1679
1680   /* Now that we have input the cgraph, we need to clear all of the aux
1681      nodes and read the functions if we are not running in WPA mode.  */
1682   timevar_push (TV_IPA_LTO_GIMPLE_IO);
1683
1684   for (node = cgraph_nodes; node; node = node->next)
1685     {
1686       /* Some cgraph nodes get created on the fly, and they don't need
1687          to be materialized.  For instance, nodes for nested functions
1688          where the parent function was not streamed out or builtin
1689          functions.  Additionally, builtin functions should not be
1690          materialized and may, in fact, cause confusion because there
1691          may be a regular function in the file whose assembler name
1692          matches that of the function.
1693          See gcc.c-torture/execute/20030125-1.c and
1694          gcc.c-torture/execute/921215-1.c.  */
1695       if (node->local.lto_file_data
1696           && !DECL_IS_BUILTIN (node->decl))
1697         {
1698           announce_function (node->decl);
1699           lto_materialize_function (node);
1700           lto_stats.num_input_cgraph_nodes++;
1701         }
1702     }
1703
1704   timevar_pop (TV_IPA_LTO_GIMPLE_IO);
1705
1706   /* Start the appropriate timer depending on the mode that we are
1707      operating in.  */
1708   lto_timer = (flag_wpa) ? TV_WHOPR_WPA
1709               : (flag_ltrans) ? TV_WHOPR_LTRANS
1710               : TV_LTO;
1711   timevar_push (lto_timer);
1712
1713   current_function_decl = NULL;
1714   set_cfun (NULL);
1715
1716   /* Inform the middle end about the global variables we have seen.  */
1717   for (i = 0; VEC_iterate (tree, lto_global_var_decls, i, decl); i++)
1718     rest_of_decl_compilation (decl, 1, 0);
1719
1720   if (!quiet_flag)
1721     fprintf (stderr, "\n");
1722
1723   timevar_pop (lto_timer);
1724 }
1725
1726
1727 /* Perform whole program analysis (WPA) on the callgraph and write out the
1728    optimization plan.  */
1729
1730 static void
1731 do_whole_program_analysis (void)
1732 {
1733   char **output_files;
1734
1735   /* Note that since we are in WPA mode, materialize_cgraph will not
1736      actually read in all the function bodies.  It only materializes
1737      the decls and cgraph nodes so that analysis can be performed.  */
1738   materialize_cgraph ();
1739
1740   /* Reading in the cgraph uses different timers, start timing WPA now.  */
1741   timevar_push (TV_WHOPR_WPA);
1742
1743   if (pre_ipa_mem_report)
1744     {
1745       fprintf (stderr, "Memory consumption before IPA\n");
1746       dump_memory_report (false);
1747     }
1748
1749   cgraph_function_flags_ready = true;
1750   bitmap_obstack_initialize (NULL);
1751   ipa_register_cgraph_hooks ();
1752   cgraph_state = CGRAPH_STATE_IPA_SSA;
1753
1754   execute_ipa_pass_list (all_regular_ipa_passes);
1755
1756   verify_cgraph ();
1757   bitmap_obstack_release (NULL);
1758
1759   /* We are about to launch the final LTRANS phase, stop the WPA timer.  */
1760   timevar_pop (TV_WHOPR_WPA);
1761
1762   lto_1_to_1_map ();
1763
1764   if (!quiet_flag)
1765     {
1766       fprintf (stderr, "\nStreaming out");
1767       fflush (stderr);
1768     }
1769   output_files = lto_wpa_write_files ();
1770   ggc_collect ();
1771   if (!quiet_flag)
1772     fprintf (stderr, "\n");
1773
1774   if (post_ipa_mem_report)
1775     {
1776       fprintf (stderr, "Memory consumption after IPA\n");
1777       dump_memory_report (false);
1778     }
1779
1780   /* Show the LTO report before launching LTRANS.  */
1781   if (flag_lto_report)
1782     print_lto_report ();
1783
1784   lto_write_ltrans_list (output_files);
1785
1786   XDELETEVEC (output_files);
1787 }
1788
1789
1790 /* Main entry point for the GIMPLE front end.  This front end has
1791    three main personalities:
1792
1793    - LTO (-flto).  All the object files on the command line are
1794      loaded in memory and processed as a single translation unit.
1795      This is the traditional link-time optimization behavior.
1796
1797    - WPA (-fwpa).  Only the callgraph and summary information for
1798      files in the command file are loaded.  A single callgraph
1799      (without function bodies) is instantiated for the whole set of
1800      files.  IPA passes are only allowed to analyze the call graph
1801      and make transformation decisions.  The callgraph is
1802      partitioned, each partition is written to a new object file
1803      together with the transformation decisions.
1804
1805    - LTRANS (-fltrans).  Similar to -flto but it prevents the IPA
1806      summary files from running again.  Since WPA computed summary
1807      information and decided what transformations to apply, LTRANS
1808      simply applies them.  */
1809
1810 void
1811 lto_main (int debug_p ATTRIBUTE_UNUSED)
1812 {
1813   lto_init_reader ();
1814
1815   /* Read all the symbols and call graph from all the files in the
1816      command line.  */
1817   read_cgraph_and_symbols (num_in_fnames, in_fnames);
1818
1819   if (!errorcount)
1820     {
1821       /* If WPA is enabled analyze the whole call graph and create an
1822          optimization plan.  Otherwise, read in all the function
1823          bodies and continue with optimization.  */
1824       if (flag_wpa)
1825         do_whole_program_analysis ();
1826       else
1827         {
1828           materialize_cgraph ();
1829
1830           /* Let the middle end know that we have read and merged all of
1831              the input files.  */ 
1832           cgraph_optimize ();
1833
1834           /* FIXME lto, if the processes spawned by WPA fail, we miss
1835              the chance to print WPA's report, so WPA will call
1836              print_lto_report before launching LTRANS.  If LTRANS was
1837              launched directly by the driver we would not need to do
1838              this.  */
1839           if (flag_lto_report)
1840             print_lto_report ();
1841         }
1842     }
1843 }
1844
1845 #include "gt-lto-lto.h"