@jhlagado/azm 0.2.7 → 0.2.9

package/dist/src/register-care/programModel.js

@@ -1,266 +0,0 @@
-function isGlobalLabel(name) {
-    return !name.startsWith('.');
-}
-function routineNameFromExpression(expression) {
-    return expression.kind === 'symbol' ? expression.name : undefined;
-}
-function evaluateConstantExpression(expression, constants) {
-    switch (expression.kind) {
-        case 'number':
-            return expression.value;
-        case 'symbol':
-            return constants.get(expression.name);
-        case 'unary': {
-            const value = evaluateConstantExpression(expression.expression, constants);
-            if (value === undefined)
-                return undefined;
-            switch (expression.operator) {
-                case '+':
-                    return value;
-                case '-':
-                    return -value;
-                case '~':
-                    return ~value;
-            }
-        }
-        case 'binary': {
-            const left = evaluateConstantExpression(expression.left, constants);
-            const right = evaluateConstantExpression(expression.right, constants);
-            if (left === undefined || right === undefined)
-                return undefined;
-            switch (expression.operator) {
-                case '+':
-                    return left + right;
-                case '-':
-                    return left - right;
-                case '*':
-                    return left * right;
-                case '/':
-                    return right === 0 ? undefined : Math.trunc(left / right);
-                case '%':
-                    return right === 0 ? undefined : left % right;
-                case '&':
-                    return left & right;
-                case '^':
-                    return left ^ right;
-                case '|':
-                    return left | right;
-                case '<<':
-                    return left << right;
-                case '>>':
-                    return left >> right;
-            }
-        }
-        case 'byte-function': {
-            const value = evaluateConstantExpression(expression.expression, constants);
-            if (value === undefined)
-                return undefined;
-            return expression.function === 'LSB' ? value & 0xff : (value >> 8) & 0xff;
-        }
-        default:
-            return undefined;
-    }
-}
-function collectConstants(items) {
-    const constants = new Map();
-    let changed = true;
-    while (changed) {
-        changed = false;
-        for (const item of items) {
-            if (item.kind !== 'equ' || constants.has(item.name))
-                continue;
-            const value = evaluateConstantExpression(item.expression, constants);
-            if (value === undefined)
-                continue;
-            constants.set(item.name, value);
-            changed = true;
-        }
-    }
-    return constants;
-}
-function instructionCallTarget(item) {
-    if (item.kind !== 'instruction')
-        return undefined;
-    const mnemonic = item.instruction.mnemonic;
-    if (mnemonic === 'call' || mnemonic === 'call-cc') {
-        return routineNameFromExpression(item.instruction.expression);
-    }
-    return undefined;
-}
-function instructionTailJumpTarget(item, entryNames) {
-    if (item.kind !== 'instruction')
-        return undefined;
-    const mnemonic = item.instruction.mnemonic;
-    if (mnemonic === 'jp-cc' && entryNames === undefined)
-        return undefined;
-    if (mnemonic !== 'jp' && mnemonic !== 'jp-cc')
-        return undefined;
-    const target = routineNameFromExpression(item.instruction.expression);
-    if (target === undefined || target.startsWith('.'))
-        return undefined;
-    if (entryNames !== undefined && !entryNames.has(target))
-        return undefined;
-    return target;
-}
-function toInstruction(item, labels, constants) {
-    return {
-        instruction: item.instruction,
-        file: item.span.sourceName,
-        line: item.span.line,
-        column: item.span.column,
-        labels: [...labels],
-        constants,
-    };
-}
-function pushDirectBoundary(boundaries, target, subject, file, line, column) {
-    boundaries.push({ target, subject, file, line, column });
-}
-export function buildRegisterCareProgramModel(items) {
-    const routines = [];
-    const directCalls = [];
-    const constants = collectConstants(items);
-    const filesWithEntryLabels = new Set(items
-        .filter((item) => item.kind === 'label')
-        .filter((item) => item.isEntry === true)
-        .map((item) => item.span.sourceName));
-    let routineName;
-    let entryLabels = [];
-    let labels = [];
-    let sourceName;
-    let routineStartLine;
-    let routineStartColumn;
-    let instructions = [];
-    const startRoutine = (item) => {
-        sourceName = item.span.sourceName;
-        routineName = item.name;
-        entryLabels = item.isEntry === true ? [item.name] : [];
-        labels = [item.name];
-        routineStartLine = item.span.line;
-        routineStartColumn = item.span.column;
-        instructions = [];
-    };
-    const flushRoutine = () => {
-        if (routineName === undefined || routineStartLine === undefined) {
-            return;
-        }
-        if (instructions.length === 0) {
-            routines.push({
-                name: routineName,
-                labels: [...labels],
-                entryLabels: [...entryLabels],
-                instructions: [],
-                constants,
-                span: {
-                    file: sourceName ?? '',
-                    start: { line: routineStartLine, column: routineStartColumn ?? 1 },
-                    end: { line: routineStartLine, column: routineStartColumn ?? 1 },
-                },
-            });
-            return;
-        }
-        const end = instructions[instructions.length - 1];
-        if (end === undefined)
-            return;
-        routines.push({
-            name: routineName,
-            labels: [...labels],
-            entryLabels: [...entryLabels],
-            instructions: [...instructions],
-            constants,
-            span: {
-                file: sourceName ?? '',
-                start: { line: routineStartLine, column: routineStartColumn ?? 1 },
-                end: { line: end.line, column: end.column },
-            },
-        });
-    };
-    const resetRoutine = () => {
-        routineName = undefined;
-        entryLabels = [];
-        labels = [];
-        sourceName = undefined;
-        routineStartLine = undefined;
-        routineStartColumn = undefined;
-        instructions = [];
-    };
-    const finalizeAndRestart = (item) => {
-        flushRoutine();
-        resetRoutine();
-        startRoutine(item);
-    };
-    for (const item of items) {
-        if (item.kind !== 'label') {
-            if (item.kind !== 'instruction') {
-                continue;
-            }
-            if (routineName === undefined || sourceName === undefined) {
-                continue;
-            }
-            if (item.span.sourceName !== sourceName) {
-                continue;
-            }
-            instructions.push(toInstruction(item, labels, constants));
-            const directTarget = instructionCallTarget(item);
-            if (directTarget !== undefined) {
-                pushDirectBoundary(directCalls, directTarget, `CALL ${directTarget}`, item.span.sourceName, item.span.line, item.span.column);
-            }
-            continue;
-        }
-        if (!isGlobalLabel(item.name)) {
-            if (routineName !== undefined) {
-                labels.push(item.name);
-            }
-            continue;
-        }
-        if (routineName === undefined) {
-            if (filesWithEntryLabels.has(item.span.sourceName) && item.isEntry !== true) {
-                continue;
-            }
-            startRoutine(item);
-            continue;
-        }
-        if (sourceName === undefined || sourceName !== item.span.sourceName) {
-            finalizeAndRestart(item);
-            continue;
-        }
-        if (instructions.length > 0) {
-            if (filesWithEntryLabels.has(item.span.sourceName) && item.isEntry !== true) {
-                labels.push(item.name);
-                continue;
-            }
-            finalizeAndRestart(item);
-            continue;
-        }
-        // Multiple global labels before body on same routine are coalesced as entry labels.
-        labels.push(item.name);
-        if (item.isEntry === true) {
-            entryLabels.push(item.name);
-        }
-    }
-    flushRoutine();
-    const entryNamesByFile = new Map();
-    for (const item of items) {
-        if (item.kind !== 'label' || item.isEntry !== true)
-            continue;
-        const names = entryNamesByFile.get(item.span.sourceName) ?? new Set();
-        names.add(item.name);
-        entryNamesByFile.set(item.span.sourceName, names);
-    }
-    const directTailJumps = [];
-    for (const item of items) {
-        if (item.kind !== 'instruction')
-            continue;
-        const entryNames = filesWithEntryLabels.has(item.span.sourceName)
-            ? entryNamesByFile.get(item.span.sourceName)
-            : undefined;
-        const target = instructionTailJumpTarget(item, entryNames);
-        if (target === undefined)
-            continue;
-        pushDirectBoundary(directTailJumps, target, `JP ${target}`, item.span.sourceName, item.span.line, item.span.column);
-    }
-    return {
-        routines,
-        directCalls,
-        directBoundaries: [...directCalls, ...directTailJumps],
-    };
-}

