| /wasmtime-44.0.1/cranelift/isle/docs/ |
| H A D | language-reference.md | 329 pattern.
671 * At the root of the pattern, we require that a *constructor* pattern
679 this matches the actual type of the pattern.
844 fail, just as any other part of a pattern-match can.
1112 because pattern coverage can be incomplete).
1513 <pattern> ::= <int>
1518 | <ident> "@" <pattern>
1519 | "(" "and" <pattern>* ")"
1520 | "(" <ident> <pattern>* ")"
1522 <stmt> ::= "(" "if-let" <pattern> <expr> ")"
[all …]
|
| /wasmtime-44.0.1/tests/misc_testsuite/simd/ |
| H A D | almost-extmul.wast | 4 ;; looks like an extmul and codegen shouldn't pattern match too much
|
| /wasmtime-44.0.1/cranelift/isle/ |
| H A D | TODO | 6 parse instead where we know the polarity of pattern-term args and parse
|
| H A D | README.md | 127 left-hand side (LHS) is a *pattern* and the right-hand side (RHS) is an
128 *expression*. When the LHS pattern matches the input, then we evaluate the RHS
129 expression. The LHS pattern can bind variables from the input that are then
509 The trie construction phase linearizes each rule's LHS pattern and inserts them
|
| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | parser.rs | 808 let pattern = self.parse_pattern()?; in parse_rule() localVariable
817 pattern, in parse_rule()
899 let pattern = self.parse_pattern()?; in parse_iflet() localVariable
901 Ok(IfLet { pattern, expr, pos }) in parse_iflet()
908 pattern: Pattern::Wildcard { pos }, in parse_iflet_if()
|
| H A D | printer.rs | 212 pattern, in to_sexpr()
224 parts.push(pattern.to_sexpr()); in to_sexpr()
588 pattern, in to_sexpr()
594 pattern.to_sexpr(), in to_sexpr()
|
| H A D | ast.rs | 279 pub pattern: Pattern, field
289 pub pattern: Pattern, field
|
| H A D | sema.rs | 1063 pattern: <Self::PatternVisitor as PatternVisitor>::PatternId, in pattern_as_expr()
1547 let term = match rule.pattern.root_term() { in collect_constructors()
1922 let (sym, args) = if let ast::Pattern::Term { sym, args, .. } = &rule.pattern { in collect_rules()
2055 pattern: &ast::Pattern, in maybe_implicit_convert_pattern()
2068 pattern.pos(), in maybe_implicit_convert_pattern()
2072 pos: pattern.pos(), in maybe_implicit_convert_pattern()
2073 args: vec![pattern.clone()], in maybe_implicit_convert_pattern()
2628 let lhs = self.translate_pattern(tyenv, &iflet.pattern, rhs.ty(), bindings)?; in translate_iflet()
|
| H A D | trie_again.rs | 720 fn pattern_as_expr(&mut self, pattern: BindingId) -> BindingId { in pattern_as_expr()
721 pattern in pattern_as_expr()
|
| /wasmtime-44.0.1/tests/misc_testsuite/ |
| H A D | sink-float-but-dont-trap.wast | 14 ;; same as above but with a slightly different codegen pattern.
|
| /wasmtime-44.0.1/tests/disas/ |
| H A D | readonly-funcrefs.wat | 7 ;; we generate for that pattern.
|
| /wasmtime-44.0.1/crates/component-macro/src/ |
| H A D | component.rs | 775 let pattern; in expand_variant() localVariable
781 pattern = quote!(Self::#ident(value)); in expand_variant()
789 pattern = quote!(Self::#ident); in expand_variant()
794 lowers.extend(quote!(#pattern => { in expand_variant()
805 stores.extend(quote!(#pattern => { in expand_variant()
|
| /wasmtime-44.0.1/crates/c-api/ |
| H A D | README.md | 93 where `$MY_TEST` is the test name or glob pattern; for example,
|
| H A D | doxygen.conf.in | 926 # exclude all test directories for example use the pattern */test/*
937 # exclude all test directories use the pattern */test/*
962 # EXAMPLE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp and
1002 # The FILTER_PATTERNS tag can be used to specify filters on a per file pattern
1003 # basis. Doxygen will compare the file name with each pattern and apply the
1004 # filter if there is a match. The filters are a list of the form: pattern=filter
1023 # pattern. A pattern will override the setting for FILTER_PATTERN (if any) and
1024 # it is also possible to disable source filtering for a specific pattern using
|
| /wasmtime-44.0.1/cranelift/ |
| H A D | rustc.md | 72 pattern-matching over a single graph that includes both data and control
|
| /wasmtime-44.0.1/cranelift/codegen/src/opts/ |
| H A D | README.md | 96 exactly what we want: it is what allows a pattern like `(iadd (iconst k) x)`
|
| H A D | cprop.isle | 237 ;; pattern.
|
| /wasmtime-44.0.1/docs/ |
| H A D | contributing-conditional-compilation.md | 222 * Another common pattern for this is to conditionally define a "dummy" shim
|
| /wasmtime-44.0.1/cranelift/codegen/src/ |
| H A D | prelude_opt.isle | 172 ;; Useful to write a single pattern that can match things that may or may not
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/x64/ |
| H A D | inst.isle | 525 ;; performs final pattern matches related to shifts to see if that can be
559 ;; to pattern match add-of-shifts to generate fancier `ImmRegRegShift` modes,
1228 ;; As a particular x64 extra-pattern matching opportunity, all the ALU
1302 ;; Generates a register value which has an all-ones pattern.
1750 ;; Special case the `mulx` pattern with the BMI2 instruction set.
1931 ;; interpreted as the bit pattern for a signed 32-bit immediate. That means
3460 ;; can pattern-match to the native `bt` instruction. Note that to have the
|
| /wasmtime-44.0.1/crates/wiggle/tests/ |
| H A D | typenames.witx | 364 ;;; File or memory access pattern advisory information.
|
| /wasmtime-44.0.1/crates/wasi/witx/p0/ |
| H A D | typenames.witx | 362 ;;; File or memory access pattern advisory information.
|
| H A D | wasi_unstable.witx | 13 ;;; we shouldn't follow this pattern in new APIs.
|
| /wasmtime-44.0.1/crates/wasi/witx/p1/ |
| H A D | typenames.witx | 366 ;;; File or memory access pattern advisory information.
|
| /wasmtime-44.0.1/crates/wasi-common/witx/preview0/ |
| H A D | wasi_unstable.witx | 13 ;;; we shouldn't follow this pattern in new APIs.
|