Streaming of toplevel extended assembly was missing implementation.
Streaming must be after merging of decls, otherwise we would have to
fix the pointers to new decls.
gcc/ChangeLog:
* ipa-free-lang-data.cc (find_decls_types_in_asm): New.
(free_lang_data_in_cgraph): Use find_decls_types_in_asm.
* lto-cgraph.cc (input_cgraph_1): Move asm to..
(input_toplevel_asms): ..here.
* lto-streamer-in.cc (lto_input_toplevel_asms):
Allow extended asm.
* lto-streamer-out.cc (lto_output_toplevel_asms):
Allow extended asm.
(lto_output_toplevel_asms): Allow ASM_EXPR.
* lto-streamer.h (input_toplevel_asms): New.
gcc/lto/ChangeLog:
* lto-common.cc (read_cgraph_and_symbols): Call
input_toplevel_asms after decl merging.
gcc/testsuite/ChangeLog:
* g++.dg/lto/toplevel_asm-0_0.C: New test.
find_decls_types (v->decl, fld);
}
+/* Find decls and types referenced in asm node N and store them in
+ FLD->DECLS and FLD->TYPES.
+ Asm strings are represented as a C/C++/etc. strings. If there is
+ no other string, we would delete/prune/unify the type and cause
+ issues in verify_type(tree).
+ Likely we could just add the string type, but we scan the whole
+ tree to be sure. */
+static void
+find_decls_types_in_asm (asm_node *v, class free_lang_data_d *fld)
+{
+ find_decls_types (v->asm_str, fld);
+}
+
/* Free language specific information for every operand and expression
in every node of the call graph. This process operates in three stages:
FOR_EACH_VARIABLE (v)
find_decls_types_in_var (v, fld);
+ /* Find the decls and types in every asm node.
+ Should only be a string type. */
+ for (asm_node* anode = symtab->first_asm_symbol (); anode;
+ anode = safe_as_a<asm_node*> (anode->next))
+ find_decls_types_in_asm (anode, fld);
+
/* Set the assembler name on every decl found. We need to do this
now because free_lang_data_in_decl will invalidate data needed
for mangling. This breaks mangling on interdependent decls. */
tag = streamer_read_enum (ib, LTO_symtab_tags, LTO_symtab_last_tag);
}
- lto_input_toplevel_asms (file_data, file_data->order_base);
-
/* AUX pointers should be all non-zero for function nodes read from the stream. */
if (flag_checking)
{
}
}
+/* Input toplevel asms from each of the .o files passed to lto1.
+ Must be called after merging of decls. */
+void
+input_toplevel_asms (void)
+{
+ struct lto_file_decl_data **file_data_vec = lto_get_file_decl_data ();
+ struct lto_file_decl_data *file_data;
+ unsigned int j = 0;
+
+ while ((file_data = file_data_vec[j++]))
+ lto_input_toplevel_asms (file_data, file_data->order_base);
+}
+
static void
omp_requires_to_name (char *buf, size_t size, HOST_WIDE_INT requires_mask)
{
= (const struct lto_simple_header_with_strings *) data;
int string_offset;
class data_in *data_in;
- tree str;
if (! data)
return;
data_in = lto_data_in_create (file_data, data + string_offset,
header->string_size, vNULL);
- while ((str = streamer_read_string_cst (data_in, &ib)))
+ unsigned asm_count = streamer_read_uhwi (&ib);
+ for (unsigned i = 0; i < asm_count; i++)
{
+ tree str = stream_read_tree (&ib, data_in);
asm_node *node = symtab->finalize_toplevel_asm (str);
node->order = streamer_read_hwi (&ib) + order_base;
node->lto_file_data = file_data;
&& code != STATEMENT_LIST
&& (code == CASE_LABEL_EXPR
|| code == DECL_EXPR
+ || code == ASM_EXPR
|| TREE_CODE_CLASS (code) != tcc_statement);
}
char *section_name;
struct lto_simple_header_with_strings header;
- bool any_asm = false;
+ unsigned asm_count = 0;
for (int i = 0; i < lto_symtab_encoder_size (encoder); i++)
if (is_a <asm_node*> (lto_symtab_encoder_deref (encoder, i)))
- any_asm = true;
+ asm_count++;
- if (!any_asm)
+ if (!asm_count)
return;
ob = create_output_block (LTO_section_asm);
- /* Make string 0 be a NULL string. */
- streamer_write_char_stream (ob->string_stream, 0);
-
+ /* Stream the length. */
+ streamer_write_uhwi (ob, asm_count);
for (int i = 0; i < lto_symtab_encoder_size (encoder); i++)
{
toplevel_node *tnode = lto_symtab_encoder_deref (encoder, i);
if (!anode)
continue;
- if (TREE_CODE (anode->asm_str) != STRING_CST)
- {
- sorry_at (EXPR_LOCATION (anode->asm_str),
- "LTO streaming of toplevel extended %<asm%> "
- "unimplemented");
- continue;
- }
- streamer_write_string_cst (ob, ob->main_stream, anode->asm_str);
- streamer_write_hwi (ob, anode->order);
+ int output_order = *encoder->order_remap->get (anode->order);
+ stream_write_tree (ob, anode->asm_str, true);
+ streamer_write_hwi (ob, output_order);
}
- streamer_write_string_cst (ob, ob->main_stream, NULL_TREE);
-
section_name = lto_get_section_name (LTO_section_asm, NULL, 0, NULL);
lto_begin_section (section_name, !flag_wpa);
free (section_name);
varpool_node *);
void output_symtab (void);
void input_symtab (void);
+void input_toplevel_asms (void);
void output_offload_tables (void);
void input_offload_tables (bool);
bool referenced_from_other_partition_p (struct ipa_ref_list *,
if (tree_with_vars)
ggc_free (tree_with_vars);
tree_with_vars = NULL;
+
+ input_toplevel_asms ();
+
/* During WPA we want to prevent ggc collecting by default. Grow limits
until after the IPA summaries are streamed in. Basically all IPA memory
is explcitly managed by ggc_free and ggc collect is not useful.
--- /dev/null
+// { dg-lto-do link }
+
+// Test that type of asm string is not removed.
+char c;
+asm("");
+
+int main() { }
projects / thirdparty / gcc.git / commitdiff
