| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/x86/ |
| H A D | amode_add_uextend_shl.isle | 16 (type ExtendKind (enum Sign Zero))
158 (spec (ExtendKind.Zero) (provide (= result #x0000000000000000)))
159 (spec (ExtendKind.Sign) (provide (= result #x0000000000000001)))
167 (decl extend_to_gpr (Value Type ExtendKind) Gpr)
174 (Amode.ImmRegRegShift off base (extend_to_gpr index $I64 (ExtendKind.Zero)) shift flags))
|
| H A D | amode_add_shl.isle | 14 (type ExtendKind (enum Sign Zero))
147 (spec (ExtendKind.Zero) (provide (= result #x0000000000000000)))
148 (spec (ExtendKind.Sign) (provide (= result #x0000000000000001)))
|
| /wasmtime-44.0.1/winch/codegen/src/ |
| H A D | masm.rs | 306 pub(crate) enum ExtendKind { enum
341 impl From<Extend<Zero>> for ExtendKind { implementation
343 ExtendKind::Unsigned(value) in from()
374 impl From<Extend<Signed>> for ExtendKind { implementation
376 ExtendKind::Signed(value) in from()
380 impl ExtendKind { impl
541 Atomic(OperandSize, Option<ExtendKind>),
545 ScalarExtend(ExtendKind),
575 fn operand_size_for_scalar(extend_kind: &ExtendKind) -> OperandSize { in operand_size_for_scalar()
577 ExtendKind::Signed(s) => s.from_size(), in operand_size_for_scalar()
[all …]
|
| /wasmtime-44.0.1/winch/codegen/src/isa/aarch64/ |
| H A D | asm.rs | 6 DivKind, Extend, ExtendKind, FloatCmpKind, Imm, IntCmpKind, RemKind, RoundingMode, ShiftKind,
498 ExtendKind::Signed(Extend::<Signed>::I64Extend32), in div_rrr()
503 ExtendKind::Signed(Extend::<Signed>::I64Extend32), in div_rrr()
538 ExtendKind::Signed(Extend::<Signed>::I64Extend32), in rem_rrr()
543 ExtendKind::Signed(Extend::<Signed>::I64Extend32), in rem_rrr()
923 pub fn extend(&mut self, rn: Reg, rd: WritableReg, kind: ExtendKind) { in extend() argument
|
| H A D | masm.rs | 20 CalleeKind, DivKind, Extend, ExtendKind, ExtractLaneKind, FloatCmpKind, FloatScratch, Imm,
1106 fn extend(&mut self, dst: WritableReg, src: Reg, kind: ExtendKind) -> Result<()> { in extend()
|
| /wasmtime-44.0.1/winch/codegen/src/isa/x64/ |
| H A D | masm.rs | 9 DivKind, Extend, ExtendKind, ExtractLaneKind, FloatCmpKind, FloatScratch, Imm, Imm as I,
368 ExtendKind::Signed(ext) => { in wasm_load()
371 ExtendKind::Unsigned(_) => self.load_impl(src, dst, size, UNTRUSTED_FLAGS)?, in wasm_load()
503 ExtendKind::Unsigned(Extend::I64Extend32), in add_uextend()
1137 fn extend(&mut self, dst: WritableReg, src: Reg, kind: ExtendKind) -> Result<()> { in extend()
1139 ExtendKind::Signed(ext) => { in extend()
1142 ExtendKind::Unsigned(ext) => { in extend()
1235 ExtendKind::Unsigned(Extend::I64Extend32), in unsigned_convert()
|
| H A D | asm.rs | 7 DivKind, Extend, ExtendKind, ExtendType, IntCmpKind, MulWideKind, OperandSize, RemKind,
185 impl From<ExtendKind> for ExtMode {
186 fn from(value: ExtendKind) -> Self { in from()
188 ExtendKind::Signed(s) => s.into(), in from()
189 ExtendKind::Unsigned(u) => u.into(), in from()
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/x64/ |
| H A D | lower.isle | 120 (x Gpr (extend_to_gpr x $I64 (ExtendKind.Zero)))
677 (let ((src_ Gpr (extend_to_gpr src ty (ExtendKind.Zero))))
789 (let ((src_ Gpr (extend_to_gpr src ty (ExtendKind.Sign))))
2378 (x64_popcnt $I32 (extend_to_gpr src $I32 (ExtendKind.Zero))))
2394 (do_popcnt $I32 (extend_to_gpr src $I32 (ExtendKind.Zero))))
2622 (extend_to_gpr src $I64 (ExtendKind.Zero)))
2627 (extend_to_gpr src $I32 (ExtendKind.Zero)))
2636 (let ((lo Gpr (extend_to_gpr src $I64 (ExtendKind.Sign)))
2642 (extend_to_gpr src $I64 (ExtendKind.Sign)))
2647 (extend_to_gpr src $I32 (ExtendKind.Sign)))
[all …]
|
| H A D | inst.isle | 1187 (type ExtendKind (enum Sign Zero))
1220 (decl extend_to_gpr (Value Type ExtendKind) Gpr)
1231 (rule 2 (extend_to_gpr src @ (value_type $I32) $I64 (ExtendKind.Zero))
1245 (decl extend_to_gpr_types (GprMem Type Type ExtendKind) Gpr)
1258 (decl extend (ExtendKind Type ExtMode GprMem) Gpr)
1261 (rule (extend (ExtendKind.Zero) ty mode src)
1265 (rule (extend (ExtendKind.Sign) ty mode src)
|