@effekt-lang/effekt 0.22.0 → 0.24.0

package/libraries/llvm/rts.ll

@@ -144,14 +144,14 @@ define ccc %Neg @unbox(%Pos %input) {
 
 define private %Prompt @currentPrompt(%Stack %stack) {
     %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
-    %prompt = load %Prompt, ptr %prompt_pointer
+    %prompt = load %Prompt, ptr %prompt_pointer, !alias.scope !11, !noalias !21
     ret %Prompt %prompt
 }
 
 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, !alias.scope !4
+    store %PromptValue zeroinitializer, %Prompt %prompt, !alias.scope !13, !noalias !23
     ret %Prompt %prompt
 }
 
@@ -163,8 +163,8 @@ define private %Object @newObject(%Eraser %eraser, i64 %environmentSize) alwaysi
     %object = call ptr @malloc(i64 %size)
     %objectReferenceCount = getelementptr %Header, ptr %object, i64 0, i32 0
     %objectEraser = getelementptr %Header, ptr %object, i64 0, i32 1
-    store %ReferenceCount 0, ptr %objectReferenceCount
-    store %Eraser %eraser, ptr %objectEraser
+    store %ReferenceCount 0, ptr %objectReferenceCount, !alias.scope !14, !noalias !24
+    store %Eraser %eraser, ptr %objectEraser, !alias.scope !14, !noalias !24
     ret %Object %object
 }
 
