| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | ast.rs | 279 pub pattern: Pattern,
289 pub pattern: Pattern,
300 pub template: Pattern,
306 pub enum Pattern { enum
320 subpat: Box<Pattern>,
332 args: Vec<Pattern>,
343 impl Pattern { implementation
368 Pattern::Var { .. } in terms()
415 &Pattern::Term { in make_macro_template()
439 pub fn subst_macro_args(&self, macro_args: &[Pattern]) -> Option<Pattern> { in subst_macro_args() argument
[all …]
|
| H A D | sema.rs | 446 template: ast::Pattern,
654 pub args: Vec<Pattern>,
690 pub lhs: Pattern,
698 pub enum Pattern { enum
727 And(TypeId, Vec<Pattern>),
794 impl Pattern { implementation
2055 pattern: &ast::Pattern, in maybe_implicit_convert_pattern() argument
2085 pat: &ast::Pattern, in translate_pattern() argument
2088 ) -> Option<Pattern> { in translate_pattern() argument
2134 &ast::Pattern::Wildcard { .. } => Some(Pattern::Wildcard(expected_ty)), in translate_pattern()
[all …]
|
| H A D | printer.rs | 554 impl ToSExpr for Pattern { implementation
557 Pattern::Var { in to_sexpr()
561 Pattern::BindPattern { in to_sexpr()
566 Pattern::ConstInt { val, pos: _ } => SExpr::atom(val), in to_sexpr()
567 Pattern::ConstBool { val, pos: _ } => SExpr::atom(if *val { "true" } else { "false" }), in to_sexpr()
568 Pattern::ConstPrim { val, pos: _ } => SExpr::atom(format!("${}", val.0)), in to_sexpr()
569 Pattern::Wildcard { pos: _ } => SExpr::atom("_"), in to_sexpr()
570 Pattern::Term { sym, args, pos: _ } => { in to_sexpr()
575 Pattern::And { subpats, pos: _ } => { in to_sexpr()
580 Pattern::MacroArg { .. } => unimplemented!("macro arguments are for internal use only"), in to_sexpr()
|
| H A D | parser.rs | 829 fn parse_pattern(&mut self) -> Result<Pattern> { in parse_pattern() argument
832 Ok(Pattern::ConstInt { in parse_pattern()
838 Ok(Pattern::ConstPrim { val, pos }) in parse_pattern()
840 Ok(Pattern::Wildcard { pos }) in parse_pattern()
842 Ok(Pattern::ConstBool { val: true, pos }) in parse_pattern()
844 Ok(Pattern::ConstBool { val: false, pos }) in parse_pattern()
850 Ok(Pattern::BindPattern { var, subpat, pos }) in parse_pattern()
852 Ok(Pattern::Var { var, pos }) in parse_pattern()
862 Ok(Pattern::And { subpats, pos }) in parse_pattern()
870 Ok(Pattern::Term { sym, args, pos }) in parse_pattern()
[all …]
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | termname.rs | 2 use isle::sema::{Pattern, TermEnv, TypeEnv};
7 pat: &Pattern, in pattern_contains_termname() argument
13 Pattern::BindPattern(..) in pattern_contains_termname()
14 | Pattern::Var(..) in pattern_contains_termname()
15 | Pattern::ConstInt(..) in pattern_contains_termname()
16 | Pattern::ConstBool(..) in pattern_contains_termname()
17 | Pattern::ConstPrim(..) in pattern_contains_termname()
18 | Pattern::Wildcard(..) => false, in pattern_contains_termname()
19 Pattern::Term(_, termid, arg_patterns) => { in pattern_contains_termname()
27 Pattern::And(_, children) => children in pattern_contains_termname()
|
| H A D | verify.rs | 6 use isle::sema::{Pattern, RuleId, TermEnv, TypeEnv};
96 &Pattern::Term( in verify_rules_for_term()
|
| H A D | solver.rs | 7 use isle::sema::{Pattern, Rule, TermEnv, TypeEnv};
1317 pat: &Pattern, in display_isle_pattern() argument
1322 isle::sema::Pattern::Term(_, term_id, args) => { in display_isle_pattern()
1331 isle::sema::Pattern::Var(_, var_id) => { in display_isle_pattern()
1339 isle::sema::Pattern::BindPattern(_, var_id, subpat) => { in display_isle_pattern()
1348 if matches!(**subpat, isle::sema::Pattern::Wildcard(_)) { in display_isle_pattern()
1357 isle::sema::Pattern::ConstPrim(_, sym) => { in display_isle_pattern()
1361 isle::sema::Pattern::ConstBool(_, val) => { in display_isle_pattern()
1364 isle::sema::Pattern::ConstInt(_, num) => { in display_isle_pattern()
1368 isle::sema::Pattern::And(_, subpats) => { in display_isle_pattern()
[all …]
|
| H A D | type_inference.rs | 8 use isle::sema::{Pattern, TermEnv, TermId, TypeEnv, VarId};
114 &Pattern::Term( in type_rules_with_term_and_types()
238 &isle::sema::Pattern::Term( in type_annotations_using_rule()
1990 pattern: &isle::sema::Pattern, in create_parse_tree_pattern() argument
1998 isle::sema::Pattern::Term(_, term_id, args) => { in create_parse_tree_pattern()
2065 isle::sema::Pattern::Var(_, var_id) => { in create_parse_tree_pattern()
2134 isle::sema::Pattern::Wildcard(_) => { in create_parse_tree_pattern()
2145 isle::sema::Pattern::ConstPrim(_, sym) => { in create_parse_tree_pattern()
2170 isle::sema::Pattern::ConstBool(_, val) => { in create_parse_tree_pattern()
2182 isle::sema::Pattern::ConstInt(_, num) => { in create_parse_tree_pattern()
[all …]
|
| /wasmtime-44.0.1/cranelift/codegen/src/opts/ |
| H A D | icmp.isle | 254 ;; Pattern-match what LLVM emits today for 128-bit comparisons into actual
|
| /wasmtime-44.0.1/cranelift/isle/docs/ |
| H A D | language-reference.md | 285 Pattern-based term rewriting has a notable and important feature: it
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/x64/ |
| H A D | lower.isle | 495 ;; different register. Pattern-match doing this with bit-ops and shifts to
|