implements CallHistory tracking

Author: dimitropoulos

packages/playground/evaluate/config.ts

@@ -32,7 +32,7 @@ export const config = {
   digits: 8,
   shouldComputeFullStats: false,
   incrementBy: 100,
-  comeUpForAirEvery: 100,
+  comeUpForAirEvery: 1_000,
   transcendTheAstralPlane: 10_000,
   readStringFromMemory: true,
 } satisfies Config;

packages/playground/evaluate/start.ts

@@ -1,3 +1,3 @@
-import type { funcs } from "../../conformance-tests/from-c/conway.ts";
-import type { entry } from "../../conformance-tests/from-c/conway.ts";
-export type NextResult = entry<[0], true, 0>;
+import type { funcs } from "../doom/doom";
+import type { entry } from "../doom/doom";
+export type NextResult = entry<[], true, 0>;

packages/playground/final-doom-pun-intended/data/mock-machine.ts

@@ -27,6 +27,7 @@ export type HolyShitIfThisActuallyWorksOMGOMGROFLWHATISWRONGWITHME = {
 	memorySize: "00000000000000000000000000000110";
 	executionContexts: [];
 	funcs: funcs;
+	callHistory: [];
 };
 /** finalize */
 export type HoldOntoYourMonadsAndBraceForImpact = executeInstruction<HolyShitIfThisActuallyWorksOMGOMGROFLWHATISWRONGWITHME, true, 9001>;

packages/wasm-to-typescript-types/bootstrap.ts

@@ -111,6 +111,7 @@ export type bootstrap<
       memorySize: input['memorySize'];
       indirect: input['indirect'];
       results: null;
+      callHistory: [];
     },
     debugMode,
     stopAt

packages/wasm-to-typescript-types/garbageCollector.test.ts

@@ -20,6 +20,7 @@ type blank = Satisfies<ProgramState, {
   memorySize: "";
   executionContexts: [];
   funcs: {};
+  callHistory: [];
 }>
 
 type s<

packages/wasm-to-typescript-types/instructions/control-flow.ts

@@ -304,7 +304,10 @@ export type Call<
     ],
     State.Stack.set<
       _refreshment['stack'],
-      state
+      State.CallHistory.record<
+        _funcId,
+        state
+      >
     >
   >
 >

packages/wasm-to-typescript-types/state.ts

@@ -5,11 +5,10 @@ import type {
   BranchesById,
   SweepL1Every,
   ExecutionContext,
-  Func,
   GlobalsById,
   MemoryAddress,
-  MemoryByAddress,
   ProgramState,
+  FuncId,
 } from "./types"
 import * as TypeMath from "ts-type-math";
 import { WasmValue, WasmType, Convert, Wasm, evaluate, Satisfies } from 'ts-type-math';
@@ -20,6 +19,8 @@ export type Patch<Source, Update> = evaluate<
   & Update
 >;
 
