Crate xlsynth 

Re-exports

pub use ir_value::IrBits;

pub use ir_value::IrSBits;

pub use ir_value::IrUBits;

pub use aot_lib::AotCompiled;

pub use aot_lib::AotEntrypointMetadata;

pub use aot_lib::AotResult;

pub use aot_runner::AotEntrypointDescriptor;

pub use aot_runner::AotRunResult;

pub use aot_runner::AotRunner;

pub use ir_analysis::Interval;

pub use ir_analysis::IntervalSet;

pub use ir_analysis::IrAnalysis;

pub use ir_analysis::IrAnalysisLevel;

pub use ir_analysis::KnownBits;

pub use ir_builder::BValue;

pub use ir_builder::FnBuilder;

pub use ir_package::IrFunction;

pub use ir_package::IrFunctionJit;

pub use ir_package::IrPackage;

pub use ir_package::IrType;

pub use ir_package::RunResult;

pub use ir_package::TraceMessage;

pub use ir_value::IrValue;

pub use xlsynth_error::XlsynthError;

Modules

aot_builder

Build-script helpers that compile XLS IR to AOT artifacts and generate Rust wrappers.

aot_entrypoint_metadata

Parsing and validation helpers for XLS AOT entrypoint metadata protos.

aot_lib

AOT compilation and execution-context helpers built on the xlsynth_sys FFI.

aot_runner

Runtime support for invoking XLS AOT entrypoints via the trampoline ABI.

dslx

APIs that wrap the “DSL X” (DSL) facilities inside of XLS.

dslx_bridge

Library for generating Rust code that reflects the types and callables in a DSLX module subtree.

ir_analysis

ir_builder

ir_package

ir_value

rust_bridge_builder

Builder that creates Rust type definitions from DSLX type definitions.

sv_bridge_builder

Builder that creates SystemVerilog type definitions from DSLX type definitions.

vast

APIs that wrap the Verilog AST building facilities inside of XLS.

vast_helpers

vast_helpers_options

xlsynth_error

Structs

DslxConvertOptions

DslxToIrPackageResult

DslxToIrTextResult

Enums

DslxCallingConvention

Indicates the calling convention used by a DSLX function for mangling.

Functions

convert_dslx_to_ir

Converts DSLX source text into an IR package.

convert_dslx_to_ir_text

Converts a DSLX module’s source text into an IR package. Returns the IR text.

dslx_path_to_module_name

mangle_dslx_name

mangle_dslx_name_with_calling_convention

Mangles a DSLX function name according to the given calling convention. This wraps mangle_dslx_name and applies the implicit-token prefix when DslxCallingConvention::ImplicitToken is specified.

mangle_dslx_name_with_env

Full-featured DSLX name mangling API variant that accepts a prebuilt ParametricEnv.

optimize_ir

Optimizes an IR package – this produces a new IR package with the optimized IR contents.

schedule_and_codegen

x_path_to_rs_bridge

Converts a DSLX module (i.e. .x file) into its corresponding Rust bridge code, and emits that Rust code to a corresponding filename in the out_dir.

x_path_to_rs_bridge_via_env

xls_parse_typed_value