From 5d84e6862562eb14fe489c297864e660ace12418 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 2 Nov 2009 10:42:56 +0000
Subject: Simplified the treatment of the PowerPC small data area; now more
 specific to the Diab toolchain.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1165 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cfrontend/Cil2Csyntax.ml | 18 ++++++++----------
 1 file changed, 8 insertions(+), 10 deletions(-)

(limited to 'cfrontend')

diff --git a/cfrontend/Cil2Csyntax.ml b/cfrontend/Cil2Csyntax.ml
index 20a5b7a6..16daa141 100644
--- a/cfrontend/Cil2Csyntax.ml
+++ b/cfrontend/Cil2Csyntax.ml
@@ -1254,16 +1254,14 @@ let atom_is_readonly a =
 
 let atom_is_small_data a ofs =
   match Configuration.system with
-  | "linux" ->
-      if !Clflags.option_fsda then begin
-        try
-          let v = Hashtbl.find varinfo_atom a in
-          let sz = Cil.bitsSizeOf v.vtype / 8 in
-          let ofs = camlint_of_coqint ofs in
-          sz <= 8 && ofs >= 0l && ofs < Int32.of_int sz
-        with Not_found ->
-          false
-      end else
+  | "diab" ->
+      begin try
+        let v = Hashtbl.find varinfo_atom a in
+        let sz = Cil.bitsSizeOf v.vtype / 8 in
+        let ofs = camlint_of_coqint ofs in
+        sz <= 8 && ofs >= 0l && ofs < Int32.of_int sz
+      with Not_found ->
         false
+    end
   | _ ->
       false
-- 
cgit