[test] added test

MchKosticyn · MchKosticyn · commit 15540a5541cd · 2023-11-30T03:17:27.000+03:00
diff --git a/VSharp.Test/Tests/Unsafe.cs b/VSharp.Test/Tests/Unsafe.cs
@@ -833,23 +833,23 @@ public static int DoubleWrite(long[] arr, int i, int v, byte v2)
             }
         }
 
-        [TestSvm]
+        [TestSvm(100)]
         public static int EncodeLongToIntReinterpretation(long x)
         {
             int r = *(int*)&x;
             if (r > 10) return *(int*) &x;
             return -10;
         }
 
-        [TestSvm]
+        [TestSvm(100)]
         public static int EncodeDoubleReinterpretation1(double x)
         {
             int r = *(int*)&x;
             if (r > 10) return *(int*) &x;
             return -10;
         }
 
-        [TestSvm]
+        [TestSvm(100)]
         public static int EncodeDoubleReinterpretation2(double x)
         {
             byte* a = (byte*)&x + 1;
@@ -858,14 +858,14 @@ public static int EncodeDoubleReinterpretation2(double x)
             return 0;
         }
 
-        [TestSvm]
+        [TestSvm(100)]
         public static int EncodeDoubleReinterpretation3(double x)
         {
             if (*(long*)((byte*)&x + 1) == 175767216) return 0;
             return -1;
         }
 
-        [TestSvm]
+        [TestSvm(100)]
         public static int EncodeDoubleReinterpretation4(double x)
         {
             byte* a = (byte*)&x + 1;
@@ -874,7 +874,7 @@ public static int EncodeDoubleReinterpretation4(double x)
             return 0;
         }
 
-        [TestSvm]
+        [TestSvm(100)]
         public static int EncodeDoubleReinterpretation5(double x)
         {
             byte* a = (byte*)&x + 1;
@@ -883,7 +883,7 @@ public static int EncodeDoubleReinterpretation5(double x)
             return 0;
         }
 
-        [TestSvm]
+        [TestSvm(100)]
         public static int EncodeDoubleReinterpretation6(double x)
         {
             byte* a = (byte*)&x + 1;
@@ -892,6 +892,21 @@ public static int EncodeDoubleReinterpretation6(double x)
             return 0;
         }
 
+        [TestSvm(94)]
+        public static int CombineIntoDouble(int[] arr)
+        {
+            fixed (int* p = arr)
+            {
+                var ptr = (double*) p;
+                if (arr[0] == 1 && arr[1] == 3 && *ptr != 6.3659873734E-314)
+                {
+                    return -1;
+                }
+
+                return arr[1];
+            }
+        }
+
         [Ignore("Insufficient information")]
         public static int ReturnIntFromIntPtr(int myFavouriteParameter)
         {

Original file line number	Diff line number	Diff line change
`@@ -833,23 +833,23 @@ public static int DoubleWrite(long[] arr, int i, int v, byte v2)`
`833`	`833`	`}`
`834`	`834`	`}`
`835`	`835`
`836`		`- [TestSvm]`
	`836`	`+ [TestSvm(100)]`
`837`	`837`	`public static int EncodeLongToIntReinterpretation(long x)`
`838`	`838`	`{`
`839`	`839`	`int r = (int)&x;`
`840`	`840`	`if (r > 10) return (int) &x;`
`841`	`841`	`return -10;`
`842`	`842`	`}`
`843`	`843`
`844`		`- [TestSvm]`
	`844`	`+ [TestSvm(100)]`
`845`	`845`	`public static int EncodeDoubleReinterpretation1(double x)`
`846`	`846`	`{`
`847`	`847`	`int r = (int)&x;`
`848`	`848`	`if (r > 10) return (int) &x;`
`849`	`849`	`return -10;`
`850`	`850`	`}`
`851`	`851`
`852`		`- [TestSvm]`
	`852`	`+ [TestSvm(100)]`
`853`	`853`	`public static int EncodeDoubleReinterpretation2(double x)`
`854`	`854`	`{`
`855`	`855`	`byte* a = (byte*)&x + 1;`
`@@ -858,14 +858,14 @@ public static int EncodeDoubleReinterpretation2(double x)`
`858`	`858`	`return 0;`
`859`	`859`	`}`
`860`	`860`
`861`		`- [TestSvm]`
	`861`	`+ [TestSvm(100)]`
`862`	`862`	`public static int EncodeDoubleReinterpretation3(double x)`
`863`	`863`	`{`
`864`	`864`	`if ((long)((byte*)&x + 1) == 175767216) return 0;`
`865`	`865`	`return -1;`
`866`	`866`	`}`
`867`	`867`
`868`		`- [TestSvm]`
	`868`	`+ [TestSvm(100)]`
`869`	`869`	`public static int EncodeDoubleReinterpretation4(double x)`
`870`	`870`	`{`
`871`	`871`	`byte* a = (byte*)&x + 1;`
`@@ -874,7 +874,7 @@ public static int EncodeDoubleReinterpretation4(double x)`
`874`	`874`	`return 0;`
`875`	`875`	`}`
`876`	`876`
`877`		`- [TestSvm]`
	`877`	`+ [TestSvm(100)]`
`878`	`878`	`public static int EncodeDoubleReinterpretation5(double x)`
`879`	`879`	`{`
`880`	`880`	`byte* a = (byte*)&x + 1;`
`@@ -883,7 +883,7 @@ public static int EncodeDoubleReinterpretation5(double x)`
`883`	`883`	`return 0;`
`884`	`884`	`}`
`885`	`885`
`886`		`- [TestSvm]`
	`886`	`+ [TestSvm(100)]`
`887`	`887`	`public static int EncodeDoubleReinterpretation6(double x)`
`888`	`888`	`{`
`889`	`889`	`byte* a = (byte*)&x + 1;`
`@@ -892,6 +892,21 @@ public static int EncodeDoubleReinterpretation6(double x)`
`892`	`892`	`return 0;`
`893`	`893`	`}`
`894`	`894`
	`895`	`+ [TestSvm(94)]`
	`896`	`+ public static int CombineIntoDouble(int[] arr)`
	`897`	`+ {`
	`898`	`+ fixed (int* p = arr)`
	`899`	`+ {`
	`900`	`+ var ptr = (double*) p;`
	`901`	`+ if (arr[0] == 1 && arr[1] == 3 && *ptr != 6.3659873734E-314)`
	`902`	`+ {`
	`903`	`+ return -1;`
	`904`	`+ }`
	`905`	`+`
	`906`	`+ return arr[1];`
	`907`	`+ }`
	`908`	`+ }`
	`909`	`+`
`895`	`910`	`[Ignore("Insufficient information")]`
`896`	`911`	`public static int ReturnIntFromIntPtr(int myFavouriteParameter)`
`897`	`912`	`{`