Struct IRModule

#[repr(C)]
pub struct IRModule { /* private fields */ }

Implementations

impl IRModule

pub fn new( functions: impl Into<Map<GlobalVar, BaseFunc>>, attrs: impl Into<DictAttrs>, global_infos: impl Into<Map<String, Array<GlobalInfo>>>, global_var_map: impl Into<Map<String, GlobalVar>>, ) -> Self

Lossless complete-field allocation.

impl IRModule

pub fn from_functions( functions: &Map<GlobalVar, BaseFunc>, attrs: Option<&DictAttrs>, global_infos: &Map<String, Array<GlobalInfo>>, ) -> Result<Self>

The module of functions, with the attributes attrs (empty if None) and the module-level information global_infos; it indexes the functions by name, which must be distinct (C++ IRModule(functions, attrs, global_infos)).

pub fn from_expr( expr: impl IntoExpr, functions: &Map<GlobalVar, BaseFunc>, ) -> Result<Self>

The module of functions and expr, a function bound to its global symbol or to main (ir.IRModuleFromExpr).

pub fn shallow_copy(&self) -> Result<Self>

A copy of the module that shares its functions (ir.IRModuleClone).

pub fn add( &self, var: impl Into<GlobalVar>, func: impl Into<BaseFunc>, update: bool, ) -> Result<()>

Add func as var, replacing an existing definition; the native side currently ignores update (ir.IRModuleAdd).

pub fn remove(&self, name: &str) -> Result<()>

Remove the function named name (ir.IRModuleRemove).

pub fn remove_global_var(&self, var: impl Into<GlobalVar>) -> Result<()>

Remove the function of var (ir.IRModuleRemove).

pub fn contains(&self, name: &str) -> Result<bool>

Whether the module has a global variable named name (ir.IRModuleContains).

pub fn contains_global_var(&self, var: impl Into<GlobalVar>) -> Result<bool>

Whether the module defines a function for var (ir.IRModuleContains).

pub fn has_global_var(&self, name: &str) -> Result<bool>

Whether the module has a global variable named name (ir.IRModuleContainGlobalVar).

pub fn get_global_var(&self, name: &str) -> Result<GlobalVar>

The global variable named name; fails if there is none (ir.IRModuleGetGlobalVar).

pub fn get_global_vars(&self) -> Result<Array<GlobalVar>>

The global variables of the module, sorted by name (ir.IRModuleGetGlobalVars).

pub fn lookup(&self, var: impl Into<GlobalVar>) -> Result<BaseFunc>

The function of var; fails if there is none (ir.IRModuleLookup).

pub fn lookup_name(&self, name: &str) -> Result<BaseFunc>

The function named name; fails if there is none (ir.IRModuleLookupStr).

pub fn update(&self, other: &IRModule) -> Result<()>

Add or replace the functions of other in the module (ir.IRModuleUpdate).

pub fn update_func( &self, var: impl Into<GlobalVar>, func: impl Into<BaseFunc>, ) -> Result<()>

Set the function of var to func (ir.IRModuleUpdateFunction).

pub fn update_global_info( &self, name: &str, global_info: impl IntoIterator<Item = impl Into<GlobalInfo>>, ) -> Result<()>

Set the module-level information name to global_info (ir.IRModuleUpdateGlobalInfo).

pub fn get_attr(&self, key: &str) -> Result<Option<Any>>

The attribute key of the module, if set (ir.IRModuleGetAttr).

pub fn with_attr(self, key: &str, value: impl Into<Any>) -> Result<IRModule>

The module with the attribute key set to value (ir.IRModuleWithAttr).

Consumes self: the module is updated in place when this was its only handle, and copied otherwise.

pub fn with_attrs(self, attrs: &Map<String, Any>) -> Result<IRModule>

The module with the attributes of attrs set (ir.IRModuleWithAttrs).

Consumes self, as IRModule::with_attr does.

pub fn without_attr(self, key: &str) -> Result<IRModule>

The module without the attribute key (ir.IRModuleWithoutAttr).

Consumes self, as IRModule::with_attr does.

Trait Implementations

impl AnyCompatible for IRModule

unsafe fn is_undefined(field: *const Self) -> bool

Whether field, which holds a value of this type or all-zero bytes, holds all-zero bytes that are no value of this type, as a null object reference, a string of type index None or a zero device type: a field that a creator left undefined for reflection to set, as C++ UnsafeInit leaves a reference undefined (null). Unlike a C++ undefined reference, it is no value; a nullable reference is Option<T>, whose None is a defined value.

fn type_str() -> String

the type string of the type

unsafe fn copy_to_any_view(src: &Self, data: &mut TVMFFIAny)

the value to copy to TVMFFIAny

unsafe fn check_any_strict(data: &TVMFFIAny) -> bool

unsafe fn copy_from_any_view_after_check(data: &TVMFFIAny) -> Self

Copy value from TVMFFIAny after checking caller must ensure that the value is compatible with the type

unsafe fn move_to_any(src: Self, data: &mut TVMFFIAny)

consume the value to move to Any

unsafe fn move_from_any_after_check(data: &mut TVMFFIAny) -> Self

the value to move from TVMFFIAny NOTE: pay very careful attention to avoid memory leak!

unsafe fn try_cast_from_any_view(data: &TVMFFIAny) -> Result<Self, ()>

try to cast the value from AnyView

fn get_mismatch_type_info(data: &TVMFFIAny) -> String

Get the type key of a type when TryCastFromAnyView fails.

fn type_schema() -> String

The type schema of the type: the JSON object C++ TypeTraits<T>::TypeSchema writes, which the type schemas of functions and fields embed.

fn to_any(&self) -> Any

Borrow self into an owned Any, increfing object-backed values.

impl<'a> ArgIntoRef for &'a IRModule

type Target = IRModule

fn to_ref(&self) -> &Self::Target

impl ArgIntoRef for IRModule

type Target = IRModule

fn to_ref(&self) -> &Self::Target

impl Clone for IRModule

fn clone(&self) -> IRModule

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Deref for IRModule

type Target = IRModuleObj

The resulting type after dereferencing.

fn deref(&self) -> &IRModuleObj

Dereferences the value.

impl From<&IRModule> for IRModule

fn from(value: &IRModule) -> Self

Converts to this type from the input type.

impl<'a> IntoArgHolder for &'a IRModule

type Target = &'a IRModule

fn into_arg_holder(self) -> Self::Target

impl IntoArgHolder for IRModule

type Target = IRModule

fn into_arg_holder(self) -> Self::Target

impl ObjectRefCore for IRModule

type ContainerType = <ObjectArc<IRModuleObj> as Deref>::Target

fn data(this: &Self) -> &ObjectArc<Self::ContainerType>

fn into_data(this: Self) -> ObjectArc<Self::ContainerType>

unsafe fn from_data(data: ObjectArc<Self::ContainerType>) -> Self

Construct a reference view from an owning container handle.

fn same_as<Other>(&self, other: &Other) -> bool

where Other: ObjectRefCore,

Return whether two object references point to the same allocation.

fn downcast_ref<T>(&self) -> Option<&T>

where T: ObjectCore,

Borrow the underlying object as T when its runtime type is T or a subtype.

impl TryFrom<Any> for IRModule

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: Any) -> Result<Self, Self::Error>

Performs the conversion.

impl<'a> TryFrom<AnyView<'a>> for IRModule

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: AnyView<'a>) -> Result<Self, Self::Error>

Performs the conversion.