diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-04-10 15:25:00 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-04-10 15:25:00 +0000 |
commit | 83ca03c1b1f87dc74e0b97c3728c3d8d0c1aad44 (patch) | |
tree | 98334d3f34307f3f7038884995f9c2e662c06d88 /cfrontend | |
parent | a32ed5df6aa31aa5a38a55af9d75880e906721f2 (diff) | |
download | compcert-83ca03c1b1f87dc74e0b97c3728c3d8d0c1aad44.tar.gz compcert-83ca03c1b1f87dc74e0b97c3728c3d8d0c1aad44.zip |
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
Diffstat (limited to 'cfrontend')
-rw-r--r-- | cfrontend/C2Clight.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cfrontend/C2Clight.ml b/cfrontend/C2Clight.ml index b12d60bb..100c72b1 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 |