@markw65/monkeyc-optimizer 1.1.34 → 1.1.36

package/build/src/src/readprg/opcodes.d.ts

@@ -1,279 +0,0 @@
-import { LineNumber } from "./linenum";
-export declare enum Opcodes {
-    nop = 0,
-    incsp = 1,
-    popv = 2,
-    addv = 3,
-    subv = 4,
-    mulv = 5,
-    divv = 6,
-    andv = 7,
-    orv = 8,
-    modv = 9,
-    shlv = 10,
-    shrv = 11,
-    xorv = 12,
-    getv = 13,
-    putv = 14,
-    invokem = 15,
-    agetv = 16,
-    aputv = 17,
-    lgetv = 18,
-    lputv = 19,
-    newa = 20,
-    newc = 21,
-    return = 22,
-    ret = 23,
-    news = 24,
-    goto = 25,
-    eq = 26,
-    lt = 27,
-    lte = 28,
-    gt = 29,
-    gte = 30,
-    ne = 31,
-    isnull = 32,
-    isa = 33,
-    canhazplz = 34,
-    jsr = 35,
-    ts = 36,
-    ipush = 37,
-    fpush = 38,
-    spush = 39,
-    bt = 40,
-    bf = 41,
-    frpush = 42,
-    bpush = 43,
-    npush = 44,
-    invv = 45,
-    dup = 46,
-    newd = 47,
-    getm = 48,
-    lpush = 49,
-    dpush = 50,
-    throw = 51,
-    cpush = 52,
-    argc = 53,
-    newba = 54
-}
-interface BaseOpcode {
-    op: Opcodes;
-    offset: number;
-    size: number;
-    lineNum?: LineNumber;
-    arg?: unknown;
-}
-export interface Incsp extends BaseOpcode {
-    op: Opcodes.incsp;
-    arg: number;
-}
-export interface Argless extends BaseOpcode {
-    arg?: never;
-}
-export interface ByteArg extends BaseOpcode {
-    arg: number;
-}
-export interface ShortArg extends BaseOpcode {
-    arg: number;
-}
-export interface WordArg extends BaseOpcode {
-    arg: number;
-}
-export interface FloatArg extends BaseOpcode {
-    arg: number;
-}
-export interface LongArg extends BaseOpcode {
-    arg: bigint;
-}
-export interface DoubleArg extends BaseOpcode {
-    arg: number;
-}
-export interface Nop extends Argless {
-    op: Opcodes.nop;
-}
-export interface Popv extends Argless {
-    op: Opcodes.popv;
-}
-export interface Addv extends Argless {
-    op: Opcodes.addv;
-}
-export interface Subv extends Argless {
-    op: Opcodes.subv;
-}
-export interface Mulv extends Argless {
-    op: Opcodes.mulv;
-}
-export interface Divv extends Argless {
-    op: Opcodes.divv;
-}
-export interface Andv extends Argless {
-    op: Opcodes.andv;
-}
-export interface Orv extends Argless {
-    op: Opcodes.orv;
-}
-export interface Modv extends Argless {
-    op: Opcodes.modv;
-}
-export interface Shlv extends ByteArg {
-    op: Opcodes.shlv;
-}
-export interface Shrv extends ByteArg {
-    op: Opcodes.shrv;
-}
-export interface Xorv extends Argless {
-    op: Opcodes.xorv;
-}
-export interface Getv extends Argless {
-    op: Opcodes.getv;
-}
-export interface Putv extends Argless {
-    op: Opcodes.putv;
-}
-export interface Invokem extends ByteArg {
-    op: Opcodes.invokem;
-}
-export interface Agetv extends Argless {
-    op: Opcodes.agetv;
-}
-export interface Aputv extends Argless {
-    op: Opcodes.aputv;
-}
-export type LocalRange = {
-    name: string;
-    id: number;
-    isParam?: true | undefined;
-};
-export interface LocalInst extends ByteArg {
-    range?: LocalRange;
-}
-export interface Lgetv extends LocalInst {
-    op: Opcodes.lgetv;
-}
-export interface Lputv extends LocalInst {
-    op: Opcodes.lputv;
-}
-export interface Newa extends Argless {
-    op: Opcodes.newa;
-}
-export interface Newc extends Argless {
-    op: Opcodes.newc;
-}
-export interface Return extends Argless {
-    op: Opcodes.return;
-}
-export interface Ret extends Argless {
-    op: Opcodes.ret;
-}
-export interface News extends WordArg {
-    op: Opcodes.news;
-}
-export interface Goto extends ShortArg {
-    op: Opcodes.goto;
-}
-export interface Bt extends ShortArg {
-    op: Opcodes.bt;
-}
-export interface Bf extends ShortArg {
-    op: Opcodes.bf;
-}
-export interface Jsr extends ShortArg {
-    op: Opcodes.jsr;
-}
-export interface Eq extends Argless {
-    op: Opcodes.eq;
-}
-export interface Lt extends Argless {
-    op: Opcodes.lt;
-}
-export interface Lte extends Argless {
-    op: Opcodes.lte;
-}
-export interface Gt extends Argless {
-    op: Opcodes.gt;
-}
-export interface Gte extends Argless {
-    op: Opcodes.gte;
-}
-export interface Ne extends Argless {
-    op: Opcodes.ne;
-}
-export interface Isnull extends Argless {
-    op: Opcodes.isnull;
-}
-export interface Isa extends Argless {
-    op: Opcodes.isa;
-}
-export interface Canhazplz extends Argless {
-    op: Opcodes.canhazplz;
-}
-export interface Ts extends Argless {
-    op: Opcodes.ts;
-}
-export interface Ipush extends WordArg {
-    op: Opcodes.ipush;
-}
-export interface Fpush extends FloatArg {
-    op: Opcodes.fpush;
-}
-export interface Spush extends WordArg {
-    op: Opcodes.spush;
-}
-export interface Frpush extends Argless {
-    op: Opcodes.frpush;
-}
-export interface Bpush extends ByteArg {
-    op: Opcodes.bpush;
-}
-export interface Npush extends Argless {
-    op: Opcodes.npush;
-}
-export interface Invv extends Argless {
-    op: Opcodes.invv;
-}
-export interface Dup extends ByteArg {
-    op: Opcodes.dup;
-}
-export interface Newd extends Argless {
-    op: Opcodes.newd;
-}
-export interface Getm extends Argless {
-    op: Opcodes.getm;
-}
-export interface Lpush extends LongArg {
-    op: Opcodes.lpush;
-}
-export interface Dpush extends DoubleArg {
-    op: Opcodes.dpush;
-}
-export interface Throw extends Argless {
-    op: Opcodes.throw;
-}
-export interface Cpush extends WordArg {
-    op: Opcodes.cpush;
-}
-export interface Newba extends Argless {
-    op: Opcodes.newba;
-}
-export interface Argc extends ByteArg {
-    op: Opcodes.argc;
-}
-export type Bytecode = Nop | Incsp | Popv | Addv | Subv | Mulv | Divv | Andv | Orv | Modv | Shlv | Shrv | Xorv | Getv | Putv | Invokem | Agetv | Aputv | Lgetv | Lputv | Newa | Newc | Return | Ret | News | Goto | Eq | Lt | Lte | Gt | Gte | Ne | Isnull | Isa | Canhazplz | Jsr | Ts | Ipush | Fpush | Spush | Bt | Bf | Frpush | Bpush | Npush | Invv | Dup | Newd | Getm | Lpush | Dpush | Throw | Cpush | Argc | Newba;
-export declare function parseCode(view: DataView, lineTable: Map<number, LineNumber>): Bytecode[];
-export declare function opcodeSize(op: Opcodes): 1 | 2 | 3 | 5 | 9;
-export declare function emitBytecode(bytecode: Bytecode, view: DataView, offset: number, linktable: Map<number, number>): number;
-export declare function getOpInfo(bytecode: Bytecode): {
-    pop: number;
-    push: number;
-};
-export declare const enum Effects {
-    None = 0,
-    Local = 1,
-    Global = 2,
-    ArrayLike = 4,
-    Call = 8
-}
-export declare function getOpEffects(bytecode: Bytecode): number;
-export declare function isBoolOp(op: Opcodes): boolean;
-export declare function isCondBranch(op: Opcodes): boolean;
-export {};

