diff options
Diffstat (limited to 'powerpc/CBuiltins.ml')
-rw-r--r-- | powerpc/CBuiltins.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml index db01ae1c..f28ff8b7 100644 --- a/powerpc/CBuiltins.ml +++ b/powerpc/CBuiltins.ml @@ -84,7 +84,11 @@ let builtins = { "__builtin_isync", (TVoid [], [], false); "__builtin_trap", - (TVoid [], [], false) + (TVoid [], [], false); + "__builtin_lwar", + (TInt(IUInt, []), [TPtr(TInt(IUInt, [AConst]), [])], false); + "__builtin_stwc", + (TInt(IInt, []), [TPtr(TInt(IUInt, []), []); TInt(IUInt, [])], false) ] } |