Port tests from Scala2 #5207

scala/scala#5207

Author: liufengyun

compiler/src/dotty/tools/backend/ScalaPrimitivesOps.scala

@@ -33,8 +33,8 @@ class ScalaPrimitivesOps {
   final val NE = 43                            // x != y
   final val LT = 44                            // x < y
   final val LE = 45                            // x <= y
-  final val GE = 46                            // x > y
-  final val GT = 47                            // x >= y
+  final val GT = 46                            // x > y
+  final val GE = 47                            // x >= y
 
   // Boolean unary operations
   final val ZNOT = 50                          // !x

tests/run-bootstrapped/i6710.scala

@@ -19,5 +19,36 @@ object Test {
     while(x > 10.0) { x = x + 1; println(x) }
     do { x = x + 1; println(x) } while(x < 10.0)
     do { x = x + 1; println(x) } while(x > 10.0)
+
+    // tests from https://github.com/scala/scala/pull/5207
+    {
+      val n = Double.NaN
+      def ne(x: Double, y: Double) = x != y
+      val fs: List[(Double, Double) => Boolean] = List(_ < _, _ <= _, _ > _, _ >= _,  _ == _, (x, y) => !ne(x, y))
+      val vs = List[Double](n, 1, -1, 0)
+      for (f <- fs; v <- vs; (x, y) <- List((n, v), (v, n))) assert(!f(x, y))
+    }
+
+    {
+      val n = Float.NaN
+      def ne(x: Float, y: Float) = x != y
+      val fs: List[(Float, Float) => Boolean] = List(_ < _, _ <= _, _ > _, _ >= _,  _ == _, (x, y) => !ne(x, y))
+      val vs = List[Float](n, 1, -1, 0)
+      for (f <- fs; v <- vs; (x, y) <- List((n, v), (v, n))) assert(!f(x, y))
+    }
+
+    {
+      def a[T](x: T, y: T) = x == y
+      def b[T](x: T, y: T) = x != y
+      val n = Double.NaN
+      (a(n, n) :: a(n, 0) :: a (0, n) :: !b(n, n) :: !b(n, 0) :: !b(0, n) :: Nil).foreach(b => assert(!b))
+    }
+
+    {
+      def a[T](x: T, y: T) = x == y
+      def b[T](x: T, y: T) = x != y
+      val n = Float.NaN
+      (a(n, n) :: a(n, 0) :: a (0, n) :: !b(n, n) :: !b(n, 0) :: !b(0, n) :: Nil).foreach(b => assert(!b))
+    }
   }
 }