From 378ac3925503e6efd24cc34796e85d95c031e72d Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sun, 13 Sep 2015 11:44:32 +0200
Subject: Use PowerPC 64 bits instructions (when available) for int<->FP
 conversions.

Also: implement __builtin_isel on non-EREF platforms with a branch-free instruction sequence.

Also: extend ./configure so that it recognizes "ppc64-" and "e5500-" platforms in addition to "ppc-".
---
 powerpc/Archi.v | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'powerpc/Archi.v')

diff --git a/powerpc/Archi.v b/powerpc/Archi.v
index 058b057f..cf1a0fe3 100644
--- a/powerpc/Archi.v
+++ b/powerpc/Archi.v
@@ -43,3 +43,7 @@ Global Opaque big_endian
               default_pl_64 choose_binop_pl_64
               default_pl_32 choose_binop_pl_32
               float_of_single_preserves_sNaN.
+
+(** Can we use the 64-bit extensions to the PowerPC architecture? *)
+Parameter ppc64: bool.
+
-- 
cgit