Skip to main content

Crate xlsynth_sys

Crate xlsynth_sys

Expand description

Declarations for the C API for the XLS dynamic shared object.

Structs§

Constants§

DSLX_STDLIB_PATH
XLS_CALLING_CONVENTION_IMPLICIT_TOKEN
XLS_CALLING_CONVENTION_PROC_NEXT
XLS_CALLING_CONVENTION_TYPICAL
XLS_DSLX_ATTRIBUTE_ARGUMENT_KIND_INT_KEY_VALUE
XLS_DSLX_ATTRIBUTE_ARGUMENT_KIND_STRING
XLS_DSLX_ATTRIBUTE_ARGUMENT_KIND_STRING_KEY_VALUE
XLS_DSLX_ATTRIBUTE_ARGUMENT_KIND_STRING_LITERAL
XLS_DSLX_ATTRIBUTE_KIND_CFG
XLS_DSLX_ATTRIBUTE_KIND_DSLX_FORMAT_DISABLE
XLS_DSLX_ATTRIBUTE_KIND_EXTERN_VERILOG
XLS_DSLX_ATTRIBUTE_KIND_QUICKCHECK
XLS_DSLX_ATTRIBUTE_KIND_SV_TYPE
XLS_DSLX_ATTRIBUTE_KIND_TEST
XLS_DSLX_ATTRIBUTE_KIND_TEST_PROC
XLS_DSO_PATH: Path describing where the libxls shared library was materialized.
XLS_IR_ANALYSIS_LEVEL_FAST
XLS_IR_ANALYSIS_LEVEL_RANGE_WITH_CONTEXT

Functions§

