[PIC] Add small/large PIC memory model.

claziss · artemiy-volkov · commit 2e6830a81d5b · 2024-08-16T10:13:32.000-07:00
diff --git a/gcc/config/arc64/arc64-opts.h b/gcc/config/arc64/arc64-opts.h
@@ -0,0 +1,30 @@
+/* Copyright (C) 2019 Free Software Foundation, Inc.
+
+   This file is part of GCC.
+
+   GCC is free software; you can redistribute it and/or modify it
+   under the terms of the GNU General Public License as published
+   by the Free Software Foundation; either version 3, or (at your
+   option) any later version.
+
+   GCC is distributed in the hope that it will be useful, but WITHOUT
+   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+   or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+   License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with GCC; see the file COPYING3.  If not see
+   <http://www.gnu.org/licenses/>.  */
+
+
+/* The code model defines the address generation strategy.  */
+enum arc64_code_model {
+  /* Static code and data fit within a 1MB region.
+     The default non-PIC code model.  */
+  ARC64_CMODEL_SMALL,
+  /* The default for PIC code model, static code and data fit within
+     4GB region.  Local calls will fit within 16MB region.  */
+  ARC64_CMODEL_MEDIUM,
+  /* No assumptions about addresses of code and data.  */
+  ARC64_CMODEL_LARGE
+};
diff --git a/gcc/config/arc64/arc64-protos.h b/gcc/config/arc64/arc64-protos.h
@@ -19,6 +19,7 @@ extern bool arc64_prepare_move_operands (rtx, rtx, machine_mode);
 extern void arc64_expand_prologue (void);
 extern void arc64_expand_epilogue (bool);
 extern bool arc64_limm_addr_p (rtx);
+extern bool arc64_is_long_call_p (rtx);
 
 #endif /* RTX_CODE */
 
diff --git a/gcc/config/arc64/arc64.c b/gcc/config/arc64/arc64.c
@@ -487,12 +487,17 @@ arc64_legitimate_address_p (machine_mode mode ATTRIBUTE_UNUSED,
   if ((GET_CODE (x) == PRE_MODIFY || GET_CODE (x) == POST_MODIFY))
     return true;
 
-  /* PIC address.  */
+  /* PIC address (LARGE).  */
   if (GET_CODE (x) == LO_SUM
       && REG_P (XEXP (x, 0))
       && GET_CODE (XEXP (x, 1)) == UNSPEC)
     return true;
 
+  /* PIC address (small).  */
+  if (GET_CODE (x) == UNSPEC
+      && XINT (x, 1) == ARC64_UNSPEC_GOT32)
+    return true;
+
   return false;
 }
 
@@ -1062,15 +1067,21 @@ arc64_print_operand_address (FILE *file , machine_mode mode, rtx addr)
       output_address (VOIDmode, XEXP (addr, 1));
       break;
 
-      /* This type of address can be only accepted by LD instructions.  */
     case LO_SUM:
+      /* This type of address can be only accepted by LD instructions.  */
       base = XEXP (addr, 0);
       index = XEXP (addr, 1);
       arc64_print_operand_address (file, mode, base);
       fputc (',', file);
       output_addr_const (file, index);
       break;
 
+    case UNSPEC:
+      /* Small PIC.  */
+      fputs ("pcl,", file);
+      output_addr_const (file, addr);
+      break;
+
     case CONST_INT:
       output_addr_const (file, addr);
       break;
@@ -1107,6 +1118,7 @@ arc64_output_addr_const_extra (FILE *file, rtx x)
 	  fputs ("@pcl", file);
 	  break;
 
+	case ARC64_UNSPEC_GOT32:
 	case ARC64_UNSPEC_GOT:
 	  fputs ("@gotpc", file);
 	  break;
@@ -1159,9 +1171,17 @@ arc64_legitimize_address_1 (rtx x, rtx scratch)
 	  base = gen_sym_unspec (x, ARC64_UNSPEC_GOTOFF);
 	  return base;
 	}
+      else if (flag_pic == 1)
+	{
+	  /* Global symbol, we access it via a load from the GOT
+	     (small model).  */
+	  base = gen_sym_unspec (x, ARC64_UNSPEC_GOT32);
+	  return gen_const_mem (Pmode, base);
+	}
       else
 	{
-	  /* Global symbol, we access it via a load from the GOT.  */
+	  /* Global symbol, we access it via a load from the GOT
+	     (LARGE model).  */
 	  base = gen_sym_unspec (x, ARC64_UNSPEC_GOT);
 	  emit_insn (gen_rtx_SET (t1, gen_rtx_HIGH (Pmode, base)));
 	  t1 = gen_rtx_LO_SUM (Pmode, t1, copy_rtx (base));
@@ -1381,11 +1401,35 @@ arc64_output_function_prologue (FILE *f)
     }
 }
 
