Blame SOURCES/gcc48-rh1535655-2.patch

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