From 9b2190b382036354e4ff7026d2cd8f3f4fe8337d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 21 Apr 2013 16:13:55 +0000
Subject: Fixes in PowerPC port

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2209 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/Results/builtins-powerpc | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 test/regression/Results/builtins-powerpc

(limited to 'test/regression/Results/builtins-powerpc')

diff --git a/test/regression/Results/builtins-powerpc b/test/regression/Results/builtins-powerpc
new file mode 100644
index 00000000..b841dc29
--- /dev/null
+++ b/test/regression/Results/builtins-powerpc
@@ -0,0 +1,21 @@
+mulhw(12345678, deadbeef) = fda16776
+mulhwu(12345678, deadbeef) = fd5bdee
+cntlz(12345678) = 3
+bswap(12345678) = 78563412
+bswap16(1234) = 3412
+fmadd(3.141590, 2.718000, 1.414000) = 9.952842
+fmsub(3.141590, 2.718000, 1.414000) = 7.124842
+fabs(3.141590) = 3.141590
+fabs(-3.141590) = 3.141590
+fsqrt(3.141590) = 1.772453
+frsqrte(3.141590) = 0.564198
+fres(3.141590) = 0.318311
+fsel(3.141590, 2.718000, 1.414000) = 2.718000
+fsel(-3.141590, 2.718000, 1.414000) = 1.414000
+fcti(3.141590) = 3
+fcti(2.718000) = 3
+fcti(1.414000) = 1
+read_16_rev = 3412
+read_32_rev = efbeadde
+after write_16_rev: 9a78
+after write_32_rev: 78563412
-- 
cgit