diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-05-30 17:41:25 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-05-30 17:41:25 +0200 |
| commit | 616f796999a47aa12aa60b0dc39274dd4fe7a2ca (patch) | |
| tree | 0e2271997dd8f5c265e4559475676256531182b6 /mppa_k1c/CBuiltins.ml | |
| parent | 8acbfc64cd77d911076aec57e8e0a558b36e448f (diff) | |
| download | compcert-kvx-616f796999a47aa12aa60b0dc39274dd4fe7a2ca.tar.gz compcert-kvx-616f796999a47aa12aa60b0dc39274dd4fe7a2ca.zip | |
WIP - Trying to add builtins support. They are not detected for now :(
Diffstat (limited to 'mppa_k1c/CBuiltins.ml')
| -rw-r--r-- | mppa_k1c/CBuiltins.ml | 31 |
1 files changed, 18 insertions, 13 deletions
diff --git a/mppa_k1c/CBuiltins.ml b/mppa_k1c/CBuiltins.ml index 0c981d11..b478f9b3 100644 --- a/mppa_k1c/CBuiltins.ml +++ b/mppa_k1c/CBuiltins.ml @@ -22,34 +22,39 @@ let builtins = { "__builtin_va_list", TPtr(TVoid [], []) ]; Builtins.functions = [ + "__builtin_clzll", + (TInt(IInt, []), + [TInt(IULongLong, [])], false); + "__builtin_k1_stsud", + (TInt(IULongLong, []), + [TInt(IULongLong, []); TInt(IULongLong, [])], false); (* Synchronization *) - "__builtin_fence", +(* "__builtin_fence", (TVoid [], [], false); (* Integer arithmetic *) "__builtin_bswap64", - (TInt(IULongLong, []), [TInt(IULongLong, [])], false); + (TInt(IULongLong, []), + [TInt(IULongLong, [])], false); (* Float arithmetic *) "__builtin_fmadd", (TFloat(FDouble, []), - [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], - false); + [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], false); "__builtin_fmsub", (TFloat(FDouble, []), - [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], - false); + [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], false); "__builtin_fnmadd", (TFloat(FDouble, []), - [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], - false); + [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], false); "__builtin_fnmsub", (TFloat(FDouble, []), - [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], - false); + [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], false); "__builtin_fmax", - (TFloat(FDouble, []), [TFloat(FDouble, []); TFloat(FDouble, [])], false); + (TFloat(FDouble, []), + [TFloat(FDouble, []); TFloat(FDouble, [])], false); "__builtin_fmin", - (TFloat(FDouble, []), [TFloat(FDouble, []); TFloat(FDouble, [])], false); - ] + (TFloat(FDouble, []), + [TFloat(FDouble, []); TFloat(FDouble, [])], false); +*)] } let va_list_type = TPtr(TVoid [], []) (* to check! *) |