Add for-loop tests & baselines

dotnet · Feb 17, 2025 · f41a178 · f41a178
1 parent 05a8ab4
commit f41a178
Show file tree

Hide file tree

Showing 25 changed files with 10,005 additions and 0 deletions.
diff --git a/tests/FSharp.Compiler.ComponentTests/EmittedIL/ForLoop/ForLoop.fs b/tests/FSharp.Compiler.ComponentTests/EmittedIL/ForLoop/ForLoop.fs
@@ -217,3 +217,87 @@ module ForLoop =
         compilation
         |> getCompilation
         |> verifyCompilation
+
+    // SOURCE=ForLoopSByte.fs SCFLAGS="--optimize+"	# ForLoopSByte.fs --optimize+
+    [<Theory; FileInlineData("ForLoopSByte.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopSByte_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopByte.fs SCFLAGS="--optimize+"	# ForLoopByte.fs --optimize+
+    [<Theory; FileInlineData("ForLoopByte.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopByte_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopChar.fs SCFLAGS="--optimize+"	# ForLoopChar.fs --optimize+
+    [<Theory; FileInlineData("ForLoopChar.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopChar_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopInt16.fs SCFLAGS="--optimize+"	# ForLoopInt16.fs --optimize+
+    [<Theory; FileInlineData("ForLoopInt16.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopInt16_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopUInt16.fs SCFLAGS="--optimize+"	# ForLoopUInt16.fs --optimize+
+    [<Theory; FileInlineData("ForLoopUInt16.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopUInt16_`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopInt32.fs SCFLAGS="--optimize+"	# ForLoopInt32.fs --optimize+
+    [<Theory; FileInlineData("ForLoopInt32.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopInt32_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopUInt32.fs SCFLAGS="--optimize+"	# ForLoopUInt32.fs --optimize+
+    [<Theory; FileInlineData("ForLoopUInt32.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopUInt32_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopInt64.fs SCFLAGS="--optimize+"	# ForLoopInt64.fs --optimize+
+    [<Theory; FileInlineData("ForLoopInt64.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopInt64_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopUInt64.fs SCFLAGS="--optimize+"	# ForLoopUInt64.fs --optimize+
+    [<Theory; FileInlineData("ForLoopUInt64.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopUInt64_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopIntPtr.fs SCFLAGS="--optimize+"	# ForLoopIntPtr.fs --optimize+
+    [<Theory; FileInlineData("ForLoopIntPtr.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopIntPtr_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopUIntPtr.fs SCFLAGS="--optimize+"	# ForLoopUIntPtr.fs --optimize+
+    [<Theory; FileInlineData("ForLoopUIntPtr.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopUIntPtr_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
+
+    // SOURCE=ForLoopBigInt.fs SCFLAGS="--optimize+"	# ForLoopBigInt.fs --optimize+
+    [<Theory; FileInlineData("ForLoopBigInt.fs", Realsig=BooleanOptions.True, Optimize=BooleanOptions.True)>]
+    let ``ForLoopBigInt_fs`` compilation =
+        compilation
+        |> getCompilation
+        |> verifyCompilation
diff --git a/tests/FSharp.Compiler.ComponentTests/EmittedIL/ForLoop/ForLoopBigInt.fs b/tests/FSharp.Compiler.ComponentTests/EmittedIL/ForLoop/ForLoopBigInt.fs
@@ -0,0 +1,59 @@
+let mutable c = 0I
+
+module Up =
+    let constEmpty () =
+        for n = 10I to 1I do
+            c <- n
+
+    let constNonEmpty () =
+        for n = 1I to 10I do
+            c <- n
+
+    let constFinish start =
+        for n = start to 10I do
+            c <- n
+
+    let constStart finish =
+        for n = 1I to finish do
+            c <- n
+
+    let annotatedStart (start: bigint) finish =
+        for n = start to finish do
+            c <- n
+
+    let annotatedFinish start (finish: bigint) =
+        for n = start to finish do
+            c <- n
+
+    let inferredStartAndFinish start finish =
+        for n = start to finish do
+            c <- n
+
+module Down =
+    let constEmpty () =
+        for n = 1I downto 10I do
+            c <- n
+
+    let constNonEmpty () =
+        for n = 10I downto 1I do
+            c <- n
+
+    let constFinish start =
+        for n = start downto 1I do
+            c <- n
+
+    let constStart finish =
+        for n = 10I downto finish do
+            c <- n
+
+    let annotatedStart (start: bigint) finish =
+        for n = start downto finish do
+            c <- n
+
+    let annotatedFinish start (finish: bigint) =
+        for n = start downto finish do
+            c <- n
+
+    let inferredStartAndFinish start finish =
+        for n = start downto finish do
+            c <- n