add: Vector float32 tests

Author: IgorErin

tests/GraphBLAS-sharp.Tests/Algorithms/BFS.fs

@@ -40,7 +40,7 @@ let testFixtures (testContext: TestContext) =
                   |> Utils.createArrayFromDictionary (Array2D.length1 matrix) 0
 
               let matrixHost =
-                  Utils.createMatrixFromArray2D CSR matrix (fun x -> x = 0)
+                  Utils.createMatrixFromArray2D CSR matrix ((=) 0)
 
               let matrix = matrixHost.ToDevice context
 

tests/GraphBLAS-sharp.Tests/Vector/AssignByMask.fs

@@ -20,7 +20,7 @@ let alwaysTrue _ = true
 
 let config = Utils.defaultConfig
 
-let notNane x = not <| Double.IsNaN x
+let wgSize = 32
 
 let checkResult isZero isComplemented (actual: Vector<'a>) (vector: 'a []) (mask: 'a []) (value: 'a) =
 
@@ -96,17 +96,14 @@ let makeTest<'a when 'a: struct and 'a: equality>
         | ex when ex.Message = "InvalidBufferSize" -> ()
         | ex -> raise ex
 
-let testFixtures case =
+let testFixtures isComplemented case =
     let getCorrectnessTestName datatype =
         $"Correctness on %s{datatype}, vector: %A{case.Format}"
 
-    let wgSize = 32
     let context = case.TestContext.ClContext
 
-    let isComplemented = false
-
     [ let intFill =
-          Vector.assignByMask context Mask.assign wgSize
+          Vector.assignByMaskComplemented context Mask.assign wgSize
 
       let intToCoo = Vector.toDense context wgSize
 
@@ -116,62 +113,22 @@ let testFixtures case =
 
       if Utils.isFloat64Available context.ClDevice then
           let floatFill =
-              Vector.assignByMask context Mask.assign wgSize
+              Vector.assignByMaskComplemented context Mask.assign wgSize
 
           let floatToCoo = Vector.toDense context wgSize
 
           case
-          |> makeTest (Utils.floatIsEqual 0.0) notNane floatToCoo floatFill isComplemented
+          |> makeTest (Utils.floatIsEqual 0.0) Double.IsNormal floatToCoo floatFill isComplemented
           |> testPropertyWithConfig config (getCorrectnessTestName "float")
 
-      let byteFill =
-          Vector.assignByMask context Mask.assign wgSize
-
-      let byteToCoo = Vector.toDense context wgSize
-
-      case
-      |> makeTest ((=) 0uy) alwaysTrue byteToCoo byteFill isComplemented
-      |> testPropertyWithConfig config (getCorrectnessTestName "byte")
-
-      let boolFill =
-          Vector.assignByMask context Mask.assign wgSize
+      let float32Fill =
+         Vector.assignByMaskComplemented context Mask.assign wgSize
 
-      let boolToCoo = Vector.toDense context wgSize
+      let float32ToCoo = Vector.toDense context wgSize
 
       case
-      |> makeTest ((=) false) alwaysTrue boolToCoo boolFill isComplemented
-      |> testPropertyWithConfig config (getCorrectnessTestName "bool") ]
-
-let tests =
-    operationGPUTests "Backend.Vector.assignByMask tests" testFixtures
-
-let testFixturesComplemented case =
-    let getCorrectnessTestName datatype =
-        $"Correctness on %s{datatype}, vector: %A{case.Format}"
-
-    let wgSize = 32
-    let context = case.TestContext.ClContext
-
-    let isComplemented = true
-
-    [ let intFill =
-          Vector.assignByMaskComplemented context Mask.assign wgSize
-
-      let intToCoo = Vector.toDense context wgSize
-
-      case
-      |> makeTest ((=) 0) alwaysTrue intToCoo intFill isComplemented
-      |> testPropertyWithConfig config (getCorrectnessTestName "int")
-
-      if Utils.isFloat64Available context.ClDevice then
-          let floatFill =
-              Vector.assignByMaskComplemented context Mask.assign wgSize
-
-          let floatToCoo = Vector.toDense context wgSize
-
-          case
-          |> makeTest (Utils.floatIsEqual 0.0) notNane floatToCoo floatFill isComplemented
-          |> testPropertyWithConfig config (getCorrectnessTestName "float")
+      |> makeTest (Utils.float32IsEqual 0.0f) Single.IsNormal float32ToCoo float32Fill isComplemented
+      |> testPropertyWithConfig config (getCorrectnessTestName "float32")
 
       let byteFill =
           Vector.assignByMaskComplemented context Mask.assign wgSize
@@ -191,5 +148,8 @@ let testFixturesComplemented case =
       |> makeTest ((=) false) alwaysTrue boolToCoo boolFill isComplemented
       |> testPropertyWithConfig config (getCorrectnessTestName "bool") ]
 
