Commit 64dc4d10 authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel 🕺

Re-center perf-numbers for T5631

parent 1408c8dc
......@@ -333,11 +333,12 @@ test('T5631',
[(wordsize(32), 346389856, 10),
# expected value: 392904228 (x86/Linux)
# 2014-04-04: 346389856 (x86 Windows, 64 bit machine)
(wordsize(64), 739704712, 5)]),
(wordsize(64), 776121120, 5)]),
# expected value: 774595008 (amd64/Linux):
# expected value: 735486328 (amd64/Linux) 2012/12/12:
# expected value: 690742040 (amd64/Linux) Call Arity improvements
# 2014-09-09: 739704712 (amd64/Linux) AMP changes
# 2014-11-04: 776121120 (amd64/Linux) new-flatten-skolems
only_ways(['normal'])
],
compile,
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment