| /wasmtime-44.0.1/cranelift/isle/isle/isle_examples/link/ |
| H A D | multi_extractor.isle | 7 (decl multi Rule (u32) u32)
9 (rule (Rule (E1 a idx))
12 (rule (Rule _)
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/runtests/ |
| H A D | icmp.clif | 92 ;; Rule 1: (x <_s y) & (x >_s y) => false
103 ;; Rule 2: (x <_u y) & (x >_u y) => false
114 ;; Rule 3: (x <_s y_const) & (x >_u y_const) => false, if y_const < 0
126 ;; Rule 4: (x_const <_s y) & (x_const >_u y) => false, if x_const >= 0
138 ;; Rule 5: (x <_u y_const) & (x >_s y_const) => false, if y_const >= 0
150 ;; Rule 6: (x_const <_u y) & (x_const >_s y) => false, if x_const < 0
|
| /wasmtime-44.0.1/cranelift/isle/isle/isle_examples/pass/ |
| H A D | tutorial.isle | 64 ;; Rule to sink loads into adds.
71 ;; Rule to sink a load of a base address with a static offset into a single add.
83 ;; Rule for sinking an immediate into an add.
88 ;; Rule for lowering loads of a base address with a static offset.
|
| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | trie_again.rs | 185 pub struct Rule { struct
224 pub rules: Vec<Rule>,
303 impl Rule { impl
308 pub fn may_overlap(&self, other: &Rule) -> Overlap { in may_overlap()
398 current_rule: Rule,
405 fn add_rule(&mut self, rule: &sema::Rule, termenv: &sema::TermEnv, errors: &mut Vec<Error>) { in add_rule() argument
|
| H A D | overlap.rs | 85 fn check_pair(&mut self, a: &trie_again::Rule, b: &trie_again::Rule) { in check_pair() argument
|
| H A D | ast.rs | 13 Rule(Rule), enumerator
278 pub struct Rule { struct
|
| H A D | printer.rs | 173 Def::Rule(rule) => rule.to_sexpr(), in to_sexpr()
207 impl ToSExpr for Rule { implementation
209 let Rule { in to_sexpr() localVariable
|
| H A D | parser.rs | 190 "rule" => Def::Rule(self.parse_rule()?), in parse_def()
790 fn parse_rule(&mut self) -> Result<Rule> { in parse_rule() argument
816 return Ok(Rule { in parse_rule()
|
| H A D | serialize.rs | 24 use crate::trie_again::{Binding, BindingId, Constraint, Rule, RuleSet};
481 let &Rule { in sort()
|
| H A D | sema.rs | 350 pub rules: Vec<Rule>,
648 pub struct Rule { struct
1067 impl Rule { implementation
1545 &ast::Def::Rule(ref rule) => { in collect_constructors()
1917 &ast::Def::Rule(ref rule) => { in collect_rules()
1990 self.rules.push(Rule { in collect_rules()
2027 if let ast::Def::Rule(rule) = def { in check_for_expr_terms_without_constructors()
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/egraph/ |
| H A D | icmp.clif | 314 ;; Rule 1: (x <_s y) & (x >_s y) => false
329 ;; Rule 2: (x <_u y) & (x >_u y) => false
344 ;; Rule 3: (x <_s y_const) & (x >_u y_const) => false, if y_const < 0
360 ;; Rule 4: (x_const <_s y) & (x_const >_u y) => false, if x_const >= 0
376 ;; Rule 5: (x <_u y_const) & (x >_s y_const) => false, if y_const >= 0
392 ;; Rule 6: (x_const <_u y) & (x_const >_s y) => false, if x_const < 0
|
| /wasmtime-44.0.1/cranelift/isle/ |
| H A D | README.md | 154 // Rule at isle_examples/tutorial.isle line 45.
235 // Rule at isle_examples/tutorial.isle line 45.
242 // Rule at isle_examples/tutorial.isle line 59.
252 // Rule at isle_examples/tutorial.isle line 54.
313 ;; Rule to sink loads into adds.
361 // Rule at isle_examples/tutorial.isle line 68.
376 // Rule at isle_examples/tutorial.isle line 54.
402 ;; Rule to sink a load of a base address with a static offset into a single add.
414 ;; Rule for sinking an immediate into an add.
419 ;; Rule for lowering loads of a base address with a static offset.
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | solver.rs | 7 use isle::sema::{Pattern, Rule, TermEnv, TypeEnv};
51 rule: &'a Rule,
1316 rule: &Rule, in display_isle_pattern() argument
1411 rule: &Rule, in display_isle_expr() argument
1468 rule: &Rule, in display_model() argument
1625 rule: &Rule, in run_solver() argument
|
| H A D | type_inference.rs | 162 rule: &'a isle::sema::Rule, in type_annotations_using_rule() argument
1989 rule: &isle::sema::Rule, in create_parse_tree_pattern() argument
2224 rule: &isle::sema::Rule, in create_parse_tree_expr() argument
|