package/dist/src/register-care/report.d.ts

@@ -1,5 +0,0 @@
-import type { RegisterCareReportModel, RegisterCareUnit, RoutineSummary } from './types.js';
-export declare function contractCarrierList(units: RegisterCareUnit[]): string;
-export declare function renderRegisterCareReport(model: RegisterCareReportModel): string;
-export declare function renderRegisterCareInterface(summaries: RoutineSummary[]): string;
-export declare function renderRegisterCareSourceBlock(summary: RoutineSummary): string[];

package/dist/src/register-care/routine-summaries.d.ts

@@ -1,6 +0,0 @@
-import type { RegisterCareRoutine, RoutineContract, RoutineSummary } from './types.js';
-export declare function summariesWithExternalContracts(summaries: RoutineSummary[], contracts: Map<string, RoutineContract>, routineNameSet: Set<string>): RoutineSummary[];
-export declare function inferRoutineSummariesToFixedPoint(routines: RegisterCareRoutine[], contracts: Map<string, RoutineContract>, routineNameSet: Set<string>, profileSummaries: RoutineSummary[]): Array<{
-    routine: RegisterCareRoutine;
-    summary: RoutineSummary;
-}>;

package/dist/src/register-care/smartComments.d.ts

@@ -1,5 +0,0 @@
-import type { LocatedSmartComment, RegisterCareRoutine, RoutineContract, SmartComment } from './types.js';
-export declare function parseSmartCommentLine(line: string): SmartComment | undefined;
-export declare function parseSmartComments(sourceLineComments: ReadonlyMap<string, ReadonlyMap<number, string>>): LocatedSmartComment[];
-export declare function buildRoutineContracts(comments: LocatedSmartComment[], routines?: RegisterCareRoutine[], sourceTexts?: ReadonlyMap<string, string>): Map<string, RoutineContract>;
-export declare function parseInterfaceContracts(text: string, file?: string): Map<string, RoutineContract>;

