diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-21 16:13:55 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-21 16:13:55 +0000 |
commit | 9b2190b382036354e4ff7026d2cd8f3f4fe8337d (patch) | |
tree | 3a3c9d6dc424e2c5dae0b09124ecb56ba9c95e09 /test/regression/Results/builtins-powerpc | |
parent | 468f0c4407895557ca8089430f894a85f06afe97 (diff) | |
download | compcert-9b2190b382036354e4ff7026d2cd8f3f4fe8337d.tar.gz compcert-9b2190b382036354e4ff7026d2cd8f3f4fe8337d.zip |
Fixes in PowerPC port
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2209 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/regression/Results/builtins-powerpc')
-rw-r--r-- | test/regression/Results/builtins-powerpc | 21 |
1 files changed, 21 insertions, 0 deletions
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 |