+let tests =
+    operationGPUTests "Backend.Vector.assignByMask tests" <| testFixtures false
+
 let complementedTests =
-    operationGPUTests "Backend.Vector.assignByMaskComplemented tests" testFixturesComplemented
+    operationGPUTests "Backend.Vector.assignByMaskComplemented tests" <| testFixtures true

tests/GraphBLAS-sharp.Tests/Vector/Convert.fs

@@ -16,6 +16,7 @@ let logger =
     Log.create "Backend.Vector.Convert.Tests"
 
 let config = Utils.defaultConfig
+
 let wgSize = 32
 
 let makeTest
@@ -46,8 +47,8 @@ let makeTest
             res
 
         logger.debug (
-            eventX $"Actual is {actual}"
-            >> setField "actual" (sprintf "%A" actual)
+            eventX "Actual is {actual}"
+            >> setField "actual" $"%A{actual}"
         )
 
         let expected =
@@ -57,7 +58,7 @@ let makeTest
 
 let testFixtures case =
     let getCorrectnessTestName datatype formatFrom =
-        sprintf "Correctness on %s, %A -> %A" datatype formatFrom case.Format
+        sprintf $"Correctness on %s{datatype}, %A{formatFrom} -> %A{case.Format}"
 
     let context = case.TestContext.ClContext
     let q = case.TestContext.Queue

tests/GraphBLAS-sharp.Tests/Vector/Copy.fs

@@ -13,6 +13,10 @@ open GraphBLAS.FSharp.Backend.Objects.ClContext
 
 let logger = Log.create "Vector.copy.Tests"
 
+let config = Utils.defaultConfig
+
+let wgSize = 32
+
 let checkResult (isEqual: 'a -> 'a -> bool) (actual: Vector<'a>) (expected: Vector<'a>) =
 
     Expect.equal actual.Size expected.Size "The size should be the same"
@@ -57,16 +61,13 @@ let correctnessGenericTest<'a when 'a: struct>
         checkResult isEqual actual expected
 
 let testFixtures (case: OperationCase<VectorFormat>) =
-    let config = Utils.defaultConfig
 
     let getCorrectnessTestName datatype =
-        sprintf "Correctness on %s, %A" datatype case.Format
+        sprintf $"Correctness on %s{datatype}, %A{case.Format}"
 
-    let wgSize = 32
     let context = case.TestContext.ClContext
 
     [ let intCopy = Vector.copy context wgSize
-      let isZero item = item = 0
 
       case
       |> correctnessGenericTest<int> (=) 0 intCopy
@@ -79,6 +80,12 @@ let testFixtures (case: OperationCase<VectorFormat>) =
           |> correctnessGenericTest<float> Utils.floatIsEqual 0.0 floatCopy
           |> testPropertyWithConfig config (getCorrectnessTestName "float")
 
+      let float32Copy = Vector.copy context wgSize
+
+      case
+      |> correctnessGenericTest<float32> Utils.float32IsEqual 0.0f float32Copy
+      |> testPropertyWithConfig config (getCorrectnessTestName "float32")
+
       let boolCopy = Vector.copy context wgSize
 
       case