Migrate byref tests (#15760)

* Migrate byref tests from legacy test suite

Author: jwosty

tests/FSharp.Compiler.ComponentTests/Conformance/InferenceProcedures/ByrefSafetyAnalysis/ByRefParam.fs

@@ -0,0 +1,14 @@
+open Prelude
+
+module ByRefParam  = 
+    type C() = 
+         static member M(x: byref<int>) = x <- 5
+    let mutable res = 9
+    let v =  C.M(&res)
+    check "cwvereweoiwekl4" res 5
+
+    let minfo = typeof<C>.GetMethod("M")
+    check "cwnoreeker1" (minfo.GetParameters().[0].IsIn) false
+    check "cwnoreeker2" (minfo.GetParameters().[0].IsOut) false
+    check "cwnoreeker3" (minfo.ReturnParameter.IsIn) false
+    check "cwnoreeker4" (minfo.ReturnParameter.IsOut) false

tests/FSharp.Compiler.ComponentTests/Conformance/InferenceProcedures/ByrefSafetyAnalysis/ByRefParam_ExplicitInAttribute.fs

@@ -0,0 +1,16 @@
+open Prelude
+
+module ByRefParam_ExplicitInAttribute  = 
+    type C() = 
+         static member M([<System.Runtime.InteropServices.In>] x: byref<int>) = x <- 5
+    let mutable res = 9
+    let v =  C.M(&res)
+    check "cwvereweoiwekl4" res 5
+
+    let minfo = typeof<C>.GetMethod("M")
+    check "cwnoreeker9" (minfo.GetParameters().[0].IsIn) true
+    check "cwnoreekerq" (minfo.GetParameters().[0].IsOut) false
+    check "cwnoreeker6c" (minfo.GetParameters().[0].GetRequiredCustomModifiers().Length) 0
+    check "cwnoreekers2" (minfo.ReturnParameter.GetRequiredCustomModifiers().Length) 0
+    check "cwnoreekerw" (minfo.ReturnParameter.IsIn) false
+    check "cwnoreekere" (minfo.ReturnParameter.IsOut) false

tests/FSharp.Compiler.ComponentTests/Conformance/InferenceProcedures/ByrefSafetyAnalysis/ByRefParam_ExplicitOutAttribute.fs

@@ -0,0 +1,16 @@
+open Prelude
+
+module ByRefParam_ExplicitOutAttribute  = 
+    type C() = 
+         static member M([<System.Runtime.InteropServices.Out>] x: byref<int>) = x <- 5
+    let mutable res = 9
+    let v =  C.M(&res)
+    check "cwvereweoiwekl4" res 5
+
+    let minfo = typeof<C>.GetMethod("M")
+    check "cwnoreeker5" (minfo.GetParameters().[0].IsIn) false
+    check "cwnoreeker6a" (minfo.GetParameters().[0].IsOut) true
+    check "cwnoreeker6b" (minfo.GetParameters().[0].GetRequiredCustomModifiers().Length) 0
+    check "cwnoreekers1" (minfo.ReturnParameter.GetRequiredCustomModifiers().Length) 0
+    check "cwnoreeker7" (minfo.ReturnParameter.IsIn) false
+    check "cwnoreeker8" (minfo.ReturnParameter.IsOut) false

tests/FSharp.Compiler.ComponentTests/Conformance/InferenceProcedures/ByrefSafetyAnalysis/ByRefParam_OverloadedTest_ExplicitOutAttribute.fs

@@ -0,0 +1,11 @@
+open Prelude
+
+module ByRefParam_OverloadedTest_ExplicitOutAttribute  = 
+    type C() = 
+         static member M(a: int, [<System.Runtime.InteropServices.Out>] x: byref<int>) = x <- 7
+         static member M(a: string, [<System.Runtime.InteropServices.Out>] x: byref<int>) = x <- 8
+    let mutable res = 9
+    C.M("a", &res)
+    check "cweweoiwek2cbe9" res 8
+    C.M(3, &res)
+    check "cweweoiwek28498" res 7

tests/FSharp.Compiler.ComponentTests/Conformance/InferenceProcedures/ByrefSafetyAnalysis/ByRefReturn.fs

@@ -0,0 +1,13 @@
+open Prelude
+
+module ByRefReturn = 
+    type C() = 
+         static member M(x: byref<int>) = x <- x + 1; &x
+    let mutable res = 9
+    let v =  C.M(&res)
+    check "cwvereweoiwvw4" v 10
+
+    let minfo = typeof<C>.GetMethod("M")
+    check "cwnoreeker6d" (minfo.GetParameters().[0].GetRequiredCustomModifiers().Length) 0
+    check "cwnoreekerr" (minfo.ReturnParameter.IsIn) false
+    check "cwnoreekert" (minfo.ReturnParameter.IsOut) false

tests/FSharp.Compiler.ComponentTests/Conformance/InferenceProcedures/ByrefSafetyAnalysis/ByrefReturn/TestArrayParam.fs

@@ -0,0 +1,13 @@
+open Prelude
+
+module TestArrayParam =
+
+    let f (x:int[]) = &x.[0]
+
+    let test() = 
+        let r = [| 1 |]
+        let addr = &f r
+        addr <- addr + 1
+        check2 "cepojcwem14" 2 r.[0]
+
+    test()

tests/FSharp.Compiler.ComponentTests/Conformance/InferenceProcedures/ByrefSafetyAnalysis/ByrefReturn/TestBaseCall.fs

@@ -0,0 +1,14 @@
+open Prelude
+
+module TestBaseCall =
+    type Incrementor(z) =
+        abstract member Increment : int byref * int byref -> unit
+        default this.Increment(i : int byref,j : int byref) =
+            i <- i + z
+
+    type Decrementor(z) =
+        inherit Incrementor(z)
+        override this.Increment(i, j) =
+            base.Increment(&i, &j)
+
+            i <- i - z

tests/FSharp.Compiler.ComponentTests/Conformance/InferenceProcedures/ByrefSafetyAnalysis/ByrefReturn/TestClassParamMutableField.fs

@@ -0,0 +1,15 @@
+open Prelude
+
+module TestClassParamMutableField =
+
+    type C() = [<DefaultValue>] val mutable z : int
+
+    let f (x:C) = &x.z
+
+    let test() = 
+        let c = C()
+        let addr = &f c
+        addr <- addr + 1
+        check2 "cepojcwem13b" 1 c.z 
+
+    test()

tests/FSharp.Compiler.ComponentTests/Conformance/InferenceProcedures/ByrefSafetyAnalysis/ByrefReturn/TestConditionalReturn.fs

@@ -0,0 +1,26 @@
+open Prelude
+
+module TestConditionalReturn =
+    let mutable x = 1
+    let mutable y = 1
+
+    let f inp = if inp = 3 then &x else &y
+
+    let test() = 
+        let addr = &f 3
+        addr <- addr + 1
+        check2 "cepojcwem6" 2 x
+        check2 "cepojcwem7" 1 y
+        let addr = &f 4
+        addr <- addr + 1
+        check2 "cepojcwem8" 2 x
+        check2 "cepojcwem9" 2 y
+
+    let test2() = 
+        let res = f 3
+        let res2 = res + 1
+        check2 "cepojcwem8b" 3 res2
+        check2 "cepojcwem9b" 2 res
+
+    test()
+    test2()

tests/FSharp.Compiler.ComponentTests/Conformance/InferenceProcedures/ByrefSafetyAnalysis/ByrefReturn/TestDelegateMethod.fs

@@ -0,0 +1,18 @@
+open Prelude
+
+module TestDelegateMethod =
+    let mutable x = 1
+
+    type D = delegate of unit ->  byref<int>
+
+    let d() = D(fun () -> &x)
+
+    let f (d:D) = &d.Invoke()
+
+    let test() = 
+        let addr = &f (d()) 
+        check2 "cepojcwem18a" 1 x
+        addr <- addr + 1
+        check2 "cepojcwem18b" 2 x
+
+    test()