Home
last modified time | relevance | path

Searched refs:partial (Results 1 – 25 of 33) sorted by relevance

12

/wasmtime-44.0.1/cranelift/codegen/src/
H A Dprelude.isle151 (decl pure partial f32_sqrt (Ieee32) Ieee32)
153 (decl pure partial f32_ceil (Ieee32) Ieee32)
155 (decl pure partial f32_floor (Ieee32) Ieee32)
157 (decl pure partial f32_trunc (Ieee32) Ieee32)
179 (decl pure partial f64_sqrt (Ieee64) Ieee64)
181 (decl pure partial f64_ceil (Ieee64) Ieee64)
183 (decl pure partial f64_floor (Ieee64) Ieee64)
185 (decl pure partial f64_trunc (Ieee64) Ieee64)
291 (decl pure partial ty_half_lanes (Type) Type)
455 (decl pure partial ty_vec64 (Type) Type)
[all …]
H A Dprelude_lower.isle324 (decl pure partial zero_value (Value) Value)
328 (decl pure partial is_sinkable_inst (Value) Inst)
954 (decl pure partial tls_model_is_elf_gd () Unit)
957 (decl pure partial tls_model_is_macho () Unit)
960 (decl pure partial tls_model_is_coff () Unit)
963 (decl pure partial preserve_frame_pointers () Unit)
970 (decl pure partial stack_switch_model () StackSwitchModel)
1180 (decl pure partial safe_divisor_from_imm64 (Type Imm64) u64)
/wasmtime-44.0.1/cranelift/isle/isle/isle_examples/run/
H A Diconst.isle1 (decl partial X (i64) i64)
7 (decl partial Y (i128) i128)
16 (decl partial Z (i32) i32)
/wasmtime-44.0.1/cranelift/isle/isle/isle_examples/link/
H A Diflets.isle1 (decl pure partial A (u32 u32) u32)
7 (decl partial C (u32 u32 u32 u32) u32)
H A Dborrows.isle6 (decl pure partial u32_pure (u32) u32)
/wasmtime-44.0.1/cranelift/codegen/meta/src/
H A Dgen_isle.rs567 partial: bool, field
608 partial: true, in ops_for_type()
619 partial: true, in ops_for_type()
938 let partial = if op.partial { " partial" } else { "" }; in gen_numerics_isle() localVariable
949 let ret = if op.partial { in gen_numerics_isle()
1074 let (ctor, partial, rust_ret) = if lossy { in gen_numerics_isle()
/wasmtime-44.0.1/cranelift/filetests/filetests/alias/
H A Dpartial-redundancy.clif5 ;; A test of partial redundancy: we should *not* RLE when an earlier
/wasmtime-44.0.1/crates/wasi-keyvalue/wit/deps/keyvalue/
H A Dbatch.wit46 /// Other concurrent operations may also be able to see the partial results.
61 /// Other concurrent operations may also be able to see the partial results.
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/iadd/
H A Dupdated_iadd_imm12neg_right.isle44 (decl pure partial imm12_from_negated_value (Value) Imm12)
H A Dupdated_iadd_imm12neg_left.isle44 (decl pure partial imm12_from_negated_value (Value) Imm12)
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/isub/
H A Dimm12neg_new.isle45 (decl pure partial imm12_from_negated_value (Value) Imm12)
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/x86/
H A Damode_add_shl.isle84 ;; NOTE: partial spec: ignoring the `flags` argument
95 ;; NOTE: partial spec: ignoring the `flags` argument
H A Damode_add_uextend_shl.isle94 ;; NOTE: partial spec: ignoring the `flags` argument
105 ;; NOTE: partial spec: ignoring the `flags` argument
/wasmtime-44.0.1/cranelift/isle/isle/src/
H A Dsema.rs391 pub partial: bool, field
400 self.partial = true; in on_lhs()
515 flags: TermFlags { partial: true, .. }, in is_partial()
628 } else if flags.partial { in constructor_sig()
982 /* infallible = */ !flags.partial, in visit()
1442 if decl.multi && decl.partial { in collect_term_sigs()
1480 partial: decl.partial, in collect_term_sigs()
2433 let partial_allowed = root_flags.partial; in translate_expr()
2434 if !partial_allowed && flags.partial { in translate_expr()
H A Dprinter.rs257 partial, in to_sexpr()
268 if *partial { in to_sexpr()
H A Dparser.rs338 let partial = self.eat_sym_str("partial")?; in parse_decl() localVariable
358 partial, in parse_decl()
H A Dast.rs82 pub partial: bool, field
/wasmtime-44.0.1/cranelift/filetests/src/
H A Dtest_unwind.rs327 Some(gimli::CieOrFde::Fde(partial)) => { in dump_eh_frame()
329 let fde = partial.parse(|_, bases, o| { in dump_eh_frame()
/wasmtime-44.0.1/cranelift/codegen/src/isa/pulley_shared/
H A Dinst.isle271 (decl pure partial sinkable_load (Value) SinkableLoad)
331 (decl pure partial addrg32bne (G32) G32Bne)
347 (decl pure partial wasm_g32 (Value Offset32 MemFlags Type) G32)
371 (decl pure partial g32_offset (i32 Type u64) u16)
390 (decl pure partial wasm_oob_select (Value Value) OobSelect)
421 (decl pure partial wasm32_addr_for_host64 (Value) Value)
428 (decl pure partial wasm_oob_cond (Value Value) OobCond)
H A Dlower.isle5 (decl partial lower (Inst) InstOutput)
98 (decl partial lower_branch (Inst MachLabelSlice) Unit)
277 (decl pure partial u8_from_negated_iconst (Value) u8)
285 (decl pure partial u32_from_negated_iconst (Value) u32)
526 (decl pure partial u6_shift_from_iconst (Value) U6)
/wasmtime-44.0.1/cranelift/codegen/src/isa/riscv64/
H A Dinst.isle1970 (decl pure partial imm12_add (Imm12 i32) Imm12)
1996 (decl pure partial u64_to_imm12 (u64) Imm12)
2024 (decl pure partial i8_to_imm5 (i8) Imm5)
2032 (decl pure partial imm5_from_negated_value (Value) Imm5)
2038 (decl pure partial replicated_imm5 (Value) Imm5)
2049 (decl pure partial negated_replicated_imm5 (Value) Imm5)
2064 (decl pure partial replicated_uimm5 (Value) UImm5)
2080 (decl pure partial uimm5_from_u8 (UImm5) u8)
2084 (decl pure partial uimm5_from_u64 (UImm5) u64)
2088 (decl pure partial u64_to_uimm5 (u64) UImm5)
[all …]
/wasmtime-44.0.1/cranelift/isle/docs/
H A Dlanguage-reference.md271 A pattern can properly be seen as a partial function from input term
1033 #### `partial` Expressions
1035 ISLE's `partial` keyword on a term indicates that the term's
1044 (decl pure partial is_zero_value (Value) Value)
1048 Internal constructors without the `partial` keyword can
1049 only use other constructors that also do not have the `partial` keyword.
1205 should be marked `partial`). If fallible behavior is needed when
1316 partial: if no rule's pattern matches, then the constructor
1502 <decl> ::= [ "pure" ] [ "multi" ] [ "partial" ] [ "rec" ] <ident> "(" <ty>* ")" <ty>
/wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/
H A Dinst.isle1816 (decl pure partial sign_return_address_disabled () Unit)
1836 (decl pure partial imm_logic_from_u64 (Type u64) ImmLogic)
1839 (decl pure partial imm_size_from_type (Type) u16)
1842 (decl pure partial imm_logic_from_imm64 (Type Imm64) ImmLogic)
1915 (decl pure partial lshr_from_u64 (Type u64) ShiftOpAndAmt)
1924 (decl pure partial lshl_from_u64 (Type u64) ShiftOpAndAmt)
1927 (decl pure partial ashr_from_u64 (Type u64) ShiftOpAndAmt)
1936 (decl pure partial is_zero_simm9 (SImm9) Unit)
1939 (decl pure partial is_zero_uimm12 (UImm12Scaled) Unit)
1984 (decl pure partial imm12_from_negated_value (Value) Imm12)
[all …]
/wasmtime-44.0.1/tests/misc_testsuite/component-model/async/
H A Dpartial-stream-copies.wast14 ;; https://github.com/WebAssembly/component-model/blob/add-tests/test/concurrency/partial-stream-co…
/wasmtime-44.0.1/cranelift/isle/veri/
H A DREADME.md229 (decl partial lower (Inst) InstOutput)

12