Home
last modified time | relevance | path

Searched refs:iflets (Results 1 – 7 of 7) sorted by relevance

/wasmtime-44.0.1/cranelift/isle/isle/isle_examples/link/
H A Diflets_main.rs4 mod iflets; module
7 impl iflets::Context for Context {
18 iflets::constructor_C(&mut Context, 1, 2, 3, 4); in main()
/wasmtime-44.0.1/cranelift/isle/isle/src/
H A Dparser.rs809 let mut iflets = vec![]; in parse_rule() localVariable
813 iflets.push(iflet); in parse_rule()
818 iflets, in parse_rule()
H A Dprinter.rs213 iflets, in to_sexpr()
225 parts.extend(iflets.iter().map(ToSExpr::to_sexpr)); in to_sexpr()
H A Dsema.rs656 pub iflets: Vec<IfLet>, field
1082 for iflet in self.iflets.iter() { in visit()
1960 let iflets = rule in collect_rules() localVariable
1961 .iflets in collect_rules()
1994 iflets, in collect_rules()
H A Dast.rs280 pub iflets: Vec<IfLet>, field
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dsolver.rs1515 if !&rule.iflets.is_empty() { in display_model()
1518 for if_let_struct in &rule.iflets { in display_model()
H A Dtype_inference.rs189 if !rule.iflets.is_empty() { in type_annotations_using_rule()
190 for iflet in &rule.iflets { in type_annotations_using_rule()