package/build/src/src/readprg/optimize.d.ts

@@ -1,3 +0,0 @@
-import { Context, FuncEntry } from "./bytecode";
-export declare function optimizeFunc(func: FuncEntry, context: Context): void;
-export declare function cleanCfg(func: FuncEntry, context: Context): void;

package/build/src/src/readprg/pre.d.ts

@@ -1,2 +0,0 @@
-import { Context, FuncEntry } from "./bytecode";
-export declare function sizeBasedPRE(func: FuncEntry, context: Context): true | undefined;

package/build/src/src/readprg/sharing.d.ts

@@ -1,2 +0,0 @@
-import { Context, FuncEntry } from "./bytecode";
-export declare function blockSharing(func: FuncEntry, context: Context): boolean;

package/build/src/src/readprg/signer.d.ts

@@ -1,8 +0,0 @@
-/// <reference types="node" />
-/// <reference types="node" />
-import * as crypto from "node:crypto";
-import { Context } from "./bytecode";
-export declare function getPrgSignature(context: Context): Buffer | undefined;
-export declare function getDevKey(file: string): Promise<crypto.KeyObject>;
-export declare function signatureFromContext(context: Context): Buffer | null;
-export declare function signView(key: crypto.KeyObject, view: DataView): Buffer;

package/build/src/src/readprg/symbols.d.ts

