From 83ca03c1b1f87dc74e0b97c3728c3d8d0c1aad44 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 10 Apr 2010 15:25:00 +0000
Subject: 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
---
 powerpc/CBuiltins.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'powerpc/CBuiltins.ml')

diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
index 65cd5b4..da64b56 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -64,6 +64,8 @@ let builtins = {
     "__builtin_sync",
       (TVoid [], [], false);
     "__builtin_isync",
+      (TVoid [], [], false);
+    "__builtin_trap",
       (TVoid [], [], false)
   ]
 }
-- 
cgit v1.2.3