nan comparison fix with tests

Author: kevmal

src/ProvidedTypes.fs

@@ -14003,12 +14003,12 @@ namespace ProviderImplementation.ProvidedTypes
                 emitExpr ExpectedStackState.Value a2
                 match t1 with 
                 | Bool | SByte | Char
-                | Double | Single
                 | Int16 | Int32 | Int64 -> 
                     ilg.Emit(I_cgt)
                     emitExpr ExpectedStackState.Value <@@ false @@>
                     ilg.Emit(I_ceq)
                 | Byte
+                | Double | Single
                 | UInt16 | UInt32 | UInt64 -> 
                     ilg.Emit(I_cgt_un)
                     emitExpr ExpectedStackState.Value <@@ false @@>
@@ -14029,12 +14029,12 @@ namespace ProviderImplementation.ProvidedTypes
                 emitExpr ExpectedStackState.Value a2
                 match t1 with 
                 | Bool | SByte | Char
-                | Double | Single
                 | Int16 | Int32 | Int64 -> 
                     ilg.Emit(I_clt)
                     emitExpr ExpectedStackState.Value <@@ false @@>
                     ilg.Emit(I_ceq)
                 | Byte
+                | Double | Single
                 | UInt16 | UInt32 | UInt64 -> 
                     ilg.Emit(I_clt_un)
                     emitExpr ExpectedStackState.Value <@@ false @@>

tests/GernatedOpTests.fs

@@ -560,6 +560,9 @@ let ``eq execute correctly``() =
            checkExpr <@ 1.0 = 1.0 @>
            checkExpr <@ 2.0 = 1.0 @>
            checkExpr <@ 1.0 = 2.0 @>
+           checkExpr <@ 1.0 = nan @>
+           checkExpr <@ nan = nan @>
+           checkExpr <@ nan = 1.0 @>
            checkExpr <@ 1.f = 1.f @>
            checkExpr <@ 2.f = 1.f @>
            checkExpr <@ 1.f = 2.f @>
@@ -613,6 +616,9 @@ let ``lt execute correctly``() =
            checkExpr <@ 1.0 < 1.0 @>
            checkExpr <@ 2.0 < 1.0 @>
            checkExpr <@ 1.0 < 2.0 @>
+           checkExpr <@ 1.0 < nan @>
+           checkExpr <@ nan < nan @>
+           checkExpr <@ nan < 1.0 @>
            checkExpr <@ 1.f < 1.f @>
            checkExpr <@ 2.f < 1.f @>
            checkExpr <@ 1.f < 2.f @>
@@ -666,6 +672,9 @@ let ``lte execute correctly``() =
            checkExpr <@ 1.0 <= 1.0 @>
            checkExpr <@ 2.0 <= 1.0 @>
            checkExpr <@ 1.0 <= 2.0 @>
+           checkExpr <@ 1.0 <= nan @>
+           checkExpr <@ nan <= nan @>
+           checkExpr <@ nan <= 1.0 @>
            checkExpr <@ 1.f <= 1.f @>
            checkExpr <@ 2.f <= 1.f @>
            checkExpr <@ 1.f <= 2.f @>
@@ -718,6 +727,9 @@ let ``gt execute correctly``() =
            checkExpr <@ 1.0 > 1.0 @>
            checkExpr <@ 2.0 > 1.0 @>
            checkExpr <@ 1.0 > 2.0 @>
+           checkExpr <@ 1.0 > nan @>
+           checkExpr <@ nan > nan @>
+           checkExpr <@ nan > 1.0 @>
            checkExpr <@ 1.f > 1.f @>
            checkExpr <@ 2.f > 1.f @>
            checkExpr <@ 1.f > 2.f @>
@@ -770,6 +782,9 @@ let ``gte execute correctly``() =
            checkExpr <@ 1.0 >= 1.0 @>
            checkExpr <@ 2.0 >= 1.0 @>
            checkExpr <@ 1.0 >= 2.0 @>
+           checkExpr <@ 1.0 >= nan @>
+           checkExpr <@ nan >= nan @>
+           checkExpr <@ nan >= 1.0 @>
            checkExpr <@ 1.f >= 1.f @>
            checkExpr <@ 2.f >= 1.f @>
            checkExpr <@ 1.f >= 2.f @>