@effekt-lang/effekt 0.19.0 → 0.21.0

package/libraries/llvm/rts.ll

@@ -55,9 +55,6 @@
 %ReturnAddress = type ptr
 %FrameHeader = type { %ReturnAddress, %Sharer, %Eraser }
 
-; Pointers for a heap allocated stack
-%Memory = type { %StackPointer, %Base, %Limit }
-
 ; Unique address for each handler.
 %Prompt = type ptr
 
@@ -74,7 +71,7 @@
 ; This is used for two purposes:
 ;   - a refied first-class list of stacks (cyclic linked-list)
 ;   - as part of an intrusive linked-list of stacks (meta stack)
-%StackValue = type { %ReferenceCount, %Memory, %Prompt, %Stack }
+%StackValue = type { %ReferenceCount, %StackPointer, %Limit, %Prompt, %Stack }
 
 
 
@@ -146,7 +143,7 @@ define ccc %Neg @unbox(%Pos %input) {
 ; Prompts
 
 define private %Prompt @currentPrompt(%Stack %stack) {
-    %prompt_pointer = getelementptr %StackValue, ptr %stack, i64 0, i32 2
+    %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
     %prompt = load %Prompt, ptr %prompt_pointer
     ret %Prompt %prompt
 }
@@ -154,7 +151,7 @@ define private %Prompt @currentPrompt(%Stack %stack) {
 define private %Prompt @freshPrompt() {
     %promptSize = ptrtoint ptr getelementptr (%PromptValue, ptr null, i64 1) to i64
     %prompt = call %Prompt @malloc(i64 %promptSize)
-    store %PromptValue zeroinitializer, %Prompt %prompt
+    store %PromptValue zeroinitializer, %Prompt %prompt, !alias.scope !4
     ret %Prompt %prompt
 }
 
@@ -247,7 +244,7 @@ define void @eraseNegative(%Neg %val) alwaysinline {
 
 define private %Stack @getStack(%Prompt %prompt) {
     %stack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    %stack = load %Stack, ptr %stack_pointer
+    %stack = load %Stack, ptr %stack_pointer, !alias.scope !4
     ret %Stack %stack
 }
 
@@ -256,21 +253,16 @@ define private ptr @getVarPointer(%Reference %reference, %Stack %stack) {
     %offset = extractvalue %Reference %reference, 1
 
     %targetStack = call %Stack @getStack(%Prompt %prompt)
-    %base_pointer = getelementptr %StackValue, %Stack %targetStack, i64 0, i32 1, i32 1
-    %base = load %Base, ptr %base_pointer
-    %varPointer = getelementptr i8, %Base %base, i64 %offset
+    %varPointer = getelementptr i8, %Base %targetStack, i64 %offset
     ret ptr %varPointer
 }
 
 define private %Reference @newReference(%Stack %stack) alwaysinline {
-    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 0
-    %base_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 1
-
+    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
     %stackPointer = load %StackPointer, ptr %stackPointer_pointer
-    %base = load %StackPointer, ptr %base_pointer
 
     %intStack = ptrtoint %StackPointer %stackPointer to i64
-    %intBase = ptrtoint %StackPointer %base to i64
+    %intBase = ptrtoint %Stack %stack to i64
 
     %offset = sub i64 %intStack, %intBase
 
@@ -284,55 +276,69 @@ define private %Reference @newReference(%Stack %stack) alwaysinline {
 
 ; Stack management
 
-define private %StackPointer @stackAllocate(%Stack %stack, i64 %n) {
-    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 0
-    %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 2
+define private %Stack @checkLimit(%Stack %stack, i64 %n) alwaysinline {
+    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
+    %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
 
-    %currentStackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !2
-    %limit = load %Limit, ptr %limit_pointer, !alias.scope !2
+    %currentStackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !3
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
     %nextStackPointer = getelementptr i8, %StackPointer %currentStackPointer, i64 %n
     %isInside = icmp ule %StackPointer %nextStackPointer, %limit
-    br i1 %isInside, label %continue, label %realloc
+    br i1 %isInside, label %done, label %realloc
 
-continue:
-    store %StackPointer %nextStackPointer, ptr %stackPointer_pointer, !alias.scope !2
-    ret %StackPointer %currentStackPointer
+done:
+    ret %Stack %stack
 
 realloc:
-    %base_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 1
-    %base = load %Base, ptr %base_pointer, !alias.scope !2
-
     %intStackPointer = ptrtoint %StackPointer %currentStackPointer to i64
-    %intBase = ptrtoint %Base %base to i64
+    %intBase = ptrtoint %Stack %stack to i64
 
     %size = sub i64 %intStackPointer, %intBase
     %nextSize = add i64 %size, %n
     %newSize = call i64 @nextPowerOfTwo(i64 %nextSize)
 
-    %newBase = call ptr @realloc(ptr %base, i64 %newSize)
-    %newLimit = getelementptr i8, %Base %newBase, i64 %newSize
-    %newStackPointer = getelementptr i8, %Base %newBase, i64 %size
-    %newNextStackPointer = getelementptr i8, %StackPointer %newStackPointer, i64 %n
+    %newStack = call ptr @realloc(ptr %stack, i64 %newSize)
+    %newLimit = getelementptr i8, %Base %newStack, i64 %newSize
+    %newStackPointer = getelementptr i8, %Base %newStack, i64 %size
 
-    store %StackPointer %newNextStackPointer, ptr %stackPointer_pointer, !alias.scope !2
-    store %Base %newBase, ptr %base_pointer, !alias.scope !2
-    store %Limit %newLimit, ptr %limit_pointer, !alias.scope !2
+    %newStackPointer_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 1
+    %newLimit_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 2
 
-    ret %StackPointer %newStackPointer
+    store %StackPointer %newStackPointer, ptr %newStackPointer_pointer, !alias.scope !3
+    store %Limit %newLimit, ptr %newLimit_pointer, !alias.scope !3
+
+    %prompt_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 3
+    %prompt = load %Prompt, ptr %prompt_pointer
+    %promptStack = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
+    store %Stack %newStack, ptr %promptStack, !alias.scope !4
+
+    ret %Stack %newStack
+}
+
+define private %StackPointer @stackAllocate(%Stack %stack, i64 %n) alwaysinline {
+    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
+    %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
+
+    %currentStackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !3
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
+    %nextStackPointer = getelementptr i8, %StackPointer %currentStackPointer, i64 %n
+
+    store %StackPointer %nextStackPointer, ptr %stackPointer_pointer, !alias.scope !3
+    ret %StackPointer %currentStackPointer
 }
 
 define private %StackPointer @stackDeallocate(%Stack %stack, i64 %n) {
-    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 0
-    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !2
+    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
+    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !3
 
-    %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 2
-    %limit = load %Limit, ptr %limit_pointer, !alias.scope !2
+    %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
     %isInside = icmp ule %StackPointer %stackPointer, %limit
     call void @llvm.assume(i1 %isInside)
 
     %o = sub i64 0, %n
     %newStackPointer = getelementptr i8, %StackPointer %stackPointer, i64 %o
-    store %StackPointer %newStackPointer, ptr %stackPointer_pointer, !alias.scope !2
+    store %StackPointer %newStackPointer, ptr %stackPointer_pointer, !alias.scope !3
 
     ret %StackPointer %newStackPointer
 }
@@ -345,12 +351,12 @@ define private i64 @nextPowerOfTwo(i64 %x) {
 }
 
 define private void @assumeFrameHeaderWasPopped(%Stack %stack) alwaysinline {
-    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 0
-    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !2
+    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
+    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !3
     %oldStackPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 1
 
-    %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 2
-    %limit = load %Limit, ptr %limit_pointer, !alias.scope !2
+    %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
     %isInside = icmp ule %StackPointer %oldStackPointer, %limit
     call void @llvm.assume(i1 %isInside)
     ret void
@@ -358,45 +364,33 @@ define private void @assumeFrameHeaderWasPopped(%Stack %stack) alwaysinline {
 
 ; Meta-stack management
 
-define private %Memory @newMemory() {
-    %size = shl i64 1, 6
-    %stackPointer = call %StackPointer @malloc(i64 %size)
-    %limit = getelementptr i8, ptr %stackPointer, i64 %size
-
-    %memory.0 = insertvalue %Memory undef, %StackPointer %stackPointer, 0
-    %memory.1 = insertvalue %Memory %memory.0, %Base %stackPointer, 1
-    %memory.2 = insertvalue %Memory %memory.1, %Limit %limit, 2
-
-    ret %Memory %memory.2
-}
-
 define private %Stack @reset(%Stack %oldStack) {
 
     %prompt = call %Prompt @freshPrompt()
 
-    %size = ptrtoint ptr getelementptr (%StackValue, ptr null, i64 1) to i64
+    %size = shl i64 1, 7
     %stack = call ptr @malloc(i64 %size)
+    %stackPointer = getelementptr %StackValue, %Stack %stack, i64 1
+    %limit = getelementptr i8, ptr %stack, i64 %size
 
+    %stack.0 = insertvalue %StackValue zeroinitializer, %StackPointer %stackPointer, 1
+    %stack.1 = insertvalue %StackValue %stack.0, %Limit %limit, 2
+    %stack.2 = insertvalue %StackValue %stack.1, %Prompt %prompt, 3
+    %stack.3 = insertvalue %StackValue %stack.2, %Stack %oldStack, 4
 
-    %stackMemory = call %Memory @newMemory()
-
-    %stack.0 = insertvalue %StackValue zeroinitializer, %Memory %stackMemory, 1
-    %stack.1 = insertvalue %StackValue %stack.0, %Prompt %prompt, 2
-    %stack.2 = insertvalue %StackValue %stack.1, %Stack %oldStack, 3
+    store %StackValue %stack.3, %Stack %stack
 
-    store %StackValue %stack.2, %Stack %stack
-
-    %stack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack %stack, ptr %stack_pointer
+    %promptStack = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
+    store %Stack %stack, ptr %promptStack, !alias.scope !4
 
     ret %Stack %stack
 }
 
-define private void @updatePrompts(%Stack %stack) {
-    %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
+define private void @revalidate(%Stack %stack) {
+    %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
     %prompt = load %Prompt, ptr %prompt_pointer
     %stack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    %promptStack = load %Stack, ptr %stack_pointer
+    %promptStack = load %Stack, ptr %stack_pointer, !alias.scope !4
     %isThis = icmp eq %Stack %promptStack, %stack
     br i1 %isThis, label %done, label %continue
 
@@ -408,26 +402,36 @@ continue:
     br i1 %isOccupied, label %displace, label %update
 
 displace:
-    call void @displace(%Stack %promptStack, %Stack %promptStack)
+    call void @invalidate(%Stack %promptStack, %Stack %promptStack)
     br label %update
 
 update:
-    store %Stack %stack, ptr %stack_pointer
+    store %Stack %stack, ptr %stack_pointer, !alias.scope !4
 
-    %next_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
+    %next_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 4
     %next = load %Stack, ptr %next_pointer
-    tail call void @updatePrompts(%Stack %next)
+    tail call void @revalidate(%Stack %next)
     ret void
 }
 
-define private void @displace(%Stack %stack, %Stack %end) {
-    %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
-    %next_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
+; This panics if we invalidate the meta stack
+define private void @invalidate(%Stack %stack, %Stack %end) {
+    %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
+    %next_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 4
     %prompt = load %Prompt, ptr %prompt_pointer
     %stack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack null, ptr %stack_pointer
+    store %Stack null, ptr %stack_pointer, !alias.scope !4
 
     %next = load %Stack, ptr %next_pointer
+
+    %isNull = icmp eq %Stack %next, null
+    br i1 %isNull, label %error, label %check
+
+error:
+    call void @duplicated_prompt()
+    ret void
+
+check:
     %isEnd = icmp eq %Stack %next, %end
     br i1 %isEnd, label %done, label %continue
 
@@ -435,15 +439,15 @@ done:
     ret void
 
 continue:
-    tail call void @displace(%Stack %next, %Stack %end)
+    tail call void @invalidate(%Stack %next, %Stack %end)
     ret void
 }
 
 define private %Stack @resume(%Resumption %resumption, %Stack %oldStack) {
     %uniqueResumption = call %Resumption @uniqueStack(%Resumption %resumption)
-    %rest_pointer = getelementptr %StackValue, %Resumption %uniqueResumption, i64 0, i32 3
+    %rest_pointer = getelementptr %StackValue, %Resumption %uniqueResumption, i64 0, i32 4
     %start = load %Stack, ptr %rest_pointer
-    call void @updatePrompts(%Stack %start)
+    call void @revalidate(%Stack %start)
 
     store %Stack %oldStack, ptr %rest_pointer
 
@@ -452,8 +456,8 @@ define private %Stack @resume(%Resumption %resumption, %Stack %oldStack) {
 
 define private {%Resumption, %Stack} @shift(%Stack %stack, %Prompt %prompt) {
     %resumpion_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    %resumption = load %Stack, ptr %resumpion_pointer
-    %next_pointer = getelementptr %StackValue, %Stack %resumption, i64 0, i32 3
+    %resumption = load %Stack, ptr %resumpion_pointer, !alias.scope !4
+    %next_pointer = getelementptr %StackValue, %Stack %resumption, i64 0, i32 4
     %next = load %Stack, ptr %next_pointer
 
     store %Stack %stack, ptr %next_pointer
@@ -463,20 +467,14 @@ define private {%Resumption, %Stack} @shift(%Stack %stack, %Prompt %prompt) {
     ret {%Resumption, %Stack} %result
 }
 
-define private void @eraseMemory(%Memory %memory) {
-    %stackPointer = extractvalue %Memory %memory, 0
-    call void @free(%StackPointer %stackPointer)
-    ret void
-}
-
 define private void @erasePrompt(%Prompt %prompt) alwaysinline {
     %referenceCount_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer
+    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
     switch %ReferenceCount %referenceCount, label %decrement [%ReferenceCount 0, label %free]
 
 decrement:
     %newReferenceCount = sub %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer
+    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
     ret void
 
 free:
@@ -486,25 +484,22 @@ free:
 
 define private void @sharePrompt(%Prompt %prompt) alwaysinline {
     %referenceCount_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer
+    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
     %newReferenceCount = add %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer
+    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
     ret void
 }
 
 define private %Stack @underflowStack(%Stack %stack) {
-    %stackMemory = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
-    %stackPrompt = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
-    %stackRest = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
+    %stackPrompt = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
+    %stackRest = getelementptr %StackValue, %Stack %stack, i64 0, i32 4
 
-    %memory = load %Memory, ptr %stackMemory
     %prompt = load %Prompt, ptr %stackPrompt
     %rest = load %Stack, ptr %stackRest
 
     %promptStack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack null, ptr %promptStack_pointer
+    store %Stack null, ptr %promptStack_pointer, !alias.scope !4
 
-    call void @eraseMemory(%Memory %memory)
     call void @erasePrompt(%Prompt %prompt)
     call void @free(%Stack %stack)
 
@@ -515,31 +510,41 @@ define private void @nop(%Stack %stack) {
     ret void
 }
 
-define private %Memory @copyMemory(%Memory %memory) alwaysinline {
-    %stackPointer = extractvalue %Memory %memory, 0
-    %base = extractvalue %Memory %memory, 1
-    %limit = extractvalue %Memory %memory, 2
+define private %Stack @copyStack(%Stack %stack) alwaysinline {
+    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
+    %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
+
+    %stackPointer = load %StackPointer, ptr %stackPointer_pointer
+    %limit = load %Limit, ptr %limit_pointer
 
     %intStackPointer = ptrtoint %StackPointer %stackPointer to i64
-    %intBase = ptrtoint %Base %base to i64
+    %intBase = ptrtoint %Stack %stack to i64
     %intLimit = ptrtoint %Limit %limit to i64
     %used = sub i64 %intStackPointer, %intBase
     %size = sub i64 %intLimit, %intBase
 
-    %newBase = call ptr @malloc(i64 %size)
-    %intNewBase = ptrtoint %Base %newBase to i64
-    %intNewStackPointer = add i64 %intNewBase, %used
-    %intNewLimit = add i64 %intNewBase, %size
-    %newStackPointer = inttoptr i64 %intNewStackPointer to %StackPointer
-    %newLimit = inttoptr i64 %intNewLimit to %Limit
+    %newStack = call ptr @malloc(i64 %size)
+    %newStackPointer = getelementptr i8, %Stack %newStack, i64 %used
+    %newLimit = getelementptr i8, %Stack %newStack, i64 %size
+
+    call void @memcpy(ptr %newStack, ptr %stack, i64 %used)
 
-    call void @memcpy(ptr %newBase, ptr %base, i64 %used)
+    %newStackPointer_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 1
+    %newLimit_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 2
 
-    %memory.0 = insertvalue %Memory undef, %StackPointer %newStackPointer, 0
-    %memory.1 = insertvalue %Memory %memory.0, %Base %newBase, 1
-    %memory.2 = insertvalue %Memory %memory.1, %Limit %newLimit, 2
+    store %StackPointer %newStackPointer, ptr %newStackPointer_pointer
+    store %Limit %newLimit, ptr %newLimit_pointer
 
-    ret %Memory %memory.2
+    call void @shareFrames(%StackPointer %newStackPointer)
+
+    %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
+    %prompt = load %Prompt, ptr %prompt_pointer
+    call void @sharePrompt(%Prompt %prompt)
+
+    %referenceCount_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 0
+    store i64 0, ptr %referenceCount_pointer
+
+    ret %Stack %newStack
 }
 
 
@@ -556,53 +561,37 @@ done:
 copy:
     %newOldReferenceCount = sub %ReferenceCount %referenceCount, 1
     store %ReferenceCount %newOldReferenceCount, ptr %referenceCount_pointer
-    %stack_pointer = getelementptr %StackValue, %Resumption %resumption, i64 0, i32 3
-    %stack = load %Stack, ptr %stack_pointer
 
-    %size = ptrtoint ptr getelementptr (%StackValue, ptr null, i64 1) to i64
-    %newHead = call ptr @malloc(i64 %size)
+    %firstCopy = call %Stack @copyStack(%Stack %resumption)
 
-    br label %loop
+    %stack_pointer = getelementptr %StackValue, %Resumption %resumption, i64 0, i32 4
+    %stack = load %Stack, ptr %stack_pointer
 
-loop:
-    %old = phi %Stack [%stack, %copy], [%rest, %next]
-    %newStack = phi %Stack [%newHead, %copy], [%nextNew, %next]
+    br label %check
 
-    %stackMemory = getelementptr %StackValue, %Stack %old, i64 0, i32 1
-    %stackPrompt = getelementptr %StackValue, %Stack %old, i64 0, i32 2
-    %stackRest = getelementptr %StackValue, %Stack %old, i64 0, i32 3
+check:
+    %current = phi %Stack [%stack, %copy], [%next, %loop]
+    %previousCopy = phi %Stack [%firstCopy, %copy], [%newCopy, %loop]
 
-    %memory = load %Memory, ptr %stackMemory
-    %prompt = load %Prompt, ptr %stackPrompt
-    %rest = load %Stack, ptr %stackRest
+    %rest_pointer = getelementptr %StackValue, %Stack %previousCopy, i64 0, i32 4
 
-    %newStackReferenceCounter = getelementptr %StackValue, %Stack %newStack, i64 0, i32 0
-    %newStackMemory = getelementptr %StackValue, %Stack %newStack, i64 0, i32 1
-    %newStackPrompt = getelementptr %StackValue, %Stack %newStack, i64 0, i32 2
-    %newStackRest = getelementptr %StackValue, %Stack %newStack, i64 0, i32 3
+    %isEnd = icmp eq %Stack %current, %resumption
+    br i1 %isEnd, label %stop, label %loop
 
-    %newMemory = call %Memory @copyMemory(%Memory %memory)
-
-    %newStackPointer = extractvalue %Memory %newMemory, 0
-    call void @shareFrames(%StackPointer %newStackPointer)
+loop:
 
-    call void @sharePrompt(%Prompt %prompt)
+    %newCopy = call %Stack @copyStack(%Stack %current)
 
-    store %ReferenceCount 0, ptr %newStackReferenceCounter
-    store %Memory %newMemory, ptr %newStackMemory
-    store %Prompt %prompt, ptr %newStackPrompt
+    store %Stack %newCopy, ptr %rest_pointer
 
-    %isEnd = icmp eq %Stack %old, %resumption
-    br i1 %isEnd, label %stop, label %next
+    %next_pointer = getelementptr %StackValue, %Stack %current, i64 0, i32 4
+    %next = load %Stack, ptr %next_pointer
 
-next:
-    %nextNew = call ptr @malloc(i64 %size)
-    store %Stack %nextNew, ptr %newStackRest
-    br label %loop
+    br label %check
 
 stop:
-    store %Stack %newHead, ptr %newStackRest
-    ret %Stack %newStack
+    store %Stack %firstCopy, ptr %rest_pointer
+    ret %Stack %firstCopy
 }
 
 define void @shareResumption(%Resumption %resumption) alwaysinline {
@@ -624,7 +613,7 @@ define void @eraseResumption(%Resumption %resumption) alwaysinline {
     ret void
 
     free:
-    %stack_pointer = getelementptr %StackValue, %Resumption %resumption, i64 0, i32 3
+    %stack_pointer = getelementptr %StackValue, %Resumption %resumption, i64 0, i32 4
     %stack = load %Stack, ptr %stack_pointer
     store %Stack null, ptr %stack_pointer
     call void @eraseStack(%Stack %stack)
@@ -632,25 +621,24 @@ define void @eraseResumption(%Resumption %resumption) alwaysinline {
 }
 
 define void @eraseStack(%Stack %stack) alwaysinline {
-    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 0
-    %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
-    %rest_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
+    %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
+    %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
+    %rest_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 4
 
     %stackPointer = load %StackPointer, ptr %stackPointer_pointer
     %prompt = load %Stack, ptr %prompt_pointer
     %rest = load %Stack, ptr %rest_pointer
 
     %promptStack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    %promptStack = load %Stack, ptr %promptStack_pointer
+    %promptStack = load %Stack, ptr %promptStack_pointer, !alias.scope !4
     %isThisStack = icmp eq %Stack %promptStack, %stack
     br i1 %isThisStack, label %clearPrompt, label %free
 
 clearPrompt:
-    store %Stack null, ptr %promptStack_pointer
+    store %Stack null, ptr %promptStack_pointer, !alias.scope !4
     br label %free
 
 free:
-    call void @free(%Stack %stack)
     call void @eraseFrames(%StackPointer %stackPointer)
     call void @erasePrompt(%Prompt %prompt)
 
@@ -681,12 +669,23 @@ define private void @eraseFrames(%StackPointer %stackPointer) alwaysinline {
     ret void
 }
 
+define private void @freeStack(%StackPointer %stackPointer) alwaysinline {
+    %base = getelementptr %StackValue, %StackPointer %stackPointer, i64 -1
+    call void @free(%Base %base)
+    ret void
+}
+
 ; RTS initialization
 
 define private tailcc void @topLevel(%Pos %val, %Stack %stack) {
     %rest = call %Stack @underflowStack(%Stack %stack)
     ; rest holds global variables
-    call void @eraseStack(%Stack %rest)
+    call void @resume_Pos(%Stack %rest, %Pos %val)
+    ret void
+}
+
+define private tailcc void @globalsReturn(%Pos %val, %Stack %stack) {
+    %rest = call %Stack @underflowStack(%Stack %stack)
     ret void
 }
 
@@ -705,16 +704,16 @@ define private void @topLevelEraser(%Environment %environment) {
 define private %Stack @withEmptyStack() {
     %globals = call %Stack @reset(%Stack null)
 
-    %globalsStackPointer_pointer = getelementptr %StackValue, %Stack %globals, i64 0, i32 1, i32 0
+    %globalsStackPointer_pointer = getelementptr %StackValue, %Stack %globals, i64 0, i32 1
     %globalsStackPointer = load %StackPointer, ptr %globalsStackPointer_pointer
 
     %returnAddressPointer.0 = getelementptr %FrameHeader, %StackPointer %globalsStackPointer, i64 0, i32 0
     %sharerPointer.0 = getelementptr %FrameHeader, %StackPointer %globalsStackPointer, i64 0, i32 1
     %eraserPointer.0 = getelementptr %FrameHeader, %StackPointer %globalsStackPointer, i64 0, i32 2
 
-    store ptr @nop, ptr %returnAddressPointer.0
-    store ptr @nop, ptr %sharerPointer.0
-    store ptr @free, ptr %eraserPointer.0
+    store ptr @globalsReturn, ptr %returnAddressPointer.0
+    store ptr @topLevelSharer, ptr %sharerPointer.0
+    store ptr @topLevelEraser, ptr %eraserPointer.0
 
     %globalsStackPointer_2 = getelementptr %FrameHeader, %StackPointer %globalsStackPointer, i64 1
     store %StackPointer %globalsStackPointer_2, ptr %globalsStackPointer_pointer
@@ -722,9 +721,9 @@ define private %Stack @withEmptyStack() {
     %stack = call %Stack @reset(%Stack %globals)
 
     %globalStack = getelementptr %PromptValue, %Prompt @global, i64 0, i32 1
-    store %Stack %stack, ptr %globalStack
+    store %Stack %stack, ptr %globalStack, !alias.scope !4
 
-    %stackStackPointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 0
+    %stackStackPointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
     %stackPointer = load %StackPointer, ptr %stackStackPointer
 
     %returnAddressPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 0, i32 0
@@ -808,6 +807,9 @@ define void @run_Pos(%Neg %f, %Pos %argument) {
 
 ; Scopes
 !1 = !{!"stackValues", !0}
+!2 = !{!"prompts", !0}
 
 ; Scope lists
-!2 = !{!1}
+!3 = !{!1} ; stackValues
+!4 = !{!2} ; prompts
+!5 = !{!1, !2} ; stackValues & prompts

package/licenses/eclipse public license, version 2.0 - epl-2.0.html

@@ -1,4 +1,4 @@
-<!doctype html><html lang=en><head><meta charset=utf-8><meta http-equiv=x-ua-compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1"><title>Eclipse Public License 2.0 (EPL) | The Eclipse Foundation</title><meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:image content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.110.0"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1737918922"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a class=sr-only href=#content>Skip to main content</a><header class="header-wrapper header-wrapper" id=header><div class=header-toolbar><div class=container><div class=header-toolbar-row><div class="toolbar-btn toolbar-search-btn dropdown"><button class=dropdown-toggle id=toolbar-search type=button data-toggle=dropdown tabindex=0 aria-label=Search>
+<!doctype html><html lang=en><head><meta charset=utf-8><meta http-equiv=x-ua-compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1"><title>Eclipse Public License 2.0 (EPL) | The Eclipse Foundation</title><meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:image content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.110.0"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1739733342"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a class=sr-only href=#content>Skip to main content</a><header class="header-wrapper header-wrapper" id=header><div class=header-toolbar><div class=container><div class=header-toolbar-row><div class="toolbar-btn toolbar-search-btn dropdown"><button class=dropdown-toggle id=toolbar-search type=button data-toggle=dropdown tabindex=0 aria-label=Search>
 <i class="fa fa-search fa-lg" aria-role=none></i></button><div class="toolbar-search-bar-wrapper dropdown-menu dropdown-menu-right" aria-labelledby=toolbar-search><form action=https://www.eclipse.org/home/search method=get><div class=search-bar><input class=search-bar-input name=q placeholder=Search>
 <button>
 <i class="fa fa-search" type=submit></i></button></div></form></div></div><div class="toolbar-btn toolbar-user-menu-btn dropdown"><button class=dropdown-toggle id=toolbar-user-menu type=button data-toggle=dropdown tabindex=0 aria-label="User Menu">
@@ -55,7 +55,7 @@ open source software collaboration and innovation.</p></div><div class=mega-menu
 <i class="fa-brands fa-youtube fa-stack-1x fa-inverse" aria-hidden=true></i>
 <span class=sr-only>Youtube account</span></span></a></li><li><a class=link-unstyled href=https://www.linkedin.com/company/eclipse-foundation title="Linkedin account"><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
 <i class="fa-brands fa-linkedin-in fa-stack-1x fa-inverse" aria-hidden=true></i>
-<span class=sr-only>Linkedin account</span></span></a></li></ul></div></div><div class="footer-sections row equal-height-md font-bold"><div class=col-md-15><div class=row><section id=footer-eclipse-foundation class="footer-section col-sm-8"><div class=menu-heading>Eclipse Foundation</div><ul class=nav><li><a href=https://www.eclipse.org/org/>About</a></li><li><a href=https://projects.eclipse.org/>Projects</a></li><li><a href=https://www.eclipse.org/collaborations/>Collaborations</a></li><li><a href=https://www.eclipse.org/membership/>Membership</a></li><li><a href=https://www.eclipse.org/sponsor/>Sponsor</a></li></ul></section><section id=footer-legal class="footer-section col-sm-8"><div class=menu-heading>Legal</div><ul class=nav><li><a href=https://www.eclipse.org/legal/privacy/>Privacy Policy</a></li><li><a href=https://www.eclipse.org/legal/terms-of-use/>Terms of Use</a></li><li><a href=https://www.eclipse.org/legal/compliance/>Compliance</a></li><li><a href=https://www.eclipse.org/org/documents/Community_Code_of_Conduct.php>Code of Conduct</a></li><li><a href=https://www.eclipse.org/legal/>Legal Resources</a></li><li><a class=toolbar-manage-cookies href=# onclick=event.preventDefault()>Manage Cookies</a></li></ul></section><section id=footer-more class="footer-section col-sm-8"><div class=menu-heading>More</div><ul class=nav><li><a href=https://www.eclipse.org/security/>Report a Vulnerability</a></li><li><a href=https://status.eclipse.org/>Service Status</a></li><li><a href=https://www.eclipse.org/org/foundation/contact.php>Contact Us</a></li><li><a href=https://www.eclipse.org/projects/support/>Support</a></li></ul></section></div></div><div id=footer-end class="footer-section col-md-8 col-md-offset-1 col-sm-24"><div class=footer-end-newsletter><form id=mc-embedded-subscribe-form action=https://eclipsecon.us6.list-manage.com/subscribe/post method=post novalidate target=_blank><label class=footer-end-newsletter-label for=email>Subscribe to our Newsletter</label><div class=footer-end-newsletter-input-wrapper><input class=footer-end-newsletter-input type=email id=email name=EMAIL autocomplete=email placeholder="Enter your email address"><div><i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></div></div><input type=hidden name=u value=eaf9e1f06f194eadc66788a85>
-<input type=hidden name=id value=46e57eacf1>
-<input id=mc-embedded-subscribe type=submit name=subscribe hidden></form></div></div></div><div class="col-sm-24 margin-top-20"><div class=row><div id=copyright class=col-md-16><p id=copyright-text>Copyright &copy; Eclipse Foundation AISBL. All Rights Reserved.</p></div></div></div><a href=# class=scrollup>Back to the top</a></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1737918922"></script>
+<span class=sr-only>Linkedin account</span></span></a></li></ul></div></div><div class="footer-sections row equal-height-md font-bold"><div class=col-md-15><div class=row><section id=footer-eclipse-foundation class="footer-section col-sm-8"><div class=menu-heading>Eclipse Foundation</div><ul class=nav><li><a href=https://www.eclipse.org/org/>About</a></li><li><a href=https://projects.eclipse.org/>Projects</a></li><li><a href=https://www.eclipse.org/collaborations/>Collaborations</a></li><li><a href=https://www.eclipse.org/membership/>Membership</a></li><li><a href=https://www.eclipse.org/sponsor/>Sponsor</a></li></ul></section><section id=footer-legal class="footer-section col-sm-8"><div class=menu-heading>Legal</div><ul class=nav><li><a href=https://www.eclipse.org/legal/privacy/>Privacy Policy</a></li><li><a href=https://www.eclipse.org/legal/terms-of-use/>Terms of Use</a></li><li><a href=https://www.eclipse.org/legal/compliance/>Compliance</a></li><li><a href=https://www.eclipse.org/org/documents/Community_Code_of_Conduct.php>Code of Conduct</a></li><li><a href=https://www.eclipse.org/legal/>Legal Resources</a></li><li><a class=toolbar-manage-cookies href=# onclick=event.preventDefault()>Manage Cookies</a></li></ul></section><section id=footer-more class="footer-section col-sm-8"><div class=menu-heading>More</div><ul class=nav><li><a href=https://www.eclipse.org/security/>Report a Vulnerability</a></li><li><a href=https://status.eclipse.org/>Service Status</a></li><li><a href=https://www.eclipse.org/org/foundation/contact.php>Contact Us</a></li><li><a href=https://www.eclipse.org/projects/support/>Support</a></li></ul></section></div></div><div id=footer-end class="footer-section col-md-8 col-md-offset-1 col-sm-24"><div class=footer-end-newsletter><form id=mc-embedded-subscribe-form action="https://eclipse.us6.list-manage.com/subscribe/post?u=eaf9e1f06f194eadc66788a85&id=e7538485cd&f_id=00f9c2e1f0" method=post novalidate target=_blank><label class=footer-end-newsletter-label for=email>Subscribe to our Newsletter</label><div class=footer-end-newsletter-input-wrapper><input class=footer-end-newsletter-input type=email id=email name=EMAIL autocomplete=email placeholder="Enter your email address">
+<button class="footer-end-newsletter-submit btn btn-link" id=mc-embedded-subscribe type=submit name=subscribe>
+<i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></button></div></form></div></div></div><div class="col-sm-24 margin-top-20"><div class=row><div id=copyright class=col-md-16><p id=copyright-text>Copyright &copy; Eclipse Foundation AISBL. All Rights Reserved.</p></div></div></div><a href=# class=scrollup>Back to the top</a></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1739733342"></script>
 <script>(function(){})(jQuery,document)</script></div></body></html>