Correctness Issues after adopting latest version of Graal

Stefan Marr java at
Fri Apr 11 11:15:30 UTC 2014


On 11 Apr 2014, at 09:42, Stefan Marr <java at> wrote:

>> After adopting the latest Graal/Truffle version, I am seeing correctness issues when running on top of Graal.
> Just a small update: After the latest version of today (d8b9e3761e52), the issues I am seeing are reduced, but not gone.
> The minimal example I distilled yesterday seems to be fixed, but I still got two benchmarks failing with incorrect results.

Haven’t been able to distill a small test case, but the two remaining benchmarks that show correctness issues are:

./ -cp Smalltalk Examples/Benchmarks/BenchmarkHarness.som Bounce 1000 0 1000


./ -cp Smalltalk:Examples/Benchmarks/Richards/ Examples/Benchmarks/BenchmarkHarness.som Richards 1000 0 100

Best regards


To checkout the relevant branch of TruffleSOM ( will need you to set $GRAAL_HOME to work out of the box):

git clone --recursive -b exp/greater-than 
ant jar
./ -cp Smalltalk Examples/Benchmarks/BenchmarkHarness.som GreaterThan 1000 0 1000

The Truffle patch is at [2], and the relevant code can be checked out with:
 git clone -b master

Stefan Marr
INRIA Lille - Nord Europe

More information about the graal-dev mailing list