Home
last modified time | relevance | path

Searched refs:SinkableLoad (Results 1 – 6 of 6) sorted by relevance

/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/store/
H A Dbroken_bvsub_store_with_load.isle3 (type SinkableLoad extern (enum))
40 (convert SinkableLoad RegMemImm sink_load_to_reg_mem_imm)
61 (decl sinkable_load (SinkableLoad) Value)
66 (decl sink_load_to_reg_mem_imm (SinkableLoad) RegMemImm)
H A Dbroken_isub_store_with_load.isle3 (type SinkableLoad extern (enum))
40 (convert SinkableLoad RegMemImm sink_load_to_reg_mem_imm)
61 (decl sinkable_load (SinkableLoad) Value)
66 (decl sink_load_to_reg_mem_imm (SinkableLoad) RegMemImm)
/wasmtime-44.0.1/cranelift/docs/
H A Disle-integration.md176 Therefore, we make the `sinkable_load` extractor create a `SinkableLoad` type
186 (type SinkableLoad extern (enum))
188 ;; Extract a `SinkableLoad` from a value if the value is defined by a compatible
190 (decl sinkable_load (SinkableLoad) Value)
194 Then, we pair that with a `sink_load` constructor that takes the `SinkableLoad`,
201 ;; Sink a `SinkableLoad` into a `RegMemImm.Mem`.
206 (decl sink_load (SinkableLoad) RegMemImm)
223 See the `sinkable_load`, `SinkableLoad`, and `sink_load` declarations inside
294 conversion from `SinkableLoad` to `Reg`, it is probably better for now
/wasmtime-44.0.1/cranelift/codegen/src/isa/x64/lower/
H A Disle.rs46 pub struct SinkableLoad { struct
352 fn sinkable_load(&mut self, val: Value) -> Option<SinkableLoad> { in sinkable_load() argument
357 return Some(SinkableLoad { in sinkable_load()
367 fn sinkable_load_exact(&mut self, val: Value) -> Option<SinkableLoad> { in sinkable_load_exact() argument
372 return Some(SinkableLoad { in sinkable_load_exact()
382 fn sink_load(&mut self, load: &SinkableLoad) -> SyntheticAmode { in sink_load()
/wasmtime-44.0.1/cranelift/codegen/src/isa/pulley_shared/
H A Dinst.isle259 ;; moved into another instruction. Note that `SinkableLoad` should not be used
270 (type SinkableLoad (enum (Load (inst Inst) (ty Type) (addr Value) (offset u8))))
271 (decl pure partial sinkable_load (Value) SinkableLoad)
277 (SinkableLoad.Load inst ty addr offset8))
286 (decl sink_load (SinkableLoad) SunkLoad)
287 (rule (sink_load (SinkableLoad.Load inst ty addr offset))
291 (convert SinkableLoad SunkLoad sink_load)
314 (type G32Bne (enum (All (heap_base Value) (heap_bound SinkableLoad) (wasm_addr Value) (offset u8))))
/wasmtime-44.0.1/cranelift/codegen/src/isa/x64/
H A Dinst.isle1056 (type SinkableLoad extern (enum))
1065 (decl sinkable_load (SinkableLoad) Value)
1074 (decl sinkable_load_exact (SinkableLoad) Value)
1077 ;; Sink a `SinkableLoad` into a `SyntheticAmode`.
1082 (decl sink_load (SinkableLoad) SyntheticAmode)
1089 (decl sink_load_to_xmm_mem (SinkableLoad) XmmMem)
1093 (decl sink_load_to_reg_mem (SinkableLoad) RegMem)
1096 (decl sink_load_to_gpr_mem (SinkableLoad) GprMem)
4001 (convert SinkableLoad RegMem sink_load_to_reg_mem)
4002 (convert SinkableLoad GprMem sink_load_to_gpr_mem)
[all …]