package/dist/src/register-care/smartComments.js

@@ -1,243 +0,0 @@
-import { expandCarrierList } from './carriers.js';
-const COMPACT_SOURCE_TAG_RE = /^;?\s*!\s*(in|out|clobbers|preserves)(?:\s+(.+))?$/i;
-const COMPACT_SOURCE_LINE_RE = /^\s*;\s*!\s*(?:in|out|maybe-out|clobbers|preserves)(?:\s|$)/i;
-const INTERFACE_TAG_RE = /^\s*(in|out|clobbers|preserves)(?:\s+(.+))?$/i;
-const CARRIER_RE = /^\{([^}]+)\}(?:\s+(.+))?$/;
-function parseCarrierPayload(rest) {
-    if (!rest)
-        return undefined;
-    const match = CARRIER_RE.exec(rest.trim());
-    if (match) {
-        const carriers = match[1].split(',').map((value) => value.trim()).filter(Boolean);
-        const name = match[2]?.trim();
-        return { carriers, ...(name ? { name } : {}) };
-    }
-    const tokens = rest.trim().split(/\s+/u);
-    const carriers = [];
-    let consumed = 0;
-    for (const token of tokens) {
-        const cleaned = token.replace(/[.:;]+$/u, '');
-        const parts = cleaned
-            .split(',')
-            .map((value) => value.trim())
-            .filter(Boolean);
-        if (parts.length === 0 || !expandCarrierList(parts))
-            break;
-        carriers.push(...parts);
-        consumed += 1;
-    }
-    if (carriers.length === 0)
-        return undefined;
-    const name = tokens.slice(consumed).join(' ').trim();
-    return { carriers, ...(name ? { name } : {}) };
-}
-export function parseSmartCommentLine(line) {
-    const trimmed = line.trim();
-    const expectOut = /^;?\s*expects\s+out\s+(.+)$/i.exec(trimmed);
-    if (expectOut !== null) {
-        const payload = parseCarrierPayload(expectOut[1]?.trim());
-        if (!payload)
-            return undefined;
-        const carriers = expandCarrierList(payload.carriers);
-        if (!carriers || carriers.length === 0)
-            return undefined;
-        return { kind: 'expectOut', carriers, ...(payload.name ? { name: payload.name } : {}) };
-    }
-    const match = COMPACT_SOURCE_TAG_RE.exec(trimmed);
-    if (!match)
-        return undefined;
-    const tag = match[1].toLowerCase();
-    const rest = match[2]?.trim();
-    const payload = parseCarrierPayload(rest);
-    if (!payload)
-        return undefined;
-    const carriers = expandCarrierList(payload.carriers);
-    if (!carriers || carriers.length === 0)
-        return undefined;
-    if (tag === 'in')
-        return { kind: 'in', carriers, ...(payload.name ? { name: payload.name } : {}) };
-    if (tag === 'out')
-        return { kind: 'out', carriers, ...(payload.name ? { name: payload.name } : {}) };
-    if (tag === 'clobbers')
-        return { kind: 'clobbers', carriers };
-    if (tag === 'preserves')
-        return { kind: 'preserves', carriers };
-    return undefined;
-}
-function parseInterfaceContractLine(line) {
-    const trimmed = line.trim();
-    if (trimmed.length === 0 || trimmed.startsWith(';'))
-        return undefined;
-    const extern = /^extern\s+(\S+)\s*$/i.exec(trimmed);
-    if (extern !== null)
-        return { kind: 'extern', name: extern[1] };
-    if (/^end\s*$/i.test(trimmed))
-        return { kind: 'end' };
-    const match = INTERFACE_TAG_RE.exec(trimmed);
-    if (!match)
-        return undefined;
-    const tag = match[1].toLowerCase();
-    const rest = match[2]?.trim();
-    if (!rest)
-        return undefined;
-    const rawCarriers = rest.split(',').map((part) => part.trim());
-    if (rawCarriers.length === 0 || rawCarriers.some((part) => part.length === 0))
-        return undefined;
-    const carriers = expandCarrierList(rawCarriers);
-    if (!carriers || carriers.length === 0)
-        return undefined;
-    if (tag === 'in')
-        return { kind: 'in', carriers };
-    if (tag === 'out')
-        return { kind: 'out', carriers };
-    if (tag === 'clobbers')
-        return { kind: 'clobbers', carriers };
-    if (tag === 'preserves')
-        return { kind: 'preserves', carriers };
-    return undefined;
-}
-function isCompactSourceCommentLine(line) {
-    return COMPACT_SOURCE_LINE_RE.test(line);
-}
-export function parseSmartComments(sourceLineComments) {
-    const out = [];
-    for (const [file, comments] of sourceLineComments) {
-        for (const [line, text] of comments) {
-            const parsed = parseSmartCommentLine(`;${text}`);
-            if (parsed) {
-                out.push({ file, line, comment: parsed });
-            }
-        }
-    }
-    return out.sort((a, b) => (a.file === b.file ? a.line - b.line : a.file.localeCompare(b.file)));
-}
-function appendUnique(items, values) {
-    for (const value of values) {
-        if (!items.includes(value)) {
-            items.push(value);
-        }
-    }
-}
-function isCommentOnlyLine(line) {
-    return /^\s*;/.test(line);
-}
-function applyContractComment(contract, comment) {
-    if (comment.kind === 'in')
-        appendUnique(contract.in, comment.carriers);
-    if (comment.kind === 'out')
-        appendUnique(contract.out, comment.carriers);
-    if (comment.kind === 'clobbers')
-        appendUnique(contract.clobbers, comment.carriers);
-    if (comment.kind === 'preserves')
-        appendUnique(contract.preserves, comment.carriers);
-}
-function hasContractContent(contract) {
-    return (contract.in.length > 0 ||
-        contract.out.length > 0 ||
-        contract.clobbers.length > 0 ||
-        contract.preserves.length > 0);
-}
-function collectPrecedingCommentBlock(routine, sourceTexts) {
-    const source = sourceTexts.get(routine.span.file);
-    if (source === undefined)
-        return { comments: [], complete: false };
-    const lines = source.split(/\r?\n/);
-    const rawBlock = [];
-    for (let index = routine.span.start.line - 2; index >= 0; index -= 1) {
-        const text = lines[index] ?? '';
-        if (!isCommentOnlyLine(text))
-            break;
-        rawBlock.push({ line: index + 1, text });
-    }
-    rawBlock.reverse();
-    let compactStart = rawBlock.length;
-    while (compactStart > 0 &&
-        isCompactSourceCommentLine(rawBlock[compactStart - 1]?.text ?? '')) {
-        compactStart -= 1;
-    }
-    return {
-        complete: compactStart < rawBlock.length,
-        comments: (compactStart < rawBlock.length ? rawBlock.slice(compactStart) : rawBlock).flatMap((item) => {
-            const parsed = parseSmartCommentLine(item.text);
-            return parsed ? [{ file: routine.span.file, line: item.line, comment: parsed }] : [];
-        }),
-    };
-}
-function buildImplicitRoutineContracts(routines, sourceTexts) {
-    const contracts = new Map();
-    for (const routine of routines) {
-        const docBlock = collectPrecedingCommentBlock(routine, sourceTexts);
-        if (docBlock.comments.some((item) => item.comment.kind === 'extern' || item.comment.kind === 'end')) {
-            continue;
-        }
-        const contract = {
-            name: routine.name,
-            in: [],
-            out: [],
-            clobbers: [],
-            preserves: [],
-            ...(docBlock.complete ? { complete: true } : {}),
-        };
-        for (const item of docBlock.comments) {
-            applyContractComment(contract, item.comment);
-        }
-        if (hasContractContent(contract)) {
-            contracts.set(routine.name, contract);
-        }
-    }
-    return contracts;
-}
-export function buildRoutineContracts(comments, routines = [], sourceTexts = new Map()) {
-    const contracts = new Map();
-    let current;
-    for (const item of comments) {
-        if (item.comment.kind === 'extern') {
-            current = {
-                name: item.comment.name,
-                in: [],
-                out: [],
-                clobbers: [],
-                preserves: [],
-            };
-            contracts.set(item.comment.name, current);
-            continue;
-        }
-        if (item.comment.kind === 'end') {
-            current = undefined;
-            continue;
-        }
-        if (current !== undefined) {
-            applyContractComment(current, item.comment);
-        }
-    }
-    for (const [name, contract] of buildImplicitRoutineContracts(routines, sourceTexts)) {
-        if (!contracts.has(name)) {
-            contracts.set(name, contract);
-        }
-    }
-    return contracts;
-}
-export function parseInterfaceContracts(text, file = '<register-care-interface>') {
-    const comments = [];
-    const lines = text.split(/\r?\n/u);
-    for (const [index, line] of lines.entries()) {
-        const trimmed = line.trim();
-        if (trimmed.length === 0)
-            continue;
-        if (trimmed.startsWith(';')) {
-            throw new Error(`${file}:${index + 1}: .asmi files do not permit comments`);
-        }
-        const comment = parseInterfaceContractLine(line);
-        if (comment === undefined) {
-            throw new Error(`${file}:${index + 1}: invalid register-care interface line \"${trimmed}\"`);
-        }
-        comments.push({ file, line: index + 1, comment });
-    }
-    const routines = buildRoutineContracts(comments);
-    const out = new Map();
-    for (const [name, contract] of routines) {
-        if (hasContractContent(contract))
-            out.set(name, contract);
-    }
-    return out;
-}