@@ -180,9 +180,9 @@ define private void @shareObject(%Object %object) alwaysinline {
 
     next:
     %objectReferenceCount = getelementptr %Header, ptr %object, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %objectReferenceCount
+    %referenceCount = load %ReferenceCount, ptr %objectReferenceCount, !alias.scope !14, !noalias !24
     %referenceCount.1 = add %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %referenceCount.1, ptr %objectReferenceCount
+    store %ReferenceCount %referenceCount.1, ptr %objectReferenceCount, !alias.scope !14, !noalias !24
     br label %done
 
     done:
@@ -207,17 +207,17 @@ define private void @eraseObject(%Object %object) alwaysinline {
 
     next:
     %objectReferenceCount = getelementptr %Header, ptr %object, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %objectReferenceCount
+    %referenceCount = load %ReferenceCount, ptr %objectReferenceCount, !alias.scope !14, !noalias !24
     switch %ReferenceCount %referenceCount, label %decr [%ReferenceCount 0, label %free]
 
     decr:
     %referenceCount.1 = sub %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %referenceCount.1, ptr %objectReferenceCount
+    store %ReferenceCount %referenceCount.1, ptr %objectReferenceCount, !alias.scope !14, !noalias !24
     ret void
 
     free:
     %objectEraser = getelementptr %Header, ptr %object, i64 0, i32 1
-    %eraser = load %Eraser, ptr %objectEraser
+    %eraser = load %Eraser, ptr %objectEraser, !alias.scope !14, !noalias !24
     %environment = call %Environment @objectEnvironment(%Object %object)
     call void %eraser(%Environment %environment)
     call void @free(%Object %object)
@@ -244,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, !alias.scope !4
+    %stack = load %Stack, ptr %stack_pointer, !alias.scope !13, !noalias !23
     ret %Stack %stack
 }
 
@@ -259,7 +259,7 @@ define private ptr @getVarPointer(%Reference %reference, %Stack %stack) {
 
 define private %Reference @newReference(%Stack %stack) alwaysinline {
     %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
-    %stackPointer = load %StackPointer, ptr %stackPointer_pointer
+    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !11, !noalias !21
 
     %intStack = ptrtoint %StackPointer %stackPointer to i64
     %intBase = ptrtoint %Stack %stack to i64
@@ -280,8 +280,8 @@ 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 !3
-    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
+    %currentStackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !11, !noalias !21
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !11, !noalias !21
     %nextStackPointer = getelementptr i8, %StackPointer %currentStackPointer, i64 %n
     %isInside = icmp ule %StackPointer %nextStackPointer, %limit
     br i1 %isInside, label %done, label %realloc
@@ -304,13 +304,13 @@ realloc:
     %newStackPointer_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 1
     %newLimit_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 2
 
-    store %StackPointer %newStackPointer, ptr %newStackPointer_pointer, !alias.scope !3
-    store %Limit %newLimit, ptr %newLimit_pointer, !alias.scope !3
+    store %StackPointer %newStackPointer, ptr %newStackPointer_pointer, !alias.scope !11, !noalias !21
+    store %Limit %newLimit, ptr %newLimit_pointer, !alias.scope !11, !noalias !21
 
     %prompt_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 3
-    %prompt = load %Prompt, ptr %prompt_pointer
+    %prompt = load %Prompt, ptr %prompt_pointer, !alias.scope !11, !noalias !21
     %promptStack = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack %newStack, ptr %promptStack, !alias.scope !4
+    store %Stack %newStack, ptr %promptStack, !alias.scope !13, !noalias !23
 
     ret %Stack %newStack
 }
@@ -319,26 +319,26 @@ 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
+    %currentStackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !11, !noalias !21
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !11, !noalias !21
     %nextStackPointer = getelementptr i8, %StackPointer %currentStackPointer, i64 %n
 
-    store %StackPointer %nextStackPointer, ptr %stackPointer_pointer, !alias.scope !3
+    store %StackPointer %nextStackPointer, ptr %stackPointer_pointer, !alias.scope !11, !noalias !21
     ret %StackPointer %currentStackPointer
 }
 
 define private %StackPointer @stackDeallocate(%Stack %stack, i64 %n) {
     %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
-    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !3
+    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !11, !noalias !21
 
     %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
-    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !11, !noalias !21
     %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 !3
+    store %StackPointer %newStackPointer, ptr %stackPointer_pointer, !alias.scope !11, !noalias !21
 
     ret %StackPointer %newStackPointer
 }
@@ -352,11 +352,11 @@ define private i64 @nextPowerOfTwo(i64 %x) {
 
 define private void @assumeFrameHeaderWasPopped(%Stack %stack) alwaysinline {
     %stackPointer_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
-    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !3
+    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !11, !noalias !21
     %oldStackPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 1
 
     %limit_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
-    %limit = load %Limit, ptr %limit_pointer, !alias.scope !3
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !11, !noalias !21
     %isInside = icmp ule %StackPointer %oldStackPointer, %limit
     call void @llvm.assume(i1 %isInside)
     ret void
@@ -378,19 +378,19 @@ define private %Stack @reset(%Stack %oldStack) {
     %stack.2 = insertvalue %StackValue %stack.1, %Prompt %prompt, 3
     %stack.3 = insertvalue %StackValue %stack.2, %Stack %oldStack, 4
 
-    store %StackValue %stack.3, %Stack %stack
+    store %StackValue %stack.3, %Stack %stack, !alias.scope !11, !noalias !21
 
     %promptStack = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack %stack, ptr %promptStack, !alias.scope !4
+    store %Stack %stack, ptr %promptStack, !alias.scope !13, !noalias !23
 
     ret %Stack %stack
 }
 
 define private void @revalidate(%Stack %stack) {
     %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
-    %prompt = load %Prompt, ptr %prompt_pointer
+    %prompt = load %Prompt, ptr %prompt_pointer, !alias.scope !11, !noalias !21
     %stack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    %promptStack = load %Stack, ptr %stack_pointer, !alias.scope !4
+    %promptStack = load %Stack, ptr %stack_pointer, !alias.scope !13, !noalias !23
     %isThis = icmp eq %Stack %promptStack, %stack
     br i1 %isThis, label %done, label %continue
 
@@ -406,10 +406,10 @@ displace:
     br label %update
 
 update:
-    store %Stack %stack, ptr %stack_pointer, !alias.scope !4
+    store %Stack %stack, ptr %stack_pointer, !alias.scope !13, !noalias !23
 
     %next_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 4
-    %next = load %Stack, ptr %next_pointer
+    %next = load %Stack, ptr %next_pointer, !alias.scope !11, !noalias !21
     tail call void @revalidate(%Stack %next)
     ret void
 }
@@ -418,11 +418,11 @@ update:
 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
+    %prompt = load %Prompt, ptr %prompt_pointer, !alias.scope !11, !noalias !21
     %stack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack null, ptr %stack_pointer, !alias.scope !4
+    store %Stack null, ptr %stack_pointer, !alias.scope !13, !noalias !23
 
-    %next = load %Stack, ptr %next_pointer
+    %next = load %Stack, ptr %next_pointer, !alias.scope !11, !noalias !21
 
     %isNull = icmp eq %Stack %next, null
     br i1 %isNull, label %error, label %check
@@ -446,21 +446,21 @@ continue:
 define private %Stack @resume(%Resumption %resumption, %Stack %oldStack) {
     %uniqueResumption = call %Resumption @uniqueStack(%Resumption %resumption)
     %rest_pointer = getelementptr %StackValue, %Resumption %uniqueResumption, i64 0, i32 4
-    %start = load %Stack, ptr %rest_pointer
+    %start = load %Stack, ptr %rest_pointer, !alias.scope !11, !noalias !21
     call void @revalidate(%Stack %start)
 
-    store %Stack %oldStack, ptr %rest_pointer
+    store %Stack %oldStack, ptr %rest_pointer, !alias.scope !11, !noalias !21
 
     ret %Stack %start
 }
 
 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, !alias.scope !4
+    %resumption = load %Stack, ptr %resumpion_pointer, !alias.scope !13, !noalias !23
     %next_pointer = getelementptr %StackValue, %Stack %resumption, i64 0, i32 4
-    %next = load %Stack, ptr %next_pointer
+    %next = load %Stack, ptr %next_pointer, !alias.scope !11, !noalias !21
 
-    store %Stack %stack, ptr %next_pointer
+    store %Stack %stack, ptr %next_pointer, !alias.scope !11, !noalias !21
 
     %result.0 = insertvalue {%Resumption, %Stack} undef, %Resumption %resumption, 0
     %result = insertvalue {%Resumption, %Stack} %result.0, %Stack %next, 1
@@ -469,12 +469,12 @@ define private {%Resumption, %Stack} @shift(%Stack %stack, %Prompt %prompt) {
 
 define private void @erasePrompt(%Prompt %prompt) alwaysinline {
     %referenceCount_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
+    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !13, !noalias !23
     switch %ReferenceCount %referenceCount, label %decrement [%ReferenceCount 0, label %free]
 
 decrement:
     %newReferenceCount = sub %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
+    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer, !alias.scope !13, !noalias !23
     ret void
 
 free:
@@ -484,9 +484,9 @@ free:
 
 define private void @sharePrompt(%Prompt %prompt) alwaysinline {
     %referenceCount_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
+    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !13, !noalias !23
     %newReferenceCount = add %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer, !alias.scope !4
+    store %ReferenceCount %newReferenceCount, ptr %referenceCount_pointer, !alias.scope !13, !noalias !23
     ret void
 }
 
@@ -494,11 +494,11 @@ define private %Stack @underflowStack(%Stack %stack) {
     %stackPrompt = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
     %stackRest = getelementptr %StackValue, %Stack %stack, i64 0, i32 4
 
-    %prompt = load %Prompt, ptr %stackPrompt
-    %rest = load %Stack, ptr %stackRest
+    %prompt = load %Prompt, ptr %stackPrompt, !alias.scope !11, !noalias !21
+    %rest = load %Stack, ptr %stackRest, !alias.scope !11, !noalias !21
 
     %promptStack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    store %Stack null, ptr %promptStack_pointer, !alias.scope !4
+    store %Stack null, ptr %promptStack_pointer, !alias.scope !13, !noalias !23
 
     call void @erasePrompt(%Prompt %prompt)
     call void @free(%Stack %stack)
@@ -514,8 +514,8 @@ 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
+    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !11, !noalias !21
+    %limit = load %Limit, ptr %limit_pointer, !alias.scope !11, !noalias !21
 
     %intStackPointer = ptrtoint %StackPointer %stackPointer to i64
     %intBase = ptrtoint %Stack %stack to i64
@@ -532,17 +532,17 @@ define private %Stack @copyStack(%Stack %stack) alwaysinline {
     %newStackPointer_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 1
     %newLimit_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 2
 
-    store %StackPointer %newStackPointer, ptr %newStackPointer_pointer
-    store %Limit %newLimit, ptr %newLimit_pointer
+    store %StackPointer %newStackPointer, ptr %newStackPointer_pointer, !alias.scope !11, !noalias !21
+    store %Limit %newLimit, ptr %newLimit_pointer, !alias.scope !11, !noalias !21
 
     call void @shareFrames(%StackPointer %newStackPointer)
 
     %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
-    %prompt = load %Prompt, ptr %prompt_pointer
+    %prompt = load %Prompt, ptr %prompt_pointer, !alias.scope !11, !noalias !21
     call void @sharePrompt(%Prompt %prompt)
 
     %referenceCount_pointer = getelementptr %StackValue, %Stack %newStack, i64 0, i32 0
-    store i64 0, ptr %referenceCount_pointer
+    store i64 0, ptr %referenceCount_pointer, !alias.scope !11, !noalias !21
 
     ret %Stack %newStack
 }
@@ -552,7 +552,7 @@ define private %Resumption @uniqueStack(%Resumption %resumption) alwaysinline {
 
 entry:
     %referenceCount_pointer = getelementptr %StackValue, %Resumption %resumption, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer
+    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !11, !noalias !21
     switch %ReferenceCount %referenceCount, label %copy [%ReferenceCount 0, label %done]
 
 done:
@@ -560,12 +560,12 @@ done:
 
 copy:
     %newOldReferenceCount = sub %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %newOldReferenceCount, ptr %referenceCount_pointer
+    store %ReferenceCount %newOldReferenceCount, ptr %referenceCount_pointer, !alias.scope !11, !noalias !21
 
     %firstCopy = call %Stack @copyStack(%Stack %resumption)
 
     %stack_pointer = getelementptr %StackValue, %Resumption %resumption, i64 0, i32 4
-    %stack = load %Stack, ptr %stack_pointer
+    %stack = load %Stack, ptr %stack_pointer, !alias.scope !11, !noalias !21
 
     br label %check
 
@@ -582,40 +582,40 @@ loop:
 
     %newCopy = call %Stack @copyStack(%Stack %current)
 
-    store %Stack %newCopy, ptr %rest_pointer
+    store %Stack %newCopy, ptr %rest_pointer, !alias.scope !11, !noalias !21
 
     %next_pointer = getelementptr %StackValue, %Stack %current, i64 0, i32 4
-    %next = load %Stack, ptr %next_pointer
+    %next = load %Stack, ptr %next_pointer, !alias.scope !11, !noalias !21
 
     br label %check
 
 stop:
-    store %Stack %firstCopy, ptr %rest_pointer
+    store %Stack %firstCopy, ptr %rest_pointer, !alias.scope !11, !noalias !21
     ret %Stack %firstCopy
 }
 
 define void @shareResumption(%Resumption %resumption) alwaysinline {
     %referenceCount_pointer = getelementptr %StackValue, %Resumption %resumption, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer
+    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !11, !noalias !21
     %referenceCount.1 = add %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %referenceCount.1, ptr %referenceCount_pointer
+    store %ReferenceCount %referenceCount.1, ptr %referenceCount_pointer, !alias.scope !11, !noalias !21
     ret void
 }
 
 define void @eraseResumption(%Resumption %resumption) alwaysinline {
     %referenceCount_pointer = getelementptr %StackValue, %Resumption %resumption, i64 0, i32 0
-    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer
+    %referenceCount = load %ReferenceCount, ptr %referenceCount_pointer, !alias.scope !11, !noalias !21
     switch %ReferenceCount %referenceCount, label %decr [%ReferenceCount 0, label %free]
 
     decr:
     %referenceCount.1 = sub %ReferenceCount %referenceCount, 1
-    store %ReferenceCount %referenceCount.1, ptr %referenceCount_pointer
+    store %ReferenceCount %referenceCount.1, ptr %referenceCount_pointer, !alias.scope !11, !noalias !21
     ret void
 
     free:
     %stack_pointer = getelementptr %StackValue, %Resumption %resumption, i64 0, i32 4
-    %stack = load %Stack, ptr %stack_pointer
-    store %Stack null, ptr %stack_pointer
+    %stack = load %Stack, ptr %stack_pointer, !alias.scope !11, !noalias !21
+    store %Stack null, ptr %stack_pointer, !alias.scope !11, !noalias !21
     call void @eraseStack(%Stack %stack)
     ret void
 }
@@ -625,17 +625,17 @@ define void @eraseStack(%Stack %stack) alwaysinline {
     %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
+    %stackPointer = load %StackPointer, ptr %stackPointer_pointer, !alias.scope !11, !noalias !21
+    %prompt = load %Stack, ptr %prompt_pointer, !alias.scope !11, !noalias !21
+    %rest = load %Stack, ptr %rest_pointer, !alias.scope !11, !noalias !21
 
     %promptStack_pointer = getelementptr %PromptValue, %Prompt %prompt, i64 0, i32 1
-    %promptStack = load %Stack, ptr %promptStack_pointer, !alias.scope !4
+    %promptStack = load %Stack, ptr %promptStack_pointer, !alias.scope !13, !noalias !23
     %isThisStack = icmp eq %Stack %promptStack, %stack
     br i1 %isThisStack, label %clearPrompt, label %free
 
 clearPrompt:
-    store %Stack null, ptr %promptStack_pointer, !alias.scope !4
+    store %Stack null, ptr %promptStack_pointer, !alias.scope !13, !noalias !23
     br label %free
 
 free:
@@ -656,7 +656,7 @@ done:
 define private void @shareFrames(%StackPointer %stackPointer) alwaysinline {
     %newStackPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 -1
     %stackSharer = getelementptr %FrameHeader, %StackPointer %newStackPointer, i64 0, i32 1
-    %sharer = load %Sharer, ptr %stackSharer
+    %sharer = load %Sharer, ptr %stackSharer, !alias.scope !12, !noalias !22
     tail call void %sharer(%StackPointer %newStackPointer)
     ret void
 }
@@ -664,7 +664,7 @@ define private void @shareFrames(%StackPointer %stackPointer) alwaysinline {
 define private void @eraseFrames(%StackPointer %stackPointer) alwaysinline {
     %newStackPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 -1
     %stackEraser = getelementptr %FrameHeader, %StackPointer %newStackPointer, i64 0, i32 2
-    %eraser = load %Eraser, ptr %stackEraser
+    %eraser = load %Eraser, ptr %stackEraser, !alias.scope !12, !noalias !22
     tail call void %eraser(%StackPointer %newStackPointer)
     ret void
 }
@@ -705,37 +705,37 @@ define private %Stack @withEmptyStack() {
     %globals = call %Stack @reset(%Stack null)
 
     %globalsStackPointer_pointer = getelementptr %StackValue, %Stack %globals, i64 0, i32 1
-    %globalsStackPointer = load %StackPointer, ptr %globalsStackPointer_pointer
+    %globalsStackPointer = load %StackPointer, ptr %globalsStackPointer_pointer, !alias.scope !11, !noalias !21
 
     %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 @globalsReturn, ptr %returnAddressPointer.0
-    store ptr @topLevelSharer, ptr %sharerPointer.0
-    store ptr @topLevelEraser, ptr %eraserPointer.0
+    store ptr @globalsReturn, ptr %returnAddressPointer.0, !alias.scope !12, !noalias !22
+    store ptr @topLevelSharer, ptr %sharerPointer.0, !alias.scope !12, !noalias !22
+    store ptr @topLevelEraser, ptr %eraserPointer.0, !alias.scope !12, !noalias !22
 
     %globalsStackPointer_2 = getelementptr %FrameHeader, %StackPointer %globalsStackPointer, i64 1
-    store %StackPointer %globalsStackPointer_2, ptr %globalsStackPointer_pointer
+    store %StackPointer %globalsStackPointer_2, ptr %globalsStackPointer_pointer, !alias.scope !11, !noalias !21
 
     %stack = call %Stack @reset(%Stack %globals)
 
     %globalStack = getelementptr %PromptValue, %Prompt @global, i64 0, i32 1
-    store %Stack %stack, ptr %globalStack, !alias.scope !4
+    store %Stack %stack, ptr %globalStack, !alias.scope !13, !noalias !23
 
     %stackStackPointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
-    %stackPointer = load %StackPointer, ptr %stackStackPointer
+    %stackPointer = load %StackPointer, ptr %stackStackPointer, !alias.scope !11, !noalias !21
 
     %returnAddressPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 0, i32 0
     %sharerPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 0, i32 1
     %eraserPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 0, i32 2
 
-    store %ReturnAddress @topLevel, ptr %returnAddressPointer
-    store %Sharer @topLevelSharer, ptr %sharerPointer
-    store %Eraser @topLevelEraser, ptr %eraserPointer
+    store %ReturnAddress @topLevel, ptr %returnAddressPointer, !alias.scope !12, !noalias !22
+    store %Sharer @topLevelSharer, ptr %sharerPointer, !alias.scope !12, !noalias !22
+    store %Eraser @topLevelEraser, ptr %eraserPointer, !alias.scope !12, !noalias !22
 
     %stackPointer_2 = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 1
-    store %StackPointer %stackPointer_2, ptr %stackStackPointer
+    store %StackPointer %stackPointer_2, ptr %stackStackPointer, !alias.scope !11, !noalias !21
 
     ret %Stack %stack
 }
@@ -743,7 +743,7 @@ define private %Stack @withEmptyStack() {
 define void @resume_Int(%Stack %stack, %Int %argument) {
     %stackPointer = call ccc %StackPointer @stackDeallocate(%Stack %stack, i64 24)
     %returnAddressPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 0, i32 0
-    %returnAddress = load %ReturnAddress, ptr %returnAddressPointer
+    %returnAddress = load %ReturnAddress, ptr %returnAddressPointer, !alias.scope !12, !noalias !22
     tail call tailcc void %returnAddress(%Int %argument, %Stack %stack)
     ret void
 }
@@ -751,7 +751,7 @@ define void @resume_Int(%Stack %stack, %Int %argument) {
 define void @resume_Pos(%Stack %stack, %Pos %argument) {
     %stackPointer = call ccc %StackPointer @stackDeallocate(%Stack %stack, i64 24)
     %returnAddressPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 0, i32 0
-    %returnAddress = load %ReturnAddress, ptr %returnAddressPointer
+    %returnAddress = load %ReturnAddress, ptr %returnAddressPointer, !alias.scope !12, !noalias !22
     tail call tailcc void %returnAddress(%Pos %argument, %Stack %stack)
     ret void
 }
@@ -764,7 +764,7 @@ define void @run(%Neg %f) {
     %arrayPointer = extractvalue %Neg %f, 0
     %object = extractvalue %Neg %f, 1
     %functionPointerPointer = getelementptr ptr, ptr %arrayPointer, i64 0
-    %functionPointer = load ptr, ptr %functionPointerPointer
+    %functionPointer = load ptr, ptr %functionPointerPointer, !alias.scope !15, !noalias !25
 
     ; call
     tail call tailcc %Pos %functionPointer(%Object %object, %Stack %stack)
@@ -779,7 +779,7 @@ define void @run_Int(%Neg %f, i64 %argument) {
     %arrayPointer = extractvalue %Neg %f, 0
     %object = extractvalue %Neg %f, 1
     %functionPointerPointer = getelementptr ptr, ptr %arrayPointer, i64 0
-    %functionPointer = load ptr, ptr %functionPointerPointer
+    %functionPointer = load ptr, ptr %functionPointerPointer, !alias.scope !15, !noalias !25
 
     ; call
     tail call tailcc %Pos %functionPointer(%Object %object, %Evidence 0, i64 %argument, %Stack %stack)
@@ -794,7 +794,7 @@ define void @run_Pos(%Neg %f, %Pos %argument) {
     %arrayPointer = extractvalue %Neg %f, 0
     %object = extractvalue %Neg %f, 1
     %functionPointerPointer = getelementptr ptr, ptr %arrayPointer, i64 0
-    %functionPointer = load ptr, ptr %functionPointerPointer
+    %functionPointer = load ptr, ptr %functionPointerPointer, !alias.scope !15, !noalias !25
 
     ; call
     tail call tailcc %Pos %functionPointer(%Object %object, %Evidence 0, %Pos %argument, %Stack %stack)
@@ -806,10 +806,21 @@ define void @run_Pos(%Neg %f, %Pos %argument) {
 !0 = !{!"types"}
 
 ; Scopes
-!1 = !{!"stackValues", !0}
-!2 = !{!"prompts", !0}
+!1 = !{!"stackBase", !0}
+!2 = !{!"stackPointer", !0}
+!3 = !{!"prompt", !0}
+!4 = !{!"object", !0}
+!5 = !{!"vtable", !0}
 
 ; Scope lists
-!3 = !{!1} ; stackValues
-!4 = !{!2} ; prompts
-!5 = !{!1, !2} ; stackValues & prompts
+!11 = !{!1} ; stackBase
+!12 = !{!2} ; stackPointer
+!13 = !{!3} ; prompt
+!14 = !{!4} ; object
+!15 = !{!5} ; vtable
+
+!21 = !{    !2, !3, !4, !5} ; not stackBase
+!22 = !{!1,     !3, !4, !5} ; not stackPointer
+!23 = !{!1, !2,     !4, !5} ; not prompt
+!24 = !{!1, !2, !3,     !5} ; not object
+!25 = !{!1, !2, !3, !4    } ; not vtable

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=1740338125"><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=1742148967"><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">
@@ -59,5 +59,5 @@ open source software collaboration and innovation.</p></div><div class=mega-menu
 <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://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=1740338125"></script>
+<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=1742148967"></script>
 <script>(function(){})(jQuery,document)</script></div></body></html>