diff options
| author | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-11-04 03:04:21 +0100 |
|---|---|---|
| committer | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-11-04 03:04:21 +0100 |
| commit | 5664fddcab15ef4482d583673c75e07bd1e96d0a (patch) | |
| tree | 878b22860e69405ba5cf6fd2798731dac8ce660c /cparser/GCC.ml | |
| parent | b960c83725d7e185ac5c6e3c0d6043c7dcd2f556 (diff) | |
| parent | fe73ed58ef80da7c53c124302a608948fb190229 (diff) | |
| download | compcert-5664fddcab15ef4482d583673c75e07bd1e96d0a.tar.gz compcert-5664fddcab15ef4482d583673c75e07bd1e96d0a.zip | |
Merge remote-tracking branch 'origin/master' into parser_fix
Diffstat (limited to 'cparser/GCC.ml')
| -rw-r--r-- | cparser/GCC.ml | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/cparser/GCC.ml b/cparser/GCC.ml index 030f300b..f7f64a4e 100644 --- a/cparser/GCC.ml +++ b/cparser/GCC.ml @@ -65,7 +65,7 @@ let builtins = { "__builtin_acosl", (longDoubleType, [ longDoubleType ], false); "__builtin_alloca", (voidPtrType, [ uintType ], false); - + "__builtin_asin", (doubleType, [ doubleType ], false); "__builtin_asinf", (floatType, [ floatType ], false); "__builtin_asinl", (longDoubleType, [ longDoubleType ], false); @@ -76,7 +76,7 @@ let builtins = { "__builtin_atan2", (doubleType, [ doubleType; doubleType ], false); "__builtin_atan2f", (floatType, [ floatType; floatType ], false); - "__builtin_atan2l", (longDoubleType, [ longDoubleType; + "__builtin_atan2l", (longDoubleType, [ longDoubleType; longDoubleType ], false); "__builtin_ceil", (doubleType, [ doubleType ], false); @@ -133,12 +133,12 @@ let builtins = { "__builtin_frexp", (doubleType, [ doubleType; intPtrType ], false); "__builtin_frexpf", (floatType, [ floatType; intPtrType ], false); - "__builtin_frexpl", (longDoubleType, [ longDoubleType; + "__builtin_frexpl", (longDoubleType, [ longDoubleType; intPtrType ], false); "__builtin_ldexp", (doubleType, [ doubleType; intType ], false); "__builtin_ldexpf", (floatType, [ floatType; intType ], false); - "__builtin_ldexpl", (longDoubleType, [ longDoubleType; + "__builtin_ldexpl", (longDoubleType, [ longDoubleType; intType ], false); "__builtin_log", (doubleType, [ doubleType ], false); @@ -149,10 +149,10 @@ let builtins = { "__builtin_log10f", (floatType, [ floatType ], false); "__builtin_log10l", (longDoubleType, [ longDoubleType ], false); - "__builtin_modff", (floatType, [ floatType; + "__builtin_modff", (floatType, [ floatType; TPtr(floatType,[]) ], false); - "__builtin_modfl", (longDoubleType, [ longDoubleType; - TPtr(longDoubleType, []) ], + "__builtin_modfl", (longDoubleType, [ longDoubleType; + TPtr(longDoubleType, []) ], false); "__builtin_nan", (doubleType, [ charConstPtrType ], false); @@ -210,7 +210,7 @@ let builtins = { "__builtin_tanhl", (longDoubleType, [ longDoubleType ], false); "__builtin_va_end", (voidType, [ voidPtrType ], false); - "__builtin_varargs_start", + "__builtin_varargs_start", (voidType, [ voidPtrType ], false); (* When we elaborate builtin_stdarg_start/builtin_va_start, second argument is passed by address *) |