| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | printer.rs | 168 impl ToSExpr for Def { implementation
171 Def::Pragma(_) => unimplemented!("pragmas not supported"), in to_sexpr()
172 Def::Type(ty) => ty.to_sexpr(), in to_sexpr()
173 Def::Rule(rule) => rule.to_sexpr(), in to_sexpr()
174 Def::Extractor(extractor) => extractor.to_sexpr(), in to_sexpr()
175 Def::Decl(decl) => decl.to_sexpr(), in to_sexpr()
176 Def::Spec(spec) => spec.to_sexpr(), in to_sexpr()
177 Def::Model(model) => model.to_sexpr(), in to_sexpr()
178 Def::Form(form) => form.to_sexpr(), in to_sexpr()
180 Def::Extern(ext) => ext.to_sexpr(), in to_sexpr()
[all …]
|
| H A D | parser.rs | 10 pub fn parse(lexer: Lexer) -> Result<Vec<Def>> { in parse() argument
17 pub fn parse_without_pos(lexer: Lexer) -> Result<Vec<Def>> { in parse_without_pos() argument
171 fn parse_defs(mut self) -> Result<Vec<Def>> { in parse_defs() argument
179 fn parse_def(&mut self) -> Result<Def> { in parse_def() argument
183 "pragma" => Def::Pragma(self.parse_pragma()?), in parse_def()
184 "type" => Def::Type(self.parse_type()?), in parse_def()
185 "decl" => Def::Decl(self.parse_decl()?), in parse_def()
186 "spec" => Def::Spec(self.parse_spec()?), in parse_def()
187 "model" => Def::Model(self.parse_model()?), in parse_def()
188 "form" => Def::Form(self.parse_form()?), in parse_def()
[all …]
|
| H A D | compile.rs | 6 use crate::ast::Def;
14 defs: &[ast::Def], in compile() argument
73 ) -> Result<(sema::TypeEnv, sema::TermEnv, Vec<Def>), Errors> { in create_envs() argument
|
| H A D | sema.rs | 1145 &ast::Def::Type(ref td) => { in from_ast()
1179 &ast::Def::Type(ref td) => { in from_ast()
1391 defs: &[ast::Def], in from_ast() argument
1421 fn collect_pragmas(&mut self, _: &[ast::Def]) { in collect_pragmas() argument
1429 &ast::Def::Decl(ref decl) => { in collect_term_sigs()
1545 &ast::Def::Rule(ref rule) => { in collect_constructors()
1608 if let &ast::Def::Extractor(ref ext) = def { in collect_extractor_templates()
1731 &ast::Def::Converter(ast::Converter { in collect_converters()
1917 &ast::Def::Rule(ref rule) => { in collect_rules()
2009 if let ast::Def::Decl(decl) = def { in check_for_undefined_decls()
[all …]
|
| H A D | ast.rs | 10 pub enum Def { enum
|
| /wasmtime-44.0.1/crates/environ/src/component/translate/ |
| H A D | adapt.rs | 362 defined_items: HashSet<Def>,
383 enum Def { enum
440 if self.defined_items.contains(&Def::Adapter(*id)) { in core_def()
451 assert!(self.defined_items.contains(&Def::Adapter(*id))); in core_def()
474 while self.defined_items.insert(Def::Instance(instance)) { in core_export()
515 let inserted = self.defined_items.insert(Def::Adapter(*adapter)); in finish_adapter_module()
|
| /wasmtime-44.0.1/cranelift/codegen/src/machinst/ |
| H A D | reg.rs | 443 self.reg_maybe_fixed(reg.reg.as_mut(), OperandKind::Def, OperandPos::Late); in reg_def()
451 self.reg_maybe_fixed(reg.reg.as_mut(), OperandKind::Def, OperandPos::Early); in reg_early_def()
469 self.reg_fixed(reg.reg.as_mut(), rreg, OperandKind::Def, OperandPos::Late); in reg_fixed_def()
508 self.add_operand(reg, constraint, OperandKind::Def, OperandPos::Late); in reg_reuse_def()
520 OperandKind::Def, in any_def()
|
| H A D | vcode.rs | 686 if operand.kind() == OperandKind::Def { in compute_clobbers_and_function_calls()
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | annotations.rs | 5 use cranelift_isle::ast::{Def, Ident, Model, ModelType, SpecExpr, SpecOp};
334 pub fn parse_annotations(defs: &[Def], termenv: &TermEnv, typeenv: &TypeEnv) -> AnnotationEnv { in parse_annotations() argument
345 if let &ast::Def::Model(Model { ref name, ref val }) = def { in parse_annotations()
395 if let ast::Def::Spec(spec) = def { in parse_annotations()
434 if let ast::Def::Form(form) = def { in parse_annotations()
446 if let ast::Def::Instantiation(inst) = def { in parse_annotations()
|