Richard Biener
80e2b7bda2
- Document revisions of which gcc48-mindirect-branch.diff contains of. OBS-URL: https://build.opensuse.org/request/show/568508 OBS-URL: https://build.opensuse.org/package/show/devel:gcc/gcc48?expand=0&rev=217
2530 lines
84 KiB
Diff
2530 lines
84 KiB
Diff
Backport of following revs for Spectre v2 mitigation/retpolines:
|
||
|
||
- gcc-7-branch@256691
|
||
- gcc-7-branch@256692
|
||
- gcc-7-branch@256742
|
||
- trunk@256660
|
||
- trunk@256661
|
||
- trunk@256662
|
||
- trunk@256663
|
||
- trunk@256664
|
||
|
||
diff --git a/gcc/config/i386/constraints.md b/gcc/config/i386/constraints.md
|
||
index d567fd78693..98216b180f2 100644
|
||
--- a/gcc/config/i386/constraints.md
|
||
+++ b/gcc/config/i386/constraints.md
|
||
@@ -136,6 +136,7 @@
|
||
(define_constraint "w"
|
||
"@internal Call memory operand."
|
||
(and (not (match_test "TARGET_X32"))
|
||
+ (not (match_test "ix86_indirect_branch_register"))
|
||
(match_operand 0 "memory_operand")))
|
||
|
||
;; Integer constant constraints.
|
||
diff --git a/gcc/config/i386/i386-opts.h b/gcc/config/i386/i386-opts.h
|
||
index 11c08457db3..5c02a023476 100644
|
||
--- a/gcc/config/i386/i386-opts.h
|
||
+++ b/gcc/config/i386/i386-opts.h
|
||
@@ -85,4 +85,17 @@ enum ix86_veclibabi {
|
||
ix86_veclibabi_type_acml
|
||
};
|
||
|
||
+/* This is used to mitigate variant #2 of the speculative execution
|
||
+ vulnerabilities on x86 processors identified by CVE-2017-5715, aka
|
||
+ Spectre. They convert indirect branches and function returns to
|
||
+ call and return thunks to avoid speculative execution via indirect
|
||
+ call, jmp and ret. */
|
||
+enum indirect_branch {
|
||
+ indirect_branch_unset = 0,
|
||
+ indirect_branch_keep,
|
||
+ indirect_branch_thunk,
|
||
+ indirect_branch_thunk_inline,
|
||
+ indirect_branch_thunk_extern
|
||
+};
|
||
+
|
||
#endif
|
||
diff --git a/gcc/config/i386/i386-protos.h b/gcc/config/i386/i386-protos.h
|
||
index 602e6fce46d..f4fbd806ee2 100644
|
||
--- a/gcc/config/i386/i386-protos.h
|
||
+++ b/gcc/config/i386/i386-protos.h
|
||
@@ -306,6 +306,8 @@ extern enum attr_cpu ix86_schedule;
|
||
#endif
|
||
|
||
extern const char * ix86_output_call_insn (rtx insn, rtx call_op);
|
||
+extern const char * ix86_output_indirect_jmp (rtx call_op, bool ret_p);
|
||
+extern const char * ix86_output_function_return (bool long_p);
|
||
|
||
#ifdef RTX_CODE
|
||
/* Target data for multipass lookahead scheduling.
|
||
diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
|
||
index 40dec967ce8..ed1f81fd7b0 100644
|
||
--- a/gcc/config/i386/i386.c
|
||
+++ b/gcc/config/i386/i386.c
|
||
@@ -2223,52 +2223,6 @@ struct GTY(()) stack_local_entry {
|
||
struct stack_local_entry *next;
|
||
};
|
||
|
||
-/* Structure describing stack frame layout.
|
||
- Stack grows downward:
|
||
-
|
||
- [arguments]
|
||
- <- ARG_POINTER
|
||
- saved pc
|
||
-
|
||
- saved static chain if ix86_static_chain_on_stack
|
||
-
|
||
- saved frame pointer if frame_pointer_needed
|
||
- <- HARD_FRAME_POINTER
|
||
- [saved regs]
|
||
- <- regs_save_offset
|
||
- [padding0]
|
||
-
|
||
- [saved SSE regs]
|
||
- <- sse_regs_save_offset
|
||
- [padding1] |
|
||
- | <- FRAME_POINTER
|
||
- [va_arg registers] |
|
||
- |
|
||
- [frame] |
|
||
- |
|
||
- [padding2] | = to_allocate
|
||
- <- STACK_POINTER
|
||
- */
|
||
-struct ix86_frame
|
||
-{
|
||
- int nsseregs;
|
||
- int nregs;
|
||
- int va_arg_size;
|
||
- int red_zone_size;
|
||
- int outgoing_arguments_size;
|
||
-
|
||
- /* The offsets relative to ARG_POINTER. */
|
||
- HOST_WIDE_INT frame_pointer_offset;
|
||
- HOST_WIDE_INT hard_frame_pointer_offset;
|
||
- HOST_WIDE_INT stack_pointer_offset;
|
||
- HOST_WIDE_INT hfp_save_offset;
|
||
- HOST_WIDE_INT reg_save_offset;
|
||
- HOST_WIDE_INT sse_reg_save_offset;
|
||
-
|
||
- /* When save_regs_using_mov is set, emit prologue using
|
||
- move instead of push instructions. */
|
||
- bool save_regs_using_mov;
|
||
-};
|
||
|
||
/* Which cpu are we scheduling for. */
|
||
enum attr_cpu ix86_schedule;
|
||
@@ -2359,7 +2313,7 @@ static unsigned int ix86_function_arg_boundary (enum machine_mode,
|
||
const_tree);
|
||
static rtx ix86_static_chain (const_tree, bool);
|
||
static int ix86_function_regparm (const_tree, const_tree);
|
||
-static void ix86_compute_frame_layout (struct ix86_frame *);
|
||
+static void ix86_compute_frame_layout ();
|
||
static bool ix86_expand_vector_init_one_nonzero (bool, enum machine_mode,
|
||
rtx, rtx, int);
|
||
static void ix86_add_new_builtins (HOST_WIDE_INT);
|
||
@@ -2491,12 +2445,23 @@ struct rtl_opt_pass pass_insert_vzeroupper =
|
||
}
|
||
};
|
||
|
||
-/* Return true if a red-zone is in use. */
|
||
+/* Return true if a red-zone is in use. We can't use red-zone when
|
||
+ there are local indirect jumps, like "indirect_jump" or "tablejump",
|
||
+ which jumps to another place in the function, since "call" in the
|
||
+ indirect thunk pushes the return address onto stack, destroying
|
||
+ red-zone.
|
||
+
|
||
+ TODO: If we can reserve the first 2 WORDs, for PUSH and, another
|
||
+ for CALL, in red-zone, we can allow local indirect jumps with
|
||
+ indirect thunk. */
|
||
|
||
static inline bool
|
||
ix86_using_red_zone (void)
|
||
{
|
||
- return TARGET_RED_ZONE && !TARGET_64BIT_MS_ABI;
|
||
+ return (TARGET_RED_ZONE
|
||
+ && !TARGET_64BIT_MS_ABI
|
||
+ && (!cfun->machine->has_local_indirect_jump
|
||
+ || cfun->machine->indirect_branch_type == indirect_branch_keep));
|
||
}
|
||
|
||
/* Return a string that documents the current -m options. The caller is
|
||
@@ -4507,6 +4472,88 @@ ix86_can_inline_p (tree caller, tree callee)
|
||
/* Remember the last target of ix86_set_current_function. */
|
||
static GTY(()) tree ix86_previous_fndecl;
|
||
|
||
+/* Set the indirect_branch_type field from the function FNDECL. */
|
||
+
|
||
+static void
|
||
+ix86_set_indirect_branch_type (tree fndecl)
|
||
+{
|
||
+ if (cfun->machine->indirect_branch_type == indirect_branch_unset)
|
||
+ {
|
||
+ tree attr = lookup_attribute ("indirect_branch",
|
||
+ DECL_ATTRIBUTES (fndecl));
|
||
+ if (attr != NULL)
|
||
+ {
|
||
+ tree args = TREE_VALUE (attr);
|
||
+ if (args == NULL)
|
||
+ gcc_unreachable ();
|
||
+ tree cst = TREE_VALUE (args);
|
||
+ if (strcmp (TREE_STRING_POINTER (cst), "keep") == 0)
|
||
+ cfun->machine->indirect_branch_type = indirect_branch_keep;
|
||
+ else if (strcmp (TREE_STRING_POINTER (cst), "thunk") == 0)
|
||
+ cfun->machine->indirect_branch_type = indirect_branch_thunk;
|
||
+ else if (strcmp (TREE_STRING_POINTER (cst), "thunk-inline") == 0)
|
||
+ cfun->machine->indirect_branch_type = indirect_branch_thunk_inline;
|
||
+ else if (strcmp (TREE_STRING_POINTER (cst), "thunk-extern") == 0)
|
||
+ cfun->machine->indirect_branch_type = indirect_branch_thunk_extern;
|
||
+ else
|
||
+ gcc_unreachable ();
|
||
+ }
|
||
+ else
|
||
+ cfun->machine->indirect_branch_type = ix86_indirect_branch;
|
||
+
|
||
+ /* -mcmodel=large is not compatible with -mindirect-branch=thunk
|
||
+ nor -mindirect-branch=thunk-extern. */
|
||
+ if ((ix86_cmodel == CM_LARGE || ix86_cmodel == CM_LARGE_PIC)
|
||
+ && ((cfun->machine->indirect_branch_type
|
||
+ == indirect_branch_thunk_extern)
|
||
+ || (cfun->machine->indirect_branch_type
|
||
+ == indirect_branch_thunk)))
|
||
+ error ("%<-mindirect-branch=%s%> and %<-mcmodel=large%> are not "
|
||
+ "compatible",
|
||
+ ((cfun->machine->indirect_branch_type
|
||
+ == indirect_branch_thunk_extern)
|
||
+ ? "thunk-extern" : "thunk"));
|
||
+ }
|
||
+
|
||
+ if (cfun->machine->function_return_type == indirect_branch_unset)
|
||
+ {
|
||
+ tree attr = lookup_attribute ("function_return",
|
||
+ DECL_ATTRIBUTES (fndecl));
|
||
+ if (attr != NULL)
|
||
+ {
|
||
+ tree args = TREE_VALUE (attr);
|
||
+ if (args == NULL)
|
||
+ gcc_unreachable ();
|
||
+ tree cst = TREE_VALUE (args);
|
||
+ if (strcmp (TREE_STRING_POINTER (cst), "keep") == 0)
|
||
+ cfun->machine->function_return_type = indirect_branch_keep;
|
||
+ else if (strcmp (TREE_STRING_POINTER (cst), "thunk") == 0)
|
||
+ cfun->machine->function_return_type = indirect_branch_thunk;
|
||
+ else if (strcmp (TREE_STRING_POINTER (cst), "thunk-inline") == 0)
|
||
+ cfun->machine->function_return_type = indirect_branch_thunk_inline;
|
||
+ else if (strcmp (TREE_STRING_POINTER (cst), "thunk-extern") == 0)
|
||
+ cfun->machine->function_return_type = indirect_branch_thunk_extern;
|
||
+ else
|
||
+ gcc_unreachable ();
|
||
+ }
|
||
+ else
|
||
+ cfun->machine->function_return_type = ix86_function_return;
|
||
+
|
||
+ /* -mcmodel=large is not compatible with -mfunction-return=thunk
|
||
+ nor -mfunction-return=thunk-extern. */
|
||
+ if ((ix86_cmodel == CM_LARGE || ix86_cmodel == CM_LARGE_PIC)
|
||
+ && ((cfun->machine->function_return_type
|
||
+ == indirect_branch_thunk_extern)
|
||
+ || (cfun->machine->function_return_type
|
||
+ == indirect_branch_thunk)))
|
||
+ error ("%<-mfunction-return=%s%> and %<-mcmodel=large%> are not "
|
||
+ "compatible",
|
||
+ ((cfun->machine->function_return_type
|
||
+ == indirect_branch_thunk_extern)
|
||
+ ? "thunk-extern" : "thunk"));
|
||
+ }
|
||
+}
|
||
+
|
||
/* Establish appropriate back-end context for processing the function
|
||
FNDECL. The argument might be NULL to indicate processing at top
|
||
level, outside of any function scope. */
|
||
@@ -4545,6 +4592,9 @@ ix86_set_current_function (tree fndecl)
|
||
cl_target_option_restore (&global_options, def);
|
||
target_reinit ();
|
||
}
|
||
+
|
||
+ if (cfun->machine)
|
||
+ ix86_set_indirect_branch_type (fndecl);
|
||
}
|
||
}
|
||
|
||
@@ -8506,8 +8556,6 @@ symbolic_reference_mentioned_p (rtx op)
|
||
bool
|
||
ix86_can_use_return_insn_p (void)
|
||
{
|
||
- struct ix86_frame frame;
|
||
-
|
||
if (! reload_completed || frame_pointer_needed)
|
||
return 0;
|
||
|
||
@@ -8516,7 +8564,8 @@ ix86_can_use_return_insn_p (void)
|
||
if (crtl->args.pops_args && crtl->args.size >= 32768)
|
||
return 0;
|
||
|
||
- ix86_compute_frame_layout (&frame);
|
||
+ ix86_compute_frame_layout ();
|
||
+ struct ix86_frame &frame = cfun->machine->frame;
|
||
return (frame.stack_pointer_offset == UNITS_PER_WORD
|
||
&& (frame.nregs + frame.nsseregs) == 0);
|
||
}
|
||
@@ -8577,6 +8626,233 @@ ix86_setup_frame_addresses (void)
|
||
# endif
|
||
#endif
|
||
|
||
+/* Label count for call and return thunks. It is used to make unique
|
||
+ labels in call and return thunks. */
|
||
+static int indirectlabelno;
|
||
+
|
||
+/* True if call and return thunk functions are needed. */
|
||
+static bool indirect_thunk_needed = false;
|
||
+
|
||
+/* Bit masks of integer registers, which contain branch target, used
|
||
+ by call and return thunks functions. */
|
||
+static int indirect_thunks_used;
|
||
+
|
||
+#ifndef INDIRECT_LABEL
|
||
+# define INDIRECT_LABEL "LIND"
|
||
+#endif
|
||
+
|
||
+/* Fills in the label name that should be used for the indirect thunk. */
|
||
+
|
||
+static void
|
||
+indirect_thunk_name (char name[32], int regno, bool ret_p)
|
||
+{
|
||
+ if (regno >= 0 && ret_p)
|
||
+ gcc_unreachable ();
|
||
+
|
||
+ if (USE_HIDDEN_LINKONCE)
|
||
+ {
|
||
+ if (regno >= 0)
|
||
+ {
|
||
+ const char *reg_prefix;
|
||
+ if (LEGACY_INT_REGNO_P (regno))
|
||
+ reg_prefix = TARGET_64BIT ? "r" : "e";
|
||
+ else
|
||
+ reg_prefix = "";
|
||
+ sprintf (name, "__x86_indirect_thunk_%s%s",
|
||
+ reg_prefix, reg_names[regno]);
|
||
+ }
|
||
+ else
|
||
+ {
|
||
+ const char *ret = ret_p ? "return" : "indirect";
|
||
+ sprintf (name, "__x86_%s_thunk", ret);
|
||
+ }
|
||
+ }
|
||
+ else
|
||
+ {
|
||
+ if (ret_p)
|
||
+ ASM_GENERATE_INTERNAL_LABEL (name, "LRT", 0);
|
||
+ else
|
||
+ ASM_GENERATE_INTERNAL_LABEL (name, "LIT", 0);
|
||
+ }
|
||
+}
|
||
+
|
||
+/* Output a call and return thunk for indirect branch.
|
||
+ If REGNO != -1, the function
|
||
+ address is in REGNO and the call and return thunk looks like:
|
||
+
|
||
+ call L2
|
||
+ L1:
|
||
+ pause
|
||
+ jmp L1
|
||
+ L2:
|
||
+ mov %REG, (%sp)
|
||
+ ret
|
||
+
|
||
+ Otherwise, the function address is on the top of stack and the
|
||
+ call and return thunk looks like:
|
||
+
|
||
+ call L2
|
||
+ L1:
|
||
+ pause
|
||
+ jmp L1
|
||
+ L2:
|
||
+ lea WORD_SIZE(%sp), %sp
|
||
+ ret
|
||
+ */
|
||
+
|
||
+static void
|
||
+output_indirect_thunk (int regno)
|
||
+{
|
||
+ char indirectlabel1[32];
|
||
+ char indirectlabel2[32];
|
||
+
|
||
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel1, INDIRECT_LABEL,
|
||
+ indirectlabelno++);
|
||
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel2, INDIRECT_LABEL,
|
||
+ indirectlabelno++);
|
||
+
|
||
+ /* Call */
|
||
+ fputs ("\tcall\t", asm_out_file);
|
||
+ assemble_name_raw (asm_out_file, indirectlabel2);
|
||
+ fputc ('\n', asm_out_file);
|
||
+
|
||
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel1);
|
||
+
|
||
+ /* Pause + lfence. */
|
||
+ fprintf (asm_out_file, "\tpause\n\tlfence\n");
|
||
+
|
||
+ /* Jump. */
|
||
+ fputs ("\tjmp\t", asm_out_file);
|
||
+ assemble_name_raw (asm_out_file, indirectlabel1);
|
||
+ fputc ('\n', asm_out_file);
|
||
+
|
||
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel2);
|
||
+
|
||
+ if (regno >= 0)
|
||
+ {
|
||
+ /* MOV. */
|
||
+ rtx xops[2];
|
||
+ xops[0] = gen_rtx_MEM (word_mode, stack_pointer_rtx);
|
||
+ xops[1] = gen_rtx_REG (word_mode, regno);
|
||
+ output_asm_insn ("mov\t{%1, %0|%0, %1}", xops);
|
||
+ }
|
||
+ else
|
||
+ {
|
||
+ /* LEA. */
|
||
+ rtx xops[2];
|
||
+ xops[0] = stack_pointer_rtx;
|
||
+ xops[1] = plus_constant (Pmode, stack_pointer_rtx, UNITS_PER_WORD);
|
||
+ output_asm_insn ("lea\t{%E1, %0|%0, %E1}", xops);
|
||
+ }
|
||
+
|
||
+ fputs ("\tret\n", asm_out_file);
|
||
+}
|
||
+
|
||
+/* Output a funtion with a call and return thunk for indirect branch.
|
||
+ If REGNO != -1, the
|
||
+ function address is in REGNO. Otherwise, the function address is
|
||
+ on the top of stack. */
|
||
+
|
||
+static void
|
||
+output_indirect_thunk_function (int regno)
|
||
+{
|
||
+ char name[32];
|
||
+ tree decl;
|
||
+
|
||
+ /* Create __x86_indirect_thunk. */
|
||
+ indirect_thunk_name (name, regno, false);
|
||
+ decl = build_decl (BUILTINS_LOCATION, FUNCTION_DECL,
|
||
+ get_identifier (name),
|
||
+ build_function_type_list (void_type_node, NULL_TREE));
|
||
+ DECL_RESULT (decl) = build_decl (BUILTINS_LOCATION, RESULT_DECL,
|
||
+ NULL_TREE, void_type_node);
|
||
+ TREE_PUBLIC (decl) = 1;
|
||
+ TREE_STATIC (decl) = 1;
|
||
+ DECL_IGNORED_P (decl) = 1;
|
||
+
|
||
+#if TARGET_MACHO
|
||
+ if (TARGET_MACHO)
|
||
+ {
|
||
+ switch_to_section (darwin_sections[picbase_thunk_section]);
|
||
+ fputs ("\t.weak_definition\t", asm_out_file);
|
||
+ assemble_name (asm_out_file, name);
|
||
+ fputs ("\n\t.private_extern\t", asm_out_file);
|
||
+ assemble_name (asm_out_file, name);
|
||
+ putc ('\n', asm_out_file);
|
||
+ ASM_OUTPUT_LABEL (asm_out_file, name);
|
||
+ DECL_WEAK (decl) = 1;
|
||
+ }
|
||
+ else
|
||
+#endif
|
||
+ if (USE_HIDDEN_LINKONCE)
|
||
+ {
|
||
+ DECL_COMDAT_GROUP (decl) = DECL_ASSEMBLER_NAME (decl);
|
||
+
|
||
+ targetm.asm_out.unique_section (decl, 0);
|
||
+ switch_to_section (get_named_section (decl, NULL, 0));
|
||
+
|
||
+ targetm.asm_out.globalize_label (asm_out_file, name);
|
||
+ fputs ("\t.hidden\t", asm_out_file);
|
||
+ assemble_name (asm_out_file, name);
|
||
+ putc ('\n', asm_out_file);
|
||
+ ASM_DECLARE_FUNCTION_NAME (asm_out_file, name, decl);
|
||
+ }
|
||
+ else
|
||
+ {
|
||
+ switch_to_section (text_section);
|
||
+ ASM_OUTPUT_LABEL (asm_out_file, name);
|
||
+ }
|
||
+
|
||
+ if (regno < 0)
|
||
+ {
|
||
+ /* Create alias for __x86.return_thunk. */
|
||
+ char alias[32];
|
||
+
|
||
+ indirect_thunk_name (alias, regno, true);
|
||
+#if TARGET_MACHO
|
||
+ if (TARGET_MACHO)
|
||
+ {
|
||
+ fputs ("\t.weak_definition\t", asm_out_file);
|
||
+ assemble_name (asm_out_file, alias);
|
||
+ fputs ("\n\t.private_extern\t", asm_out_file);
|
||
+ assemble_name (asm_out_file, alias);
|
||
+ putc ('\n', asm_out_file);
|
||
+ ASM_OUTPUT_LABEL (asm_out_file, alias);
|
||
+ }
|
||
+#else
|
||
+ ASM_OUTPUT_DEF (asm_out_file, alias, name);
|
||
+ if (USE_HIDDEN_LINKONCE)
|
||
+ {
|
||
+ fputs ("\t.globl\t", asm_out_file);
|
||
+ assemble_name (asm_out_file, alias);
|
||
+ putc ('\n', asm_out_file);
|
||
+ fputs ("\t.hidden\t", asm_out_file);
|
||
+ assemble_name (asm_out_file, alias);
|
||
+ putc ('\n', asm_out_file);
|
||
+ }
|
||
+#endif
|
||
+ }
|
||
+
|
||
+ DECL_INITIAL (decl) = make_node (BLOCK);
|
||
+ current_function_decl = decl;
|
||
+ allocate_struct_function (decl, false);
|
||
+ init_function_start (decl);
|
||
+ /* We're about to hide the function body from callees of final_* by
|
||
+ emitting it directly; tell them we're a thunk, if they care. */
|
||
+ cfun->is_thunk = true;
|
||
+ first_function_block_is_cold = false;
|
||
+ /* Make sure unwind info is emitted for the thunk if needed. */
|
||
+ final_start_function (emit_barrier (), asm_out_file, 1);
|
||
+
|
||
+ output_indirect_thunk (regno);
|
||
+
|
||
+ final_end_function ();
|
||
+ init_insn_lengths ();
|
||
+ free_after_compilation (cfun);
|
||
+ set_cfun (NULL);
|
||
+ current_function_decl = NULL;
|
||
+}
|
||
+
|
||
static int pic_labels_used;
|
||
|
||
/* Fills in the label name that should be used for a pc thunk for
|
||
@@ -8603,11 +8879,24 @@ ix86_code_end (void)
|
||
rtx xops[2];
|
||
int regno;
|
||
|
||
+ if (indirect_thunk_needed)
|
||
+ output_indirect_thunk_function (-1);
|
||
+
|
||
+ for (regno = FIRST_REX_INT_REG; regno <= LAST_REX_INT_REG; regno++)
|
||
+ {
|
||
+ int i = regno - FIRST_REX_INT_REG + LAST_INT_REG + 1;
|
||
+ if ((indirect_thunks_used & (1 << i)))
|
||
+ output_indirect_thunk_function (regno);
|
||
+ }
|
||
+
|
||
for (regno = AX_REG; regno <= SP_REG; regno++)
|
||
{
|
||
char name[32];
|
||
tree decl;
|
||
|
||
+ if ((indirect_thunks_used & (1 << regno)))
|
||
+ output_indirect_thunk_function (regno);
|
||
+
|
||
if (!(pic_labels_used & (1 << regno)))
|
||
continue;
|
||
|
||
@@ -8907,8 +9196,8 @@ ix86_can_eliminate (const int from, const int to)
|
||
HOST_WIDE_INT
|
||
ix86_initial_elimination_offset (int from, int to)
|
||
{
|
||
- struct ix86_frame frame;
|
||
- ix86_compute_frame_layout (&frame);
|
||
+ ix86_compute_frame_layout ();
|
||
+ struct ix86_frame &frame = cfun->machine->frame;
|
||
|
||
if (from == ARG_POINTER_REGNUM && to == HARD_FRAME_POINTER_REGNUM)
|
||
return frame.hard_frame_pointer_offset;
|
||
@@ -8947,8 +9236,9 @@ ix86_builtin_setjmp_frame_value (void)
|
||
/* Fill structure ix86_frame about frame of currently computed function. */
|
||
|
||
static void
|
||
-ix86_compute_frame_layout (struct ix86_frame *frame)
|
||
+ix86_compute_frame_layout (void)
|
||
{
|
||
+ struct ix86_frame *frame = &cfun->machine->frame;
|
||
unsigned HOST_WIDE_INT stack_alignment_needed;
|
||
HOST_WIDE_INT offset;
|
||
unsigned HOST_WIDE_INT preferred_alignment;
|
||
@@ -10173,7 +10463,8 @@ ix86_expand_prologue (void)
|
||
m->fs.sp_offset = INCOMING_FRAME_SP_OFFSET;
|
||
m->fs.sp_valid = true;
|
||
|
||
- ix86_compute_frame_layout (&frame);
|
||
+ ix86_compute_frame_layout ();
|
||
+ frame = m->frame;
|
||
|
||
if (!TARGET_64BIT && ix86_function_ms_hook_prologue (current_function_decl))
|
||
{
|
||
@@ -10842,7 +11133,8 @@ ix86_expand_epilogue (int style)
|
||
bool using_drap;
|
||
|
||
ix86_finalize_stack_realign_flags ();
|
||
- ix86_compute_frame_layout (&frame);
|
||
+ ix86_compute_frame_layout ();
|
||
+ frame = m->frame;
|
||
|
||
m->fs.sp_valid = (!frame_pointer_needed
|
||
|| (crtl->sp_is_unchanging
|
||
@@ -11293,7 +11585,6 @@ static GTY(()) rtx split_stack_fn_large;
|
||
void
|
||
ix86_expand_split_stack_prologue (void)
|
||
{
|
||
- struct ix86_frame frame;
|
||
HOST_WIDE_INT allocate;
|
||
unsigned HOST_WIDE_INT args_size;
|
||
rtx label, limit, current, jump_insn, allocate_rtx, call_insn, call_fusage;
|
||
@@ -11304,7 +11595,8 @@ ix86_expand_split_stack_prologue (void)
|
||
gcc_assert (flag_split_stack && reload_completed);
|
||
|
||
ix86_finalize_stack_realign_flags ();
|
||
- ix86_compute_frame_layout (&frame);
|
||
+ ix86_compute_frame_layout ();
|
||
+ struct ix86_frame &frame = cfun->machine->frame;
|
||
allocate = frame.stack_pointer_offset - INCOMING_FRAME_SP_OFFSET;
|
||
|
||
/* This is the label we will branch to if we have enough stack
|
||
@@ -13883,6 +14175,7 @@ put_condition_code (enum rtx_code code, enum machine_mode mode, bool reverse,
|
||
If CODE is 'h', pretend the reg is the 'high' byte register.
|
||
If CODE is 'y', print "st(0)" instead of "st", if the reg is stack op.
|
||
If CODE is 'd', duplicate the operand for AVX instruction.
|
||
+ If CODE is 'V', print naked full integer register name without %.
|
||
*/
|
||
|
||
void
|
||
@@ -13892,7 +14185,7 @@ print_reg (rtx x, int code, FILE *file)
|
||
unsigned int regno;
|
||
bool duplicated = code == 'd' && TARGET_AVX;
|
||
|
||
- if (ASSEMBLER_DIALECT == ASM_ATT)
|
||
+ if (ASSEMBLER_DIALECT == ASM_ATT && code != 'V')
|
||
putc ('%', file);
|
||
|
||
if (x == pc_rtx)
|
||
@@ -13928,6 +14221,14 @@ print_reg (rtx x, int code, FILE *file)
|
||
else
|
||
code = GET_MODE_SIZE (GET_MODE (x));
|
||
|
||
+ if (code == 'V')
|
||
+ {
|
||
+ if (GENERAL_REGNO_P (regno))
|
||
+ code = GET_MODE_SIZE (word_mode);
|
||
+ else
|
||
+ error ("'V' modifier on non-integer register");
|
||
+ }
|
||
+
|
||
/* Irritatingly, AMD extended registers use different naming convention
|
||
from the normal registers: "r%d[bwd]" */
|
||
if (REX_INT_REGNO_P (regno))
|
||
@@ -14081,6 +14382,7 @@ get_some_local_dynamic_name (void)
|
||
& -- print some in-use local-dynamic symbol name.
|
||
H -- print a memory address offset by 8; used for sse high-parts
|
||
Y -- print condition for XOP pcom* instruction.
|
||
+ V -- print naked full integer register name without %.
|
||
+ -- print a branch hint as 'cs' or 'ds' prefix
|
||
; -- print a semicolon (after prefixes due to bug in older gas).
|
||
~ -- print "i" if TARGET_AVX2, "f" otherwise.
|
||
@@ -14305,6 +14607,7 @@ ix86_print_operand (FILE *file, rtx x, int code)
|
||
case 'X':
|
||
case 'P':
|
||
case 'p':
|
||
+ case 'V':
|
||
break;
|
||
|
||
case 's':
|
||
@@ -23761,12 +24064,278 @@ ix86_expand_call (rtx retval, rtx fnaddr, rtx callarg1,
|
||
return call;
|
||
}
|
||
|
||
+/* Output indirect branch via a call and return thunk. CALL_OP is a
|
||
+ register which contains the branch target. XASM is the assembly
|
||
+ template for CALL_OP. Branch is a tail call if SIBCALL_P is true.
|
||
+ A normal call is converted to:
|
||
+
|
||
+ call __x86_indirect_thunk_reg
|
||
+
|
||
+ and a tail call is converted to:
|
||
+
|
||
+ jmp __x86_indirect_thunk_reg
|
||
+ */
|
||
+
|
||
+static void
|
||
+ix86_output_indirect_branch_via_reg (rtx call_op, bool sibcall_p)
|
||
+{
|
||
+ char thunk_name_buf[32];
|
||
+ char *thunk_name;
|
||
+ int regno = REGNO (call_op);
|
||
+
|
||
+ if (cfun->machine->indirect_branch_type
|
||
+ != indirect_branch_thunk_inline)
|
||
+ {
|
||
+ if (cfun->machine->indirect_branch_type == indirect_branch_thunk)
|
||
+ {
|
||
+ int i = regno;
|
||
+ if (i >= FIRST_REX_INT_REG)
|
||
+ i -= (FIRST_REX_INT_REG - LAST_INT_REG - 1);
|
||
+ indirect_thunks_used |= 1 << i;
|
||
+ }
|
||
+ indirect_thunk_name (thunk_name_buf, regno, false);
|
||
+ thunk_name = thunk_name_buf;
|
||
+ }
|
||
+ else
|
||
+ thunk_name = NULL;
|
||
+
|
||
+ if (sibcall_p)
|
||
+ {
|
||
+ if (thunk_name != NULL)
|
||
+ fprintf (asm_out_file, "\tjmp\t%s\n", thunk_name);
|
||
+ else
|
||
+ output_indirect_thunk (regno);
|
||
+ }
|
||
+ else
|
||
+ {
|
||
+ if (thunk_name != NULL)
|
||
+ {
|
||
+ fprintf (asm_out_file, "\tcall\t%s\n", thunk_name);
|
||
+ return;
|
||
+ }
|
||
+
|
||
+ char indirectlabel1[32];
|
||
+ char indirectlabel2[32];
|
||
+
|
||
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel1,
|
||
+ INDIRECT_LABEL,
|
||
+ indirectlabelno++);
|
||
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel2,
|
||
+ INDIRECT_LABEL,
|
||
+ indirectlabelno++);
|
||
+
|
||
+ /* Jump. */
|
||
+ fputs ("\tjmp\t", asm_out_file);
|
||
+ assemble_name_raw (asm_out_file, indirectlabel2);
|
||
+ fputc ('\n', asm_out_file);
|
||
+
|
||
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel1);
|
||
+
|
||
+ if (thunk_name != NULL)
|
||
+ fprintf (asm_out_file, "\tjmp\t%s\n", thunk_name);
|
||
+ else
|
||
+ output_indirect_thunk (regno);
|
||
+
|
||
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel2);
|
||
+
|
||
+ /* Call. */
|
||
+ fputs ("\tcall\t", asm_out_file);
|
||
+ assemble_name_raw (asm_out_file, indirectlabel1);
|
||
+ fputc ('\n', asm_out_file);
|
||
+ }
|
||
+}
|
||
+
|
||
+/* Output indirect branch via a call and return thunk. CALL_OP is
|
||
+ the branch target. XASM is the assembly template for CALL_OP.
|
||
+ Branch is a tail call if SIBCALL_P is true. A normal call is
|
||
+ converted to:
|
||
+
|
||
+ jmp L2
|
||
+ L1:
|
||
+ push CALL_OP
|
||
+ jmp __x86_indirect_thunk
|
||
+ L2:
|
||
+ call L1
|
||
+
|
||
+ and a tail call is converted to:
|
||
+
|
||
+ push CALL_OP
|
||
+ jmp __x86_indirect_thunk
|
||
+ */
|
||
+
|
||
+static void
|
||
+ix86_output_indirect_branch_via_push (rtx call_op, const char *xasm,
|
||
+ bool sibcall_p)
|
||
+{
|
||
+ char thunk_name_buf[32];
|
||
+ char *thunk_name;
|
||
+ char push_buf[64];
|
||
+ int regno = -1;
|
||
+
|
||
+ if (cfun->machine->indirect_branch_type
|
||
+ != indirect_branch_thunk_inline)
|
||
+ {
|
||
+ if (cfun->machine->indirect_branch_type == indirect_branch_thunk)
|
||
+ indirect_thunk_needed = true;
|
||
+ indirect_thunk_name (thunk_name_buf, regno, false);
|
||
+ thunk_name = thunk_name_buf;
|
||
+ }
|
||
+ else
|
||
+ thunk_name = NULL;
|
||
+
|
||
+ snprintf (push_buf, sizeof (push_buf), "push{%c}\t%s",
|
||
+ TARGET_64BIT ? 'q' : 'l', xasm);
|
||
+
|
||
+ if (sibcall_p)
|
||
+ {
|
||
+ output_asm_insn (push_buf, &call_op);
|
||
+ if (thunk_name != NULL)
|
||
+ fprintf (asm_out_file, "\tjmp\t%s\n", thunk_name);
|
||
+ else
|
||
+ output_indirect_thunk (regno);
|
||
+ }
|
||
+ else
|
||
+ {
|
||
+ char indirectlabel1[32];
|
||
+ char indirectlabel2[32];
|
||
+
|
||
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel1,
|
||
+ INDIRECT_LABEL,
|
||
+ indirectlabelno++);
|
||
+ ASM_GENERATE_INTERNAL_LABEL (indirectlabel2,
|
||
+ INDIRECT_LABEL,
|
||
+ indirectlabelno++);
|
||
+
|
||
+ /* Jump. */
|
||
+ fputs ("\tjmp\t", asm_out_file);
|
||
+ assemble_name_raw (asm_out_file, indirectlabel2);
|
||
+ fputc ('\n', asm_out_file);
|
||
+
|
||
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel1);
|
||
+
|
||
+ /* An external function may be called via GOT, instead of PLT. */
|
||
+ if (MEM_P (call_op))
|
||
+ {
|
||
+ struct ix86_address parts;
|
||
+ rtx addr = XEXP (call_op, 0);
|
||
+ if (ix86_decompose_address (addr, &parts)
|
||
+ && parts.base == stack_pointer_rtx)
|
||
+ {
|
||
+ /* Since call will adjust stack by -UNITS_PER_WORD,
|
||
+ we must convert "disp(stack, index, scale)" to
|
||
+ "disp+UNITS_PER_WORD(stack, index, scale)". */
|
||
+ if (parts.index)
|
||
+ {
|
||
+ addr = gen_rtx_MULT (Pmode, parts.index,
|
||
+ GEN_INT (parts.scale));
|
||
+ addr = gen_rtx_PLUS (Pmode, stack_pointer_rtx,
|
||
+ addr);
|
||
+ }
|
||
+ else
|
||
+ addr = stack_pointer_rtx;
|
||
+
|
||
+ rtx disp;
|
||
+ if (parts.disp != NULL_RTX)
|
||
+ disp = plus_constant (Pmode, parts.disp,
|
||
+ UNITS_PER_WORD);
|
||
+ else
|
||
+ disp = GEN_INT (UNITS_PER_WORD);
|
||
+
|
||
+ addr = gen_rtx_PLUS (Pmode, addr, disp);
|
||
+ call_op = gen_rtx_MEM (GET_MODE (call_op), addr);
|
||
+ }
|
||
+ }
|
||
+
|
||
+ output_asm_insn (push_buf, &call_op);
|
||
+
|
||
+ if (thunk_name != NULL)
|
||
+ fprintf (asm_out_file, "\tjmp\t%s\n", thunk_name);
|
||
+ else
|
||
+ output_indirect_thunk (regno);
|
||
+
|
||
+ ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, indirectlabel2);
|
||
+
|
||
+ /* Call. */
|
||
+ fputs ("\tcall\t", asm_out_file);
|
||
+ assemble_name_raw (asm_out_file, indirectlabel1);
|
||
+ fputc ('\n', asm_out_file);
|
||
+ }
|
||
+}
|
||
+
|
||
+/* Output indirect branch via a call and return thunk. CALL_OP is
|
||
+ the branch target. XASM is the assembly template for CALL_OP.
|
||
+ Branch is a tail call if SIBCALL_P is true. */
|
||
+
|
||
+static void
|
||
+ix86_output_indirect_branch (rtx call_op, const char *xasm,
|
||
+ bool sibcall_p)
|
||
+{
|
||
+ if (REG_P (call_op))
|
||
+ ix86_output_indirect_branch_via_reg (call_op, sibcall_p);
|
||
+ else
|
||
+ ix86_output_indirect_branch_via_push (call_op, xasm, sibcall_p);
|
||
+}
|
||
+/* Output indirect jump. CALL_OP is the jump target. Jump is a
|
||
+ function return if RET_P is true. */
|
||
+
|
||
+const char *
|
||
+ix86_output_indirect_jmp (rtx call_op, bool ret_p)
|
||
+{
|
||
+ if (cfun->machine->indirect_branch_type != indirect_branch_keep)
|
||
+ {
|
||
+ /* We can't have red-zone if this isn't a function return since
|
||
+ "call" in the indirect thunk pushes the return address onto
|
||
+ stack, destroying red-zone. */
|
||
+ if (!ret_p && ix86_red_zone_size != 0)
|
||
+ gcc_unreachable ();
|
||
+
|
||
+ ix86_output_indirect_branch (call_op, "%0", true);
|
||
+ return "";
|
||
+ }
|
||
+ else
|
||
+ return "jmp\t%A0";
|
||
+}
|
||
+
|
||
+/* Output function return. CALL_OP is the jump target. Add a REP
|
||
+ prefix to RET if LONG_P is true and function return is kept. */
|
||
+
|
||
+const char *
|
||
+ix86_output_function_return (bool long_p)
|
||
+{
|
||
+ if (cfun->machine->function_return_type != indirect_branch_keep)
|
||
+ {
|
||
+ char thunk_name[32];
|
||
+
|
||
+ if (cfun->machine->function_return_type
|
||
+ != indirect_branch_thunk_inline)
|
||
+ {
|
||
+ bool need_thunk = (cfun->machine->function_return_type
|
||
+ == indirect_branch_thunk);
|
||
+ indirect_thunk_name (thunk_name, -1, true);
|
||
+ indirect_thunk_needed |= need_thunk;
|
||
+ fprintf (asm_out_file, "\tjmp\t%s\n", thunk_name);
|
||
+ }
|
||
+ else
|
||
+ output_indirect_thunk (-1);
|
||
+
|
||
+ return "";
|
||
+ }
|
||
+
|
||
+ if (!long_p)
|
||
+ return "ret";
|
||
+
|
||
+ return "rep%; ret";
|
||
+}
|
||
+
|
||
/* Output the assembly for a call instruction. */
|
||
|
||
const char *
|
||
ix86_output_call_insn (rtx insn, rtx call_op)
|
||
{
|
||
bool direct_p = constant_call_address_operand (call_op, VOIDmode);
|
||
+ bool output_indirect_p
|
||
+ = (!TARGET_SEH
|
||
+ && cfun->machine->indirect_branch_type != indirect_branch_keep);
|
||
bool seh_nop_p = false;
|
||
const char *xasm;
|
||
|
||
@@ -23779,9 +24348,17 @@ ix86_output_call_insn (rtx insn, rtx call_op)
|
||
else if (TARGET_SEH)
|
||
xasm = "rex.W jmp %A0";
|
||
else
|
||
- xasm = "jmp\t%A0";
|
||
+ {
|
||
+ if (output_indirect_p)
|
||
+ xasm = "%0";
|
||
+ else
|
||
+ xasm = "jmp\t%A0";
|
||
+ }
|
||
|
||
- output_asm_insn (xasm, &call_op);
|
||
+ if (output_indirect_p && !direct_p)
|
||
+ ix86_output_indirect_branch (call_op, xasm, true);
|
||
+ else
|
||
+ output_asm_insn (xasm, &call_op);
|
||
return "";
|
||
}
|
||
|
||
@@ -23818,15 +24395,24 @@ ix86_output_call_insn (rtx insn, rtx call_op)
|
||
if (direct_p)
|
||
xasm = "call\t%P0";
|
||
else
|
||
- xasm = "call\t%A0";
|
||
+ {
|
||
+ if (output_indirect_p)
|
||
+ xasm = "%0";
|
||
+ else
|
||
+ xasm = "call\t%A0";
|
||
+ }
|
||
|
||
- output_asm_insn (xasm, &call_op);
|
||
+ if (output_indirect_p && !direct_p)
|
||
+ ix86_output_indirect_branch (call_op, xasm, false);
|
||
+ else
|
||
+ output_asm_insn (xasm, &call_op);
|
||
|
||
if (seh_nop_p)
|
||
return "nop";
|
||
|
||
return "";
|
||
}
|
||
+
|
||
|
||
/* Clear stack slot assignments remembered from previous functions.
|
||
This is called from INIT_EXPANDERS once before RTL is emitted for each
|
||
@@ -34920,6 +35506,51 @@ ix86_handle_fndecl_attribute (tree *node, tree name,
|
||
name);
|
||
*no_add_attrs = true;
|
||
}
|
||
+
|
||
+ if (is_attribute_p ("indirect_branch", name))
|
||
+ {
|
||
+ tree cst = TREE_VALUE (args);
|
||
+ if (TREE_CODE (cst) != STRING_CST)
|
||
+ {
|
||
+ warning (OPT_Wattributes,
|
||
+ "%qE attribute requires a string constant argument",
|
||
+ name);
|
||
+ *no_add_attrs = true;
|
||
+ }
|
||
+ else if (strcmp (TREE_STRING_POINTER (cst), "keep") != 0
|
||
+ && strcmp (TREE_STRING_POINTER (cst), "thunk") != 0
|
||
+ && strcmp (TREE_STRING_POINTER (cst), "thunk-inline") != 0
|
||
+ && strcmp (TREE_STRING_POINTER (cst), "thunk-extern") != 0)
|
||
+ {
|
||
+ warning (OPT_Wattributes,
|
||
+ "argument to %qE attribute is not "
|
||
+ "(keep|thunk|thunk-inline|thunk-extern)", name);
|
||
+ *no_add_attrs = true;
|
||
+ }
|
||
+ }
|
||
+
|
||
+ if (is_attribute_p ("function_return", name))
|
||
+ {
|
||
+ tree cst = TREE_VALUE (args);
|
||
+ if (TREE_CODE (cst) != STRING_CST)
|
||
+ {
|
||
+ warning (OPT_Wattributes,
|
||
+ "%qE attribute requires a string constant argument",
|
||
+ name);
|
||
+ *no_add_attrs = true;
|
||
+ }
|
||
+ else if (strcmp (TREE_STRING_POINTER (cst), "keep") != 0
|
||
+ && strcmp (TREE_STRING_POINTER (cst), "thunk") != 0
|
||
+ && strcmp (TREE_STRING_POINTER (cst), "thunk-inline") != 0
|
||
+ && strcmp (TREE_STRING_POINTER (cst), "thunk-extern") != 0)
|
||
+ {
|
||
+ warning (OPT_Wattributes,
|
||
+ "argument to %qE attribute is not "
|
||
+ "(keep|thunk|thunk-inline|thunk-extern)", name);
|
||
+ *no_add_attrs = true;
|
||
+ }
|
||
+ }
|
||
+
|
||
return NULL_TREE;
|
||
}
|
||
|
||
@@ -38438,6 +39069,10 @@ static const struct attribute_spec ix86_attribute_table[] =
|
||
false },
|
||
{ "callee_pop_aggregate_return", 1, 1, false, true, true,
|
||
ix86_handle_callee_pop_aggregate_return, true },
|
||
+ { "indirect_branch", 1, 1, true, false, false,
|
||
+ ix86_handle_fndecl_attribute, false },
|
||
+ { "function_return", 1, 1, true, false, false,
|
||
+ ix86_handle_fndecl_attribute, false },
|
||
/* End element. */
|
||
{ NULL, 0, 0, false, false, false, NULL, false }
|
||
};
|
||
diff --git a/gcc/config/i386/i386.h b/gcc/config/i386/i386.h
|
||
index 335cf611d79..2f5ab5e9e64 100644
|
||
--- a/gcc/config/i386/i386.h
|
||
+++ b/gcc/config/i386/i386.h
|
||
@@ -1102,6 +1102,9 @@ extern const char *host_detect_local_cpu (int argc, const char **argv);
|
||
/* First floating point reg */
|
||
#define FIRST_FLOAT_REG 8
|
||
|
||
+#define FIRST_INT_REG AX_REG
|
||
+#define LAST_INT_REG SP_REG
|
||
+
|
||
/* First & last stack-like regs */
|
||
#define FIRST_STACK_REG FIRST_FLOAT_REG
|
||
#define LAST_STACK_REG (FIRST_FLOAT_REG + 7)
|
||
@@ -1118,6 +1121,9 @@ extern const char *host_detect_local_cpu (int argc, const char **argv);
|
||
#define FIRST_REX_SSE_REG (LAST_REX_INT_REG + 1)
|
||
#define LAST_REX_SSE_REG (FIRST_REX_SSE_REG + 7)
|
||
|
||
+#define LEGACY_INT_REGNO_P(N) (IN_RANGE ((N), FIRST_INT_REG, LAST_INT_REG))
|
||
+#define LEGACY_INT_REG_P(X) (REG_P (X) && LEGACY_INT_REGNO_P (REGNO (X)))
|
||
+
|
||
/* Override this in other tm.h files to cope with various OS lossage
|
||
requiring a frame pointer. */
|
||
#ifndef SUBTARGET_FRAME_POINTER_REQUIRED
|
||
@@ -2211,9 +2217,56 @@ enum avx_u128_state
|
||
|
||
#define FASTCALL_PREFIX '@'
|
||
|
||
+#ifndef USED_FOR_TARGET
|
||
+/* Structure describing stack frame layout.
|
||
+ Stack grows downward:
|
||
+
|
||
+ [arguments]
|
||
+ <- ARG_POINTER
|
||
+ saved pc
|
||
+
|
||
+ saved static chain if ix86_static_chain_on_stack
|
||
+
|
||
+ saved frame pointer if frame_pointer_needed
|
||
+ <- HARD_FRAME_POINTER
|
||
+ [saved regs]
|
||
+ <- regs_save_offset
|
||
+ [padding0]
|
||
+
|
||
+ [saved SSE regs]
|
||
+ <- sse_regs_save_offset
|
||
+ [padding1] |
|
||
+ | <- FRAME_POINTER
|
||
+ [va_arg registers] |
|
||
+ |
|
||
+ [frame] |
|
||
+ |
|
||
+ [padding2] | = to_allocate
|
||
+ <- STACK_POINTER
|
||
+ */
|
||
+struct GTY(()) ix86_frame
|
||
+{
|
||
+ int nsseregs;
|
||
+ int nregs;
|
||
+ int va_arg_size;
|
||
+ int red_zone_size;
|
||
+ int outgoing_arguments_size;
|
||
+
|
||
+ /* The offsets relative to ARG_POINTER. */
|
||
+ HOST_WIDE_INT frame_pointer_offset;
|
||
+ HOST_WIDE_INT hard_frame_pointer_offset;
|
||
+ HOST_WIDE_INT stack_pointer_offset;
|
||
+ HOST_WIDE_INT hfp_save_offset;
|
||
+ HOST_WIDE_INT reg_save_offset;
|
||
+ HOST_WIDE_INT sse_reg_save_offset;
|
||
+
|
||
+ /* When save_regs_using_mov is set, emit prologue using
|
||
+ move instead of push instructions. */
|
||
+ bool save_regs_using_mov;
|
||
+};
|
||
+
|
||
/* Machine specific frame tracking during prologue/epilogue generation. */
|
||
|
||
-#ifndef USED_FOR_TARGET
|
||
struct GTY(()) machine_frame_state
|
||
{
|
||
/* This pair tracks the currently active CFA as reg+offset. When reg
|
||
@@ -2259,6 +2312,9 @@ struct GTY(()) machine_function {
|
||
int varargs_fpr_size;
|
||
int optimize_mode_switching[MAX_386_ENTITIES];
|
||
|
||
+ /* Cached initial frame layout for the current function. */
|
||
+ struct ix86_frame frame;
|
||
+
|
||
/* Number of saved registers USE_FAST_PROLOGUE_EPILOGUE
|
||
has been computed for. */
|
||
int use_fast_prologue_epilogue_nregs;
|
||
@@ -2299,6 +2355,16 @@ struct GTY(()) machine_function {
|
||
stack below the return address. */
|
||
BOOL_BITFIELD static_chain_on_stack : 1;
|
||
|
||
+ /* How to generate indirec branch. */
|
||
+ ENUM_BITFIELD(indirect_branch) indirect_branch_type : 3;
|
||
+
|
||
+ /* If true, the current function has local indirect jumps, like
|
||
+ "indirect_jump" or "tablejump". */
|
||
+ BOOL_BITFIELD has_local_indirect_jump : 1;
|
||
+
|
||
+ /* How to generate function return. */
|
||
+ ENUM_BITFIELD(indirect_branch) function_return_type : 3;
|
||
+
|
||
/* During prologue/epilogue generation, the current frame state.
|
||
Otherwise, the frame state at the end of the prologue. */
|
||
struct machine_frame_state fs;
|
||
@@ -2323,6 +2389,7 @@ struct GTY(()) machine_function {
|
||
#define ix86_current_function_calls_tls_descriptor \
|
||
(ix86_tls_descriptor_calls_expanded_in_cfun && df_regs_ever_live_p (SP_REG))
|
||
#define ix86_static_chain_on_stack (cfun->machine->static_chain_on_stack)
|
||
+#define ix86_red_zone_size (cfun->machine->frame.red_zone_size)
|
||
|
||
/* Control behavior of x86_file_start. */
|
||
#define X86_FILE_START_VERSION_DIRECTIVE false
|
||
diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
|
||
index c08a2245dd1..98bca9399f2 100644
|
||
--- a/gcc/config/i386/i386.md
|
||
+++ b/gcc/config/i386/i386.md
|
||
@@ -11246,15 +11246,21 @@
|
||
[(set (pc) (match_operand 0 "indirect_branch_operand"))]
|
||
""
|
||
{
|
||
- if (TARGET_X32)
|
||
+ if (TARGET_X32 || ix86_indirect_branch_register)
|
||
operands[0] = convert_memory_address (word_mode, operands[0]);
|
||
+ cfun->machine->has_local_indirect_jump = true;
|
||
})
|
||
|
||
(define_insn "*indirect_jump"
|
||
[(set (pc) (match_operand:W 0 "indirect_branch_operand" "rw"))]
|
||
""
|
||
- "jmp\t%A0"
|
||
- [(set_attr "type" "ibr")
|
||
+ "* return ix86_output_indirect_jmp (operands[0], false);"
|
||
+ [(set (attr "type")
|
||
+ (if_then_else (match_test "(cfun->machine->indirect_branch_type
|
||
+ != indirect_branch_keep)")
|
||
+ (const_string "multi")
|
||
+ (const_string "ibr")))
|
||
+ (set_attr "type" "ibr")
|
||
(set_attr "length_immediate" "0")])
|
||
|
||
(define_expand "tablejump"
|
||
@@ -11294,16 +11300,21 @@
|
||
OPTAB_DIRECT);
|
||
}
|
||
|
||
- if (TARGET_X32)
|
||
+ if (TARGET_X32 || ix86_indirect_branch_register)
|
||
operands[0] = convert_memory_address (word_mode, operands[0]);
|
||
+ cfun->machine->has_local_indirect_jump = true;
|
||
})
|
||
|
||
(define_insn "*tablejump_1"
|
||
[(set (pc) (match_operand:W 0 "indirect_branch_operand" "rw"))
|
||
(use (label_ref (match_operand 1)))]
|
||
""
|
||
- "jmp\t%A0"
|
||
- [(set_attr "type" "ibr")
|
||
+ "* return ix86_output_indirect_jmp (operands[0], false);"
|
||
+ [(set (attr "type")
|
||
+ (if_then_else (match_test "(cfun->machine->indirect_branch_type
|
||
+ != indirect_branch_keep)")
|
||
+ (const_string "multi")
|
||
+ (const_string "ibr")))
|
||
(set_attr "length_immediate" "0")])
|
||
|
||
;; Convert setcc + movzbl to xor + setcc if operands don't overlap.
|
||
@@ -11711,7 +11722,7 @@
|
||
(define_insn "simple_return_internal"
|
||
[(simple_return)]
|
||
"reload_completed"
|
||
- "ret"
|
||
+ "* return ix86_output_function_return (false);"
|
||
[(set_attr "length" "1")
|
||
(set_attr "atom_unit" "jeu")
|
||
(set_attr "length_immediate" "0")
|
||
@@ -11724,7 +11735,7 @@
|
||
[(simple_return)
|
||
(unspec [(const_int 0)] UNSPEC_REP)]
|
||
"reload_completed"
|
||
- "rep%; ret"
|
||
+ "* return ix86_output_function_return (true);"
|
||
[(set_attr "length" "2")
|
||
(set_attr "atom_unit" "jeu")
|
||
(set_attr "length_immediate" "0")
|
||
@@ -11745,8 +11756,12 @@
|
||
[(simple_return)
|
||
(use (match_operand:SI 0 "register_operand" "r"))]
|
||
"reload_completed"
|
||
- "jmp\t%A0"
|
||
- [(set_attr "type" "ibr")
|
||
+ "* return ix86_output_indirect_jmp (operands[0], true);"
|
||
+ [(set (attr "type")
|
||
+ (if_then_else (match_test "(cfun->machine->indirect_branch_type
|
||
+ != indirect_branch_keep)")
|
||
+ (const_string "multi")
|
||
+ (const_string "ibr")))
|
||
(set_attr "length_immediate" "0")])
|
||
|
||
(define_insn "nop"
|
||
diff --git a/gcc/config/i386/i386.opt b/gcc/config/i386/i386.opt
|
||
index 084a2486353..097fa1f2926 100644
|
||
--- a/gcc/config/i386/i386.opt
|
||
+++ b/gcc/config/i386/i386.opt
|
||
@@ -626,3 +626,31 @@ Split 32-byte AVX unaligned store
|
||
mrtm
|
||
Target Report Mask(ISA_RTM) Var(ix86_isa_flags) Save
|
||
Support RTM built-in functions and code generation
|
||
+
|
||
+mindirect-branch=
|
||
+Target Report RejectNegative Joined Enum(indirect_branch) Var(ix86_indirect_branch) Init(indirect_branch_keep)
|
||
+Convert indirect call and jump to call and return thunks.
|
||
+
|
||
+mfunction-return=
|
||
+Target Report RejectNegative Joined Enum(indirect_branch) Var(ix86_function_return) Init(indirect_branch_keep)
|
||
+Convert function return to call and return thunk.
|
||
+
|
||
+Enum
|
||
+Name(indirect_branch) Type(enum indirect_branch)
|
||
+Known indirect branch choices (for use with the -mindirect-branch=/-mfunction-return= options):
|
||
+
|
||
+EnumValue
|
||
+Enum(indirect_branch) String(keep) Value(indirect_branch_keep)
|
||
+
|
||
+EnumValue
|
||
+Enum(indirect_branch) String(thunk) Value(indirect_branch_thunk)
|
||
+
|
||
+EnumValue
|
||
+Enum(indirect_branch) String(thunk-inline) Value(indirect_branch_thunk_inline)
|
||
+
|
||
+EnumValue
|
||
+Enum(indirect_branch) String(thunk-extern) Value(indirect_branch_thunk_extern)
|
||
+
|
||
+mindirect-branch-register
|
||
+Target Report Var(ix86_indirect_branch_register) Init(0)
|
||
+Force indirect call and jump via register.
|
||
diff --git a/gcc/config/i386/predicates.md b/gcc/config/i386/predicates.md
|
||
index 61614e11246..6c7a593084c 100644
|
||
--- a/gcc/config/i386/predicates.md
|
||
+++ b/gcc/config/i386/predicates.md
|
||
@@ -540,7 +540,8 @@
|
||
;; Test for a valid operand for indirect branch.
|
||
(define_predicate "indirect_branch_operand"
|
||
(ior (match_operand 0 "register_operand")
|
||
- (and (not (match_test "TARGET_X32"))
|
||
+ (and (not (match_test "ix86_indirect_branch_register"))
|
||
+ (not (match_test "TARGET_X32"))
|
||
(match_operand 0 "memory_operand"))))
|
||
|
||
;; Test for a valid operand for a call instruction.
|
||
@@ -549,8 +550,9 @@
|
||
(ior (match_test "constant_call_address_operand
|
||
(op, mode == VOIDmode ? mode : Pmode)")
|
||
(match_operand 0 "call_register_no_elim_operand")
|
||
- (and (not (match_test "TARGET_X32"))
|
||
- (match_operand 0 "memory_operand"))))
|
||
+ (and (not (match_test "ix86_indirect_branch_register"))
|
||
+ (and (not (match_test "TARGET_X32"))
|
||
+ (match_operand 0 "memory_operand")))))
|
||
|
||
;; Similarly, but for tail calls, in which we cannot allow memory references.
|
||
(define_special_predicate "sibcall_insn_operand"
|
||
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
|
||
index 63d85ff93c0..c6731fabdee 100644
|
||
--- a/gcc/doc/extend.texi
|
||
+++ b/gcc/doc/extend.texi
|
||
@@ -3811,6 +3811,25 @@ Specify which floating-point unit to use. The
|
||
@code{target("fpmath=sse,387")} option must be specified as
|
||
@code{target("fpmath=sse+387")} because the comma would separate
|
||
different options.
|
||
+
|
||
+@item indirect_branch("@var{choice}")
|
||
+@cindex @code{indirect_branch} function attribute, x86
|
||
+On x86 targets, the @code{indirect_branch} attribute causes the compiler
|
||
+to convert indirect call and jump with @var{choice}. @samp{keep}
|
||
+keeps indirect call and jump unmodified. @samp{thunk} converts indirect
|
||
+call and jump to call and return thunk. @samp{thunk-inline} converts
|
||
+indirect call and jump to inlined call and return thunk.
|
||
+@samp{thunk-extern} converts indirect call and jump to external call
|
||
+and return thunk provided in a separate object file.
|
||
+
|
||
+@item function_return("@var{choice}")
|
||
+@cindex @code{function_return} function attribute, x86
|
||
+On x86 targets, the @code{function_return} attribute causes the compiler
|
||
+to convert function return with @var{choice}. @samp{keep} keeps function
|
||
+return unmodified. @samp{thunk} converts function return to call and
|
||
+return thunk. @samp{thunk-inline} converts function return to inlined
|
||
+call and return thunk. @samp{thunk-extern} converts function return to
|
||
+external call and return thunk provided in a separate object file.
|
||
@end table
|
||
|
||
On the PowerPC, the following options are allowed:
|
||
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
|
||
index caf06c82d1d..fb912e33307 100644
|
||
--- a/gcc/doc/invoke.texi
|
||
+++ b/gcc/doc/invoke.texi
|
||
@@ -656,7 +656,9 @@ Objective-C and Objective-C++ Dialects}.
|
||
-mcmodel=@var{code-model} -mabi=@var{name} -maddress-mode=@var{mode} @gol
|
||
-m32 -m64 -mx32 -mlarge-data-threshold=@var{num} @gol
|
||
-msse2avx -mfentry -m8bit-idiv @gol
|
||
--mavx256-split-unaligned-load -mavx256-split-unaligned-store}
|
||
+-mavx256-split-unaligned-load -mavx256-split-unaligned-store @gol
|
||
+-mindirect-branch=@var{choice} -mfunction-return==@var{choice} @gol
|
||
+-mindirect-branch-register}
|
||
|
||
@emph{i386 and x86-64 Windows Options}
|
||
@gccoptlist{-mconsole -mcygwin -mno-cygwin -mdll @gol
|
||
@@ -20986,6 +20988,43 @@ The default value of this option is enabled, thus the only useful form
|
||
of the option is @option{-fno-sync-libcalls}. This option is used in
|
||
the implementation of the @file{libatomic} runtime library.
|
||
|
||
+@item -mindirect-branch=@var{choice}
|
||
+@opindex -mindirect-branch
|
||
+Convert indirect call and jump with @var{choice}. The default is
|
||
+@samp{keep}, which keeps indirect call and jump unmodified.
|
||
+@samp{thunk} converts indirect call and jump to call and return thunk.
|
||
+@samp{thunk-inline} converts indirect call and jump to inlined call
|
||
+and return thunk. @samp{thunk-extern} converts indirect call and jump
|
||
+to external call and return thunk provided in a separate object file.
|
||
+You can control this behavior for a specific function by using the
|
||
+function attribute @code{indirect_branch}. @xref{Function Attributes}.
|
||
+
|
||
+Note that @option{-mcmodel=large} is incompatible with
|
||
+@option{-mindirect-branch=thunk} nor
|
||
+@option{-mindirect-branch=thunk-extern} since the thunk function may
|
||
+not be reachable in large code model.
|
||
+
|
||
+@item -mfunction-return=@var{choice}
|
||
+@opindex -mfunction-return
|
||
+Convert function return with @var{choice}. The default is @samp{keep},
|
||
+which keeps function return unmodified. @samp{thunk} converts function
|
||
+return to call and return thunk. @samp{thunk-inline} converts function
|
||
+return to inlined call and return thunk. @samp{thunk-extern} converts
|
||
+function return to external call and return thunk provided in a separate
|
||
+object file. You can control this behavior for a specific function by
|
||
+using the function attribute @code{function_return}.
|
||
+@xref{Function Attributes}.
|
||
+
|
||
+Note that @option{-mcmodel=large} is incompatible with
|
||
+@option{-mfunction-return=thunk} nor
|
||
+@option{-mfunction-return=thunk-extern} since the thunk function may
|
||
+not be reachable in large code model.
|
||
+
|
||
+
|
||
+@item -mindirect-branch-register
|
||
+@opindex -mindirect-branch-register
|
||
+Force indirect call and jump via register.
|
||
+
|
||
@end table
|
||
|
||
@c man end
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-10.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-10.c
|
||
new file mode 100644
|
||
index 00000000000..a0674bd2363
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-10.c
|
||
@@ -0,0 +1,7 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mindirect-branch=thunk-inline -mfunction-return=keep -mcmodel=large" } */
|
||
+
|
||
+void
|
||
+bar (void)
|
||
+{
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-3.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-3.c
|
||
new file mode 100644
|
||
index 00000000000..9e24a385387
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-3.c
|
||
@@ -0,0 +1,21 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mno-indirect-branch-register -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch;
|
||
+
|
||
+int
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch(offset);
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler {\tlfence} } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-4.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-4.c
|
||
new file mode 100644
|
||
index 00000000000..127b5d94523
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-4.c
|
||
@@ -0,0 +1,21 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mno-indirect-branch-register -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch[256];
|
||
+
|
||
+int
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch[offset](offset);
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler {\tlfence} } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-7.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-7.c
|
||
new file mode 100644
|
||
index 00000000000..17c2d0faf88
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-7.c
|
||
@@ -0,0 +1,44 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk -fno-pic" } */
|
||
+
|
||
+void func0 (void);
|
||
+void func1 (void);
|
||
+void func2 (void);
|
||
+void func3 (void);
|
||
+void func4 (void);
|
||
+void func4 (void);
|
||
+void func5 (void);
|
||
+
|
||
+void
|
||
+bar (int i)
|
||
+{
|
||
+ switch (i)
|
||
+ {
|
||
+ default:
|
||
+ func0 ();
|
||
+ break;
|
||
+ case 1:
|
||
+ func1 ();
|
||
+ break;
|
||
+ case 2:
|
||
+ func2 ();
|
||
+ break;
|
||
+ case 3:
|
||
+ func3 ();
|
||
+ break;
|
||
+ case 4:
|
||
+ func4 ();
|
||
+ break;
|
||
+ case 5:
|
||
+ func5 ();
|
||
+ break;
|
||
+ }
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*\.L\[0-9\]+\\(,%" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler {\tlfence} } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-8.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-8.c
|
||
new file mode 100644
|
||
index 00000000000..7a80a8986e8
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-8.c
|
||
@@ -0,0 +1,7 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mindirect-branch=thunk -mfunction-return=keep -mcmodel=large" } */
|
||
+
|
||
+void
|
||
+bar (void)
|
||
+{ /* { dg-error "'-mindirect-branch=thunk' and '-mcmodel=large' are not compatible" } */
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-9.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-9.c
|
||
new file mode 100644
|
||
index 00000000000..d4d45c5114d
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-9.c
|
||
@@ -0,0 +1,7 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mindirect-branch=thunk-extern -mfunction-return=keep -mcmodel=large" } */
|
||
+
|
||
+void
|
||
+bar (void)
|
||
+{ /* { dg-error "'-mindirect-branch=thunk-extern' and '-mcmodel=large' are not compatible" } */
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-10.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-10.c
|
||
new file mode 100644
|
||
index 00000000000..3a2aeaddbc5
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-10.c
|
||
@@ -0,0 +1,9 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mindirect-branch=keep -mfunction-return=keep -mcmodel=large" } */
|
||
+/* { dg-additional-options "-fPIC" { target fpic } } */
|
||
+
|
||
+__attribute__ ((indirect_branch("thunk-extern")))
|
||
+void
|
||
+bar (void)
|
||
+{ /* { dg-error "'-mindirect-branch=thunk-extern' and '-mcmodel=large' are not compatible" } */
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-11.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-11.c
|
||
new file mode 100644
|
||
index 00000000000..8e52f032b6c
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-11.c
|
||
@@ -0,0 +1,9 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mindirect-branch=keep -mfunction-return=keep -mcmodel=large" } */
|
||
+/* { dg-additional-options "-fPIC" { target fpic } } */
|
||
+
|
||
+__attribute__ ((indirect_branch("thunk-inline")))
|
||
+void
|
||
+bar (void)
|
||
+{
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-3.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-3.c
|
||
new file mode 100644
|
||
index 00000000000..4aeec1833cd
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-3.c
|
||
@@ -0,0 +1,23 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch;
|
||
+extern int male_indirect_jump (long)
|
||
+ __attribute__ ((indirect_branch("thunk-inline")));
|
||
+
|
||
+int
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch(offset);
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 2 } } */
|
||
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 2 } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler {\tlfence} } } */
|
||
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-4.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-4.c
|
||
new file mode 100644
|
||
index 00000000000..ac0e5999f63
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-4.c
|
||
@@ -0,0 +1,22 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch[256];
|
||
+
|
||
+__attribute__ ((indirect_branch("thunk-inline")))
|
||
+int
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch[offset](offset);
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 2 } } */
|
||
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 2 } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler {\tlfence} } } */
|
||
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-5.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-5.c
|
||
new file mode 100644
|
||
index 00000000000..573cf1ef09e
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-5.c
|
||
@@ -0,0 +1,22 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch;
|
||
+extern int male_indirect_jump (long)
|
||
+ __attribute__ ((indirect_branch("thunk-extern")));
|
||
+
|
||
+int
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch(offset);
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-6.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-6.c
|
||
new file mode 100644
|
||
index 00000000000..b2b37fc6e2e
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-6.c
|
||
@@ -0,0 +1,21 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch[256];
|
||
+
|
||
+__attribute__ ((indirect_branch("thunk-extern")))
|
||
+int
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch[offset](offset);
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-7.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-7.c
|
||
new file mode 100644
|
||
index 00000000000..4a43e199931
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-7.c
|
||
@@ -0,0 +1,44 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -fno-pic" } */
|
||
+
|
||
+void func0 (void);
|
||
+void func1 (void);
|
||
+void func2 (void);
|
||
+void func3 (void);
|
||
+void func4 (void);
|
||
+void func4 (void);
|
||
+void func5 (void);
|
||
+
|
||
+__attribute__ ((indirect_branch("thunk-extern")))
|
||
+void
|
||
+bar (int i)
|
||
+{
|
||
+ switch (i)
|
||
+ {
|
||
+ default:
|
||
+ func0 ();
|
||
+ break;
|
||
+ case 1:
|
||
+ func1 ();
|
||
+ break;
|
||
+ case 2:
|
||
+ func2 ();
|
||
+ break;
|
||
+ case 3:
|
||
+ func3 ();
|
||
+ break;
|
||
+ case 4:
|
||
+ func4 ();
|
||
+ break;
|
||
+ case 5:
|
||
+ func5 ();
|
||
+ break;
|
||
+ }
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*\.L\[0-9\]+\\(,%" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-8.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-8.c
|
||
new file mode 100644
|
||
index 00000000000..d730d31bda1
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-8.c
|
||
@@ -0,0 +1,42 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mfunction-return=keep -mindirect-branch=thunk -fno-pic" } */
|
||
+
|
||
+void func0 (void);
|
||
+void func1 (void);
|
||
+void func2 (void);
|
||
+void func3 (void);
|
||
+void func4 (void);
|
||
+void func4 (void);
|
||
+void func5 (void);
|
||
+
|
||
+__attribute__ ((indirect_branch("keep")))
|
||
+void
|
||
+bar (int i)
|
||
+{
|
||
+ switch (i)
|
||
+ {
|
||
+ default:
|
||
+ func0 ();
|
||
+ break;
|
||
+ case 1:
|
||
+ func1 ();
|
||
+ break;
|
||
+ case 2:
|
||
+ func2 ();
|
||
+ break;
|
||
+ case 3:
|
||
+ func3 ();
|
||
+ break;
|
||
+ case 4:
|
||
+ func4 ();
|
||
+ break;
|
||
+ case 5:
|
||
+ func5 ();
|
||
+ break;
|
||
+ }
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-9.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-9.c
|
||
new file mode 100644
|
||
index 00000000000..bdaa4f6911b
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-attr-9.c
|
||
@@ -0,0 +1,9 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mindirect-branch=keep -mfunction-return=keep -mcmodel=large" } */
|
||
+/* { dg-additional-options "-fPIC" { target fpic } } */
|
||
+
|
||
+__attribute__ ((indirect_branch("thunk")))
|
||
+void
|
||
+bar (void)
|
||
+{ /* { dg-error "'-mindirect-branch=thunk' and '-mcmodel=large' are not compatible" } */
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-3.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-3.c
|
||
new file mode 100644
|
||
index 00000000000..d9964c25bbd
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-3.c
|
||
@@ -0,0 +1,20 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk-extern -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch;
|
||
+
|
||
+int
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch(offset);
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-4.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-4.c
|
||
new file mode 100644
|
||
index 00000000000..d4dca4dc5fe
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-4.c
|
||
@@ -0,0 +1,20 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk-extern -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch[256];
|
||
+
|
||
+int
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch[offset](offset);
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 1 { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-7.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-7.c
|
||
new file mode 100644
|
||
index 00000000000..aece9383697
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-extern-7.c
|
||
@@ -0,0 +1,43 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk-extern -fno-pic" } */
|
||
+
|
||
+void func0 (void);
|
||
+void func1 (void);
|
||
+void func2 (void);
|
||
+void func3 (void);
|
||
+void func4 (void);
|
||
+void func4 (void);
|
||
+void func5 (void);
|
||
+
|
||
+void
|
||
+bar (int i)
|
||
+{
|
||
+ switch (i)
|
||
+ {
|
||
+ default:
|
||
+ func0 ();
|
||
+ break;
|
||
+ case 1:
|
||
+ func1 ();
|
||
+ break;
|
||
+ case 2:
|
||
+ func2 ();
|
||
+ break;
|
||
+ case 3:
|
||
+ func3 ();
|
||
+ break;
|
||
+ case 4:
|
||
+ func4 ();
|
||
+ break;
|
||
+ case 5:
|
||
+ func5 ();
|
||
+ break;
|
||
+ }
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*\.L\[0-9\]+\\(,%" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-3.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-3.c
|
||
new file mode 100644
|
||
index 00000000000..2eef6f35a75
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-3.c
|
||
@@ -0,0 +1,21 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk-inline -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch;
|
||
+
|
||
+int
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch(offset);
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 2 } } */
|
||
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 2 } } */
|
||
+/* { dg-final { scan-assembler-times {\tpause} 1 } } */
|
||
+/* { dg-final { scan-assembler-times {\tlfence} 1 } } */
|
||
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-4.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-4.c
|
||
new file mode 100644
|
||
index 00000000000..e825a10f14c
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-4.c
|
||
@@ -0,0 +1,21 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk-inline -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch[256];
|
||
+
|
||
+int
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch[offset](offset);
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?dispatch" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 2 } } */
|
||
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 2 } } */
|
||
+/* { dg-final { scan-assembler-times {\tpause} 1 } } */
|
||
+/* { dg-final { scan-assembler-times {\tlfence} 1 } } */
|
||
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-7.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-7.c
|
||
new file mode 100644
|
||
index 00000000000..c67066cf197
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-inline-7.c
|
||
@@ -0,0 +1,44 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk-inline -fno-pic" } */
|
||
+
|
||
+void func0 (void);
|
||
+void func1 (void);
|
||
+void func2 (void);
|
||
+void func3 (void);
|
||
+void func4 (void);
|
||
+void func4 (void);
|
||
+void func5 (void);
|
||
+
|
||
+void
|
||
+bar (int i)
|
||
+{
|
||
+ switch (i)
|
||
+ {
|
||
+ default:
|
||
+ func0 ();
|
||
+ break;
|
||
+ case 1:
|
||
+ func1 ();
|
||
+ break;
|
||
+ case 2:
|
||
+ func2 ();
|
||
+ break;
|
||
+ case 3:
|
||
+ func3 ();
|
||
+ break;
|
||
+ case 4:
|
||
+ func4 ();
|
||
+ break;
|
||
+ case 5:
|
||
+ func5 ();
|
||
+ break;
|
||
+ }
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*\.L\[0-9\]+\\(,%" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler {\tlfence} } } */
|
||
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-register-1.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-register-1.c
|
||
new file mode 100644
|
||
index 00000000000..7d396a31953
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-register-1.c
|
||
@@ -0,0 +1,22 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mindirect-branch=thunk -mindirect-branch-register -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch;
|
||
+
|
||
+void
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch(offset);
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "mov\[ \t\](%eax|%rax), \\((%esp|%rsp)\\)" } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler-not "push(?:l|q)\[ \t\]*_?dispatch" } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" } } */
|
||
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk\n" } } */
|
||
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk_bnd\n" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-register-2.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-register-2.c
|
||
new file mode 100644
|
||
index 00000000000..e7e616bb271
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-register-2.c
|
||
@@ -0,0 +1,20 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mindirect-branch=thunk-inline -mindirect-branch-register -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch;
|
||
+
|
||
+void
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch(offset);
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "mov\[ \t\](%eax|%rax), \\((%esp|%rsp)\\)" } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler-not "push(?:l|q)\[ \t\]*_?dispatch" } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" } } */
|
||
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-register-3.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-register-3.c
|
||
new file mode 100644
|
||
index 00000000000..5320e923be2
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-register-3.c
|
||
@@ -0,0 +1,19 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mindirect-branch=thunk-extern -mindirect-branch-register -fno-pic" } */
|
||
+
|
||
+typedef void (*dispatch_t)(long offset);
|
||
+
|
||
+dispatch_t dispatch;
|
||
+
|
||
+void
|
||
+male_indirect_jump (long offset)
|
||
+{
|
||
+ dispatch(offset);
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk_(r|e)ax" } } */
|
||
+/* { dg-final { scan-assembler-not "push(?:l|q)\[ \t\]*_?dispatch" } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" } } */
|
||
+/* { dg-final { scan-assembler-not {\t(pause|pause|nop)} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/indirect-thunk-register-4.c b/gcc/testsuite/gcc.target/i386/indirect-thunk-register-4.c
|
||
new file mode 100644
|
||
index 00000000000..f0cd9b75be8
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/indirect-thunk-register-4.c
|
||
@@ -0,0 +1,13 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mindirect-branch=keep -fno-pic" } */
|
||
+
|
||
+extern void (*func_p) (void);
|
||
+
|
||
+void
|
||
+foo (void)
|
||
+{
|
||
+ asm("call __x86_indirect_thunk_%V0" : : "a" (func_p));
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_eax" { target ia32 } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_rax" { target { ! ia32 } } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-1.c b/gcc/testsuite/gcc.target/i386/ret-thunk-1.c
|
||
new file mode 100644
|
||
index 00000000000..7223f67ba5e
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-1.c
|
||
@@ -0,0 +1,13 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mfunction-return=thunk" } */
|
||
+
|
||
+void
|
||
+foo (void)
|
||
+{
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler {\tlfence} } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-10.c b/gcc/testsuite/gcc.target/i386/ret-thunk-10.c
|
||
new file mode 100644
|
||
index 00000000000..e6fea84a4d9
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-10.c
|
||
@@ -0,0 +1,23 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mno-indirect-branch-register -mfunction-return=thunk-inline -mindirect-branch=thunk -fno-pic" } */
|
||
+
|
||
+extern void (*bar) (void);
|
||
+
|
||
+int
|
||
+foo (void)
|
||
+{
|
||
+ bar ();
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler-times {\tpause} 2 } } */
|
||
+/* { dg-final { scan-assembler-times {\tlfence} 2 } } */
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?bar" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "__x86_indirect_thunk:" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler "__x86_indirect_thunk_(r|e)ax:" { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-11.c b/gcc/testsuite/gcc.target/i386/ret-thunk-11.c
|
||
new file mode 100644
|
||
index 00000000000..e239ec4542f
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-11.c
|
||
@@ -0,0 +1,23 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mno-indirect-branch-register -mno-indirect-branch-register -mno-indirect-branch-register -mfunction-return=thunk-extern -mindirect-branch=thunk -fno-pic" } */
|
||
+
|
||
+extern void (*bar) (void);
|
||
+
|
||
+int
|
||
+foo (void)
|
||
+{
|
||
+ bar ();
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler-times {\tpause} 1 } } */
|
||
+/* { dg-final { scan-assembler-times {\tlfence} 1 } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?bar" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "__x86_indirect_thunk:" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler "__x86_indirect_thunk_(r|e)ax:" { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-12.c b/gcc/testsuite/gcc.target/i386/ret-thunk-12.c
|
||
new file mode 100644
|
||
index 00000000000..fa3181303c9
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-12.c
|
||
@@ -0,0 +1,22 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mno-indirect-branch-register -mno-indirect-branch-register -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk -fno-pic" } */
|
||
+
|
||
+extern void (*bar) (void);
|
||
+
|
||
+int
|
||
+foo (void)
|
||
+{
|
||
+ bar ();
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler-times {\tpause} 1 } } */
|
||
+/* { dg-final { scan-assembler-times {\tlfence} 1 } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "__x86_indirect_thunk:" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler "__x86_indirect_thunk_(r|e)ax:" { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-13.c b/gcc/testsuite/gcc.target/i386/ret-thunk-13.c
|
||
new file mode 100644
|
||
index 00000000000..fd5b41fdd3f
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-13.c
|
||
@@ -0,0 +1,22 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk-inline -fno-pic" } */
|
||
+
|
||
+extern void (*bar) (void);
|
||
+extern int foo (void) __attribute__ ((function_return("thunk")));
|
||
+
|
||
+int
|
||
+foo (void)
|
||
+{
|
||
+ bar ();
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler-times {\tpause} 2 } } */
|
||
+/* { dg-final { scan-assembler-times {\tlfence} 2 } } */
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?bar" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler-times "jmp\[ \t\]*\.LIND" 3 } } */
|
||
+/* { dg-final { scan-assembler-times "call\[ \t\]*\.LIND" 3 } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*__x86_indirect_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-14.c b/gcc/testsuite/gcc.target/i386/ret-thunk-14.c
|
||
new file mode 100644
|
||
index 00000000000..d606373ead1
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-14.c
|
||
@@ -0,0 +1,22 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=thunk-extern -fno-pic" } */
|
||
+
|
||
+extern void (*bar) (void);
|
||
+
|
||
+__attribute__ ((function_return("thunk-inline")))
|
||
+int
|
||
+foo (void)
|
||
+{
|
||
+ bar ();
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler-times {\tpause} 1 } } */
|
||
+/* { dg-final { scan-assembler-times {\tlfence} 1 } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?bar" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-15.c b/gcc/testsuite/gcc.target/i386/ret-thunk-15.c
|
||
new file mode 100644
|
||
index 00000000000..75e45e226b8
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-15.c
|
||
@@ -0,0 +1,22 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mno-indirect-branch-register -mno-indirect-branch-register -mno-indirect-branch-register -mfunction-return=keep -mindirect-branch=keep -fno-pic" } */
|
||
+
|
||
+extern void (*bar) (void);
|
||
+
|
||
+__attribute__ ((function_return("thunk-extern"), indirect_branch("thunk")))
|
||
+int
|
||
+foo (void)
|
||
+{
|
||
+ bar ();
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-times {\tpause} 1 } } */
|
||
+/* { dg-final { scan-assembler-times {\tlfence} 1 } } */
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?bar" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target x32 } } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-16.c b/gcc/testsuite/gcc.target/i386/ret-thunk-16.c
|
||
new file mode 100644
|
||
index 00000000000..a16cad16aaa
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-16.c
|
||
@@ -0,0 +1,18 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mfunction-return=thunk-inline -mindirect-branch=thunk-extern -fno-pic" } */
|
||
+
|
||
+extern void (*bar) (void);
|
||
+
|
||
+__attribute__ ((function_return("keep"), indirect_branch("keep")))
|
||
+int
|
||
+foo (void)
|
||
+{
|
||
+ bar ();
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler-not "__x86_indirect_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not "__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-17.c b/gcc/testsuite/gcc.target/i386/ret-thunk-17.c
|
||
new file mode 100644
|
||
index 00000000000..0605e2c6542
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-17.c
|
||
@@ -0,0 +1,7 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mfunction-return=thunk -mindirect-branch=keep -mcmodel=large" } */
|
||
+
|
||
+void
|
||
+bar (void)
|
||
+{ /* { dg-error "'-mfunction-return=thunk' and '-mcmodel=large' are not compatible" } */
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-18.c b/gcc/testsuite/gcc.target/i386/ret-thunk-18.c
|
||
new file mode 100644
|
||
index 00000000000..307019dc242
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-18.c
|
||
@@ -0,0 +1,8 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mfunction-return=thunk-extern -mindirect-branch=keep -mcmodel=large" } */
|
||
+/* { dg-additional-options "-fPIC" { target fpic } } */
|
||
+
|
||
+void
|
||
+bar (void)
|
||
+{ /* { dg-error "'-mfunction-return=thunk-extern' and '-mcmodel=large' are not compatible" } */
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-19.c b/gcc/testsuite/gcc.target/i386/ret-thunk-19.c
|
||
new file mode 100644
|
||
index 00000000000..772617f4010
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-19.c
|
||
@@ -0,0 +1,8 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mfunction-return=keep -mindirect-branch=keep -mcmodel=large" } */
|
||
+
|
||
+__attribute__ ((function_return("thunk")))
|
||
+void
|
||
+bar (void)
|
||
+{ /* { dg-error "'-mfunction-return=thunk' and '-mcmodel=large' are not compatible" } */
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-2.c b/gcc/testsuite/gcc.target/i386/ret-thunk-2.c
|
||
new file mode 100644
|
||
index 00000000000..c6659e3ad09
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-2.c
|
||
@@ -0,0 +1,13 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mfunction-return=thunk-inline" } */
|
||
+
|
||
+void
|
||
+foo (void)
|
||
+{
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler {\tlfence} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-20.c b/gcc/testsuite/gcc.target/i386/ret-thunk-20.c
|
||
new file mode 100644
|
||
index 00000000000..1e9f9bd5a66
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-20.c
|
||
@@ -0,0 +1,9 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mfunction-return=keep -mindirect-branch=keep -mcmodel=large" } */
|
||
+/* { dg-additional-options "-fPIC" { target fpic } } */
|
||
+
|
||
+__attribute__ ((function_return("thunk-extern")))
|
||
+void
|
||
+bar (void)
|
||
+{ /* { dg-error "'-mfunction-return=thunk-extern' and '-mcmodel=large' are not compatible" } */
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-21.c b/gcc/testsuite/gcc.target/i386/ret-thunk-21.c
|
||
new file mode 100644
|
||
index 00000000000..eea07f7abe1
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-21.c
|
||
@@ -0,0 +1,9 @@
|
||
+/* { dg-do compile { target { lp64 } } } */
|
||
+/* { dg-options "-O2 -mfunction-return=keep -mindirect-branch=keep -mcmodel=large" } */
|
||
+/* { dg-additional-options "-fPIC" { target fpic } } */
|
||
+
|
||
+__attribute__ ((function_return("thunk-inline")))
|
||
+void
|
||
+bar (void)
|
||
+{
|
||
+}
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-3.c b/gcc/testsuite/gcc.target/i386/ret-thunk-3.c
|
||
new file mode 100644
|
||
index 00000000000..0f7f388f459
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-3.c
|
||
@@ -0,0 +1,12 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mfunction-return=thunk-extern" } */
|
||
+
|
||
+void
|
||
+foo (void)
|
||
+{
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-4.c b/gcc/testsuite/gcc.target/i386/ret-thunk-4.c
|
||
new file mode 100644
|
||
index 00000000000..9ae37e835a0
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-4.c
|
||
@@ -0,0 +1,12 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mfunction-return=keep" } */
|
||
+
|
||
+void
|
||
+foo (void)
|
||
+{
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-5.c b/gcc/testsuite/gcc.target/i386/ret-thunk-5.c
|
||
new file mode 100644
|
||
index 00000000000..4bd0d2a27bc
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-5.c
|
||
@@ -0,0 +1,15 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mfunction-return=keep" } */
|
||
+
|
||
+extern void foo (void) __attribute__ ((function_return("thunk")));
|
||
+
|
||
+void
|
||
+foo (void)
|
||
+{
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler {\tlfence} } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-6.c b/gcc/testsuite/gcc.target/i386/ret-thunk-6.c
|
||
new file mode 100644
|
||
index 00000000000..053841f6f7d
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-6.c
|
||
@@ -0,0 +1,14 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mfunction-return=keep" } */
|
||
+
|
||
+__attribute__ ((function_return("thunk-inline")))
|
||
+void
|
||
+foo (void)
|
||
+{
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler {\tpause} } } */
|
||
+/* { dg-final { scan-assembler {\tlfence} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-7.c b/gcc/testsuite/gcc.target/i386/ret-thunk-7.c
|
||
new file mode 100644
|
||
index 00000000000..262e6780112
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-7.c
|
||
@@ -0,0 +1,13 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mfunction-return=keep" } */
|
||
+
|
||
+__attribute__ ((function_return("thunk-extern")))
|
||
+void
|
||
+foo (void)
|
||
+{
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-8.c b/gcc/testsuite/gcc.target/i386/ret-thunk-8.c
|
||
new file mode 100644
|
||
index 00000000000..c1658e96673
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-8.c
|
||
@@ -0,0 +1,14 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mfunction-return=thunk-inline" } */
|
||
+
|
||
+extern void foo (void) __attribute__ ((function_return("keep")));
|
||
+
|
||
+void
|
||
+foo (void)
|
||
+{
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler-not {\t(lfence|pause)} } } */
|
||
+/* { dg-final { scan-assembler-not "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler-not "call\[ \t\]*\.LIND" } } */
|
||
diff --git a/gcc/testsuite/gcc.target/i386/ret-thunk-9.c b/gcc/testsuite/gcc.target/i386/ret-thunk-9.c
|
||
new file mode 100644
|
||
index 00000000000..d1db41cc128
|
||
--- /dev/null
|
||
+++ b/gcc/testsuite/gcc.target/i386/ret-thunk-9.c
|
||
@@ -0,0 +1,24 @@
|
||
+/* { dg-do compile } */
|
||
+/* { dg-options "-O2 -mno-indirect-branch-register -mno-indirect-branch-register -mfunction-return=thunk -mindirect-branch=thunk -fno-pic" } */
|
||
+
|
||
+extern void (*bar) (void);
|
||
+
|
||
+int
|
||
+foo (void)
|
||
+{
|
||
+ bar ();
|
||
+ return 0;
|
||
+}
|
||
+
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_return_thunk" } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*\.LIND" } } */
|
||
+/* { dg-final { scan-assembler "__x86_indirect_thunk:" } } */
|
||
+/* { dg-final { scan-assembler-times {\tpause} 1 { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler-times {\tlfence} 1 { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler "push(?:l|q)\[ \t\]*_?bar" { target { { ! x32 } && *-*-linux* } } } } */
|
||
+/* { dg-final { scan-assembler "jmp\[ \t\]*__x86_indirect_thunk" { target { ! x32 } } } } */
|
||
+/* { dg-final { scan-assembler-times {\tpause} 2 { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler-times {\tlfence} 2 { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler "call\[ \t\]*__x86_indirect_thunk_(r|e)ax" { target { x32 } } } } */
|
||
+/* { dg-final { scan-assembler-not "pushq\[ \t\]%rax" { target x32 } } } */
|