diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-11-24 16:38:28 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-11-24 16:38:28 +0000 |
commit | 09739ad762e9cf144f8004cdaf60d293dfd62d9a (patch) | |
tree | 0d476db332f7b0969f7d6ef48c20a535e355a578 /powerpc/CBuiltins.ml | |
parent | ce4951549999f403446415c135ad1403a16a15c3 (diff) | |
download | compcert-09739ad762e9cf144f8004cdaf60d293dfd62d9a.tar.gz compcert-09739ad762e9cf144f8004cdaf60d293dfd62d9a.zip |
Add __builtin_fcti (double -> int conversion w/ round to nearest)
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2071 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'powerpc/CBuiltins.ml')
-rw-r--r-- | powerpc/CBuiltins.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml index b9fc0648..ff1715b7 100644 --- a/powerpc/CBuiltins.ml +++ b/powerpc/CBuiltins.ml @@ -56,6 +56,10 @@ let builtins = { (TFloat(FDouble, []), [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], false); + "__builtin_fcti", + (TInt(IInt, []), + [TFloat(FDouble, [])], + false); (* Memory accesses *) "__builtin_read16_reversed", (TInt(IUShort, []), [TPtr(TInt(IUShort, [AConst]), [])], false); |