@@ -1,19 +0,0 @@
-/// <reference types="node" />
-import { xmlUtil } from "../sdk-util";
-export declare class SymbolTable {
-    symbolToLabelMap: Map<number, number>;
-    symbols: Map<number, {
-        str: string;
-        label: string;
-    }>;
-    methods: Map<number, {
-        name: string;
-        id: number | null;
-        argc: number | null;
-    }>;
-    decoder: import("util").TextDecoder;
-    parseSymbolTable(view: DataView): number;
-    parse(view: DataView): void;
-    parseXml(debugXml: xmlUtil.Document): void;
-    parseSymbol(view: DataView, offset: number, current: number): number;
-}

package/build/src/src/readprg.d.ts

@@ -1,25 +0,0 @@
-/// <reference types="node" />
-import * as crypto from "node:crypto";
-import { BuildConfig } from "./optimizer-types";
-import { SectionInfo } from "./readprg/bytecode";
-export declare function readPrg(path: string): Promise<{
-    [k: string]: number;
-}>;
-export declare function readPrgFromFile(prg: string): Promise<{
-    view: DataView;
-    sections: Record<number, SectionInfo>;
-}>;
-export declare function readPrgWithOffsets(view: DataView): {
-    view: DataView;
-    sections: Record<number, SectionInfo>;
-};
-export declare function optimizeProgram(filepath: string, devKey?: string | undefined, output?: string, config?: BuildConfig): Promise<unknown>;
-export declare function optimizePrgAndDebug(prgName: string, prgBuffer: ArrayBuffer, prgOffset: number, prgLength: number, xmlName: string, xmlBuffer: ArrayBuffer, xmlOffset: number, xmlLength: number, key: crypto.KeyObject, config: BuildConfig | undefined): Promise<{
-    sigBuffer: ArrayBufferLike | undefined;
-    sigOffset: number | undefined;
-    sigLength: number | undefined;
-    prgBuffer: ArrayBufferLike;
-    prgOffset: number;
-    prgLength: number;
-    debugXml: string;
-}>;

package/build/src/src/resources.d.ts

@@ -1,12 +0,0 @@
-import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { JungleResourceMap } from "./jungles";
-import { ProgramState } from "./optimizer-types";
-import { xmlUtil } from "./sdk-util";
-type Visit = (e: xmlUtil.Element, module: string | null, parent: xmlUtil.Element | null) => void;
-type Visitor = {
-    visit?: Visit;
-    error?: (node: xmlUtil.Element, parent: string | null) => void;
-} & xmlUtil.Visitor;
-export declare function visit_resources(elements: xmlUtil.Content[], parent: xmlUtil.Element | null, v: Visitor | Visit): void;
-export declare function add_resources_to_ast(state: ProgramState | undefined, ast: mctree.Program, resources: Record<string, JungleResourceMap>, manifestXML?: xmlUtil.Document): void;
-export {};

