@jhlagado/azm 0.2.1 → 0.2.3

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

@@ -1,432 +0,0 @@
-import { DiagnosticIds } from '../diagnosticTypes.js';
-import { containsCurrentLocation } from '../frontend/immExprUtils.js';
-import { offsetPathInTypeExpr, sizeOfTypeExpr } from './layout.js';
-import { visitDeclTree } from './declVisitor.js';
-import { diagSemanticsError } from './semanticsDiagnostics.js';
-function reportImmArithmeticError(diagnostics, expr, id, message) {
-    diagnostics?.push({
-        id,
-        severity: 'error',
-        message,
-        file: expr.span.file,
-        line: expr.span.start.line,
-        column: expr.span.start.column,
-    });
-}
-const diag = diagSemanticsError;
-export function evalImmExpr(expr, env, diagnostics, options) {
-    const hasUnqualifiedEnumMember = (name) => {
-        if (name.includes('.'))
-            return false;
-        const suffix = `.${name}`;
-        for (const key of env.enums.keys()) {
-            if (key.endsWith(suffix))
-                return true;
-        }
-        return false;
-    };
-    switch (expr.kind) {
-        case 'ImmLiteral':
-            return expr.value;
-        case 'ImmCurrentLocation':
-            return options?.currentLocation;
-        case 'ImmName': {
-            const fromConst = env.equates.get(expr.name) ?? env.equates.get(expr.name.toLowerCase());
-            if (fromConst !== undefined)
-                return fromConst;
-            const fromEnum = env.enums.get(expr.name);
-            if (fromEnum !== undefined)
-                return fromEnum;
-            if (diagnostics && hasUnqualifiedEnumMember(expr.name)) {
-                diagnostics.push({
-                    id: DiagnosticIds.SemanticsError,
-                    severity: 'error',
-                    message: `Enum member "${expr.name}" must be qualified.`,
-                    file: expr.span.file,
-                    line: expr.span.start.line,
-                    column: expr.span.start.column,
-                });
-            }
-            return undefined;
-        }
-        case 'ImmSizeof': {
-            return sizeOfTypeExpr(expr.typeExpr, env, diagnostics);
-        }
-        case 'ImmOffset': {
-            return offsetPathInTypeExpr(expr.typeExpr, expr.path, env, (inner) => evalImmExpr(inner, env, diagnostics, options), diagnostics);
-        }
-        case 'ImmUnary': {
-            const v = evalImmExpr(expr.expr, env, diagnostics, options);
-            if (v === undefined)
-                return undefined;
-            switch (expr.op) {
-                case '+':
-                    return +v;
-                case '-':
-                    return -v;
-                case '~':
-                    return ~v;
-            }
-            return undefined;
-        }
-        case 'ImmBinary': {
-            const l = evalImmExpr(expr.left, env, diagnostics, options);
-            const r = evalImmExpr(expr.right, env, diagnostics, options);
-            if (l === undefined || r === undefined)
-                return undefined;
-            switch (expr.op) {
-                case '*':
-                    return l * r;
-                case '/':
-                    if (r === 0) {
-                        reportImmArithmeticError(diagnostics, expr, DiagnosticIds.ImmDivideByZero, 'Divide by zero in imm expression.');
-                        return undefined;
-                    }
-                    return (l / r) | 0;
-                case '%':
-                    if (r === 0) {
-                        reportImmArithmeticError(diagnostics, expr, DiagnosticIds.ImmModuloByZero, 'Modulo by zero in imm expression.');
-                        return undefined;
-                    }
-                    return l % r;
-                case '+':
-                    return l + r;
-                case '-':
-                    return l - r;
-                case '&':
-                    return l & r;
-                case '^':
-                    return l ^ r;
-                case '|':
-                    return l | r;
-                case '<<':
-                    return l << r;
-                case '>>':
-                    return l >> r;
-            }
-            return undefined;
-        }
-    }
-}
-function isAsmEquNode(item) {
-    return (item.kind === 'AsmEqu' &&
-        typeof item.name === 'string' &&
-        item.value?.kind !== undefined);
-}
-function constValueExpr(item) {
-    const expr = item.value;
-    if (!expr)
-        throw new Error('ASM equ directive is missing an expression.');
-    return expr;
-}
-function isAsmDirectiveItem(item) {
-    return (item.kind === 'AsmOrg' ||
-        item.kind === 'AsmEqu' ||
-        item.kind === 'AsmRawData' ||
-        item.kind === 'AsmLabel' ||
-        item.kind === 'AsmInstruction');
-}
-function isIndexedOperand(op) {
-    if (!op)
-        return false;
-    const expr = op.kind === 'Mem' ? op.expr : op.kind === 'Ea' ? op.expr : undefined;
-    return expr?.kind === 'EaIndex' && expr.index.kind === 'IndexMemIxIy';
-}
-function reg(op) {
-    if (!op)
-        return undefined;
-    if (op.kind === 'Reg')
-        return op.name.toUpperCase();
-    if (op.kind === 'Imm' && op.expr.kind === 'ImmName')
-        return op.expr.name.toUpperCase();
-    return undefined;
-}
-function asmInstructionSize(item) {
-    const head = item.head.toLowerCase();
-    const ops = item.operands;
-    const r0 = reg(ops[0]);
-    const r1 = reg(ops[1]);
-    const indexed = isIndexedOperand(ops[0]) || isIndexedOperand(ops[1]);
-    const ixiyReg = (name) => name === 'IX' ||
-        name === 'IY' ||
-        name === 'IXH' ||
-        name === 'IXL' ||
-        name === 'IYH' ||
-        name === 'IYL';
-    if (['cpi', 'cpir', 'ldi', 'ldir', 'lddr', 'ini', 'outi', 'neg', 'reti', 'retn', 'rld'].includes(head)) {
-        return 2;
-    }
-    if (['nop', 'ccf', 'cpl', 'daa', 'exx', 'rlca', 'rrca', 'rla', 'rra', 'scf'].includes(head)) {
-        return 1;
-    }
-    if (head === 'jr' || head === 'djnz')
-        return 2;
-    if (head === 'call')
-        return 3;
-    if (head === 'jp')
-        return ops[0]?.kind === 'Mem' && ixiyReg(regFromMem(ops[0]))
-            ? 2
-            : ops[0]?.kind === 'Mem'
-                ? 1
-                : 3;
-    if (head === 'ret')
-        return 1;
-    if (head === 'rst')
-        return 1;
-    if (head === 'push' || head === 'pop')
-        return ixiyReg(r0) ? 2 : 1;
-    if (head === 'ex')
-        return ixiyReg(r1) || indexed ? 2 : 1;
-    if (head === 'in' || head === 'out')
-        return 2;
-    if (['bit', 'res', 'set', 'rl', 'rr', 'rlc', 'rrc', 'sla', 'srl'].includes(head))
-        return indexed ? 4 : 2;
-    if (head === 'inc' || head === 'dec')
-        return indexed ? 3 : ixiyReg(r0) ? 2 : 1;
-    if (['add', 'adc', 'sbc'].includes(head)) {
-        if (r0 === 'HL' && r1)
-            return 1;
-        if ((r0 === 'IX' || r0 === 'IY') && r1)
-            return 2;
-        if (r0 === 'HL')
-            return 2;
-        if (indexed)
-            return 3;
-        return ops[1]?.kind === 'Imm' || (ops.length === 1 && ops[0]?.kind === 'Imm') ? 2 : 1;
-    }
-    if (['sub', 'and', 'or', 'xor', 'cp'].includes(head))
-        return indexed ? 3 : ops[0]?.kind === 'Imm' ? 2 : 1;
-    if (head === 'ld') {
-        if (indexed)
-            return ops[0]?.kind === 'Imm' || ops[1]?.kind === 'Imm' ? 4 : 3;
-        if (ops[0]?.kind === 'Mem' || ops[1]?.kind === 'Mem') {
-            const memOp = ops[0]?.kind === 'Mem' ? ops[0] : ops[1];
-            const memReg = ops[0]?.kind === 'Mem' ? r1 : r0;
-            const indirectReg = regFromMem(memOp);
-            if (indirectReg) {
-                if (memReg === 'A' && (indirectReg === 'BC' || indirectReg === 'DE'))
-                    return 1;
-                if (indirectReg === 'HL')
-                    return 1;
-            }
-            return memReg && ['BC', 'DE', 'SP', 'IX', 'IY'].includes(memReg) ? 4 : 3;
-        }
-        if (ixiyReg(r0) || ixiyReg(r1))
-            return ops[1]?.kind === 'Imm' ? 4 : 2;
-        if (ops[1]?.kind === 'Imm')
-            return r0 && ['BC', 'DE', 'HL', 'SP'].includes(r0) ? 3 : 2;
-        return 1;
-    }
-    return 1;
-}
-function regFromMem(op) {
-    if (!op || op.kind !== 'Mem')
-        return undefined;
-    if (op.expr.kind === 'EaName')
-        return op.expr.name.toUpperCase();
-    if (op.expr.kind === 'EaIndex' && op.expr.index.kind === 'IndexMemIxIy')
-        return op.expr.index.base;
-    return undefined;
-}
-function asmRawDataSize(item, env) {
-    const values = item.values ?? [];
-    if (item.directive === 'ds') {
-        if (!item.size)
-            return 0;
-        if (item.size.kind === 'ImmName') {
-            const constValue = env.equates.get(item.size.name) ?? env.equates.get(item.size.name.toLowerCase());
-            const enumValue = env.enums.get(item.size.name);
-            if (constValue === undefined && enumValue === undefined) {
-                const typeSize = sizeOfTypeExpr({ kind: 'TypeName', span: item.size.span, name: item.size.name }, env, undefined);
-                if (typeSize !== undefined)
-                    return typeSize;
-            }
-        }
-        return evalImmExpr(item.size, env) ?? 0;
-    }
-    if (item.directive === 'dw')
-        return values.length * 2;
-    if (item.directive === 'cstr')
-        return asmStringLength(values[0]) + 1;
-    if (item.directive === 'pstr')
-        return asmStringLength(values[0]) + 1;
-    if (item.directive === 'istr')
-        return asmStringLength(values[0]);
-    return values.reduce((size, value) => size + asmStringLength(value, 1), 0);
-}
-function asmStringLength(value, fallback = 0) {
-    if (typeof value === 'string')
-        return value.length;
-    if (value && typeof value === 'object' && 'kind' in value && value.kind === 'AsmString') {
-        return 'value' in value && typeof value.value === 'string' ? value.value.length : fallback;
-    }
-    return fallback;
-}
-function seedAsmCurrentLocationEquates(program, env) {
-    for (const mf of program.files) {
-        if (!mf.items.some((item) => isAsmDirectiveItem(item)))
-            continue;
-        const scratchEnv = { ...env, equates: new Map(env.equates) };
-        let current = 0;
-        for (const item of mf.items) {
-            const kind = item.kind;
-            switch (kind) {
-                case 'AsmOrg': {
-                    const expr = item.value;
-                    const value = expr ? evalImmExpr(expr, scratchEnv) : undefined;
-                    if (value !== undefined)
-                        current = value;
-                    break;
-                }
-                case 'AsmLabel': {
-                    const label = item;
-                    scratchEnv.equates.set(label.name, current);
-                    scratchEnv.equates.set(label.name.toLowerCase(), current);
-                    break;
-                }
-                case 'AsmEqu': {
-                    const equ = item;
-                    if (env.types.has(equ.name))
-                        break;
-                    const expr = equ.value;
-                    if (expr) {
-                        env.asmEquExprs?.set(equ.name, { expr, currentLocation: current });
-                        env.asmEquExprs?.set(equ.name.toLowerCase(), { expr, currentLocation: current });
-                        const value = containsCurrentLocation(expr)
-                            ? evalImmExpr(expr, scratchEnv, undefined, { currentLocation: current })
-                            : evalImmExpr(expr, scratchEnv);
-                        if (value !== undefined) {
-                            env.equates.set(equ.name, value);
-                            env.equates.set(equ.name.toLowerCase(), value);
-                            scratchEnv.equates.set(equ.name, value);
-                            scratchEnv.equates.set(equ.name.toLowerCase(), value);
-                        }
-                    }
-                    break;
-                }
-                case 'AsmRawData':
-                    {
-                        const raw = item;
-                        if (raw.name) {
-                            scratchEnv.equates.set(raw.name, current);
-                            scratchEnv.equates.set(raw.name.toLowerCase(), current);
-                        }
-                        current += asmRawDataSize(raw, scratchEnv);
-                    }
-                    break;
-                case 'AsmInstruction':
-                    current += asmInstructionSize(item);
-                    break;
-            }
-        }
-    }
-}
-export function buildEnv(program, diagnostics) {
-    const equates = new Map();
-    const asmEquExprs = new Map();
-    const enums = new Map();
-    const types = new Map();
-    if (program.files.length === 0) {
-        diag(diagnostics, program.entryFile, 'No source files to compile.');
-        return {
-            equates,
-            enums,
-            types,
-        };
-    }
-    const collectedByFile = new Map();
-    for (const mf of program.files) {
-        const collected = {
-            types: [],
-            enums: [],
-            equates: [],
-        };
-        visitDeclTree(mf.items, (item) => {
-            if (item.kind === 'TypeDecl' || item.kind === 'UnionDecl') {
-                collected.types.push(item);
-                return;
-            }
-            if (item.kind === 'EnumDecl') {
-                collected.enums.push(item);
-                return;
-            }
-            if (isAsmEquNode(item)) {
-                collected.equates.push(item);
-            }
-        });
-        collectedByFile.set(mf.path, collected);
-    }
-    const globalLower = new Map();
-    const claim = (kind, name, file) => {
-        const k = name.toLowerCase();
-        const prev = globalLower.get(k);
-        if (prev) {
-            diag(diagnostics, file, `Name "${name}" collides with ${prev.kind} "${prev.name}".`);
-            return false;
-        }
-        globalLower.set(k, { kind, name, file });
-        return true;
-    };
-    for (const mf of program.files) {
-        const collected = collectedByFile.get(mf.path);
-        if (!collected)
-            continue;
-        for (const item of collected.types) {
-            const kind = item.kind === 'TypeDecl' ? 'type' : 'union';
-            const name = item.name;
-            if (!claim(kind, name, item.span.file))
-                continue;
-            types.set(name, item);
-        }
-    }
-    for (const mf of program.files) {
-        const collected = collectedByFile.get(mf.path);
-        if (!collected)
-            continue;
-        for (const e of collected.enums) {
-            claim('enum', e.name, e.span.file);
-            for (let idx = 0; idx < e.members.length; idx++) {
-                const name = e.members[idx];
-                const qualifiedName = `${e.name}.${name}`;
-                if (!claim('enum member', qualifiedName, e.span.file))
-                    continue;
-                enums.set(qualifiedName, idx);
-            }
-        }
-    }
-    const env = {
-        equates,
-        enums,
-        types,
-        asmEquExprs,
-    };
-    seedAsmCurrentLocationEquates(program, env);
-    for (const mf of program.files) {
-        const collected = collectedByFile.get(mf.path);
-        if (!collected)
-            continue;
-        for (const item of collected.equates) {
-            if (types.has(item.name)) {
-                diag(diagnostics, item.span.file, `Equate name "${item.name}" collides with a type name.`);
-                continue;
-            }
-            if (!claim('equate', item.name, item.span.file))
-                continue;
-            if (equates.has(item.name.toLowerCase()))
-                continue;
-            const expr = constValueExpr(item);
-            if (!asmEquExprs.has(item.name))
-                asmEquExprs.set(item.name, { expr });
-            if (!asmEquExprs.has(item.name.toLowerCase())) {
-                asmEquExprs.set(item.name.toLowerCase(), { expr });
-            }
-            const v = evalImmExpr(expr, env, diagnostics);
-            if (v === undefined) {
-                continue;
-            }
-            equates.set(item.name, v);
-            equates.set(item.name.toLowerCase(), v);
-        }
-    }
-    return env;
-}

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