+export type IDugMyselfANiceBigHoleAndNowIHaveToDebugMyWayOutOfItSomehow = true;
+
 export namespace State {
   export type error<
     reason extends string,
@@ -66,6 +67,42 @@ export namespace State {
     >
   >
 
+  export namespace CallHistory {
+    export type record<
+      funcId extends FuncId,
+      state extends ProgramState
+    > = Satisfies<ProgramState,
+      IDugMyselfANiceBigHoleAndNowIHaveToDebugMyWayOutOfItSomehow extends true
+      ? {
+          count: state['count'];
+          stack: state['stack'];
+          activeFuncId: state['activeFuncId'];
+          activeStackDepth: state['activeStackDepth'];
+          activeLocals: state['activeLocals'];
+          instructions: state['instructions'];
+          activeBranches: state['activeBranches'];
+          L1Cache: state['L1Cache'];
+          memory: state['memory'];
+          executionContexts: state['executionContexts'];
+          funcs: state['funcs'];
+          garbageCollection: state['garbageCollection'];
+          globals: state['globals'];
+          memorySize: state['memorySize'];
+          indirect: state['indirect'];
+          results: state['results'];
+          callHistory: state['callHistory'] extends []
+          ? [
+              [funcId, state['count']] // this is the first one!
+            ]
+          : [
+              ...state['callHistory'],
+              [funcId, state['count']] // append
+            ]
+        }
+      : state
+    >
+  }
+
   export namespace Count {
     export type increment<
       state extends ProgramState
@@ -88,6 +125,7 @@ export namespace State {
         memorySize: state['memorySize'];
         indirect: state['indirect'];
         results: state['results'];
+        callHistory: state['callHistory'];
       }
     >
   }
@@ -116,6 +154,7 @@ export namespace State {
         memorySize: state['memorySize'];
         indirect: state['indirect'];
         results: state['results'];
+        callHistory: state['callHistory'];
       }
     >
 
@@ -182,6 +221,7 @@ export namespace State {
         memorySize: state['memorySize'];
         indirect: state['indirect'];
         results: state['results'];
+        callHistory: state['callHistory'];
       }
     >
 
@@ -236,6 +276,7 @@ export namespace State {
         memorySize: state['memorySize'];
         indirect: state['indirect'];
         results: state['results'];
+        callHistory: state['callHistory'];
       }
     >
 
@@ -264,6 +305,7 @@ export namespace State {
           memorySize: state['memorySize'];
           indirect: state['indirect'];
           results: state['results'];
+          callHistory: state['callHistory'];
         }
         : state['instructions'] extends IEndFunction[] // funny story: [IEndFunction] doesn't work here
         ? // we hit this case on the very last pop (i.e. when the program completes)
@@ -284,6 +326,7 @@ export namespace State {
             memorySize: state['memorySize'];
             indirect: state['indirect'];
             results: state['results'];
+            callHistory: state['callHistory'];
           }
         : State.error<"execution contexts exhausted", Instruction, state>
     >
@@ -316,6 +359,7 @@ export namespace State {
             memorySize: state['memorySize'];
             indirect: state['indirect'];
             results: state['results'];
+            callHistory: state['callHistory'];
           }
         >
       }
@@ -342,6 +386,7 @@ export namespace State {
             memorySize: state['memorySize'];
             indirect: state['indirect'];
             results: state['results'];
+            callHistory: state['callHistory'];
           }
         >
 
@@ -389,6 +434,7 @@ export namespace State {
         memorySize: state['memorySize'];
         indirect: state['indirect'];
         results: state['results'];
+        callHistory: state['callHistory'];
       }
     >
   }
@@ -442,6 +488,7 @@ export namespace State {
         memorySize: state['memorySize'];
         indirect: state['indirect'];
         results: state['results'];
+        callHistory: state['callHistory'];
       }
       // >
     >
@@ -468,6 +515,7 @@ export namespace State {
         memorySize: state['memorySize'];
         indirect: state['indirect'];
         results: state['results'];
+        callHistory: state['callHistory'];
       }
     >
 
@@ -505,6 +553,7 @@ export namespace State {
           memorySize: state['memorySize'];
           indirect: state['indirect'];
           results: state['results'];
+          callHistory: state['callHistory'];
         }
       : state
     >
@@ -571,6 +620,7 @@ export namespace State {
           _resultTypes['length'] extends 1
           ? WasmTypeToTSNumber<_resultTypes[0], state['stack'][0]>
           : CollectResults<state['stack'], _resultTypes>;
+        callHistory: state['callHistory'];
       }
     >
 

packages/wasm-to-typescript-types/types.ts

@@ -57,11 +57,15 @@ export type ExecutionContext = {
 }
 
 /** matches what JS implementations do regarding returning one vs multiple values */
-type Results = (number | bigint)[] | (number | bigint) | null;
+export type Results = (number | bigint)[] | (number | bigint) | null;
+
+export type Count = number;
+
+export type CallHistory = [FuncId, Count];
 
 export type ProgramState = {
   /** the number of instructions we've executed, useful for debugging */
-  count: number;
+  count: Count;
 
   /** a stack of values */
   stack: WasmValue[];
@@ -104,6 +108,9 @@ export type ProgramState = {
 
   /** the result of the program */
   results: Results;
+
+  /** used for debugging */
+  callHistory: CallHistory[];
 }
 
 export type ProgramInput = Pick<