summaryrefslogtreecommitdiff
path: root/test/regression/Results
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-05-06 15:25:26 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-05-06 15:25:26 +0000
commit884756b623fd6031a04102a545d92e4ec905f1cc (patch)
tree9e2804da54087bbcb44df675432dcb133294b8b6 /test/regression/Results
parent76555ffd2403b3ebf1ea353063c16763e6493722 (diff)
Revised semantics and compilation of 2-argument C operators to better match
"the usual binary conversions" and be more robust towards future extensions e.g. with 32-bit float values. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2239 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/regression/Results')
-rw-r--r--test/regression/Results/binops98
1 files changed, 98 insertions, 0 deletions
diff --git a/test/regression/Results/binops b/test/regression/Results/binops
new file mode 100644
index 0000000..099957d
--- /dev/null
+++ b/test/regression/Results/binops
@@ -0,0 +1,98 @@
+-12 + -12 = -24
+-12 + 32769 = 32757
+-12 + -43 = -55
+-12 + 3735928559 = 3735928547
+-12 + -123456789012 = -123456789024
+-12 + -2401053092593056409 = -2401053092593056421
+-12 + 0x1.921fb5452455p+1 = -0x1.1b7812aeb6eacp+3
+32769 + -12 = 32757
+32769 + 32769 = 65538
+32769 + -43 = 32726
+32769 + 3735928559 = 3735961328
+32769 + -123456789012 = -123456756243
+32769 + -2401053092593056409 = -2401053092593023640
+32769 + 0x1.921fb5452455p+1 = 0x1.0008487ed5149p+15
+-43 + -12 = -55
+-43 + 32769 = 32726
+-43 + -43 = -86
+-43 + 3735928559 = 3735928516
+-43 + -123456789012 = -123456789055
+-43 + -2401053092593056409 = -2401053092593056452
+-43 + 0x1.921fb5452455p+1 = -0x1.3ede04abadbabp+5
+3735928559 + -12 = 3735928547
+3735928559 + 32769 = 3735961328
+3735928559 + -43 = 3735928516
+3735928559 + 3735928559 = 3176889822
+3735928559 + -123456789012 = -119720860453
+3735928559 + -2401053092593056409 = -2401053088857127850
+3735928559 + 0x1.921fb5452455p+1 = 0x1.bd5b7de4487edp+31
+-123456789012 + -12 = -123456789024
+-123456789012 + 32769 = -123456756243
+-123456789012 + -43 = -123456789055
+-123456789012 + 3735928559 = -119720860453
+-123456789012 + -123456789012 = -246913578024
+-123456789012 + -2401053092593056409 = -2401053216049845421
+-123456789012 + 0x1.921fb5452455p+1 = -0x1.cbe991a10dbc1p+36
+-2401053092593056409 + -12 = -2401053092593056421
+-2401053092593056409 + 32769 = -2401053092593023640
+-2401053092593056409 + -43 = -2401053092593056452
+-2401053092593056409 + 3735928559 = -2401053088857127850
+-2401053092593056409 + -123456789012 = -2401053216049845421
+-2401053092593056409 + -2401053092593056409 = -4802106185186112818
+-2401053092593056409 + 0x1.921fb5452455p+1 = 0x1.bd5b7dde02469p+63
+0x1.921fb5452455p+1 + -12 = -0x1.1b7812aeb6eacp+3
+0x1.921fb5452455p+1 + 32769 = 0x1.0008487ed5149p+15
+0x1.921fb5452455p+1 + -43 = -0x1.3ede04abadbabp+5
+0x1.921fb5452455p+1 + 3735928559 = 0x1.bd5b7de4487edp+31
+0x1.921fb5452455p+1 + -123456789012 = -0x1.cbe991a10dbc1p+36
+0x1.921fb5452455p+1 + -2401053092593056409 = 0x1.bd5b7dde02469p+63
+0x1.921fb5452455p+1 + 0x1.5be76c8b43958p+1 = 0x1.770390e833f54p+2
+-12 / -12 = 1
+-12 / 32769 = 0
+-12 / -43 = 0
+-12 / 3735928559 = 1
+-12 / -123456789012 = 0
+-12 / -2401053092593056409 = 1
+-12 / 0x1.921fb5452455p+1 = -0x1.e8ec8a49d89b3p+1
+32769 / -12 = -2730
+32769 / 32769 = 1
+32769 / -43 = -762
+32769 / 3735928559 = 0
+32769 / -123456789012 = 0
+32769 / -2401053092593056409 = 0
+32769 / 0x1.921fb5452455p+1 = 0x1.45f592c1f3749p+13
+-43 / -12 = 3
+-43 / 32769 = 0
+-43 / -43 = 1
+-43 / 3735928559 = 1
+-43 / -123456789012 = 0
+-43 / -2401053092593056409 = 1
+-43 / 0x1.921fb5452455p+1 = -0x1.b5fe91377cb5bp+3
+3735928559 / -12 = 0
+3735928559 / 32769 = 114008
+3735928559 / -43 = 0
+3735928559 / 3735928559 = 1
+3735928559 / -123456789012 = 0
+3735928559 / -2401053092593056409 = 0
+3735928559 / 0x1.921fb5452455p+1 = 0x1.1b85f84900ce9p+30
+-123456789012 / -12 = 10288065751
+-123456789012 / 32769 = -3767487
+-123456789012 / -43 = 2871088116
+-123456789012 / 3735928559 = -33
+-123456789012 / -123456789012 = 1
+-123456789012 / -2401053092593056409 = 1
+-123456789012 / 0x1.921fb5452455p+1 = -0x1.24ca1074bca22p+35
+-2401053092593056409 / -12 = 0
+-2401053092593056409 / 32769 = 489660684827626
+-2401053092593056409 / -43 = 0
+-2401053092593056409 / 3735928559 = 4294967296
+-2401053092593056409 / -123456789012 = 0
+-2401053092593056409 / -2401053092593056409 = 1
+-2401053092593056409 / 0x1.921fb5452455p+1 = 0x1.1b85f84902417p+62
+0x1.921fb5452455p+1 / -12 = -0x1.0c1523836d8ep-2
+0x1.921fb5452455p+1 / 32769 = 0x1.921c910c023dp-14
+0x1.921fb5452455p+1 / -43 = -0x1.2b414569092d6p-4
+0x1.921fb5452455p+1 / 3735928559 = 0x1.ce4c0cc6e1623p-31
+0x1.921fb5452455p+1 / -123456789012 = -0x1.bfaaa712bb416p-36
+0x1.921fb5452455p+1 / -2401053092593056409 = 0x1.ce4c0cc6df058p-63
+0x1.921fb5452455p+1 / 0x1.5be76c8b43958p+1 = 0x1.27e599eaeb137p+0