@@ -1,21 +0,0 @@
-import type { Diagnostic } from '../diagnosticTypes.js';
-import type { ImmExprNode, OffsetPathNode, TypeExprNode } from '../frontend/ast.js';
-import type { CompileEnv } from './env.js';
-interface TypeLayoutInfo {
-    size: number;
-}
-export declare function layoutInfoForTypeExpr(typeExpr: TypeExprNode, env: CompileEnv, diagnostics?: Diagnostic[]): TypeLayoutInfo | undefined;
-/**
- * Compute the exact semantic size in bytes of a type expression.
- */
-export declare function sizeOfTypeExpr(typeExpr: TypeExprNode, env: CompileEnv, diagnostics?: Diagnostic[]): number | undefined;
-/**
- * Compute the byte offset of a field path inside a type expression.
- *
- * Rules:
- * - Record fields contribute exact sizes of preceding fields.
- * - Union field offsets are always 0.
- * - Array indices must be compile-time constants and contribute index * element exact size.
- */
-export declare function offsetPathInTypeExpr(typeExpr: TypeExprNode, path: OffsetPathNode, env: CompileEnv, evalImm: (expr: ImmExprNode) => number | undefined, diagnostics?: Diagnostic[]): number | undefined;
-export {};

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

@@ -1,226 +0,0 @@
-import { DiagnosticIds } from '../diagnosticTypes.js';
-function scalarSize(name) {
-    switch (name) {
-        case 'byte':
-            return 1;
-        case 'word':
-        case 'addr':
-            return 2;
-        default:
-            return undefined;
-    }
-}
-function reportTypeError(diagnostics) {
-    return (file, message) => {
-        diagnostics?.push({ id: DiagnosticIds.TypeError, severity: 'error', message, file });
-    };
-}
-function reportMissingArrayLength(te, diag) {
-    diag(te.span.file, `Array length is required here; write T[N].`);
-}
-function resolveNamedType(te, env, visiting, diag, onResolve) {
-    const s = scalarSize(te.name);
-    if (s !== undefined)
-        return onResolve({ kind: 'Scalar', name: te.name, size: s });
-    if (visiting.has(te.name)) {
-        diag(te.span.file, `Recursive type definition detected for "${te.name}".`);
-        return undefined;
-    }
-    const decl = env.types.get(te.name);
-    if (!decl) {
-        diag(te.span.file, `Unknown type "${te.name}".`);
-        return undefined;
-    }
-    visiting.add(te.name);
-    try {
-        return onResolve({ kind: 'Decl', decl });
-    }
-    finally {
-        visiting.delete(te.name);
-    }
-}
-function sumFieldSizes(fields, resolveTypeExpr) {
-    let sum = 0;
-    for (const f of fields) {
-        const fs = resolveTypeExpr(f.typeExpr);
-        if (!fs)
-            return undefined;
-        sum += fs.size;
-    }
-    return { size: sum };
-}
-function maxFieldSize(fields, resolveTypeExpr) {
-    let maxLayout = 0;
-    for (const f of fields) {
-        const fs = resolveTypeExpr(f.typeExpr);
-        if (!fs)
-            return undefined;
-        if (fs.size > maxLayout)
-            maxLayout = fs.size;
-    }
-    return { size: maxLayout };
-}
-function typeLayoutInfoForDecl(decl, resolveTypeExpr) {
-    if (decl.kind === 'UnionDecl') {
-        return maxFieldSize(decl.fields, resolveTypeExpr);
-    }
-    const te = decl.typeExpr;
-    if (te.kind === 'RecordType') {
-        return sumFieldSizes(te.fields, resolveTypeExpr);
-    }
-    return resolveTypeExpr(te);
-}
-export function layoutInfoForTypeExpr(typeExpr, env, diagnostics) {
-    const visiting = new Set();
-    const memo = new Map();
-    const diag = reportTypeError(diagnostics);
-    const sizeOf = (te) => {
-        switch (te.kind) {
-            case 'TypeName': {
-                const cached = memo.get(te.name);
-                if (cached !== undefined)
-                    return cached;
-                return resolveNamedType(te, env, visiting, diag, (resolved) => {
-                    if (resolved.kind === 'Scalar') {
-                        return { size: resolved.size };
-                    }
-                    const info = typeLayoutInfoForDecl(resolved.decl, sizeOf);
-                    if (info)
-                        memo.set(te.name, info);
-                    return info;
-                });
-            }
-            case 'ArrayType': {
-                const es = sizeOf(te.element);
-                if (!es)
-                    return undefined;
-                if (te.length === undefined) {
-                    reportMissingArrayLength(te, diag);
-                    return undefined;
-                }
-                return { size: es.size * te.length };
-            }
-            case 'RecordType':
-                return sumFieldSizes(te.fields, sizeOf);
-        }
-    };
-    return sizeOf(typeExpr);
-}
-/**
- * Compute the exact semantic size in bytes of a type expression.
- */
-export function sizeOfTypeExpr(typeExpr, env, diagnostics) {
-    const info = layoutInfoForTypeExpr(typeExpr, env, diagnostics);
-    return info?.size;
-}
-/**
- * Compute the byte offset of a field path inside a type expression.
- *
- * Rules:
- * - Record fields contribute exact sizes of preceding fields.
- * - Union field offsets are always 0.
- * - Array indices must be compile-time constants and contribute index * element exact size.
- */
-export function offsetPathInTypeExpr(typeExpr, path, env, evalImm, diagnostics) {
-    const diag = reportTypeError(diagnostics);
-    const resolveType = (te, visiting = new Set()) => {
-        switch (te.kind) {
-            case 'TypeName':
-                return resolveNamedType(te, env, visiting, diag, (resolved) => {
-                    if (resolved.kind === 'Scalar')
-                        return { kind: 'Scalar', name: resolved.name };
-                    if (resolved.decl.kind === 'UnionDecl')
-                        return { kind: 'Union', fields: resolved.decl.fields };
-                    return resolveType(resolved.decl.typeExpr, visiting);
-                });
-            case 'ArrayType': {
-                if (te.length === undefined) {
-                    reportMissingArrayLength(te, diag);
-                    return undefined;
-                }
-                return { kind: 'Array', element: te.element, length: te.length };
-            }
-            case 'RecordType':
-                return { kind: 'Record', fields: te.fields };
-        }
-    };
-    const findField = (fields, fieldName, file) => {
-        let offsetBefore = 0;
-        for (const f of fields) {
-            if (f.name === fieldName)
-                return { field: f, offsetBefore };
-            const fs = sizeOfTypeExpr(f.typeExpr, env, diagnostics);
-            if (fs === undefined)
-                return undefined;
-            offsetBefore += fs;
-        }
-        diag(file, `Unknown field "${fieldName}".`);
-        return undefined;
-    };
-    const initial = resolveType(typeExpr);
-    if (!initial)
-        return undefined;
-    let cur = initial;
-    let total = 0;
-    const file = path.span.file;
-    const selectField = (name) => {
-        if (cur.kind === 'Record') {
-            const found = findField(cur.fields, name, file);
-            if (!found)
-                return false;
-            total += found.offsetBefore;
-            const next = resolveType(found.field.typeExpr);
-            if (!next)
-                return false;
-            cur = next;
-            return true;
-        }
-        if (cur.kind === 'Union') {
-            const found = findField(cur.fields, name, file);
-            if (!found)
-                return false;
-            const next = resolveType(found.field.typeExpr);
-            if (!next)
-                return false;
-            cur = next;
-            return true;
-        }
-        diag(file, `Cannot select field "${name}" from non-record/union type.`);
-        return false;
-    };
-    if (path.base !== undefined && !selectField(path.base))
-        return undefined;
-    for (const step of path.steps) {
-        if (step.kind === 'OffsetField') {
-            if (!selectField(step.name))
-                return undefined;
-            continue;
-        }
-        if (cur.kind !== 'Array') {
-            diag(file, `Cannot index into non-array type in offset path.`);
-            return undefined;
-        }
-        const idx = evalImm(step.expr);
-        if (idx === undefined) {
-            diag(file, `Failed to evaluate offset index expression.`);
-            return undefined;
-        }
-        if (!Number.isInteger(idx)) {
-            diag(file, `offset index must evaluate to an integer.`);
-            return undefined;
-        }
-        if (idx < 0 || idx >= cur.length) {
-            diag(file, `offset index ${idx} out of bounds for length ${cur.length}.`);
-            return undefined;
-        }
-        const elemSize = sizeOfTypeExpr(cur.element, env, diagnostics);
-        if (elemSize === undefined)
-            return undefined;
-        total += idx * elemSize;
-        const next = resolveType(cur.element);
-        if (!next)
-            return undefined;
-        cur = next;
-    }
-    return total;
-}

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

@@ -1,22 +0,0 @@
-import type { Diagnostic } from '../diagnosticTypes.js';
-import type { EaExprNode, ImmExprNode, SourceSpan } from '../frontend/ast.js';
-import type { CompileEnv } from './env.js';
-type LayoutCastAbsFold = {
-    baseLower: string;
-    addend: number;
-};
-export declare function isConstantLayoutCastEa(ea: EaExprNode): boolean;
-/** Label or label +/- imm base for `<Type>base[path]`. */
-export declare function isLayoutCastLabelBase(ea: EaExprNode): boolean;
-/**
- * Fold `<Type>label[path]` to a label fixup addend when the cast uses a label base
- * and compile-time indexes only.
- */
-export declare function foldLayoutCastAbsEa(ea: EaExprNode, params: {
-    env: CompileEnv;
-    evalImm: (expr: ImmExprNode) => number | undefined;
-    resolveAbsBase: (baseEa: EaExprNode) => LayoutCastAbsFold | undefined;
-    diagnostics?: Diagnostic[];
-}): LayoutCastAbsFold | undefined;
-export declare function diagLayoutCastRuntimeIndex(diagnostics: Diagnostic[], span: SourceSpan, ea: EaExprNode): boolean;
-export {};