-
 /*
   Global functions.
 */
 
+/* Returns TRUE if CALLEE should be treated as long-calls (i.e. called
+   via a register).  */
+
+bool
+arc64_is_long_call_p (rtx sym)
+{
+  const_tree decl;
+
+  if (!SYMBOL_REF_P (sym))
+    return false;
+
+  /* If my memory model is small everything can go via usual bl/jl
+     instructions.  */
+  if (arc64_cmodel_var == ARC64_CMODEL_SMALL)
+    return false;
+
+  decl = SYMBOL_REF_DECL (sym);
+  if (flag_pic
+      && decl
+      && !targetm.binds_local_p (decl))
+    return true;
+
+  return false;
+}
+
 /* X and Y are two things to compare using CODE.  Emit the compare insn and
    return the rtx for the cc reg in the proper mode.  */
 
@@ -1596,8 +1640,8 @@ arc64_expand_call (rtx result, rtx mem, bool sibcall)
   /* Decide if we should generate indirect calls by loading the
      address of the callee into a register before performing the
      branch-and-link.  */
-// FIXME!  if (arc64_is_long_call_p (callee) && !REG_P (callee))
-// FIXME!    XEXP (mem, 0) = force_reg (mode, callee);
+  if (arc64_is_long_call_p (callee) && !REG_P (callee))
+    XEXP (mem, 0) = force_reg (mode, callee);
 
   call = gen_rtx_CALL (VOIDmode, mem, const0_rtx);
 
diff --git a/gcc/config/arc64/arc64.md b/gcc/config/arc64/arc64.md
@@ -72,6 +72,7 @@
   [
    ARC64_UNSPEC_GOTOFF
    ARC64_UNSPEC_GOT
+   ARC64_UNSPEC_GOT32
    ARC64_VUNSPEC_BLOCKAGE
    ])
 
diff --git a/gcc/config/arc64/arc64.opt b/gcc/config/arc64/arc64.opt
@@ -0,0 +1,38 @@
+; Machine description for ARC64 architecture.
+; Copyright (C) 2019x Free Software Foundation, Inc.
+;
+; This file is part of GCC.
+;
+; GCC is free software; you can redistribute it and/or modify it
+; under the terms of the GNU General Public License as published by
+; the Free Software Foundation; either version 3, or (at your option)
+; any later version.
+;
+; GCC is distributed in the hope that it will be useful, but
+; WITHOUT ANY WARRANTY; without even the implied warranty of
+; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+; General Public License for more details.
+;
+; You should have received a copy of the GNU General Public License
+; along with GCC; see the file COPYING3.  If not see
+; <http://www.gnu.org/licenses/>.
+
+HeaderInclude
+config/arc64/arc64-opts.h
+
+Enum
+Name(cmodel) Type(enum arc64_code_model)
+The code model option names for -mcmodel:
+
+EnumValue
+Enum(cmodel) String(small) Value(ARC64_CMODEL_SMALL)
+
+EnumValue
+Enum(cmodel) String(medium) Value(ARC64_CMODEL_MEDIUM)
+
+EnumValue
+Enum(cmodel) String(large) Value(ARC64_CMODEL_LARGE)
+
+mcmodel=
+Target RejectNegative Joined Enum(cmodel) Var(arc64_cmodel_var) Init(ARC64_CMODEL_MEDIUM) Save
+Specify the code model.
diff --git a/gcc/config/arc64/predicates.md b/gcc/config/arc64/predicates.md
@@ -41,7 +41,8 @@
 
 ;; Acceptable arguments for the call insn.
 (define_predicate "arc64_call_insn_operand"
-  (ior (match_code "symbol_ref")
+  (ior (and (match_code "symbol_ref")
+	    (match_test "!arc64_is_long_call_p (op)"))
        (match_operand 0 "register_operand")))
 
 ; to be used for br{eq/ne}_s instructions.

Original file line number	Diff line number	Diff line change
`@@ -72,6 +72,7 @@`
`72`	`72`	`[`
`73`	`73`	`ARC64_UNSPEC_GOTOFF`
`74`	`74`	`ARC64_UNSPEC_GOT`
	`75`	`+ ARC64_UNSPEC_GOT32`
`75`	`76`	`ARC64_VUNSPEC_BLOCKAGE`
`76`	`77`	`])`
`77`	`78`