diff options
author | James Iry <jamesiry@gmail.com> | 2013-03-11 13:26:11 -0700 |
---|---|---|
committer | James Iry <jamesiry@gmail.com> | 2013-03-14 10:20:10 -0700 |
commit | 3a17ff00067f8f11288b1ddc778e193bed3ea017 (patch) | |
tree | 949e940c0b93a2ccdbf2310f06cd337a9b905ac1 /test/files/run/blame_eye_triple_eee.scala | |
parent | 69109c0ace5e3ac831c3b0a5635f25317d3b28bf (diff) | |
download | scala-3a17ff00067f8f11288b1ddc778e193bed3ea017.tar.gz scala-3a17ff00067f8f11288b1ddc778e193bed3ea017.tar.bz2 scala-3a17ff00067f8f11288b1ddc778e193bed3ea017.zip |
Cleanup of constant optimization
This commit cleans up constant optimization from the review of
https://github.com/scala/scala/pull/2214 .
* drops are done using the instruction's consumed count rather than a
numeric literal
* drops are moved into one common method in the main instruction
interpreter
* One instance of x.length > y.length is replaced with
x.lengthCompare(y.length) > 0
* NaN is dealt with by treating it as an UNKNOWN
* A test is added to make sure NaN semantics aren't broken.
* The constant-optmization test is improved with tests for switch
statements
Diffstat (limited to 'test/files/run/blame_eye_triple_eee.scala')
-rw-r--r-- | test/files/run/blame_eye_triple_eee.scala | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/test/files/run/blame_eye_triple_eee.scala b/test/files/run/blame_eye_triple_eee.scala new file mode 100644 index 0000000000..1640aead40 --- /dev/null +++ b/test/files/run/blame_eye_triple_eee.scala @@ -0,0 +1,61 @@ +object Test extends App { + import Double.NaN + + // NaN must not equal NaN no matter what optimizations are applied + // All the following will seem redundant, but to an optimizer + // they can appear different + + val x = NaN + + if (NaN == NaN) + println("if (NaN == NaN) is broken") + else + println("if (NaN == NaN) is good") + + if (x == x) + println("if (x == x) is broken") + else + println("if (x == x) is good") + + if (x == NaN) + println("if (x == NaN) is broken") + else + println("if (x == NaN) is good") + + if (NaN != NaN) + println("if (NaN != NaN) is good") + else + println("if (NaN != NaN) broken") + + if (x != x) + println("if (x != x) is good") + else + println("if (x != x) broken") + + if (NaN != x) + println("if (NaN != x) is good") + else + println("if (NaN != x) is broken") + + x match { + case 0.0d => println("x matched 0!") + case NaN => println("x matched NaN!") + case _ => println("x matching was good") + } + + NaN match { + case 0.0d => println("NaN matched 0!") + case NaN => println("NaN matched NaN!") + case _ => println("NaN matching was good") + } + + var z = 0.0d + var i = 0 + while (i < 10) { + if (i % 2 == 0) z = NaN + else z = NaN + i += 1 + } + if (z.isNaN && i == 10) println("loop with NaN was goood") + else println("loop with NaN was broken") +} |