package/dist/src/register-care/summaries.d.ts

@@ -1,12 +0,0 @@
-import type { Diagnostic } from '../model/diagnostic.js';
-import type { AnalyzeRegisterCareOptions, RegisterCareDirectCall, RegisterCareRoutine, RoutineContract, RoutineSummary, RegisterCareUnit, RegisterCareOutputCandidate } from './types.js';
-export declare function buildProfileSummaries(profileName: AnalyzeRegisterCareOptions['registerCareProfile']): RoutineSummary[];
-export declare function buildProfileSummaryLookup(profileName: AnalyzeRegisterCareOptions['registerCareProfile']): Map<string, RoutineSummary>;
-export declare function routineNames(routines: readonly RegisterCareRoutine[]): string[];
-export declare function buildSummaries(routines: readonly RegisterCareRoutine[], contractMap: Map<string, RoutineContract>, profileSummaries?: readonly RoutineSummary[]): RoutineSummary[];
-export declare function buildSummaryByName(routines: readonly RegisterCareRoutine[], summaries: readonly RoutineSummary[], profileSummaries?: readonly RoutineSummary[]): Map<string, RoutineSummary>;
-export declare function withAcceptedOutputs(summaries: readonly RoutineSummary[], acceptedOutputCandidates: ReadonlyMap<string, RegisterCareUnit[]> | undefined): RoutineSummary[];
-export declare function unknownBoundaryDiagnostics(directBoundaries: readonly RegisterCareDirectCall[], knownRoutines: ReadonlySet<string>): Diagnostic[];
-export declare function unknownCallList(directBoundaries: readonly RegisterCareDirectCall[], knownRoutines: ReadonlySet<string>): string[];
-export declare function buildOutputCandidateFixability(routines: readonly RegisterCareRoutine[], outputCandidates: readonly RegisterCareOutputCandidate[], autoFixableCandidateKeys: (routines: RegisterCareRoutine[], outputCandidates: RegisterCareOutputCandidate[]) => ReadonlySet<string>): ReadonlyMap<string, boolean>;
-export declare function outputCandidateKey(file: string, line: number, column: number): string;

package/dist/src/register-care/summary.d.ts

@@ -1,3 +0,0 @@
-import type { RegisterCareRoutine, RoutineContract, RoutineSummary } from './types.js';
-export declare function inferRoutineSummary(routine: RegisterCareRoutine, boundarySummaries?: ReadonlyMap<string, RoutineSummary>): RoutineSummary;
-export declare function applyRoutineContract(summary: RoutineSummary, contract: RoutineContract): RoutineSummary;