package/build/src/src/sdk-util.d.ts

@@ -1,28 +0,0 @@
-export { readPrg, optimizeProgram, readPrgWithOffsets } from "./readprg";
-export { SectionKinds } from "./readprg/bytecode";
-export * as xmlUtil from "./xml-util";
-export declare const isWin: boolean;
-export declare const appSupport: string;
-export declare const connectiq: string;
-export declare function getSdkPath(): Promise<string>;
-export type DeviceInfo = {
-    [key: string]: {
-        appTypes: {
-            memoryLimit: number;
-            type: string;
-        }[];
-        deviceFamily: string;
-        displayName: string;
-        languages: Record<string, true>;
-    };
-};
-export declare function getDeviceInfo(): Promise<DeviceInfo>;
-export declare function getLanguages(): Promise<{
-    id: string;
-    name: string;
-}[]>;
-export declare function getFunctionDocumentation(): Promise<{
-    name: string;
-    parent: string;
-    doc: string;
-}[] | null>;

package/build/src/src/type-flow/could-be.d.ts

@@ -1,5 +0,0 @@
-import { ExactOrUnion } from "./types";
-export declare function couldBeHelper(a: ExactOrUnion, b: ExactOrUnion, shallow: boolean): boolean;
-export declare function couldBe(a: ExactOrUnion, b: ExactOrUnion): boolean;
-export declare function couldBeWeak(a: ExactOrUnion, b: ExactOrUnion): boolean;
-export declare function couldBeShallow(a: ExactOrUnion, b: ExactOrUnion): boolean;

package/build/src/src/type-flow/dead-store.d.ts

@@ -1,18 +0,0 @@
-import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { NodeEquivMap } from "../type-flow";
-import { FunctionStateNode, ProgramStateAnalysis } from "../optimizer-types";
-import { TypeFlowBlock, TypeStateKey } from "./type-flow-util";
-export type CopyPropStores = Map<mctree.Node, {
-    ref: mctree.Node;
-    ant: boolean;
-}>;
-export declare function findDeadStores(func: FunctionStateNode, graph: TypeFlowBlock, nodeEquivs: NodeEquivMap | null, findCopyPropCandidates: boolean, logThisRun: boolean): {
-    deadStores: Set<mctree.Node>;
-    locals: Set<TypeStateKey>;
-    localConflicts: Map<TypeStateKey, Set<TypeStateKey>> | null;
-    copyPropStores: CopyPropStores;
-};
-export declare function eliminateDeadStores(state: ProgramStateAnalysis, func: FunctionStateNode, graph: TypeFlowBlock, logThisRun: boolean): {
-    changes: boolean;
-    copyPropStores: CopyPropStores;
-};

package/build/src/src/type-flow/interp-binary.d.ts

@@ -1,4 +0,0 @@
-import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { ExactOrUnion } from "./types";
-export declare function evaluateBinaryTypes(op: mctree.BinaryOperator | "instanceof", left: ExactOrUnion, right: ExactOrUnion): ExactOrUnion;
-export declare function evaluateLogicalTypes(op: mctree.LogicalOperator, left: ExactOrUnion, right: ExactOrUnion): ExactOrUnion;

package/build/src/src/type-flow/interp-call.d.ts

