Crate midenc_codegen_masm

Modules

intrinsics

Structs

Block

Represents a single code block in Miden Assembly

BlockId

A handle that refers to a MASM code block

CallFrame

Represents basic information about a frame on the call stack

ConvertHirToMasm

Convert an HIR program or module to Miden Assembly

DebugInfo

Represents the current state of the program being executed for use in debugging/troubleshooting

DebugInfoWithStack

Same as DebugInfo, but takes a clone of the operand stack, rather than a reference

Emulator

Emulator provides us with a means to execute our MASM IR directly without having to emit “real” MASM and run it via the Miden VM. In other words, it’s a convenient way to run tests to verify the expected behavior of a program without all of the baggage of the Miden VM.

Function

This represents a function in Miden Assembly

Import

This represents an import statement in Miden Assembly

InstructionPointer

Library

A Library represents a set of modules and its dependencies, which are compiled/assembled together into a single artifact, and then linked into a Program for execution at a later time.

Local

Represents a local allocated on the heap statically

LocalId

A strongly typed identifier for referencing locals associated with a function

MasmCompiler

MasmCompiler is a compiler from Miden IR to MASM IR, an intermediate representation of Miden Assembly which is used within the Miden compiler framework for various purposes, and can be emitted directly to textual Miden Assembly.

Module

This represents a single compiled Miden Assembly module in a form that is designed to integrate well with the rest of our IR. You can think of this as an intermediate representation corresponding to the Miden Assembly AST, i.e. miden_assembly::ast::Module.

ModuleImportInfo

NativePtr

This represents a descriptor for a pointer translated from the IR into a form suitable for referencing data in Miden’s linear memory.

Package

PackageExport

PackageManifest

Program

A Program represents a complete set of modules which are intended to be shipped and executed together.

Region

This struct represents a region of code in Miden Assembly.

Rodata

Represents a read-only data segment, combined with its content digest

Watchpoint

A Watchpoint specifies a region of memory that will trigger a breakpoint in the emulator when it is written to.

WatchpointId

The unique identifier associated with an active Watchpoint

Enums

Breakpoint

A breakpoint can be used to force the emulator to suspend execution when a specific event or condition is reached.

BreakpointEvent

EmulationError

This type represents the various sorts of errors which can occur when running the emulator on a MASM program. Some errors may result in panics, but those which we can handle are represented here.

EmulatorEvent

MasmArtifact

The artifact produced by lowering an [hir::Program] to Miden Assembly

MastArtifact

The artifact produced by lowering a [Program] to a Merkelized Abstract Syntax Tree

Op

This enum represents the Miden Assembly (MASM) instruction set.

WatchMode

Functions

default_function_rewrites

default_rewrites

Type Aliases

CompilerResult

FrozenFunctionList

FrozenModuleTree

FunctionList

ModuleTree