PowerPC:

- added __builtin_trap()
- generate .size and .type directives
- use natural alignment for variables


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1315 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 7 insertions, 0 deletions

diff --git a/cfrontend/C2Clight.ml b/cfrontend/C2Clight.ml
index b12d60b..100c72b 100644
--- a/cfrontend/C2Clight.ml
+++ b/cfrontend/C2Clight.ml
@@ -791,6 +791,13 @@ let atom_sizeof a =
   with Not_found ->
     None
 
+let atom_alignof a =
+  try
+    let (env, (sto, id, ty, init)) = Hashtbl.find decl_atom a in
+    Cutil.alignof env ty
+  with Not_found ->
+    None
+
 (** ** The builtin environment *)
 
 open Cparser.Builtins