Home
last modified time | relevance | path

Searched refs:ImmExtend (Results 1 – 4 of 4) sorted by relevance

/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/sdiv/
H A Dbroken_sdiv_safe_const.isle12 ;; Model ImmExtend as an Int, where
14 (type ImmExtend
20 (model ImmExtend
46 (decl imm (Type ImmExtend u64) Reg)
76 (a64_udiv $I64 (put_in_reg_sext64 x) (imm ty (ImmExtend.Sign) y)))
/wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/lower/
H A Disle.rs5 use generated_code::{Context, ImmExtend};
294 extend: &ImmExtend, in load_constant_full() argument
301 (OperandSize::Size32, ImmExtend::Sign) if bits < 32 => { in load_constant_full()
310 (OperandSize::Size32, ImmExtend::Zero) if bits < 32 => { in load_constant_full()
313 (OperandSize::Size64, ImmExtend::Sign) if bits < 64 => { in load_constant_full()
319 (OperandSize::Size64, ImmExtend::Zero) if bits < 64 => value & !(u64::MAX << bits), in load_constant_full()
/wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/
H A Dinst.isle2051 (imm $I64 (ImmExtend.Zero) 0)
2052 (imm $I64 (ImmExtend.Zero) 0)))
3584 (model ImmExtend
3588 (type ImmExtend
3618 (decl imm (Type ImmExtend u64) Reg)
3622 (rule 3 (imm (integral_ty ty) (ImmExtend.Zero) k)
3631 (rule 1 (imm (integral_ty ty) (ImmExtend.Zero) k)
4155 (vec_dup (imm $I64 (ImmExtend.Zero) n) size))
5026 (tmp Reg (imm $I64 (ImmExtend.Zero) 1)))
5031 (tmp Reg (imm $I64 (ImmExtend.Sign) 1)))
[all …]
H A Dlower.isle22 (imm ty (ImmExtend.Zero) n))
1034 (imm ty (ImmExtend.Zero) n))
1038 (imm ty (ImmExtend.Sign) n))
1101 (a64_sdiv $I64 (put_in_reg_sext64 x) (imm $I64 (ImmExtend.Sign) y)))
1105 (a64_sdiv ty (put_in_reg_sext32 x) (imm ty (ImmExtend.Sign) y)))
1252 (value_regs (put_in_reg_zext64 x) (imm $I64 (ImmExtend.Zero) 0)))
1813 (neg_amt Reg (sub $I64 (imm $I64 (ImmExtend.Zero) 128) amt))
1929 (neg_amt Reg (sub $I64 (imm $I64 (ImmExtend.Zero) 128) amt))
1984 (value_regs (madd $I64 lo_clz tmp hi_clz) (imm $I64 (ImmExtend.Zero) 0))))
2036 (value_regs (add $I64 maybe_lo hi_cls) (imm $I64 (ImmExtend.Zero) 0))))
[all …]