xls_aot_compile_function^⚠
xls_aot_entrypoint_trampoline^⚠
xls_aot_entrypoints_proto_free^⚠
xls_aot_exec_context_clear_events^⚠
xls_aot_exec_context_create^⚠
xls_aot_exec_context_free^⚠
xls_aot_exec_context_get_assert_message^⚠
xls_aot_exec_context_get_trace_message^⚠
xls_aot_object_code_free^⚠
xls_bits_abs^⚠
xls_bits_add^⚠
xls_bits_and^⚠
xls_bits_eq^⚠
xls_bits_free^⚠
xls_bits_get_bit^⚠
xls_bits_get_bit_count^⚠
xls_bits_make_bits_from_bytes^⚠
xls_bits_make_sbits^⚠
xls_bits_make_ubits^⚠
xls_bits_ne^⚠
xls_bits_negate^⚠
xls_bits_not^⚠
xls_bits_or^⚠
xls_bits_rope_append_bits^⚠
xls_bits_rope_free^⚠
xls_bits_rope_get_bits^⚠
xls_bits_sdiv^⚠
xls_bits_sge^⚠
xls_bits_sgt^⚠
xls_bits_shift_left_logical^⚠
xls_bits_shift_right_arithmetic^⚠
xls_bits_shift_right_logical^⚠
xls_bits_sle^⚠
xls_bits_slt^⚠
xls_bits_smod^⚠
xls_bits_smul^⚠
xls_bits_sub^⚠
xls_bits_to_bytes^⚠
xls_bits_to_debug_string^⚠
xls_bits_to_int64^⚠
xls_bits_to_string^⚠
xls_bits_to_uint64^⚠
xls_bits_udiv^⚠
xls_bits_uge^⚠
xls_bits_ugt^⚠
xls_bits_ule^⚠
xls_bits_ult^⚠
xls_bits_umod^⚠
xls_bits_umul^⚠
xls_bits_width_slice^⚠
xls_bits_xor^⚠
xls_bytes_free^⚠
xls_c_str_free^⚠
xls_c_strs_free^⚠
xls_convert_dslx_path_to_ir^⚠
xls_convert_dslx_path_to_ir_with_warnings^⚠
xls_convert_dslx_to_ir^⚠
xls_convert_dslx_to_ir_with_warnings^⚠
xls_create_bits_rope^⚠
xls_dslx_array_type_annotation_get_element_type^⚠
xls_dslx_attribute_get_argument_count^⚠
xls_dslx_attribute_get_argument_kind^⚠
xls_dslx_attribute_get_key_value_argument_key^⚠
xls_dslx_attribute_get_key_value_int_argument_value^⚠
xls_dslx_attribute_get_key_value_string_argument_value^⚠
xls_dslx_attribute_get_kind^⚠
xls_dslx_attribute_get_string_argument^⚠
xls_dslx_attribute_get_string_literal_argument^⚠
xls_dslx_attribute_to_string^⚠
xls_dslx_call_graph_free^⚠
xls_dslx_call_graph_get_callee_count^⚠
xls_dslx_call_graph_get_callee_function^⚠
xls_dslx_call_graph_get_function^⚠
xls_dslx_call_graph_get_function_count^⚠
xls_dslx_colon_ref_get_attr^⚠
xls_dslx_colon_ref_resolve_import_subject^⚠
xls_dslx_constant_def_get_name^⚠
xls_dslx_constant_def_get_value^⚠
xls_dslx_constant_def_to_string^⚠
xls_dslx_enum_def_get_identifier^⚠
xls_dslx_enum_def_get_member^⚠
xls_dslx_enum_def_get_member_count^⚠
xls_dslx_enum_def_get_underlying^⚠
xls_dslx_enum_def_to_string^⚠
xls_dslx_enum_member_get_name^⚠
xls_dslx_enum_member_get_value^⚠
xls_dslx_expr_get_owner_module^⚠
xls_dslx_expr_to_string^⚠
xls_dslx_function_get_attribute^⚠
xls_dslx_function_get_attribute_count^⚠
xls_dslx_function_get_body^⚠
xls_dslx_function_get_identifier^⚠
xls_dslx_function_get_param^⚠
xls_dslx_function_get_param_count^⚠
xls_dslx_function_get_parametric_binding^⚠
xls_dslx_function_get_parametric_binding_count^⚠
xls_dslx_function_get_return_type^⚠
xls_dslx_function_is_parametric^⚠
xls_dslx_function_is_public^⚠
xls_dslx_function_to_string^⚠
xls_dslx_import_data_create^⚠
xls_dslx_import_data_free^⚠
xls_dslx_import_get_subject^⚠
xls_dslx_import_get_subject_count^⚠
xls_dslx_interp_value_clone^⚠
xls_dslx_interp_value_convert_to_ir^⚠
xls_dslx_interp_value_free^⚠
xls_dslx_interp_value_from_string^⚠
xls_dslx_interp_value_make_array^⚠
xls_dslx_interp_value_make_enum^⚠
xls_dslx_interp_value_make_sbits^⚠
xls_dslx_interp_value_make_tuple^⚠
xls_dslx_interp_value_make_ubits^⚠
xls_dslx_interp_value_to_string^⚠
xls_dslx_invocation_callee_data_array_free^⚠
xls_dslx_invocation_callee_data_array_get^⚠
xls_dslx_invocation_callee_data_array_get_count^⚠
xls_dslx_invocation_callee_data_clone^⚠
xls_dslx_invocation_callee_data_free^⚠
xls_dslx_invocation_callee_data_get_callee_bindings^⚠
xls_dslx_invocation_callee_data_get_caller_bindings^⚠
xls_dslx_invocation_callee_data_get_derived_type_info^⚠
xls_dslx_invocation_callee_data_get_invocation^⚠
xls_dslx_invocation_data_get_callee^⚠
xls_dslx_invocation_data_get_caller^⚠
xls_dslx_invocation_data_get_invocation^⚠
xls_dslx_module_get_member^⚠
xls_dslx_module_get_member_count^⚠
xls_dslx_module_get_name^⚠
xls_dslx_module_get_type_definition_as_enum_def^⚠
xls_dslx_module_get_type_definition_as_struct_def^⚠
xls_dslx_module_get_type_definition_as_sum_def^⚠
xls_dslx_module_get_type_definition_as_type_alias^⚠
xls_dslx_module_get_type_definition_count^⚠
xls_dslx_module_get_type_definition_kind^⚠
xls_dslx_module_member_from_constant_def^⚠
xls_dslx_module_member_from_enum_def^⚠
xls_dslx_module_member_from_function^⚠
xls_dslx_module_member_from_quickcheck^⚠
xls_dslx_module_member_from_struct_def^⚠
xls_dslx_module_member_from_sum_def^⚠
xls_dslx_module_member_from_type_alias^⚠
xls_dslx_module_member_get_constant_def^⚠
xls_dslx_module_member_get_enum_def^⚠
xls_dslx_module_member_get_function^⚠
xls_dslx_module_member_get_import^⚠
xls_dslx_module_member_get_kind^⚠
xls_dslx_module_member_get_quickcheck^⚠
xls_dslx_module_member_get_struct_def^⚠
xls_dslx_module_member_get_sum_def^⚠
xls_dslx_module_member_get_type_alias^⚠
xls_dslx_module_to_string^⚠
xls_dslx_param_get_name^⚠
xls_dslx_param_get_type_annotation^⚠
xls_dslx_parametric_binding_get_default_generic_type^⚠
xls_dslx_parametric_binding_get_expr^⚠
xls_dslx_parametric_binding_get_identifier^⚠
xls_dslx_parametric_binding_get_type_annotation^⚠
xls_dslx_parametric_env_clone^⚠
xls_dslx_parametric_env_create^⚠
xls_dslx_parametric_env_equals^⚠
xls_dslx_parametric_env_free^⚠
xls_dslx_parametric_env_get_binding_count^⚠
xls_dslx_parametric_env_get_binding_identifier^⚠
xls_dslx_parametric_env_get_binding_value^⚠
xls_dslx_parametric_env_hash^⚠
xls_dslx_parametric_env_less_than^⚠
xls_dslx_parametric_env_to_string^⚠
xls_dslx_parse_and_typecheck^⚠
xls_dslx_quickcheck_get_count^⚠: Retrieves the test-case count for the Quickcheck. Returns true and sets *result_out when the Quickcheck has a counted test-case specifier; returns false when the Quickcheck is marked exhaustive (in which case *result_out is not modified).
xls_dslx_quickcheck_get_function^⚠
xls_dslx_quickcheck_is_exhaustive^⚠: Returns true iff the Quickcheck has the exhaustive test-cases specifier.
xls_dslx_quickcheck_to_string^⚠
xls_dslx_replace_invocations_in_module^⚠
xls_dslx_struct_def_get_identifier^⚠
xls_dslx_struct_def_get_member^⚠
xls_dslx_struct_def_get_member_count^⚠
xls_dslx_struct_def_get_parametric_binding^⚠
xls_dslx_struct_def_get_parametric_binding_count^⚠
xls_dslx_struct_def_is_parametric^⚠
xls_dslx_struct_def_to_string^⚠
xls_dslx_struct_member_get_name^⚠
xls_dslx_struct_member_get_type^⚠
xls_dslx_sum_def_get_identifier^⚠
xls_dslx_sum_def_get_variant_count^⚠
xls_dslx_sum_def_is_parametric^⚠
xls_dslx_sum_def_to_string^⚠
xls_dslx_type_alias_get_identifier^⚠
xls_dslx_type_alias_get_type_annotation^⚠
xls_dslx_type_alias_to_string^⚠
xls_dslx_type_annotation_get_array_type_annotation^⚠
xls_dslx_type_annotation_get_type_ref_type_annotation^⚠
xls_dslx_type_array_get_element_type^⚠
xls_dslx_type_array_get_size^⚠
xls_dslx_type_definition_get_colon_ref^⚠
xls_dslx_type_definition_get_type_alias^⚠
xls_dslx_type_dim_free^⚠
xls_dslx_type_dim_get_as_bool^⚠
xls_dslx_type_dim_get_as_int64^⚠
xls_dslx_type_dim_is_parametric^⚠
xls_dslx_type_get_enum_def^⚠
xls_dslx_type_get_struct_def^⚠
xls_dslx_type_get_total_bit_count^⚠
xls_dslx_type_info_build_function_call_graph^⚠
xls_dslx_type_info_build_function_call_graph_for_module^⚠
xls_dslx_type_info_get_all_invocation_callee_data^⚠
xls_dslx_type_info_get_const_expr^⚠
xls_dslx_type_info_get_imported_type_info^⚠
xls_dslx_type_info_get_requires_implicit_token^⚠
xls_dslx_type_info_get_root_invocation_data^⚠
xls_dslx_type_info_get_type_constant_def^⚠
xls_dslx_type_info_get_type_enum_def^⚠
xls_dslx_type_info_get_type_struct_def^⚠
xls_dslx_type_info_get_type_struct_member^⚠
xls_dslx_type_info_get_type_sum_def^⚠
xls_dslx_type_info_get_type_type_annotation^⚠: Gets the concrete type for a TypeAnnotation AST node.
xls_dslx_type_info_get_unique_invocation_callee_data^⚠
xls_dslx_type_is_array^⚠
xls_dslx_type_is_bits_like^⚠
xls_dslx_type_is_enum^⚠
xls_dslx_type_is_signed_bits^⚠
xls_dslx_type_is_struct^⚠
xls_dslx_type_ref_get_type_definition^⚠
xls_dslx_type_ref_type_annotation_get_parametric_count^⚠
xls_dslx_type_ref_type_annotation_get_parametric_expr^⚠
xls_dslx_type_ref_type_annotation_get_type_ref^⚠
xls_dslx_type_struct_get_member_count^⚠
xls_dslx_type_struct_get_member_type^⚠
xls_dslx_type_to_string^⚠
xls_dslx_typechecked_module_clone_removing_functions^⚠
xls_dslx_typechecked_module_clone_removing_members^⚠
xls_dslx_typechecked_module_free^⚠
xls_dslx_typechecked_module_get_module^⚠
xls_dslx_typechecked_module_get_type_info^⚠
xls_dslx_typechecked_module_insert_function_specializations^⚠
xls_format_preference_from_string^⚠
xls_function_get_name^⚠
xls_function_get_param_name^⚠
xls_function_get_type^⚠
xls_function_jit_free^⚠
xls_function_jit_run^⚠
xls_function_ptr_array_free^⚠
xls_function_to_string^⚠
xls_function_to_z3_smtlib^⚠
xls_function_type_get_param_count^⚠
xls_function_type_get_param_type^⚠
xls_function_type_get_return_type^⚠
xls_function_type_to_string^⚠
xls_init_xls^⚠
xls_interpret_function^⚠
xls_interval_set_free^⚠
xls_interval_set_get_interval_bounds^⚠
xls_interval_set_get_interval_count^⚠
xls_ir_analysis_at_least_one_bit_true^⚠
xls_ir_analysis_at_most_one_bit_true^⚠
xls_ir_analysis_create_from_package^⚠
xls_ir_analysis_create_from_package_with_options^⚠
xls_ir_analysis_exactly_one_bit_true^⚠
xls_ir_analysis_free^⚠
xls_ir_analysis_get_intervals_for_node_id^⚠
xls_ir_analysis_get_known_bits_for_node_id^⚠
xls_ir_analysis_implies^⚠
xls_ir_analysis_known_not_equals^⚠
xls_make_function_jit^⚠
xls_mangle_dslx_name^⚠
xls_mangle_dslx_name_full^⚠
xls_optimize_ir^⚠
xls_package_create^⚠
xls_package_free^⚠
xls_package_get_array_type^⚠
xls_package_get_bits_type^⚠
xls_package_get_function^⚠
xls_package_get_functions^⚠
xls_package_get_token_type^⚠
xls_package_get_top^⚠
xls_package_get_tuple_type^⚠
xls_package_get_type_for_value^⚠
xls_package_set_top_by_name^⚠
xls_package_to_string^⚠
xls_parse_ir_package^⚠
xls_parse_typed_value^⚠
xls_schedule_and_codegen_package^⚠
xls_schedule_and_codegen_result_free^⚠
xls_schedule_and_codegen_result_get_verilog_text^⚠
xls_trace_messages_free^⚠
xls_type_get_flat_bit_count^⚠
xls_type_get_kind^⚠
xls_type_get_leaf_count^⚠
xls_type_to_string^⚠
xls_value_clone^⚠
xls_value_eq^⚠
xls_value_flatten_to_bits^⚠
xls_value_free^⚠
xls_value_from_bits^⚠
xls_value_from_bits_owned^⚠
xls_value_get_bits^⚠
xls_value_get_element^⚠
xls_value_get_element_count^⚠
xls_value_get_kind^⚠
xls_value_make_array^⚠: Returns an error:
xls_value_make_false^⚠
xls_value_make_sbits^⚠
xls_value_make_token^⚠
xls_value_make_true^⚠
xls_value_make_tuple^⚠
xls_value_make_ubits^⚠
xls_value_to_string^⚠
xls_value_to_string_format_preference^⚠
xls_verify_package^⚠

Type Aliases§

DslxAttributeArgumentKind
DslxAttributeKind
DslxModuleMemberKind
DslxTypeDefinitionKind
XlsCallingConvention
XlsFormatPreference
XlsIrAnalysisLevel
XlsValueKind