@@ -1,16 +0,0 @@
-import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { FunctionStateNode, ProgramStateAnalysis } from "../optimizer-types";
-import { InterpStackElem, InterpState } from "./interp";
-import { ExactOrUnion } from "./types";
-export declare function evaluateCall(istate: InterpState, node: mctree.CallExpression, callee: ExactOrUnion, args: ExactOrUnion[]): InterpStackElem;
-export declare function checkCallArgs(istate: InterpState, node: mctree.CallExpression, callees: FunctionStateNode | FunctionStateNode[], args: ExactOrUnion[]): InterpStackElem;
-type SysCallHelperResult = {
-    calleeObj?: ExactOrUnion;
-    returnType?: ExactOrUnion;
-    argTypes?: ExactOrUnion[];
-    effectFree?: true;
-    argEffects?: true;
-};
-type SysCallHelper = (state: ProgramStateAnalysis, func: FunctionStateNode, calleeObj: ExactOrUnion, getArgs: () => Array<ExactOrUnion>) => SysCallHelperResult;
-export declare function sysCallInfo(state: ProgramStateAnalysis, func: FunctionStateNode): SysCallHelper | null;
-export {};

package/build/src/src/type-flow/interp.d.ts

@@ -1,33 +0,0 @@
-import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { DiagnosticType, FunctionStateNode, ProgramStateAnalysis } from "../optimizer-types";
-import { ExactOrUnion, ObjectType } from "./types";
-export type TypeMap = Map<mctree.Node, ExactOrUnion>;
-export type InterpStackElem = {
-    value: ExactOrUnion;
-    embeddedEffects: boolean;
-    node: mctree.Expression | mctree.TypeSpecList | mctree.InstanceOfCase;
-};
-export type InterpState = {
-    state: ProgramStateAnalysis;
-    stack: InterpStackElem[];
-    typeMap?: TypeMap;
-    localLvals?: Set<mctree.Node>;
-    func?: FunctionStateNode;
-    pre?: (node: mctree.Node) => mctree.Node | false | null | void;
-    post?: (node: mctree.Node) => mctree.Node | false | null | void;
-    typeChecker?: (a: ExactOrUnion, b: ExactOrUnion) => boolean;
-    checkTypes?: DiagnosticType;
-};
-export declare function popIstate(istate: InterpState, node: mctree.Node): InterpStackElem;
-export declare function tryPop(istate: InterpState, node: InterpStackElem["node"]): InterpStackElem;
-export declare function evaluateExpr(state: ProgramStateAnalysis, expr: mctree.Expression, typeMap?: TypeMap): InterpStackElem;
-export declare function preEvaluate(istate: InterpState, node: mctree.Node): null | (keyof mctree.NodeAll)[];
-export declare function evaluate(istate: InterpState, node: mctree.Expression): InterpStackElem;
-export declare function evaluate(istate: InterpState, node: mctree.Node): InterpStackElem | undefined;
-export declare function evaluateUnaryTypes(op: mctree.UnaryOperator, argument: ExactOrUnion): ExactOrUnion;
-export declare function deEnumerate(t: ExactOrUnion): ExactOrUnion;
-export declare function evaluateNode(istate: InterpState, node: mctree.Node): void;
-export declare function roundToFloat(value: number): number;
-export declare function mustBeIdentical(a: ExactOrUnion, b: ExactOrUnion): boolean;
-export declare function isByteArray(object: ExactOrUnion): boolean | undefined;
-export declare function isByteArrayData(objectData: NonNullable<ObjectType["value"]>): boolean | undefined;

package/build/src/src/type-flow/intersection-type.d.ts

@@ -1,4 +0,0 @@
-import { ExactOrUnion } from "./types";
-export declare function expandTypedef(t: ExactOrUnion): ExactOrUnion;
-export declare function intersection(a: ExactOrUnion, b: ExactOrUnion): ExactOrUnion;
-export declare function restrictByEquality(a: ExactOrUnion, b: ExactOrUnion): ExactOrUnion;

package/build/src/src/type-flow/minimize-locals.d.ts

@@ -1,4 +0,0 @@
-import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { FunctionStateNode, ProgramStateAnalysis } from "../optimizer-types";
-export declare function minimizeLocals(state: ProgramStateAnalysis, func: FunctionStateNode): void;
-export declare function variableCleanup(node: mctree.Node): false | mctree.BlockStatement | mctree.Statement[] | null;

package/build/src/src/type-flow/minimize-modules.d.ts

