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