Implement dereferencing more (#117)

This commit is contained in:
Patrick Stevens
2025-08-24 20:44:18 +01:00
committed by GitHub
parent 4de0dbd816
commit 239ae0f0cd

View File

@@ -52,7 +52,7 @@ module NullaryIlOp =
| EvalStackValue.NativeInt nativeIntSource ->
failwith $"TODO: Native int pointer dereferencing not implemented for {targetType}"
| EvalStackValue.ObjectRef managedHeapAddress ->
failwith "TODO: Object reference dereferencing not implemented"
IlMachineState.dereferencePointer state (ManagedPointerSource.Heap managedHeapAddress)
| other -> failwith $"Unexpected eval stack value for Ldind operation: {other}"
let loadedValue = loadedValue |> EvalStackValue.ofCliType