Home
last modified time | relevance | path

Searched refs:Unit (Results 1 – 25 of 56) sorted by relevance

123

/wasmtime-44.0.1/cranelift/codegen/src/
H A Dprelude_lower.isle114 (decl mark_value_used (Value) Unit)
385 (decl emit (MInst) Unit)
393 (decl sink_inst (Inst) Unit)
445 (let ((_ Unit (emit inst1)))
448 (let ((_ Unit (emit inst1))
449 (_ Unit (emit inst2)))
708 (let ((_ Unit (emit prod_inst))
716 (let ((_ Unit (emit prod_inst))
725 (let ((_ Unit (emit prod_inst))
733 (let ((_ Unit (emit prod_inst))
[all …]
H A Dinst_specs.isle234 ((args (bv 16) (bv 8) (bv 64) (bv 32)) (ret Unit) (canon (bv 8)))
235 ((args (bv 16) (bv 16) (bv 64) (bv 32)) (ret Unit) (canon (bv 16)))
236 ((args (bv 16) (bv 32) (bv 64) (bv 32)) (ret Unit) (canon (bv 32)))
237 ((args (bv 16) (bv 64) (bv 64) (bv 32)) (ret Unit) (canon (bv 64)))
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/store/
H A Dstore_switch.isle6 ((args Bool (bv 8) (bv 8)) (ret Unit) (canon (bv 8)))
7 ((args Bool (bv 16) (bv 16)) (ret Unit) (canon (bv 16)))
8 ((args Bool (bv 32) (bv 32)) (ret Unit) (canon (bv 32)))
9 ((args Bool (bv 64) (bv 64)) (ret Unit) (canon (bv 64)))
H A Dbroken_bvsub_store_with_load.isle86 ((args (bv 16) (bv 8) (bv 64) (bv 32)) (ret Unit) (canon (bv 8)))
87 ((args (bv 16) (bv 16) (bv 64) (bv 32)) (ret Unit) (canon (bv 16)))
88 ((args (bv 16) (bv 32) (bv 64) (bv 32)) (ret Unit) (canon (bv 32)))
89 ((args (bv 16) (bv 64) (bv 64) (bv 32)) (ret Unit) (canon (bv 64)))
H A Dbroken_isub_store_with_load.isle86 ((args (bv 16) (bv 8) (bv 64) (bv 32)) (ret Unit) (canon (bv 8)))
87 ((args (bv 16) (bv 16) (bv 64) (bv 32)) (ret Unit) (canon (bv 16)))
88 ((args (bv 16) (bv 32) (bv 64) (bv 32)) (ret Unit) (canon (bv 32)))
89 ((args (bv 16) (bv 64) (bv 64) (bv 32)) (ret Unit) (canon (bv 64)))
/wasmtime-44.0.1/crates/cranelift/src/debug/transform/
H A Dsynthetic.rs2 AttributeValue, DebugInfoRef, LineProgram, StringTable, Unit, UnitEntryId, UnitId, UnitTable,
65 let unit_id = out_units.add(Unit::new(encoding, LineProgram::none())); in create_unit()
86 unit: &mut Unit, in create_vmctx_ptr_die() argument
172 fn create_wasm_ptr_die(unit: &mut Unit, out_strings: &mut StringTable) -> UnitEntryId { in create_wasm_ptr_die() argument
H A Dutils.rs10 comp_unit: &mut write::Unit, in append_vmctx_info() argument
H A Dsimulate.rs129 unit: &mut write::Unit, in add_wasm_types() argument
194 unit: &mut write::Unit, in generate_vars() argument
333 let unit_id = out_units.add(write::Unit::new(out_encoding, out_program)); in generate_simulated_dwarf()
/wasmtime-44.0.1/cranelift/codegen/src/isa/s390x/
H A Dinst.isle2032 (let ((_ Unit (sink_inst inst)))
2039 (let ((_ Unit (sink_inst inst)))
2046 (let ((_ Unit (sink_inst inst)))
2053 (let ((_ Unit (sink_inst inst)))
2060 (let ((_ Unit (sink_inst inst)))
2900 (let ((_ Unit (inst_builder_push ib
2908 (let ((_ Unit (inst_builder_push ib
2933 (let ((_ Unit (inst_builder_push ib inst))
2938 (decl emit_loop (VecMInstBuilder Cond) Unit)
2957 (decl emit_load (Type WritableReg MemArg) Unit)
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/
H A Dinst.isle1816 (decl pure partial sign_return_address_disabled () Unit)
1936 (decl pure partial is_zero_simm9 (SImm9) Unit)
1939 (decl pure partial is_zero_uimm12 (UImm12Scaled) Unit)
2166 (_ Unit (emit (MInst.FpuRRI op dst src))))
2408 (_ Unit (emit (MInst.VecTbl dst rn rm))))
2517 (_ Unit (emit (MInst.FpuRound op dst rn))))
2524 (_ Unit (emit (MInst.FpuMove128 dst src))))
2528 (_ Unit (emit (MInst.FpuMove64 dst src))))
3756 (let ((_ Unit (sink_inst x)))
4008 (let ((_ Unit (sink_inst x)))
[all …]
H A Dinst_neon.isle6 (_ Unit (emit (MInst.FpuMove128 dst src))))
/wasmtime-44.0.1/cranelift/isle/isle/isle_examples/pass/
H A Dprio_trie_bug.isle7 (type Unit (primitive Unit))
33 (decl pure u32_lteq (u32 u32) Unit)
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/x86/
H A Damode_add_shl.isle5 (type Unit (primitive Unit))
144 (decl pure u32_lteq (u32 u32) Unit)
H A Damode_add_uextend_shl.isle7 (type Unit (primitive Unit))
155 (decl pure u32_lteq (u32 u32) Unit)
/wasmtime-44.0.1/crates/test-macros/src/
H A Dadd_variants.rs27 fields: syn::Fields::Unit, in expand_variants()
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dannotations.rs283 ty: Type::Unit, in spec_to_expr()
320 ModelType::Unit => veri_ir::Type::Unit, in model_type_to_type()
351 ModelType::Unit => annotation_ir::Type::Unit, in parse_annotations()
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/
H A Dbroken_uextend.isle27 (_ Unit (emit (MInst.Extend dst rn signed from_bits to_bits))))
/wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/
H A Dannotation_ir.rs102 Unit, enumerator
114 Type::Unit => write!(f, "Unit"), in fmt()
H A Dlib.rs62 Unit, enumerator
72 Type::Unit => write!(f, "Unit"), in fmt()
/wasmtime-44.0.1/cranelift/codegen/src/isa/riscv64/
H A Dinst.isle1592 (_ Unit (emit (MInst.Fli ty
1833 (decl rv_csrw (CSR XReg) Unit)
1838 (decl rv_fsrm (XReg) Unit)
2165 (_ Unit (emit (MInst.Lui dst imm))))
2176 (decl csr_reg_dst_zero (CsrRegOP CSR XReg) Unit)
2482 (_ Unit (emit (MInst.Load dst op flags amode))))
2494 (let ((_ Unit (sink_inst inst)))
2620 (_ Unit (emit (MInst.AtomicLoad tmp ty p))))
2739 (_ Unit (emit (MInst.Select dst c x y))))
2993 (decl lower_br_table (Reg MachLabelSlice) Unit)
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/isa/pulley_shared/lower/
H A Disle.rs29 type Unit = (); typedef
247 fn emit(&mut self, arg0: &MInst) -> Unit { in emit() argument
/wasmtime-44.0.1/cranelift/codegen/src/isa/pulley_shared/
H A Dinst.isle288 (let ((_ Unit (sink_inst inst)))
654 (_ Unit (emit (MInst.GetSpecial dst reg))))
668 (_ Unit (emit (MInst.XLoad dst amode ty flags))))
678 (_ Unit (emit (MInst.FLoad dst amode ty flags))))
688 (_ Unit (emit (MInst.VLoad dst amode ty flags))))
695 (decl gen_br_table (XReg MachLabel BoxVecMachLabel) Unit)
703 (_ Unit (emit (MInst.LoadExtNameNear dst name offset))))
710 (_ Unit (emit (MInst.LoadExtNameFar dst name offset))))
796 (_ Unit (emit (MInst.LabelAddress dst label))))
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/ctz/
H A Dbroken_ctz16.isle44 (_ Unit (emit (MInst.AluRRImmLogic op (operand_size ty) dst src imm))))
H A Dbroken_ctz8.isle44 (_ Unit (emit (MInst.AluRRImmLogic op (operand_size ty) dst src imm))))
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/clz/
H A Dbroken_clz16.isle62 (_ Unit (emit (MInst.Extend dst rn signed from_bits to_bits))))

123