kirin.passes.default.Default

← Module overview

classDefault¶source

kirin.passes.default.Default

Bases: Pass

Signature

class Default(dialects: DialectGroup, *, no_raise: bool = True, verify: bool = True, fold: bool = True, aggressive: bool = False, typeinfer: bool = True)

Public import paths

• from kirin.passes import Default
• from kirin.prelude import Default

Parameters

Name	Type	Default	Description
dialects	DialectGroup	required
no_raise	bool	True
verify	bool	True
fold	bool	True
aggressive	bool	False
typeinfer	bool	True

Attributes

Name	Type	Default	Description
verify	bool	field(default=True, kw_only=True)
fold	bool	field(default=True, kw_only=True)
aggressive	bool	field(default=False, kw_only=True)
typeinfer	bool	field(default=True, kw_only=True)
canonicalize	Canonicalize	field(init=False)
hint_const_pass	HintConst	field(init=False)
typeinfer_pass	TypeInfer	field(init=False)
fold_pass	Pass	field(init=False)

methodunsafe_run¶source

kirin.passes.default.Default.unsafe_run

def unsafe_run(mt: Method) -> RewriteResult

Parameters

Name	Type	Description
mt	Method

Returns

RewriteResult

source