@jhlagado/azm 0.2.0 → 0.2.2

package/dist/legacy-root-azm/src/registerCare/smartComments.js

@@ -1,247 +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((s) => s.trim())
-            .filter(Boolean);
-        const name = match[2]?.trim();
-        return { carriers, ...(name ? { name } : {}) };
-    }
-    const tokens = rest.trim().split(/\s+/);
-    const carriers = [];
-    let consumed = 0;
-    for (const token of tokens) {
-        const cleaned = token.replace(/[.:;]+$/u, '');
-        const parts = cleaned
-            .split(',')
-            .map((s) => s.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) {
-        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)
-        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 isCompactSourceContractLine(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.localeCompare(b.file) || a.line - b.line);
-}
-function appendUnique(out, items) {
-    for (const item of items) {
-        if (!out.includes(item))
-            out.push(item);
-    }
-}
-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 isCommentOnlyLine(line) {
-    return /^\s*;/.test(line);
-}
-function collectPrecedingCommentBlock(routine, sourceTexts) {
-    const source = sourceTexts.get(routine.span.file);
-    if (!source)
-        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 raw = lines[index] ?? '';
-        if (!isCommentOnlyLine(raw))
-            break;
-        rawBlock.push({ line: index + 1, text: raw });
-    }
-    rawBlock.reverse();
-    let compactStart = rawBlock.length;
-    while (compactStart > 0 && isCompactSourceContractLine(rawBlock[compactStart - 1]?.text ?? '')) {
-        compactStart -= 1;
-    }
-    if (compactStart < rawBlock.length) {
-        return {
-            complete: true,
-            comments: rawBlock.slice(compactStart).flatMap((item) => {
-                const parsed = parseSmartCommentLine(item.text);
-                return parsed ? [{ file: routine.span.file, line: item.line, comment: parsed }] : [];
-            }),
-        };
-    }
-    return {
-        complete: false,
-        comments: 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) {
-        const comment = item.comment;
-        if (comment.kind === 'extern') {
-            current = {
-                name: comment.name,
-                in: [],
-                out: [],
-                clobbers: [],
-                preserves: [],
-                complete: true,
-            };
-            contracts.set(comment.name, current);
-            continue;
-        }
-        if (comment.kind === 'end') {
-            current = undefined;
-            continue;
-        }
-        if (!current)
-            continue;
-        applyContractComment(current, 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/);
-    lines.forEach((line, index) => {
-        const trimmed = line.trim();
-        if (trimmed.length === 0)
-            return;
-        if (trimmed.startsWith(';')) {
-            throw new Error(`${file}:${index + 1}: .asmi files do not permit comments`);
-        }
-        const comment = parseInterfaceContractLine(line);
-        if (!comment) {
-            throw new Error(`${file}:${index + 1}: invalid register-care interface line "${trimmed}"`);
-        }
-        comments.push({ file, line: index + 1, comment });
-    });
-    return buildRoutineContracts(comments);
-}

package/dist/legacy-root-azm/src/registerCare/types.d.ts