@@ -1,3 +0,0 @@
-import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { ProgramStateAnalysis } from "../optimizer-types";
-export declare function minimizeModules(ast: mctree.Program, state: ProgramStateAnalysis): void;

package/build/src/src/type-flow/optimize.d.ts

@@ -1,7 +0,0 @@
-import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { FunctionStateNode, ProgramStateAnalysis } from "../optimizer-types";
-import { InterpState } from "./interp";
-export declare function optimizeFunction(state: ProgramStateAnalysis, func: FunctionStateNode): void;
-export declare function beforeEvaluate(istate: InterpState, node: mctree.Node): mctree.Node | null | false;
-export declare function afterEvaluate(istate: InterpState, node: mctree.Node): mctree.Node | null | false;
-export declare function tryDeEnumerate(istate: InterpState, node: mctree.Expression, elem: number): mctree.Expression | null;

package/build/src/src/type-flow/sub-type.d.ts

@@ -1,2 +0,0 @@
-import { ExactOrUnion } from "./types";
-export declare function subtypeOf(a: ExactOrUnion, b: ExactOrUnion): boolean;

package/build/src/src/type-flow/type-flow-util.d.ts

@@ -1,27 +0,0 @@
-import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { DataFlowBlock as TypeFlowBlock, Event, EventDecl } from "../data-flow";
-import { ProgramStateAnalysis, StateNode, VariableStateNode } from "../optimizer-types";
-import { InterpState } from "./interp";
-import { ExactOrUnion } from "./types";
-export { TypeFlowBlock };
-export declare function isTypeStateKey(decl: EventDecl): decl is TypeStateKey;
-export declare function declIsLocal(decl: EventDecl): decl is VariableStateNode | VariableStateNode[] | mctree.TypedIdentifier;
-export declare function declIsNonLocal(decl: EventDecl): decl is VariableStateNode | VariableStateNode[];
-export declare function localDeclName(decl: EventDecl): string;
-export type TypeStateKey = Exclude<EventDecl, {
-    type: "MemberDecl" | "Unknown";
-}>;
-export declare function tsKey(key: TypeStateKey): string;
-export declare function sourceLocation(loc: mctree.SourceLocation | null | undefined): string;
-export declare function printBlockHeader(block: TypeFlowBlock): void;
-export declare function describeEvent(event: Event): string;
-export declare function printBlockEvents(block: TypeFlowBlock, extra?: (event: Event) => string): void;
-export declare function printBlockTrailer(block: TypeFlowBlock): void;
-export declare function findObjectDeclsByProperty(state: ProgramStateAnalysis, object: ExactOrUnion, next: mctree.DottedMemberExpression): readonly [null, null] | [StateNode[], StateNode[]];
-export declare function refineObjectTypeByDecls(istate: InterpState, object: ExactOrUnion, trueDecls: StateNode[]): ExactOrUnion;
-export declare function findNextObjectType(istate: InterpState, trueDecls: StateNode[], next: mctree.DottedMemberExpression): import("./types").UnionType | import("./types").NumberType | import("./types").LongType | import("./types").FloatType | import("./types").DoubleType | import("./types").CharType | import("./types").StringType | import("./types").ArrayType | import("./types").DictionaryType | import("./types").MethodType | import("./types").ModuleType | import("./types").FunctionType | import("./types").ClassType | import("./types").ObjectType | import("./types").EnumType | import("./types").SymbolType | import("./types").TypedefType | null;
-export declare function resolveDottedMember(istate: InterpState, object: ExactOrUnion, next: mctree.DottedMemberExpression): {
-    mayThrow: boolean;
-    object: ExactOrUnion;
-    property: import("./types").UnionType | import("./types").NumberType | import("./types").LongType | import("./types").FloatType | import("./types").DoubleType | import("./types").CharType | import("./types").StringType | import("./types").ArrayType | import("./types").DictionaryType | import("./types").MethodType | import("./types").ModuleType | import("./types").FunctionType | import("./types").ClassType | import("./types").ObjectType | import("./types").EnumType | import("./types").SymbolType | import("./types").TypedefType;
-} | null;