|
|
8178f7 |
commit 60281b40f9b28b1b1b912f3157547d6b4f50669c
|
|
|
8178f7 |
Author: root <root@lenovo-x3950-01.khw.lab.eng.bos.redhat.com>
|
|
|
8178f7 |
Date: Thu Jan 18 17:50:46 2018 -0500
|
|
|
8178f7 |
|
|
|
8178f7 |
HJ patch #1
|
|
|
8178f7 |
|
|
|
8178f7 |
diff --git a/gcc/config/i386/i386-opts.h b/gcc/config/i386/i386-opts.h
|
|
|
8178f7 |
index 11c0845..139d23c 100644
|
|
|
8178f7 |
--- a/gcc/config/i386/i386-opts.h
|
|
|
8178f7 |
+++ b/gcc/config/i386/i386-opts.h
|
|
|
8178f7 |
@@ -85,4 +85,16 @@ enum ix86_veclibabi {
|
|
|
8178f7 |
ix86_veclibabi_type_acml
|
|
|
8178f7 |
};
|
|
|
8178f7 |
|
|
|
8178f7 |
+/* This is used to mitigate variant #2 of the speculative execution
|
|
|
8178f7 |
+ vulnerabilities on x86 processors identified by CVE-2017-5715, aka
|
|
|
8178f7 |
+ Spectre. They convert indirect branches and function returns to
|
|
|
8178f7 |
+ call and return thunks to avoid speculative execution via indirect
|
|
|
8178f7 |
+ call, jmp and ret. */
|
|
|
8178f7 |
+enum indirect_branch {
|
|
|
8178f7 |
+ indirect_branch_unset = 0,
|
|
|
8178f7 |
+ indirect_branch_keep,
|
|
|
8178f7 |
+ indirect_branch_thunk,
|
|
|
8178f7 |
+ indirect_branch_thunk_inline,
|
|
|
8178f7 |
+ indirect_branch_thunk_extern
|
|
|
8178f7 |
+};
|
|
|
8178f7 |
#endif
|
|
|
8178f7 |
diff --git a/gcc/config/i386/i386-protos.h b/gcc/config/i386/i386-protos.h
|
|
|
8178f7 |
index 96e7c5c..ecdf108 100644
|
|
|
8178f7 |
--- a/gcc/config/i386/i386-protos.h
|
|
|
8178f7 |
+++ b/gcc/config/i386/i386-protos.h
|
|
|
8178f7 |
@@ -306,6 +306,7 @@ extern enum attr_cpu ix86_schedule;
|
|
|
8178f7 |
#endif
|
|
|
8178f7 |
|
|
|
8178f7 |
extern const char * ix86_output_call_insn (rtx insn, rtx call_op);
|
|
|
8178f7 |
+extern const char * ix86_output_indirect_jmp (rtx call_op, bool ret_p);
|
|
|
8178f7 |
|
|
|
8178f7 |
#ifdef RTX_CODE
|
|
|
8178f7 |
/* Target data for multipass lookahead scheduling.
|
|
|
8178f7 |
diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
|
|
|
8178f7 |
index b91a456..ebc9a90 100644
|
|
|
8178f7 |
--- a/gcc/config/i386/i386.c
|
|
|
8178f7 |
+++ b/gcc/config/i386/i386.c
|
|
|
8178f7 |
@@ -2572,12 +2572,23 @@ struct rtl_opt_pass pass_insert_vzeroupper =
|
|
|
8178f7 |
}
|
|
|
8178f7 |
};
|
|
|
8178f7 |
|
|
|
8178f7 |
-/* Return true if a red-zone is in use. */
|
|
|
8178f7 |
+/* Return true if a red-zone is in use. We can't use red-zone when
|
|
|
8178f7 |
+ there are local indirect jumps, like "indirect_jump" or "tablejump",
|
|
|
8178f7 |
+ which jumps to another place in the function, since "call" in the
|
|
|
8178f7 |
+ indirect thunk pushes the return address onto stack, destroying
|
|
|
8178f7 |
+ red-zone.
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ TODO: If we can reserve the first 2 WORDs, for PUSH and, another
|
|
|
8178f7 |
+ for CALL, in red-zone, we can allow local indirect jumps with
|
|
|
8178f7 |
+ indirect thunk. */
|
|
|
8178f7 |
|
|
|
8178f7 |
static inline bool
|
|
|
8178f7 |
ix86_using_red_zone (void)
|
|
|
8178f7 |
{
|
|
|
8178f7 |
- return TARGET_RED_ZONE && !TARGET_64BIT_MS_ABI;
|
|
|
8178f7 |
+ return (TARGET_RED_ZONE
|
|
|
8178f7 |
+ && !TARGET_64BIT_MS_ABI
|
|
|
8178f7 |
+ && (!cfun->machine->has_local_indirect_jump
|
|
|
8178f7 |
+ || cfun->machine->indirect_branch_type == indirect_branch_keep));
|
|
|
8178f7 |
}
|
|
|
8178f7 |
|
|
|
8178f7 |
/* Return a string that documents the current -m options. The caller is
|
|
|
8178f7 |
@@ -4595,6 +4606,37 @@ ix86_can_inline_p (tree caller, tree callee)
|
|
|
8178f7 |
}
|
|
|
8178f7 |
|
|
|
8178f7 |
|
|
|
8178f7 |
+/* Set the indirect_branch_type field from the function FNDECL. */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+static void
|
|
|
8178f7 |
+ix86_set_indirect_branch_type (tree fndecl)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ if (cfun->machine->indirect_branch_type == indirect_branch_unset)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ tree attr = lookup_attribute ("indirect_branch",
|
|
|
8178f7 |
+ DECL_ATTRIBUTES (fndecl));
|
|
|
8178f7 |
+ if (attr != NULL)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ tree args = TREE_VALUE (attr);
|
|
|
8178f7 |
+ if (args == NULL)
|
|
|
8178f7 |
+ gcc_unreachable ();
|
|
|
8178f7 |
+ tree cst = TREE_VALUE (args);
|
|
|
8178f7 |
+ if (strcmp (TREE_STRING_POINTER (cst), "keep") == 0)
|
|
|
8178f7 |
+ cfun->machine->indirect_branch_type = indirect_branch_keep;
|
|
|
8178f7 |
+ else if (strcmp (TREE_STRING_POINTER (cst), "thunk") == 0)
|
|
|
8178f7 |
+ cfun->machine->indirect_branch_type = indirect_branch_thunk;
|
|
|
8178f7 |
+ else if (strcmp (TREE_STRING_POINTER (cst), "thunk-inline") == 0)
|
|
|
8178f7 |
+ cfun->machine->indirect_branch_type = indirect_branch_thunk_inline;
|
|
|
8178f7 |
+ else if (strcmp (TREE_STRING_POINTER (cst), "thunk-extern") == 0)
|
|
|
8178f7 |
+ cfun->machine->indirect_branch_type = indirect_branch_thunk_extern;
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ gcc_unreachable ();
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ cfun->machine->indirect_branch_type = ix86_indirect_branch;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
/* Remember the last target of ix86_set_current_function. */
|
|
|
8178f7 |
static GTY(()) tree ix86_previous_fndecl;
|
|
|
8178f7 |
|
|
|
8178f7 |
@@ -4609,6 +4651,9 @@ ix86_set_current_function (tree fndecl)
|
|
|
8178f7 |
slow things down too much or call target_reinit when it isn't safe. */
|
|
|
8178f7 |
if (fndecl && fndecl != ix86_previous_fndecl)
|
|
|
8178f7 |
{
|
|
|
8178f7 |
+ if (cfun && cfun->machine && fndecl)
|
|
|
8178f7 |
+ ix86_set_indirect_branch_type (fndecl);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
tree old_tree = (ix86_previous_fndecl
|
|
|
8178f7 |
? DECL_FUNCTION_SPECIFIC_TARGET (ix86_previous_fndecl)
|
|
|
8178f7 |
: NULL_TREE);
|
|
|
8178f7 |
@@ -4637,6 +4682,8 @@ ix86_set_current_function (tree fndecl)
|
|
|
8178f7 |
target_reinit ();
|
|
|
8178f7 |
}
|
|
|
8178f7 |
}
|
|
|
8178f7 |
+ if (cfun && cfun->machine && fndecl)
|
|
|
8178f7 |
+ ix86_set_indirect_branch_type (fndecl);
|
|
|
8178f7 |
}
|
|
|
8178f7 |
|
|
|
8178f7 |
|
|
|
8178f7 |
@@ -8668,6 +8715,196 @@ ix86_setup_frame_addresses (void)
|
|
|
8178f7 |
# endif
|
|
|
8178f7 |
#endif
|
|
|
8178f7 |
|
|
|
8178f7 |
+/* Label count for call and return thunks. It is used to make unique
|
|
|
8178f7 |
+ labels in call and return thunks. */
|
|
|
8178f7 |
+static int indirectlabelno;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* True if call and return thunk functions are needed. */
|
|
|
8178f7 |
+static bool indirect_thunk_needed = false;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Bit masks of integer registers, which contain branch target, used
|
|
|
8178f7 |
+ by call and return thunks functions. */
|
|
|
8178f7 |
+static int indirect_thunks_used;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+#ifndef INDIRECT_LABEL
|
|
|
8178f7 |
+# define INDIRECT_LABEL "LIND"
|
|
|
8178f7 |
+#endif
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Fills in the label name that should be used for the indirect thunk. */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+static void
|
|
|
8178f7 |
+indirect_thunk_name (char name[32], int regno)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ if (USE_HIDDEN_LINKONCE)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ if (regno >= 0)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ const char *reg_prefix;
|
|
|
8178f7 |
+ if (LEGACY_INT_REGNO_P (regno))
|
|
|
8178f7 |
+ reg_prefix = TARGET_64BIT ? "r" : "e";
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ reg_prefix = "";
|
|
|
8178f7 |
+ sprintf (name, "__x86_indirect_thunk_%s%s",
|
|
|
8178f7 |
+ reg_prefix, reg_names[regno]);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ sprintf (name, "__x86_indirect_thunk");
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ if (regno >= 0)
|
|
|
8178f7 |
+ ASM_GENERATE_INTERNAL_LABEL (name, "LITR", regno);
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ ASM_GENERATE_INTERNAL_LABEL (name, "LIT", 0);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Output a call and return thunk for indirect branch. If REGNO != -1,
|
|
|
8178f7 |
+ the function address is in REGNO and the call and return thunk looks like:
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ call L2
|
|
|
8178f7 |
+ L1:
|
|
|
8178f7 |
+ pause
|
|
|
8178f7 |
+ jmp L1
|
|
|
8178f7 |
+ L2:
|
|
|
8178f7 |
+ mov %REG, (%sp)
|
|
|
8178f7 |
+ ret
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ Otherwise, the function address is on the top of stack and the
|
|
|
8178f7 |
+ call and return thunk looks like:
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ call L2
|
|
|
8178f7 |
+ L1:
|
|
|
8178f7 |
+ pause
|
|
|
8178f7 |
+ jmp L1
|
|
|
8178f7 |
+ L2:
|
|
|
8178f7 |
+ lea WORD_SIZE(%sp), %sp
|
|
|
8178f7 |
+ ret
|
|
|
8178f7 |
+ */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+static void
|
|
|
8178f7 |
+output_indirect_thunk (int regno)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ char indirectlabel1[32];
|
|
|
8178f7 |
+ char indirectlabel2[32];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel1, INDIRECT_LABEL,
|
|
|
8178f7 |
+ indirectlabelno++);
|
|
|
8178f7 |
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel2, INDIRECT_LABEL,
|
|
|
8178f7 |
+ indirectlabelno++);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* Call */
|
|
|
8178f7 |
+ fputs ("\tcall\t", asm_out_file);
|
|
|
8178f7 |
+ assemble_name_raw (asm_out_file, indirectlabel2);
|
|
|
8178f7 |
+ fputc ('\n', asm_out_file);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel1);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* Pause + lfence. */
|
|
|
8178f7 |
+ fprintf (asm_out_file, "\tpause\n\tlfence\n");
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* Jump. */
|
|
|
8178f7 |
+ fputs ("\tjmp\t", asm_out_file);
|
|
|
8178f7 |
+ assemble_name_raw (asm_out_file, indirectlabel1);
|
|
|
8178f7 |
+ fputc ('\n', asm_out_file);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel2);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ if (regno >= 0)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ /* MOV. */
|
|
|
8178f7 |
+ rtx xops[2];
|
|
|
8178f7 |
+ xops[0] = gen_rtx_MEM (word_mode, stack_pointer_rtx);
|
|
|
8178f7 |
+ xops[1] = gen_rtx_REG (word_mode, regno);
|
|
|
8178f7 |
+ output_asm_insn ("mov\t{%1, %0|%0, %1}", xops);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ /* LEA. */
|
|
|
8178f7 |
+ rtx xops[2];
|
|
|
8178f7 |
+ xops[0] = stack_pointer_rtx;
|
|
|
8178f7 |
+ xops[1] = plus_constant (Pmode, stack_pointer_rtx, UNITS_PER_WORD);
|
|
|
8178f7 |
+ output_asm_insn ("lea\t{%E1, %0|%0, %E1}", xops);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ fputs ("\tret\n", asm_out_file);
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Output a funtion with a call and return thunk for indirect branch.
|
|
|
8178f7 |
+ If REGNO != -1, the function address is in REGNO. Otherwise, the
|
|
|
8178f7 |
+ function address is on the top of stack. */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+static void
|
|
|
8178f7 |
+output_indirect_thunk_function (int regno)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ char name[32];
|
|
|
8178f7 |
+ tree decl;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* Create __x86_indirect_thunk. */
|
|
|
8178f7 |
+ indirect_thunk_name (name, regno);
|
|
|
8178f7 |
+ decl = build_decl (BUILTINS_LOCATION, FUNCTION_DECL,
|
|
|
8178f7 |
+ get_identifier (name),
|
|
|
8178f7 |
+ build_function_type_list (void_type_node, NULL_TREE));
|
|
|
8178f7 |
+ DECL_RESULT (decl) = build_decl (BUILTINS_LOCATION, RESULT_DECL,
|
|
|
8178f7 |
+ NULL_TREE, void_type_node);
|
|
|
8178f7 |
+ TREE_PUBLIC (decl) = 1;
|
|
|
8178f7 |
+ TREE_STATIC (decl) = 1;
|
|
|
8178f7 |
+ DECL_IGNORED_P (decl) = 1;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+#if TARGET_MACHO
|
|
|
8178f7 |
+ if (TARGET_MACHO)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ switch_to_section (darwin_sections[picbase_thunk_section]);
|
|
|
8178f7 |
+ fputs ("\t.weak_definition\t", asm_out_file);
|
|
|
8178f7 |
+ assemble_name (asm_out_file, name);
|
|
|
8178f7 |
+ fputs ("\n\t.private_extern\t", asm_out_file);
|
|
|
8178f7 |
+ assemble_name (asm_out_file, name);
|
|
|
8178f7 |
+ putc ('\n', asm_out_file);
|
|
|
8178f7 |
+ ASM_OUTPUT_LABEL (asm_out_file, name);
|
|
|
8178f7 |
+ DECL_WEAK (decl) = 1;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+#endif
|
|
|
8178f7 |
+ if (USE_HIDDEN_LINKONCE)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ DECL_COMDAT (decl) = 1;
|
|
|
8178f7 |
+ make_decl_one_only (decl, DECL_ASSEMBLER_NAME (decl));
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ targetm.asm_out.unique_section (decl, 0);
|
|
|
8178f7 |
+ switch_to_section (get_named_section (decl, NULL, 0));
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ targetm.asm_out.globalize_label (asm_out_file, name);
|
|
|
8178f7 |
+ fputs ("\t.hidden\t", asm_out_file);
|
|
|
8178f7 |
+ assemble_name (asm_out_file, name);
|
|
|
8178f7 |
+ putc ('\n', asm_out_file);
|
|
|
8178f7 |
+ ASM_DECLARE_FUNCTION_NAME (asm_out_file, name, decl);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ switch_to_section (text_section);
|
|
|
8178f7 |
+ ASM_OUTPUT_LABEL (asm_out_file, name);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ DECL_INITIAL (decl) = make_node (BLOCK);
|
|
|
8178f7 |
+ current_function_decl = decl;
|
|
|
8178f7 |
+ allocate_struct_function (decl, false);
|
|
|
8178f7 |
+ init_function_start (decl);
|
|
|
8178f7 |
+ /* We're about to hide the function body from callees of final_* by
|
|
|
8178f7 |
+ emitting it directly; tell them we're a thunk, if they care. */
|
|
|
8178f7 |
+ cfun->is_thunk = true;
|
|
|
8178f7 |
+ first_function_block_is_cold = false;
|
|
|
8178f7 |
+ /* Make sure unwind info is emitted for the thunk if needed. */
|
|
|
8178f7 |
+ final_start_function (emit_barrier (), asm_out_file, 1);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ output_indirect_thunk (regno);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ final_end_function ();
|
|
|
8178f7 |
+ init_insn_lengths ();
|
|
|
8178f7 |
+ free_after_compilation (cfun);
|
|
|
8178f7 |
+ set_cfun (NULL);
|
|
|
8178f7 |
+ current_function_decl = NULL;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
static int pic_labels_used;
|
|
|
8178f7 |
|
|
|
8178f7 |
/* Fills in the label name that should be used for a pc thunk for
|
|
|
8178f7 |
@@ -8694,11 +8931,24 @@ ix86_code_end (void)
|
|
|
8178f7 |
rtx xops[2];
|
|
|
8178f7 |
int regno;
|
|
|
8178f7 |
|
|
|
8178f7 |
+ if (indirect_thunk_needed)
|
|
|
8178f7 |
+ output_indirect_thunk_function (-1);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ for (regno = FIRST_REX_INT_REG; regno <= LAST_REX_INT_REG; regno++)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ int i = regno - FIRST_REX_INT_REG + LAST_INT_REG + 1;
|
|
|
8178f7 |
+ if ((indirect_thunks_used & (1 << i)))
|
|
|
8178f7 |
+ output_indirect_thunk_function (regno);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+
|
|
|
8178f7 |
for (regno = AX_REG; regno <= SP_REG; regno++)
|
|
|
8178f7 |
{
|
|
|
8178f7 |
char name[32];
|
|
|
8178f7 |
tree decl;
|
|
|
8178f7 |
|
|
|
8178f7 |
+ if ((indirect_thunks_used & (1 << regno)))
|
|
|
8178f7 |
+ output_indirect_thunk_function (regno);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
if (!(pic_labels_used & (1 << regno)))
|
|
|
8178f7 |
continue;
|
|
|
8178f7 |
|
|
|
8178f7 |
@@ -24074,12 +24324,250 @@ ix86_expand_call (rtx retval, rtx fnaddr, rtx callarg1,
|
|
|
8178f7 |
return call;
|
|
|
8178f7 |
}
|
|
|
8178f7 |
|
|
|
8178f7 |
+/* Output indirect branch via a call and return thunk. CALL_OP is a
|
|
|
8178f7 |
+ register which contains the branch target. XASM is the assembly
|
|
|
8178f7 |
+ template for CALL_OP. Branch is a tail call if SIBCALL_P is true.
|
|
|
8178f7 |
+ A normal call is converted to:
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ call __x86_indirect_thunk_reg
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ and a tail call is converted to:
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ jmp __x86_indirect_thunk_reg
|
|
|
8178f7 |
+ */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+static void
|
|
|
8178f7 |
+ix86_output_indirect_branch_via_reg (rtx call_op, bool sibcall_p)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ char thunk_name_buf[32];
|
|
|
8178f7 |
+ char *thunk_name;
|
|
|
8178f7 |
+ int regno = REGNO (call_op);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ if (cfun->machine->indirect_branch_type
|
|
|
8178f7 |
+ != indirect_branch_thunk_inline)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ if (cfun->machine->indirect_branch_type == indirect_branch_thunk)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ int i = regno;
|
|
|
8178f7 |
+ if (i >= FIRST_REX_INT_REG)
|
|
|
8178f7 |
+ i -= (FIRST_REX_INT_REG - LAST_INT_REG - 1);
|
|
|
8178f7 |
+ indirect_thunks_used |= 1 << i;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ indirect_thunk_name (thunk_name_buf, regno);
|
|
|
8178f7 |
+ thunk_name = thunk_name_buf;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ thunk_name = NULL;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ if (sibcall_p)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ if (thunk_name != NULL)
|
|
|
8178f7 |
+ fprintf (asm_out_file, "\tjmp\t%s\n", thunk_name);
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ output_indirect_thunk (regno);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ if (thunk_name != NULL)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ fprintf (asm_out_file, "\tcall\t%s\n", thunk_name);
|
|
|
8178f7 |
+ return;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ char indirectlabel1[32];
|
|
|
8178f7 |
+ char indirectlabel2[32];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel1,
|
|
|
8178f7 |
+ INDIRECT_LABEL,
|
|
|
8178f7 |
+ indirectlabelno++);
|
|
|
8178f7 |
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel2,
|
|
|
8178f7 |
+ INDIRECT_LABEL,
|
|
|
8178f7 |
+ indirectlabelno++);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* Jump. */
|
|
|
8178f7 |
+ fputs ("\tjmp\t", asm_out_file);
|
|
|
8178f7 |
+ assemble_name_raw (asm_out_file, indirectlabel2);
|
|
|
8178f7 |
+ fputc ('\n', asm_out_file);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel1);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ if (thunk_name != NULL)
|
|
|
8178f7 |
+ fprintf (asm_out_file, "\tjmp\t%s\n", thunk_name);
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ output_indirect_thunk (regno);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel2);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* Call. */
|
|
|
8178f7 |
+ fputs ("\tcall\t", asm_out_file);
|
|
|
8178f7 |
+ assemble_name_raw (asm_out_file, indirectlabel1);
|
|
|
8178f7 |
+ fputc ('\n', asm_out_file);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Output indirect branch via a call and return thunk. CALL_OP is
|
|
|
8178f7 |
+ the branch target. XASM is the assembly template for CALL_OP.
|
|
|
8178f7 |
+ Branch is a tail call if SIBCALL_P is true. A normal call is
|
|
|
8178f7 |
+ converted to:
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ jmp L2
|
|
|
8178f7 |
+ L1:
|
|
|
8178f7 |
+ push CALL_OP
|
|
|
8178f7 |
+ jmp __x86_indirect_thunk
|
|
|
8178f7 |
+ L2:
|
|
|
8178f7 |
+ call L1
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ and a tail call is converted to:
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ push CALL_OP
|
|
|
8178f7 |
+ jmp __x86_indirect_thunk
|
|
|
8178f7 |
+ */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+static void
|
|
|
8178f7 |
+ix86_output_indirect_branch_via_push (rtx call_op, const char *xasm,
|
|
|
8178f7 |
+ bool sibcall_p)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ char thunk_name_buf[32];
|
|
|
8178f7 |
+ char *thunk_name;
|
|
|
8178f7 |
+ char push_buf[64];
|
|
|
8178f7 |
+ int regno = -1;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ if (cfun->machine->indirect_branch_type
|
|
|
8178f7 |
+ != indirect_branch_thunk_inline)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ if (cfun->machine->indirect_branch_type == indirect_branch_thunk)
|
|
|
8178f7 |
+ indirect_thunk_needed = true;
|
|
|
8178f7 |
+ indirect_thunk_name (thunk_name_buf, regno);
|
|
|
8178f7 |
+ thunk_name = thunk_name_buf;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ thunk_name = NULL;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ snprintf (push_buf, sizeof (push_buf), "push{%c}\t%s",
|
|
|
8178f7 |
+ TARGET_64BIT ? 'q' : 'l', xasm);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ if (sibcall_p)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ output_asm_insn (push_buf, &call_op);
|
|
|
8178f7 |
+ if (thunk_name != NULL)
|
|
|
8178f7 |
+ fprintf (asm_out_file, "\tjmp\t%s\n", thunk_name);
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ output_indirect_thunk (regno);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ char indirectlabel1[32];
|
|
|
8178f7 |
+ char indirectlabel2[32];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel1,
|
|
|
8178f7 |
+ INDIRECT_LABEL,
|
|
|
8178f7 |
+ indirectlabelno++);
|
|
|
8178f7 |
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel2,
|
|
|
8178f7 |
+ INDIRECT_LABEL,
|
|
|
8178f7 |
+ indirectlabelno++);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* Jump. */
|
|
|
8178f7 |
+ fputs ("\tjmp\t", asm_out_file);
|
|
|
8178f7 |
+ assemble_name_raw (asm_out_file, indirectlabel2);
|
|
|
8178f7 |
+ fputc ('\n', asm_out_file);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel1);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* An external function may be called via GOT, instead of PLT. */
|
|
|
8178f7 |
+ if (MEM_P (call_op))
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ struct ix86_address parts;
|
|
|
8178f7 |
+ rtx addr = XEXP (call_op, 0);
|
|
|
8178f7 |
+ if (ix86_decompose_address (addr, &parts)
|
|
|
8178f7 |
+ && parts.base == stack_pointer_rtx)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ /* Since call will adjust stack by -UNITS_PER_WORD,
|
|
|
8178f7 |
+ we must convert "disp(stack, index, scale)" to
|
|
|
8178f7 |
+ "disp+UNITS_PER_WORD(stack, index, scale)". */
|
|
|
8178f7 |
+ if (parts.index)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ addr = gen_rtx_MULT (Pmode, parts.index,
|
|
|
8178f7 |
+ GEN_INT (parts.scale));
|
|
|
8178f7 |
+ addr = gen_rtx_PLUS (Pmode, stack_pointer_rtx,
|
|
|
8178f7 |
+ addr);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ addr = stack_pointer_rtx;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ rtx disp;
|
|
|
8178f7 |
+ if (parts.disp != NULL_RTX)
|
|
|
8178f7 |
+ disp = plus_constant (Pmode, parts.disp,
|
|
|
8178f7 |
+ UNITS_PER_WORD);
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ disp = GEN_INT (UNITS_PER_WORD);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ addr = gen_rtx_PLUS (Pmode, addr, disp);
|
|
|
8178f7 |
+ call_op = gen_rtx_MEM (GET_MODE (call_op), addr);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ output_asm_insn (push_buf, &call_op);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ if (thunk_name != NULL)
|
|
|
8178f7 |
+ fprintf (asm_out_file, "\tjmp\t%s\n", thunk_name);
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ output_indirect_thunk (regno);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel2);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* Call. */
|
|
|
8178f7 |
+ fputs ("\tcall\t", asm_out_file);
|
|
|
8178f7 |
+ assemble_name_raw (asm_out_file, indirectlabel1);
|
|
|
8178f7 |
+ fputc ('\n', asm_out_file);
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Output indirect branch via a call and return thunk. CALL_OP is
|
|
|
8178f7 |
+ the branch target. XASM is the assembly template for CALL_OP.
|
|
|
8178f7 |
+ Branch is a tail call if SIBCALL_P is true. */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+static void
|
|
|
8178f7 |
+ix86_output_indirect_branch (rtx call_op, const char *xasm,
|
|
|
8178f7 |
+ bool sibcall_p)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ if (REG_P (call_op))
|
|
|
8178f7 |
+ ix86_output_indirect_branch_via_reg (call_op, sibcall_p);
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ ix86_output_indirect_branch_via_push (call_op, xasm, sibcall_p);
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+/* Output indirect jump. CALL_OP is the jump target. Jump is a
|
|
|
8178f7 |
+ function return if RET_P is true. */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+const char *
|
|
|
8178f7 |
+ix86_output_indirect_jmp (rtx call_op, bool ret_p)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ if (cfun->machine->indirect_branch_type != indirect_branch_keep)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ struct ix86_frame frame;
|
|
|
8178f7 |
+ ix86_compute_frame_layout (&frame);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* We can't have red-zone if this isn't a function return since
|
|
|
8178f7 |
+ "call" in the indirect thunk pushes the return address onto
|
|
|
8178f7 |
+ stack, destroying red-zone. */
|
|
|
8178f7 |
+ if (!ret_p && frame.red_zone_size != 0)
|
|
|
8178f7 |
+ gcc_unreachable ();
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ ix86_output_indirect_branch (call_op, "%0", true);
|
|
|
8178f7 |
+ return "";
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ return "jmp\t%A0";
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
/* Output the assembly for a call instruction. */
|
|
|
8178f7 |
|
|
|
8178f7 |
const char *
|
|
|
8178f7 |
ix86_output_call_insn (rtx insn, rtx call_op)
|
|
|
8178f7 |
{
|
|
|
8178f7 |
bool direct_p = constant_call_address_operand (call_op, VOIDmode);
|
|
|
8178f7 |
+ bool output_indirect_p
|
|
|
8178f7 |
+ = (!TARGET_SEH
|
|
|
8178f7 |
+ && cfun->machine->indirect_branch_type != indirect_branch_keep);
|
|
|
8178f7 |
bool seh_nop_p = false;
|
|
|
8178f7 |
const char *xasm;
|
|
|
8178f7 |
|
|
|
8178f7 |
@@ -24092,9 +24580,17 @@ ix86_output_call_insn (rtx insn, rtx call_op)
|
|
|
8178f7 |
else if (TARGET_SEH)
|
|
|
8178f7 |
xasm = "rex.W jmp %A0";
|
|
|
8178f7 |
else
|
|
|
8178f7 |
- xasm = "jmp\t%A0";
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ if (output_indirect_p)
|
|
|
8178f7 |
+ xasm = "%0";
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ xasm = "jmp\t%A0";
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
|
|
|
8178f7 |
- output_asm_insn (xasm, &call_op);
|
|
|
8178f7 |
+ if (output_indirect_p && !direct_p)
|
|
|
8178f7 |
+ ix86_output_indirect_branch (call_op, xasm, true);
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ output_asm_insn (xasm, &call_op);
|
|
|
8178f7 |
return "";
|
|
|
8178f7 |
}
|
|
|
8178f7 |
|
|
|
8178f7 |
@@ -24131,9 +24627,17 @@ ix86_output_call_insn (rtx insn, rtx call_op)
|
|
|
8178f7 |
if (direct_p)
|
|
|
8178f7 |
xasm = "call\t%P0";
|
|
|
8178f7 |
else
|
|
|
8178f7 |
- xasm = "call\t%A0";
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ if (output_indirect_p)
|
|
|
8178f7 |
+ xasm = "%0";
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ xasm = "call\t%A0";
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
|
|
|
8178f7 |
- output_asm_insn (xasm, &call_op);
|
|
|
8178f7 |
+ if (output_indirect_p && !direct_p)
|
|
|
8178f7 |
+ ix86_output_indirect_branch (call_op, xasm, false);
|
|
|
8178f7 |
+ else
|
|
|
8178f7 |
+ output_asm_insn (xasm, &call_op);
|
|
|
8178f7 |
|
|
|
8178f7 |
if (seh_nop_p)
|
|
|
8178f7 |
return "nop";
|
|
|
8178f7 |
@@ -35436,7 +35940,7 @@ ix86_handle_struct_attribute (tree *node, tree name,
|
|
|
8178f7 |
|
|
|
8178f7 |
static tree
|
|
|
8178f7 |
ix86_handle_fndecl_attribute (tree *node, tree name,
|
|
|
8178f7 |
- tree args ATTRIBUTE_UNUSED,
|
|
|
8178f7 |
+ tree args,
|
|
|
8178f7 |
int flags ATTRIBUTE_UNUSED, bool *no_add_attrs)
|
|
|
8178f7 |
{
|
|
|
8178f7 |
if (TREE_CODE (*node) != FUNCTION_DECL)
|
|
|
8178f7 |
@@ -35445,6 +35949,29 @@ ix86_handle_fndecl_attribute (tree *node, tree name,
|
|
|
8178f7 |
name);
|
|
|
8178f7 |
*no_add_attrs = true;
|
|
|
8178f7 |
}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ if (is_attribute_p ("indirect_branch", name))
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ tree cst = TREE_VALUE (args);
|
|
|
8178f7 |
+ if (TREE_CODE (cst) != STRING_CST)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ warning (OPT_Wattributes,
|
|
|
8178f7 |
+ "%qE attribute requires a string constant argument",
|
|
|
8178f7 |
+ name);
|
|
|
8178f7 |
+ *no_add_attrs = true;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ else if (strcmp (TREE_STRING_POINTER (cst), "keep") != 0
|
|
|
8178f7 |
+ && strcmp (TREE_STRING_POINTER (cst), "thunk") != 0
|
|
|
8178f7 |
+ && strcmp (TREE_STRING_POINTER (cst), "thunk-inline") != 0
|
|
|
8178f7 |
+ && strcmp (TREE_STRING_POINTER (cst), "thunk-extern") != 0)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ warning (OPT_Wattributes,
|
|
|
8178f7 |
+ "argument to %qE attribute is not "
|
|
|
8178f7 |
+ "(keep|thunk|thunk-inline|thunk-extern)", name);
|
|
|
8178f7 |
+ *no_add_attrs = true;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+
|
|
|
8178f7 |
return NULL_TREE;
|
|
|
8178f7 |
}
|
|
|
8178f7 |
|
|
|
8178f7 |
@@ -38963,6 +39490,8 @@ static const struct attribute_spec ix86_attribute_table[] =
|
|
|
8178f7 |
false },
|
|
|
8178f7 |
{ "callee_pop_aggregate_return", 1, 1, false, true, true,
|
|
|
8178f7 |
ix86_handle_callee_pop_aggregate_return, true },
|
|
|
8178f7 |
+ { "indirect_branch", 1, 1, true, false, false,
|
|
|
8178f7 |
+ ix86_handle_fndecl_attribute, false },
|
|
|
8178f7 |
/* End element. */
|
|
|
8178f7 |
{ NULL, 0, 0, false, false, false, NULL, false }
|
|
|
8178f7 |
};
|
|
|
8178f7 |
diff --git a/gcc/config/i386/i386.h b/gcc/config/i386/i386.h
|
|
|
8178f7 |
index 87fd381..8183cee7 100644
|
|
|
8178f7 |
--- a/gcc/config/i386/i386.h
|
|
|
8178f7 |
+++ b/gcc/config/i386/i386.h
|
|
|
8178f7 |
@@ -2322,6 +2322,13 @@ struct GTY(()) machine_function {
|
|
|
8178f7 |
stack below the return address. */
|
|
|
8178f7 |
BOOL_BITFIELD static_chain_on_stack : 1;
|
|
|
8178f7 |
|
|
|
8178f7 |
+ /* How to generate indirec branch. */
|
|
|
8178f7 |
+ ENUM_BITFIELD(indirect_branch) indirect_branch_type : 3;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+ /* If true, the current function has local indirect jumps, like
|
|
|
8178f7 |
+ "indirect_jump" or "tablejump". */
|
|
|
8178f7 |
+ BOOL_BITFIELD has_local_indirect_jump : 1;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
/* During prologue/epilogue generation, the current frame state.
|
|
|
8178f7 |
Otherwise, the frame state at the end of the prologue. */
|
|
|
8178f7 |
struct machine_frame_state fs;
|
|
|
8178f7 |
diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
|
|
|
8178f7 |
index e09e961..b943849 100644
|
|
|
8178f7 |
--- a/gcc/config/i386/i386.md
|
|
|
8178f7 |
+++ b/gcc/config/i386/i386.md
|
|
|
8178f7 |
@@ -11276,13 +11276,18 @@
|
|
|
8178f7 |
{
|
|
|
8178f7 |
if (TARGET_X32)
|
|
|
8178f7 |
operands[0] = convert_memory_address (word_mode, operands[0]);
|
|
|
8178f7 |
+ cfun->machine->has_local_indirect_jump = true;
|
|
|
8178f7 |
})
|
|
|
8178f7 |
|
|
|
8178f7 |
(define_insn "*indirect_jump"
|
|
|
8178f7 |
[(set (pc) (match_operand:W 0 "indirect_branch_operand" "rw"))]
|
|
|
8178f7 |
""
|
|
|
8178f7 |
- "jmp\t%A0"
|
|
|
8178f7 |
- [(set_attr "type" "ibr")
|
|
|
8178f7 |
+ "* return ix86_output_indirect_jmp (operands[0], false);"
|
|
|
8178f7 |
+ [(set (attr "type")
|
|
|
8178f7 |
+ (if_then_else (match_test "(cfun->machine->indirect_branch_type
|
|
|
8178f7 |
+ != indirect_branch_keep)")
|
|
|
8178f7 |
+ (const_string "multi")
|
|
|
8178f7 |
+ (const_string "ibr")))
|
|
|
8178f7 |
(set_attr "length_immediate" "0")])
|
|
|
8178f7 |
|
|
|
8178f7 |
(define_expand "tablejump"
|
|
|
8178f7 |
@@ -11324,14 +11329,19 @@
|
|
|
8178f7 |
|
|
|
8178f7 |
if (TARGET_X32)
|
|
|
8178f7 |
operands[0] = convert_memory_address (word_mode, operands[0]);
|
|
|
8178f7 |
+ cfun->machine->has_local_indirect_jump = true;
|
|
|
8178f7 |
})
|
|
|
8178f7 |
|
|
|
8178f7 |
(define_insn "*tablejump_1"
|
|
|
8178f7 |
[(set (pc) (match_operand:W 0 "indirect_branch_operand" "rw"))
|
|
|
8178f7 |
(use (label_ref (match_operand 1)))]
|
|
|
8178f7 |
""
|
|
|
8178f7 |
- "jmp\t%A0"
|
|
|
8178f7 |
- [(set_attr "type" "ibr")
|
|
|
8178f7 |
+ "* return ix86_output_indirect_jmp (operands[0], false);"
|
|
|
8178f7 |
+ [(set (attr "type")
|
|
|
8178f7 |
+ (if_then_else (match_test "(cfun->machine->indirect_branch_type
|
|
|
8178f7 |
+ != indirect_branch_keep)")
|
|
|
8178f7 |
+ (const_string "multi")
|
|
|
8178f7 |
+ (const_string "ibr")))
|
|
|
8178f7 |
(set_attr "length_immediate" "0")])
|
|
|
8178f7 |
|
|
|
8178f7 |
;; Convert setcc + movzbl to xor + setcc if operands don't overlap.
|
|
|
8178f7 |
@@ -11773,8 +11783,12 @@
|
|
|
8178f7 |
[(simple_return)
|
|
|
8178f7 |
(use (match_operand:SI 0 "register_operand" "r"))]
|
|
|
8178f7 |
"reload_completed"
|
|
|
8178f7 |
- "jmp\t%A0"
|
|
|
8178f7 |
- [(set_attr "type" "ibr")
|
|
|
8178f7 |
+ "* return ix86_output_indirect_jmp (operands[0], true);"
|
|
|
8178f7 |
+ [(set (attr "type")
|
|
|
8178f7 |
+ (if_then_else (match_test "(cfun->machine->indirect_branch_type
|
|
|
8178f7 |
+ != indirect_branch_keep)")
|
|
|
8178f7 |
+ (const_string "multi")
|
|
|
8178f7 |
+ (const_string "ibr")))
|
|
|
8178f7 |
(set_attr "length_immediate" "0")])
|
|
|
8178f7 |
|
|
|
8178f7 |
(define_insn "nop"
|
|
|
8178f7 |
diff --git a/gcc/config/i386/i386.opt b/gcc/config/i386/i386.opt
|
|
|
8178f7 |
index e93aa5a..0f6965a 100644
|
|
|
8178f7 |
--- a/gcc/config/i386/i386.opt
|
|
|
8178f7 |
+++ b/gcc/config/i386/i386.opt
|
|
|
8178f7 |
@@ -630,3 +630,23 @@ Support RTM built-in functions and code generation
|
|
|
8178f7 |
mpku
|
|
|
8178f7 |
Target Report Mask(ISA_PKU) Var(ix86_isa_flags) Save
|
|
|
8178f7 |
Support PKU built-in functions and code generation
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+mindirect-branch=
|
|
|
8178f7 |
+Target Report RejectNegative Joined Enum(indirect_branch) Var(ix86_indirect_branch) Init(indirect_branch_keep)
|
|
|
8178f7 |
+Convert indirect call and jump to call and return thunks.
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+Enum
|
|
|
8178f7 |
+Name(indirect_branch) Type(enum indirect_branch)
|
|
|
8178f7 |
+Known indirect branch choices (for use with the -mindirect-branch= option):
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+EnumValue
|
|
|
8178f7 |
+Enum(indirect_branch) String(keep) Value(indirect_branch_keep)
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+EnumValue
|
|
|
8178f7 |
+Enum(indirect_branch) String(thunk) Value(indirect_branch_thunk)
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+EnumValue
|
|
|
8178f7 |
+Enum(indirect_branch) String(thunk-inline) Value(indirect_branch_thunk_inline)
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+EnumValue
|
|
|
8178f7 |
+Enum(indirect_branch) String(thunk-extern) Value(indirect_branch_thunk_extern)
|
|
|
8178f7 |
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
|
|
|
8178f7 |
index e495af5..847991c 100644
|
|
|
8178f7 |
--- a/gcc/doc/extend.texi
|
|
|
8178f7 |
+++ b/gcc/doc/extend.texi
|
|
|
8178f7 |
@@ -3811,6 +3811,16 @@ Specify which floating-point unit to use. The
|
|
|
8178f7 |
@code{target("fpmath=sse,387")} option must be specified as
|
|
|
8178f7 |
@code{target("fpmath=sse+387")} because the comma would separate
|
|
|
8178f7 |
different options.
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+@item indirect_branch("@var{choice}")
|
|
|
8178f7 |
+@cindex @code{indirect_branch} function attribute, x86
|
|
|
8178f7 |
+On x86 targets, the @code{indirect_branch} attribute causes the compiler
|
|
|
8178f7 |
+to convert indirect call and jump with @var{choice}. @samp{keep}
|
|
|
8178f7 |
+keeps indirect call and jump unmodified. @samp{thunk} converts indirect
|
|
|
8178f7 |
+call and jump to call and return thunk. @samp{thunk-inline} converts
|
|
|
8178f7 |
+indirect call and jump to inlined call and return thunk.
|
|
|
8178f7 |
+@samp{thunk-extern} converts indirect call and jump to external call
|
|
|
8178f7 |
+and return thunk provided in a separate object file.
|
|
|
8178f7 |
@end table
|
|
|
8178f7 |
|
|
|
8178f7 |
On the PowerPC, the following options are allowed:
|
|
|
8178f7 |
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
|
|
|
8178f7 |
index 313a6c5..b299fbf 100644
|
|
|
8178f7 |
--- a/gcc/doc/invoke.texi
|
|
|
8178f7 |
+++ b/gcc/doc/invoke.texi
|
|
|
8178f7 |
@@ -657,7 +657,8 @@ Objective-C and Objective-C++ Dialects}.
|
|
|
8178f7 |
-mcmodel=@var{code-model} -mabi=@var{name} -maddress-mode=@var{mode} @gol
|
|
|
8178f7 |
-m32 -m64 -mx32 -mlarge-data-threshold=@var{num} @gol
|
|
|
8178f7 |
-msse2avx -mfentry -m8bit-idiv @gol
|
|
|
8178f7 |
--mavx256-split-unaligned-load -mavx256-split-unaligned-store}
|
|
|
8178f7 |
+-mavx256-split-unaligned-load -mavx256-split-unaligned-store @gol
|
|
|
8178f7 |
+-mindirect-branch=@var{choice}}
|
|
|
8178f7 |
|
|
|
8178f7 |
@emph{i386 and x86-64 Windows Options}
|
|
|
8178f7 |
@gccoptlist{-mconsole -mcygwin -mno-cygwin -mdll @gol
|
|
|
8178f7 |
@@ -14646,6 +14647,17 @@ to 255, 8-bit unsigned integer divide is used instead of
|
|
|
8178f7 |
@opindex avx256-split-unaligned-store
|
|
|
8178f7 |
Split 32-byte AVX unaligned load and store.
|
|
|
8178f7 |
|
|
|
8178f7 |
+@item -mindirect-branch=@var{choice}
|
|
|
8178f7 |
+@opindex -mindirect-branch
|
|
|
8178f7 |
+Convert indirect call and jump with @var{choice}. The default is
|
|
|
8178f7 |
+@samp{keep}, which keeps indirect call and jump unmodified.
|
|
|
8178f7 |
+@samp{thunk} converts indirect call and jump to call and return thunk.
|
|
|
8178f7 |
+@samp{thunk-inline} converts indirect call and jump to inlined call
|
|
|
8178f7 |
+and return thunk. @samp{thunk-extern} converts indirect call and jump
|
|
|
8178f7 |
+to external call and return thunk provided in a separate object file.
|
|
|
8178f7 |
+You can control this behavior for a specific function by using the
|
|
|
8178f7 |
+function attribute @code{indirect_branch}. @xref{Function Attributes}.
|
|
|
8178f7 |
+
|
|
|
8178f7 |
@end table
|
|
|
8178f7 |
|
|
|
8178f7 |
These @samp{-m} switches are supported in addition to the above
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-1.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-1.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..87f6dae
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-1.c
|
|
|
8178f7 |
@@ -0,0 +1,22 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch(offset);
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Our gcc-4.8 based compiler is not as aggressive at sibcalls
|
|
|
8178f7 |
+ where the target is in a MEM. Thus we have to scan for different
|
|
|
8178f7 |
+ patterns here than in newer compilers. */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "mov(?:l|q)\[ \t\]*_?dispatch" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-2.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-2.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..6bc4f0a
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-2.c
|
|
|
8178f7 |
@@ -0,0 +1,22 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch[256];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch[offset](offset);
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Our gcc-4.8 based compiler is not as aggressive at sibcalls
|
|
|
8178f7 |
+ where the target is in a MEM. Thus we have to scan for different
|
|
|
8178f7 |
+ patterns here than in newer compilers. */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "mov(?:l|q)\[ \t\]*_?dispatch" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-3.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-3.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..f20d35c
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-3.c
|
|
|
8178f7 |
@@ -0,0 +1,21 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+int
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch(offset);
|
|
|
8178f7 |
+ return 0;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-4.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-4.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..0eff8fb
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-4.c
|
|
|
8178f7 |
@@ -0,0 +1,21 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch[256];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+int
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch[offset](offset);
|
|
|
8178f7 |
+ return 0;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-7.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-7.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..afdb600
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-7.c
|
|
|
8178f7 |
@@ -0,0 +1,44 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void func0 (void);
|
|
|
8178f7 |
+void func1 (void);
|
|
|
8178f7 |
+void func2 (void);
|
|
|
8178f7 |
+void func3 (void);
|
|
|
8178f7 |
+void func4 (void);
|
|
|
8178f7 |
+void func4 (void);
|
|
|
8178f7 |
+void func5 (void);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+bar (int i)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ switch (i)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ default:
|
|
|
8178f7 |
+ func0 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 1:
|
|
|
8178f7 |
+ func1 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 2:
|
|
|
8178f7 |
+ func2 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 3:
|
|
|
8178f7 |
+ func3 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 4:
|
|
|
8178f7 |
+ func4 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 5:
|
|
|
8178f7 |
+ func5 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*\.L\[0-9\]+\\(,%" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-1.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-1.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..efccdec
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-1.c
|
|
|
8178f7 |
@@ -0,0 +1,25 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+extern void male_indirect_jump (long)
|
|
|
8178f7 |
+ __attribute__ ((indirect_branch("thunk")));
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch(offset);
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Our gcc-4.8 based compiler is not as aggressive at sibcalls
|
|
|
8178f7 |
+ where the target is in a MEM. Thus we have to scan for different
|
|
|
8178f7 |
+ patterns here than in newer compilers. */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "mov(?:l|q)\[ \t\]*_?dispatch" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-2.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-2.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..ca3814e
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-2.c
|
|
|
8178f7 |
@@ -0,0 +1,23 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch[256];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+__attribute__ ((indirect_branch("thunk")))
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch[offset](offset);
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Our gcc-4.8 based compiler is not as aggressive at sibcalls
|
|
|
8178f7 |
+ where the target is in a MEM. Thus we have to scan for different
|
|
|
8178f7 |
+ patterns here than in newer compilers. */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "mov(?:l|q)\[ \t\]*_?dispatch" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-3.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-3.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..97744d6
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-3.c
|
|
|
8178f7 |
@@ -0,0 +1,23 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch;
|
|
|
8178f7 |
+extern int male_indirect_jump (long)
|
|
|
8178f7 |
+ __attribute__ ((indirect_branch("thunk-inline")));
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+int
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch(offset);
|
|
|
8178f7 |
+ return 0;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 2 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 2 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-4.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-4.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..bfce3ea
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-4.c
|
|
|
8178f7 |
@@ -0,0 +1,22 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch[256];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+__attribute__ ((indirect_branch("thunk-inline")))
|
|
|
8178f7 |
+int
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch[offset](offset);
|
|
|
8178f7 |
+ return 0;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 2 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 2 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-5.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-5.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..0833606
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-5.c
|
|
|
8178f7 |
@@ -0,0 +1,22 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch;
|
|
|
8178f7 |
+extern int male_indirect_jump (long)
|
|
|
8178f7 |
+ __attribute__ ((indirect_branch("thunk-extern")));
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+int
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch(offset);
|
|
|
8178f7 |
+ return 0;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-6.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-6.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..2eba0fb
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-6.c
|
|
|
8178f7 |
@@ -0,0 +1,21 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch[256];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+__attribute__ ((indirect_branch("thunk-extern")))
|
|
|
8178f7 |
+int
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch[offset](offset);
|
|
|
8178f7 |
+ return 0;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-7.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-7.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..f58427e
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-7.c
|
|
|
8178f7 |
@@ -0,0 +1,44 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void func0 (void);
|
|
|
8178f7 |
+void func1 (void);
|
|
|
8178f7 |
+void func2 (void);
|
|
|
8178f7 |
+void func3 (void);
|
|
|
8178f7 |
+void func4 (void);
|
|
|
8178f7 |
+void func4 (void);
|
|
|
8178f7 |
+void func5 (void);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+__attribute__ ((indirect_branch("thunk-extern")))
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+bar (int i)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ switch (i)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ default:
|
|
|
8178f7 |
+ func0 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 1:
|
|
|
8178f7 |
+ func1 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 2:
|
|
|
8178f7 |
+ func2 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 3:
|
|
|
8178f7 |
+ func3 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 4:
|
|
|
8178f7 |
+ func4 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 5:
|
|
|
8178f7 |
+ func5 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*\.L\[0-9\]+\\(,%" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-8.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-8.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..564ed39
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-8.c
|
|
|
8178f7 |
@@ -0,0 +1,42 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void func0 (void);
|
|
|
8178f7 |
+void func1 (void);
|
|
|
8178f7 |
+void func2 (void);
|
|
|
8178f7 |
+void func3 (void);
|
|
|
8178f7 |
+void func4 (void);
|
|
|
8178f7 |
+void func4 (void);
|
|
|
8178f7 |
+void func5 (void);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+__attribute__ ((indirect_branch("keep")))
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+bar (int i)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ switch (i)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ default:
|
|
|
8178f7 |
+ func0 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 1:
|
|
|
8178f7 |
+ func1 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 2:
|
|
|
8178f7 |
+ func2 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 3:
|
|
|
8178f7 |
+ func3 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 4:
|
|
|
8178f7 |
+ func4 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 5:
|
|
|
8178f7 |
+ func5 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-1.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-1.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..7fd01d6
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-1.c
|
|
|
8178f7 |
@@ -0,0 +1,21 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk-extern -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch(offset);
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Our gcc-4.8 based compiler is not as aggressive at sibcalls
|
|
|
8178f7 |
+ where the target is in a MEM. Thus we have to scan for different
|
|
|
8178f7 |
+ patterns here than in newer compilers. */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "mov(?:l|q)\[ \t\]*_?dispatch" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-2.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-2.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..825f6b2
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-2.c
|
|
|
8178f7 |
@@ -0,0 +1,21 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk-extern -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch[256];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch[offset](offset);
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Our gcc-4.8 based compiler is not as aggressive at sibcalls
|
|
|
8178f7 |
+ where the target is in a MEM. Thus we have to scan for different
|
|
|
8178f7 |
+ patterns here than in newer compilers. */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "mov(?:l|q)\[ \t\]*_?dispatch" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-3.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-3.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..395634e
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-3.c
|
|
|
8178f7 |
@@ -0,0 +1,20 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk-extern -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+int
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch(offset);
|
|
|
8178f7 |
+ return 0;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-4.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-4.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..fd3f633
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-4.c
|
|
|
8178f7 |
@@ -0,0 +1,20 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk-extern -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch[256];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+int
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch[offset](offset);
|
|
|
8178f7 |
+ return 0;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-7.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-7.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..6652523
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-7.c
|
|
|
8178f7 |
@@ -0,0 +1,43 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk-extern -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void func0 (void);
|
|
|
8178f7 |
+void func1 (void);
|
|
|
8178f7 |
+void func2 (void);
|
|
|
8178f7 |
+void func3 (void);
|
|
|
8178f7 |
+void func4 (void);
|
|
|
8178f7 |
+void func4 (void);
|
|
|
8178f7 |
+void func5 (void);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+bar (int i)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ switch (i)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ default:
|
|
|
8178f7 |
+ func0 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 1:
|
|
|
8178f7 |
+ func1 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 2:
|
|
|
8178f7 |
+ func2 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 3:
|
|
|
8178f7 |
+ func3 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 4:
|
|
|
8178f7 |
+ func4 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 5:
|
|
|
8178f7 |
+ func5 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*\.L\[0-9\]+\\(,%" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-1.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-1.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..48c4dd4
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-1.c
|
|
|
8178f7 |
@@ -0,0 +1,23 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk-inline -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch(offset);
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Our gcc-4.8 based compiler is not as aggressive at sibcalls
|
|
|
8178f7 |
+ where the target is in a MEM. Thus we have to scan for different
|
|
|
8178f7 |
+ patterns here than in newer compilers. */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "mov(?:l|q)\[ \t\]*_?dispatch" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-2.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-2.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..355dad5
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-2.c
|
|
|
8178f7 |
@@ -0,0 +1,23 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk-inline -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch[256];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch[offset](offset);
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* Our gcc-4.8 based compiler is not as aggressive at sibcalls
|
|
|
8178f7 |
+ where the target is in a MEM. Thus we have to scan for different
|
|
|
8178f7 |
+ patterns here than in newer compilers. */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "mov(?:l|q)\[ \t\]*_?dispatch" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-3.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-3.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..244fec7
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-3.c
|
|
|
8178f7 |
@@ -0,0 +1,21 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk-inline -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch;
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+int
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch(offset);
|
|
|
8178f7 |
+ return 0;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 2 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 2 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times {\tpause} 1 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times {\tlfence} 1 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-4.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-4.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..107ebe3
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-4.c
|
|
|
8178f7 |
@@ -0,0 +1,21 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk-inline -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+typedef void (*dispatch_t)(long offset);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+dispatch_t dispatch[256];
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+int
|
|
|
8178f7 |
+male_indirect_jump (long offset)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ dispatch[offset](offset);
|
|
|
8178f7 |
+ return 0;
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 2 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 2 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times {\tpause} 1 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-times {\tlfence} 1 } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
|
|
8178f7 |
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-7.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-7.c
|
|
|
8178f7 |
new file mode 100644
|
|
|
8178f7 |
index 0000000..d02b1dc
|
|
|
8178f7 |
--- /dev/null
|
|
|
8178f7 |
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-7.c
|
|
|
8178f7 |
@@ -0,0 +1,44 @@
|
|
|
8178f7 |
+/* { dg-do compile } */
|
|
|
8178f7 |
+/* { dg-options "-O2 -mindirect-branch=thunk-inline -fno-pic" } */
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void func0 (void);
|
|
|
8178f7 |
+void func1 (void);
|
|
|
8178f7 |
+void func2 (void);
|
|
|
8178f7 |
+void func3 (void);
|
|
|
8178f7 |
+void func4 (void);
|
|
|
8178f7 |
+void func4 (void);
|
|
|
8178f7 |
+void func5 (void);
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+void
|
|
|
8178f7 |
+bar (int i)
|
|
|
8178f7 |
+{
|
|
|
8178f7 |
+ switch (i)
|
|
|
8178f7 |
+ {
|
|
|
8178f7 |
+ default:
|
|
|
8178f7 |
+ func0 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 1:
|
|
|
8178f7 |
+ func1 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 2:
|
|
|
8178f7 |
+ func2 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 3:
|
|
|
8178f7 |
+ func3 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 4:
|
|
|
8178f7 |
+ func4 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ case 5:
|
|
|
8178f7 |
+ func5 ();
|
|
|
8178f7 |
+ break;
|
|
|
8178f7 |
+ }
|
|
|
8178f7 |
+}
|
|
|
8178f7 |
+
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*\.L\[0-9\]+\\(,%" { target { ! x32 } } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tpause} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler {\tlfence} } } */
|
|
|
8178f7 |
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|