@@ -1,154 +0,0 @@
-import type { AsmInstructionNode, SourceSpan } from '../frontend/ast.js';
-export type RegisterCareMode = 'off' | 'audit' | 'warn' | 'error' | 'strict';
-export type RegisterCareUnit = 'A' | 'B' | 'C' | 'D' | 'E' | 'H' | 'L' | 'IXH' | 'IXL' | 'IYH' | 'IYL' | 'SPH' | 'SPL' | 'carry' | 'zero' | 'sign' | 'parity' | 'halfCarry';
-type StackEffect = {
-    kind: 'none';
-} | {
-    kind: 'push';
-    units: RegisterCareUnit[];
-} | {
-    kind: 'pop';
-    units: RegisterCareUnit[];
-} | {
-    kind: 'exchangeTop';
-    units: RegisterCareUnit[];
-} | {
-    kind: 'unknown';
-};
-export type ControlEffect = {
-    kind: 'fallthrough';
-} | {
-    kind: 'call';
-    target?: string;
-    conditional: boolean;
-} | {
-    kind: 'rst';
-    vector?: number;
-} | {
-    kind: 'return';
-} | {
-    kind: 'jump';
-    target?: string;
-    conditional: boolean;
-} | {
-    kind: 'unknown';
-};
-export interface InstructionEffect {
-    reads: RegisterCareUnit[];
-    writes: RegisterCareUnit[];
-    stack: StackEffect;
-    control: ControlEffect;
-}
-export type SmartComment = {
-    kind: 'extern';
-    name: string;
-} | {
-    kind: 'end';
-} | {
-    kind: 'in';
-    carriers: RegisterCareUnit[];
-    name?: string;
-} | {
-    kind: 'out';
-    carriers: RegisterCareUnit[];
-    name?: string;
-} | {
-    kind: 'clobbers';
-    carriers: RegisterCareUnit[];
-} | {
-    kind: 'preserves';
-    carriers: RegisterCareUnit[];
-} | {
-    kind: 'expectOut';
-    carriers: RegisterCareUnit[];
-    name?: string;
-};
-export interface LocatedSmartComment {
-    file: string;
-    line: number;
-    comment: SmartComment;
-}
-export interface RoutineContract {
-    name: string;
-    in: RegisterCareUnit[];
-    out: RegisterCareUnit[];
-    clobbers: RegisterCareUnit[];
-    preserves: RegisterCareUnit[];
-    complete?: boolean;
-}
-export interface RegisterCareInstruction {
-    instruction: AsmInstructionNode;
-    head: string;
-    file: string;
-    line: number;
-    column: number;
-    labels: string[];
-}
-export interface RegisterCareRoutine {
-    name: string;
-    span: SourceSpan;
-    labels: string[];
-    entryLabels?: string[];
-    instructions: RegisterCareInstruction[];
-}
-export interface RegisterCareDirectCall {
-    target: string;
-    subject: string;
-    file: string;
-    line: number;
-    column: number;
-}
-export interface RegisterCareProgramModel {
-    routines: RegisterCareRoutine[];
-    directCallTargets: string[];
-    directCalls: RegisterCareDirectCall[];
-    directBoundaries: RegisterCareDirectCall[];
-}
-export interface ValueRelation {
-    out: RegisterCareUnit[];
-    from: RegisterCareUnit[];
-}
-export interface RoutineSummary {
-    name: string;
-    mayRead: RegisterCareUnit[];
-    mayWrite: RegisterCareUnit[];
-    preserved: RegisterCareUnit[];
-    valueRelations: ValueRelation[];
-    outputCandidates?: RegisterCareUnit[];
-    stackBalanced: boolean;
-    hasUnknownStackEffect: boolean;
-}
-export interface RegisterCareConflict {
-    file: string;
-    line: number;
-    column: number;
-    callTarget: string;
-    carriers: RegisterCareUnit[];
-    message: string;
-}
-export interface RegisterCareUnknownBoundary {
-    file: string;
-    line: number;
-    column: number;
-    target: string;
-    message: string;
-}
-export interface RegisterCareOutputCandidate {
-    file: string;
-    line: number;
-    column: number;
-    routine: string;
-    carriers: RegisterCareUnit[];
-    autoFixable?: boolean;
-    message: string;
-}
-export interface RegisterCareReportModel {
-    entryFile: string;
-    mode: RegisterCareMode;
-    profile?: string;
-    summaries: RoutineSummary[];
-    conflicts: RegisterCareConflict[];
-    outputCandidates?: RegisterCareOutputCandidate[];
-    unknownCalls: string[];
-}
-export {};

package/dist/legacy-root-azm/src/registerCare/types.js

@@ -1 +0,0 @@
-export {};

package/dist/legacy-root-azm/src/semantics/declVisitor.d.ts

@@ -1,5 +0,0 @@
-import type { SourceItemNode } from '../frontend/ast.js';
-type DeclNode = SourceItemNode;
-type DeclVisitContext = Record<string, never>;
-export declare function visitDeclTree(items: SourceItemNode[], visit: (item: DeclNode, ctx: DeclVisitContext) => void): void;
-export {};

package/dist/legacy-root-azm/src/semantics/declVisitor.js

@@ -1,11 +0,0 @@
-export function visitDeclTree(items, visit) {
-    const walkEntry = (entry, ctx) => {
-        if (entry.kind === 'AsmLabel' || entry.kind === 'AsmInstruction') {
-            return;
-        }
-        visit(entry, ctx);
-    };
-    for (const item of items) {
-        walkEntry(item, {});
-    }
-}

package/dist/legacy-root-azm/src/semantics/env.d.ts

@@ -1,28 +0,0 @@
-import type { Diagnostic } from '../diagnosticTypes.js';
-import type { ImmExprNode, ProgramNode, TypeDeclNode, UnionDeclNode } from '../frontend/ast.js';
-export interface CompileEnv {
-    /**
-     * Map of equate name -> evaluated numeric value.
-     *
-     * Values are plain JavaScript numbers; interpretation (imm8/imm16 wrapping, etc.) happens at use sites.
-     */
-    equates: Map<string, number>;
-    /**
-     * Map of enum member name -> evaluated numeric value.
-     */
-    enums: Map<string, number>;
-    /**
-     * Map of type name -> type declaration.
-     *
-     * Layout declarations used by sizeof/offset and layout casts.
-     */
-    types: Map<string, TypeDeclNode | UnionDeclNode>;
-    asmEquExprs?: Map<string, {
-        expr: ImmExprNode;
-        currentLocation?: number;
-    }>;
-}
-export declare function evalImmExpr(expr: ImmExprNode, env: CompileEnv, diagnostics?: Diagnostic[], options?: {
-    currentLocation?: number;
-}): number | undefined;
-export declare function buildEnv(program: ProgramNode, diagnostics: Diagnostic[]): CompileEnv;