Crate xlsynth 

Re-exports

pub use ir_value::IrBits;

pub use ir_value::IrSBits;

pub use ir_value::IrUBits;

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 ir_values::IrValuesFile;

pub use ir_values::IrValuesFileKind;

pub use ir_values::NamedIrValue;

pub use ir_values::NamedIrValueSet;

pub use ir_values::parse_ir_values;

pub use ir_values::parse_ir_values_file;

pub use xlsynth_error::XlsynthError;

Modules

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

ir_values

Parsing and formatting for newline-delimited XLS IR value sequences.

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.

default_dslx_stdlib_path

Returns the bundled DSLX standard library path used by default conversions.

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

xls_parse_typed_value