| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/iadd/ |
| H A D | broken_add_extend.isle | 31 (model ExtendOp (enum
42 (type ExtendOp extern
59 ;; (extend ExtendOp (get_extended_op extended_reg)))
87 ((ExtendOp.UXTB) (sign_ext 32 (extract 7 0 y)))
88 ((ExtendOp.UXTH) (sign_ext 32 (extract 15 0 y)))
89 ((ExtendOp.UXTW) (sign_ext 32 (extract 31 0 y)))
90 ((ExtendOp.UXTX) (sign_ext 32 (extract 31 0 y)))
91 ((ExtendOp.SXTB) (sign_ext 32 (extract 7 0 y)))
92 ((ExtendOp.SXTH) (sign_ext 32 (extract 15 0 y)))
97 ((ExtendOp.UXTB) (sign_ext 64 (extract 7 0 y)))
[all …]
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/ |
| H A D | lower.rs | 23 fn get_as_extended_value(ctx: &mut Lower<Inst>, val: Value) -> Option<(Value, ExtendOp)> { in get_as_extended_value() argument
40 (true, 8) => ExtendOp::SXTB, in get_as_extended_value()
41 (false, 8) => ExtendOp::UXTB, in get_as_extended_value()
42 (true, 16) => ExtendOp::SXTH, in get_as_extended_value()
43 (false, 16) => ExtendOp::UXTH, in get_as_extended_value()
44 (true, 32) => ExtendOp::SXTW, in get_as_extended_value()
45 (false, 32) => ExtendOp::UXTW, in get_as_extended_value()
|
| H A D | inst.isle | 70 (extendop ExtendOp))
1113 (model ExtendOp (enum
1124 (type ExtendOp extern
1191 (extendop ExtendOp))
1198 (extendop ExtendOp))
2014 (decl get_extended_op (ExtendedValue) ExtendOp)
2263 (decl alu_rrr_extend (ALUOp Type Reg Reg ExtendOp) Reg)
2270 ;; of a `Reg` and an `ExtendOp`.
2374 ((ExtendOp.UXTB) (zero_ext 64 (extract 7 0 y)))
2777 (decl add_extend_op (Type Reg Reg ExtendOp) Reg)
[all …]
|
| H A D | abi.rs | 475 extendop: ExtendOp::UXTX, in gen_add_imm()
489 extendop: ExtendOp::UXTX, in gen_stack_lower_bound_trap()
560 extendop: ExtendOp::UXTX, in gen_sp_reg_adjust()
|
| H A D | lower.isle | 2963 (let ((extend ExtendOp (lower_extend_op ty arg_ext))
3106 (let ((extend ExtendOp (lower_extend_op ty (ArgumentExtension.Uext)))
3125 (cmp_extend (OperandSize.Size64) out out (ExtendOp.UXTW))
3154 (let ((extend ExtendOp (lower_extend_op ty (ArgumentExtension.Sext)))
3173 (cmp_extend (OperandSize.Size64) out out (ExtendOp.SXTW))
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/inst/ |
| H A D | args.rs | 87 pub enum ExtendOp { enum
106 impl ExtendOp { implementation
141 pub fn reg_plus_reg_scaled_extended(reg1: Reg, reg2: Reg, op: ExtendOp) -> AMode { in reg_plus_reg_scaled_extended()
308 impl PrettyPrint for ExtendOp { implementation
370 ExtendOp::SXTW | ExtendOp::UXTW => OperandSize::Size32, in pretty_print()
380 ExtendOp::SXTW | ExtendOp::UXTW => OperandSize::Size32, in pretty_print()
|
| H A D | emit.rs | 74 extendop: ExtendOp::SXTX,
262 extendop: Option<ExtendOp>, in enc_ldst_reg() argument
267 Some(ExtendOp::UXTW) => 0b010, in enc_ldst_reg()
268 Some(ExtendOp::SXTW) => 0b110, in enc_ldst_reg()
269 Some(ExtendOp::SXTX) => 0b111, in enc_ldst_reg()
1505 I16 => Some((ExtendOp::SXTH, 16)), in emit()
1506 I8 => Some((ExtendOp::SXTB, 8)), in emit()
3210 ExtendOp::UXTW, in emit()
|
| H A D | emit_tests.rs | 648 extendop: ExtendOp::SXTB, in test_aarch64_binemit()
661 extendop: ExtendOp::UXTB, in test_aarch64_binemit()
674 extendop: ExtendOp::SXTH, in test_aarch64_binemit()
687 extendop: ExtendOp::UXTW, in test_aarch64_binemit()
1031 extendop: ExtendOp::UXTX, in test_aarch64_binemit()
1747 extendop: ExtendOp::SXTW, in test_aarch64_binemit()
1760 extendop: ExtendOp::SXTW, in test_aarch64_binemit()
2002 extendop: ExtendOp::UXTW, in test_aarch64_binemit()
2015 extendop: ExtendOp::UXTW, in test_aarch64_binemit()
|
| /wasmtime-44.0.1/winch/codegen/src/isa/aarch64/ |
| H A D | address.rs | 11 AMode, ExtendOp, PairAMode, SImm7Scaled, SImm9, UImm12Scaled,
176 extendop: ExtendOp::SXTX, in to_addressing_mode()
|
| H A D | asm.rs | 25 self, ALUOp, ALUOp3, AMode, BitOp, BranchTarget, Cond, CondBrKind, ExtendOp,
393 self.alu_rrr_extend(ALUOp::Add, rm, rn, rd, size, ExtendOp::UXTX); in add_rrr()
403 extendop: ExtendOp, in add_rrr_with_extend() argument
410 self.alu_rrr_extend(ALUOp::AddS, rm, rn, rd, size, ExtendOp::UXTX); in adds_rrr()
435 self.alu_rrr_extend(ALUOp::Sub, rm, rn, rd, size, ExtendOp::UXTX); in sub_rrr()
446 ExtendOp::UXTX, in subs_rrr()
1022 extendop: ExtendOp, in alu_rrr_extend() argument
|
| H A D | masm.rs | 36 self, Cond, ExtendOp, Imm12, ImmLogic, ImmShift, SImm7Scaled, SImm9, VectorSize,
572 OperandSize::S8 => ExtendOp::UXTB, in add_uextend()
573 OperandSize::S16 => ExtendOp::UXTH, in add_uextend()
574 OperandSize::S32 => ExtendOp::UXTW, in add_uextend()
575 OperandSize::S64 => ExtendOp::UXTX, in add_uextend()
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/lower/ |
| H A D | isle.rs | 9 ASIMDFPModImm, ASIMDMovModImm, BranchTarget, CallInfo, Cond, CondBrKind, ExtendOp, FPUOpRI,
73 extend: ExtendOp,
435 fn get_extended_op(&mut self, reg: &ExtendedValue) -> ExtendOp { in get_extended_op() argument
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/riscv64/ |
| H A D | inst.isle | 2271 (if (val_already_extended (ExtendOp.Zero) val))
2300 (if (val_already_extended (ExtendOp.Signed) val))
2307 (decl pure partial val_already_extended (ExtendOp Value) bool)
2312 (rule 1 (val_already_extended (ExtendOp.Zero) (uextend _ _)) true)
2313 (rule 1 (val_already_extended (ExtendOp.Signed) (sextend _ _)) true)
2325 (rule 1 (val_already_extended (ExtendOp.Signed) (has_type $I32 (ishl _ _ _))) true)
2326 (rule 1 (val_already_extended (ExtendOp.Signed) (has_type $I32 (ushr _ _ _))) true)
2327 (rule 1 (val_already_extended (ExtendOp.Signed) (has_type $I32 (sshr _ _ _))) true)
2328 (rule 1 (val_already_extended (ExtendOp.Signed) (has_type $I32 (iadd _ _ _))) true)
2329 (rule 1 (val_already_extended (ExtendOp.Signed) (has_type $I32 (isub _ _ _))) true)
[all …]
|
| H A D | lower.isle | 2196 (decl gen_load64_extend (Type ExtendOp MemFlags AMode) VReg)
2198 (rule (gen_load64_extend ty (ExtendOp.Signed) flags amode)
2204 (rule (gen_load64_extend ty (ExtendOp.Zero) flags amode)
2212 (gen_load64_extend ty (ExtendOp.Zero) flags (amode addr offset)))
2216 (gen_load64_extend ty (ExtendOp.Zero) flags (amode addr offset)))
2220 (gen_load64_extend ty (ExtendOp.Zero) flags (amode addr offset)))
2224 (gen_load64_extend ty (ExtendOp.Signed) flags (amode addr offset)))
2228 (gen_load64_extend ty (ExtendOp.Signed) flags (amode addr offset)))
2232 (gen_load64_extend ty (ExtendOp.Signed) flags (amode addr offset)))
|