diff options
author | 2010-04-10 15:25:00 +0000 | |
---|---|---|
committer | 2010-04-10 15:25:00 +0000 | |
commit | 83ca03c1b1f87dc74e0b97c3728c3d8d0c1aad44 (patch) | |
tree | 98334d3f34307f3f7038884995f9c2e662c06d88 /powerpc/Machregsaux.ml | |
parent | a32ed5df6aa31aa5a38a55af9d75880e906721f2 (diff) |
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 'powerpc/Machregsaux.ml')
0 files changed, 0 insertions, 0 deletions