c5358b0d4b* WIP: an optimizer for ARC * do not optimize away destructors in 'finally' if unstructured control flow is involved * optimized the optimizer * minor code cleanup * first steps to .cursor inference * cursor inference: big steps to a working solution * baby steps * better .cursor inference * new feature: expandArc for easy inspection of the AST after ARC transformations * added topt_cursor test * adapt tests * cleanups, make tests green * optimize common traversal patterns * moved test case * fixes .cursor inference so that npeg compiles once again * cursor inference: more bugfixes Co-authored-by: Clyybber <darkmine956@gmail.com>
129 lines
No EOL
2.1 KiB
Nim
129 lines
No EOL
2.1 KiB
Nim
discard """
|
|
output: '''
|
|
assign
|
|
destroy
|
|
destroy
|
|
5
|
|
123
|
|
destroy Foo: 123
|
|
destroy Foo: 5
|
|
(x1: (val: ...))
|
|
destroy
|
|
---------------
|
|
app begin
|
|
(val: ...)
|
|
destroy
|
|
app end
|
|
'''
|
|
joinable: false
|
|
"""
|
|
|
|
# bug #2821
|
|
|
|
type T = object
|
|
|
|
proc `=`(lhs: var T, rhs: T) =
|
|
echo "assign"
|
|
|
|
proc `=destroy`(v: var T) =
|
|
echo "destroy"
|
|
|
|
proc use(x: T) = discard
|
|
|
|
proc usedToBeBlock =
|
|
var v1 : T
|
|
var v2 : T = v1
|
|
use v1
|
|
|
|
usedToBeBlock()
|
|
|
|
# bug #1632
|
|
|
|
type
|
|
Foo = object of RootObj
|
|
x: int
|
|
|
|
proc `=destroy`(a: var Foo) =
|
|
echo "destroy Foo: " & $a.x
|
|
|
|
template toFooPtr(a: int{lit}): ptr Foo =
|
|
var temp = Foo(x:a)
|
|
temp.addr
|
|
|
|
proc test(a: ptr Foo) =
|
|
echo a[].x
|
|
|
|
proc main =
|
|
test(toFooPtr(5))
|
|
test(toFooPtr(123))
|
|
|
|
main()
|
|
|
|
# bug #11517
|
|
type
|
|
UniquePtr*[T] = object
|
|
val: ptr T
|
|
|
|
proc `=destroy`*[T](p: var UniquePtr[T]) =
|
|
mixin `=destroy`
|
|
echo "destroy"
|
|
if p.val != nil:
|
|
`=destroy`(p.val[])
|
|
dealloc(p.val)
|
|
p.val = nil
|
|
|
|
proc `=`*[T](dest: var UniquePtr[T], src: UniquePtr[T]) {.error.}
|
|
|
|
proc `=sink`*[T](dest: var UniquePtr[T], src: UniquePtr[T]) {.inline.} =
|
|
if dest.val != src.val:
|
|
if dest.val != nil:
|
|
`=destroy`(dest)
|
|
dest.val = src.val
|
|
|
|
proc newUniquePtr*[T](val: sink T): UniquePtr[T] =
|
|
result.val = create(T)
|
|
result.val[] = val
|
|
|
|
#-------------------------------------------------------------
|
|
|
|
type
|
|
MyObject = object of RootObj
|
|
x1: UniquePtr[int]
|
|
|
|
MyObject2 = object of MyObject
|
|
|
|
proc newObj2(x:int, y: float): MyObject2 =
|
|
MyObject2(x1: newUniquePtr(x))
|
|
|
|
proc test =
|
|
let obj2 = newObj2(1, 1.0)
|
|
echo obj2
|
|
|
|
test()
|
|
|
|
|
|
#------------------------------------------------------------
|
|
# Issue #12883
|
|
|
|
type
|
|
TopObject = object
|
|
internal: UniquePtr[int]
|
|
|
|
proc deleteTop(p: ptr TopObject) =
|
|
if p != nil:
|
|
`=destroy`(p[]) # !!! this operation used to leak the integer
|
|
deallocshared(p)
|
|
|
|
proc createTop(): ptr TopObject =
|
|
result = cast[ptr TopObject](allocShared0(sizeof(TopObject)))
|
|
result.internal = newUniquePtr(1)
|
|
|
|
proc test2() =
|
|
let x = createTop()
|
|
echo $x.internal
|
|
deleteTop(x)
|
|
|
|
echo "---------------"
|
|
echo "app begin"
|
|
test2()
|
|
echo "app end" |