Pateldisolution/visualfsharpPublic

forked fromdotnet/fsharp

NotificationsYou must be signed in to change notification settings
Fork0
Star0

Commit7228139

mjmckp

authored and

KevinRansom

committed

[FS-1044] Add NativePtr.toByRef (dotnet#3691)

* Add toByref* Add signature for toByref* toByref -> toByRef* toByref -> toByRef* Add equivalent test for NativePtr.toByref* Add corresponding test for NativePtr.toByRef* Add corresponding test for NativePtr.toByRef* Add corresponding test for NativePtr.toByRef

1 parent5d5a2d2 commit7228139Copy full SHA for 7228139

File tree

6 files changed

+47

-0

lines changed

src/fsharp/FSharp.Core
- nativeptr.fsi
- nativeptr.fs
tests/fsharpqa/Source/Libraries/Core/NativeInterop/stackalloc

6 files changed

+47

-0

lines changed

`‎src/fsharp/FSharp.Core/nativeptr.fs‎`

Lines changed: 3 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -49,3 +49,6 @@ module NativePtr =`
`49`	`49`	`[<CompiledName("StackAllocate")>]`
`50`	`50`	`let inlinestackalloc(count:int):nativeptr<'T>=(#"localloc"(count* sizeof<'T>): nativeptr<'T> #)`
`51`	`51`
	`52`	`+[<NoDynamicInvocation>]`
	`53`	`+[<CompiledName("ToByRefInlined")>]`
	`54`	`+let inlinetoByRef(address:nativeptr<'T>):byref<'T>=(#"" address: 'T byref #)`

`‎src/fsharp/FSharp.Core/nativeptr.fsi‎`

Lines changed: 8 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -81,3 +81,11 @@ namespace Microsoft.FSharp.NativeInterop`
`81`	`81`	`[<NoDynamicInvocation>]`
`82`	`82`	`[<CompiledName("StackAllocate")>]`
`83`	`83`	`val inlinestackalloc:count:int->nativeptr<'T>`
	`84`	`+`
	`85`	`+/// <summary>Converts a given typed native pointer to a managed pointer.</summary>`
	`86`	`+/// <param name="address">The input pointer.</param>`
	`87`	`+/// <returns>The managed pointer.</returns>`
	`88`	`+[<Unverifiable>]`
	`89`	`+[<NoDynamicInvocation>]`
	`90`	`+[<CompiledName("ToByRefInlined")>]`
	`91`	`+val inlinetoByRef:nativeptr<'T>->byref<'T>`

`‎tests/fsharpqa/Source/Libraries/Core/NativeInterop/stackalloc/ofDateTime01.fs‎`

Lines changed: 9 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -15,4 +15,13 @@ module M3 =`
`15`	`15`	`ifnot(NativeInterop.NativePtr.get data i= now)then`
`16`	`16`	`noerr<-false`
`17`	`17`
	`18`	`+letlater= now.AddDays1.`
	`19`	`+for i=0to99do`
	`20`	`+letdatai= NativeInterop.NativePtr.toByRef(NativeInterop.NativePtr.add data i)`
	`21`	`+ datai<- later`
	`22`	`+for i=0to99do`
	`23`	`+letdatai= NativeInterop.NativePtr.toByRef(NativeInterop.NativePtr.add data i)`
	`24`	`+ifnot(datai= later)then`
	`25`	`+ noerr<-false`
	`26`	`+`
`18`	`27`	`(if noerrthen0else1)\|> exit`

`‎tests/fsharpqa/Source/Libraries/Core/NativeInterop/stackalloc/ofenum01.fs‎`

Lines changed: 9 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -19,4 +19,13 @@ module M6 =`
`19`	`19`	`ifnot(NativeInterop.NativePtr.get data i=(if(i%2)=0then E.Aelse E.B))then`
`20`	`20`	`noerr<-false`
`21`	`21`
	`22`	`+for i=0to9do`
	`23`	`+letdatai= NativeInterop.NativePtr.toByRef(NativeInterop.NativePtr.add data i)`
	`24`	`+ datai<-(if(i%2)=1then E.Aelse E.B)`
	`25`	`+`
	`26`	`+for i=0to9do`
	`27`	`+letdatai= NativeInterop.NativePtr.toByRef(NativeInterop.NativePtr.add data i)`
	`28`	`+ifnot(datai=(if(i%2)=1then E.Aelse E.B))then`
	`29`	`+ noerr<-false`
	`30`	`+`
`22`	`31`	`(if noerrthen0else1)\|> exit`

`‎tests/fsharpqa/Source/Libraries/Core/NativeInterop/stackalloc/ofint01.fs‎`

Lines changed: 9 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -16,5 +16,14 @@ module M1 =`
`16`	`16`	`ifnot(NativeInterop.NativePtr.get data i=(i*i))then`
`17`	`17`	`noerr<-false`
`18`	`18`
	`19`	`+for i=0to99do`
	`20`	`+letdatai= NativeInterop.NativePtr.toByRef(NativeInterop.NativePtr.add data i)`
	`21`	`+ datai<-1-i`
	`22`	`+`
	`23`	`+for i=0to99do`
	`24`	`+letdatai= NativeInterop.NativePtr.toByRef(NativeInterop.NativePtr.add data i)`
	`25`	`+ifnot(datai=1-i)then`
	`26`	`+ noerr<-false`
	`27`	`+`
`19`	`28`	`(if noerrthen0else1)\|> exit`
`20`	`29`

`‎tests/fsharpqa/Source/Libraries/Core/NativeInterop/stackalloc/ofint6401.fs‎`

Lines changed: 9 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -14,5 +14,14 @@ module M2 =`
`14`	`14`	`ifnot(NativeInterop.NativePtr.get data i=(int64(i*i)))then`
`15`	`15`	`noerr<-false`
`16`	`16`
	`17`	`+for i=0to99do`
	`18`	`+letdatai= NativeInterop.NativePtr.toByRef(NativeInterop.NativePtr.add data i)`
	`19`	`+ datai<- int64(1-i)`
	`20`	`+`
	`21`	`+for i=0to99do`
	`22`	`+letdatai= NativeInterop.NativePtr.toByRef(NativeInterop.NativePtr.add data i)`
	`23`	`+ifnot(datai= int64(1-i))then`
	`24`	`+ noerr<-false`
	`25`	`+`
`17`	`26`	`(if noerrthen0else1)\|> exit`
`18`	`27`

0 commit comments

Comments

(0)

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Commit7228139

File tree

6 files changed

6 files changed

`‎src/fsharp/FSharp.Core/nativeptr.fs‎`

`‎src/fsharp/FSharp.Core/nativeptr.fsi‎`

`‎tests/fsharpqa/Source/Libraries/Core/NativeInterop/stackalloc/ofDateTime01.fs‎`

`‎tests/fsharpqa/Source/Libraries/Core/NativeInterop/stackalloc/ofenum01.fs‎`

`‎tests/fsharpqa/Source/Libraries/Core/NativeInterop/stackalloc/ofint01.fs‎`

`‎tests/fsharpqa/Source/Libraries/Core/NativeInterop/stackalloc/ofint6401.fs‎`

0 commit comments