From c29871c2d5c7860c6c6c53e8d5c8a9fe434742d2 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 17 Nov 2013 14:36:18 +0000
Subject: powerpc/: new unary operation "addsymbol" Support far-data addressing
 in sections. (Currently ignored in checklink.)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2368 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 common/Sections.mli | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'common/Sections.mli')

diff --git a/common/Sections.mli b/common/Sections.mli
index 8b7c9dcc..ff6c8c95 100644
--- a/common/Sections.mli
+++ b/common/Sections.mli
@@ -27,14 +27,19 @@ type section_name =
   | Section_jumptable
   | Section_user of string * bool (*writable*) * bool (*executable*)
 
+type access_mode =
+  | Access_default
+  | Access_near
+  | Access_far
+
 val initialize: unit -> unit
 
 val define_section:
   string -> ?iname:string -> ?uname:string
-         -> ?writable:bool -> ?executable:bool -> ?near:bool -> unit -> unit
+         -> ?writable:bool -> ?executable:bool -> ?access:access_mode -> unit -> unit
 val use_section_for: AST.ident -> string -> bool
 
 val for_variable: Env.t -> AST.ident -> C.typ -> bool ->
-                                          section_name * bool
+                                          section_name * access_mode
 val for_function: Env.t -> AST.ident -> C.typ -> section_name list
 val for_stringlit: unit -> section_name
-- 
cgit