| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/ |
| H A D | broken_uextend.isle | 12 (signed bool)
25 (rule (extend rn signed from_bits to_bits)
27 (_ Unit (emit (MInst.Extend dst rn signed from_bits to_bits))))
|
| /wasmtime-44.0.1/cranelift/codegen/meta/src/ |
| H A D | gen_isle.rs | 536 signed: bool, field
545 .map(move |signed| NumericType { signed, byte_width }) in all()
552 if self.signed { in name()
916 condition: ty.signed, in ops_for_type()
920 condition: !ty.signed, in ops_for_type()
1057 let lossy = match (from.byte_width.cmp(&to.byte_width), from.signed, to.signed) { in gen_numerics_isle()
1067 debug_assert_ne!(from.signed, to.signed); in gen_numerics_isle()
1135 if lossy && from.signed == to.signed { in gen_numerics_isle()
1157 debug_assert_ne!(from.signed, to.signed); in gen_numerics_isle()
1158 let cast_name = if to.signed { in gen_numerics_isle()
|
| /wasmtime-44.0.1/crates/core/src/ |
| H A D | math.rs | 40 pub const fn f32_cvt_to_int_bounds(signed: bool, out_bits: u32) -> (f32, f32) { in f32_cvt_to_int_bounds()
41 match (signed, out_bits) { in f32_cvt_to_int_bounds()
55 pub const fn f64_cvt_to_int_bounds(signed: bool, out_bits: u32) -> (f64, f64) { in f64_cvt_to_int_bounds()
56 match (signed, out_bits) { in f64_cvt_to_int_bounds()
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/lower/ |
| H A D | isle.rs | 621 fn min_fp_value(&mut self, signed: bool, in_bits: u8, out_bits: u8) -> Reg { in min_fp_value()
624 let min = match (signed, out_bits) { in min_fp_value()
633 if signed { "signed" } else { "unsigned" }, in min_fp_value()
641 let min = match (signed, out_bits) { in min_fp_value()
650 if signed { "signed" } else { "unsigned" }, in min_fp_value()
660 signed, in min_fp_value()
669 let max = match (signed, out_bits) { in max_fp_value()
681 if signed { "signed" } else { "unsigned" }, in max_fp_value()
689 let max = match (signed, out_bits) { in max_fp_value()
701 if signed { "signed" } else { "unsigned" }, in max_fp_value()
[all …]
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/clz/ |
| H A D | broken_clz16.isle | 12 (signed bool)
60 (rule (extend rn signed from_bits to_bits)
62 (_ Unit (emit (MInst.Extend dst rn signed from_bits to_bits))))
|
| H A D | broken_clz8.isle | 12 (signed bool)
60 (rule (extend rn signed from_bits to_bits)
62 (_ Unit (emit (MInst.Extend dst rn signed from_bits to_bits))))
|
| /wasmtime-44.0.1/winch/codegen/src/isa/aarch64/ |
| H A D | asm.rs | 230 signed: bool, in ldr()
236 let inst = match (rd.to_reg().is_int(), signed, size) { in ldr()
927 signed: kind.signed(), in extend()
1148 signed: bool, in min_fp_value()
1170 signed: bool, in max_fp_value()
1204 signed: bool, in fpu_to_int()
1221 self.cvt_fpu_to_int(dst, src, src_size, dst_size, signed) in fpu_to_int()
1231 signed: bool, in cvt_fpu_to_int()
1233 let op = match (src_size, dst_size, signed) { in cvt_fpu_to_int()
1242 (fsize, int_size, signed) => unimplemented!( in cvt_fpu_to_int()
[all …]
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/cls/ |
| H A D | broken_cls16.isle | 12 (signed bool)
60 (rule (extend rn signed from_bits to_bits)
62 (_ Unit (emit (MInst.Extend dst rn signed from_bits to_bits))))
|
| H A D | broken_cls8.isle | 12 (signed bool)
60 (rule (extend rn signed from_bits to_bits)
62 (_ Unit (emit (MInst.Extend dst rn signed from_bits to_bits))))
|
| /wasmtime-44.0.1/tests/disas/ |
| H A D | x64-wide-arithmetic.wat | 20 (func $signed (param i64 i64) (result i64 i64)
67 ;; wasm[0]::function[2]::signed:
|
| H A D | aarch64-wide-arithmetic.wat | 20 (func $signed (param i64 i64) (result i64 i64)
63 ;; wasm[0]::function[2]::signed:
|
| H A D | riscv64-wide-arithmetic.wat | 20 (func $signed (param i64 i64) (result i64 i64)
75 ;; wasm[0]::function[2]::signed:
|
| H A D | s390x-wide-arithmetic.wat | 20 (func $signed (param i64 i64) (result i64 i64)
81 ;; wasm[0]::function[2]::signed:
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/riscv64/inst/ |
| H A D | imms.rs | 165 let signed = ((value << 3) as i8) >> 3; in from_bits() localVariable
166 Imm5 { value: signed } in from_bits()
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/sdiv/ |
| H A D | broken_sdiv.isle | 37 ;; Check for signed overflow. The only case is min_value / -1.
|
| /wasmtime-44.0.1/cranelift/codegen/src/opts/ |
| H A D | icmp.isle | 105 ;; Comparisons against largest/smallest signed/unsigned values:
184 (if-let signed (intcc_comparable cc1 cc2))
185 (compose_icmp ty (u64_and (decompose_intcc cc1) (decompose_intcc cc2)) signed x y))
188 (if-let signed (intcc_comparable cc1 cc2))
189 (compose_icmp ty (u64_or (decompose_intcc cc1) (decompose_intcc cc2)) signed x y))
305 ;; (x < y) ? x : y != x == x > y, for both signed and unsigned.
|
| /wasmtime-44.0.1/cranelift/codegen/src/ |
| H A D | prelude.isle | 61 ;; signed-32-bit twos-complement bits.
247 ;; Get the signed minimum value for a given type.
251 ;; Get the signed maximum value for a given type.
567 ;; Get the corresponding IntCC with the signed component removed.
568 ;; For conditions without a signed component, this is a no-op.
572 ;; Pure constructor that only matches signed integer cond codes.
|
| /wasmtime-44.0.1/pulley/ |
| H A D | CONTRIBUTING.md | 60 signed 32-bit division.
69 /// `dst = src1 / src2` (signed)
127 instruction itself, signed 32-bit division. Look around at other instructions
|
| /wasmtime-44.0.1/cranelift/codegen/src/ir/ |
| H A D | types.rs | 81 pub fn bounds(self, signed: bool) -> (u128, u128) { in bounds()
82 if signed { in bounds()
|
| /wasmtime-44.0.1/cranelift/codegen/src/machinst/ |
| H A D | abi.rs | 1674 let signed = ext == ir::ArgumentExtension::Sext; localVariable
1680 dst, from_reg, signed, from_bits,
1718 let signed = ext == ir::ArgumentExtension::Sext; localVariable
1724 dst, from_reg, signed, from_bits,
1889 let signed = match ext { in gen_call_args() localVariable
1898 signed, in gen_call_args()
|
| /wasmtime-44.0.1/cranelift/isle/isle/isle_examples/pass/ |
| H A D | prio_trie_bug.isle | 89 ;; the sum still fits in the signed-32-bit offset.
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/runtests/ |
| H A D | icmp.clif | 15 ; overflows its type when viewed as a signed value, and thus encoding the wrong
|
| H A D | integer-minmax.clif | 16 ; sort three signed i8s with smin and smax only
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/inst/ |
| H A D | emit_tests.rs | 5744 signed: false, in test_aarch64_binemit()
5755 signed: false, in test_aarch64_binemit()
5766 signed: true, in test_aarch64_binemit()
5777 signed: true, in test_aarch64_binemit()
5788 signed: false, in test_aarch64_binemit()
5799 signed: true, in test_aarch64_binemit()
5810 signed: false, in test_aarch64_binemit()
5821 signed: true, in test_aarch64_binemit()
5843 signed: true, in test_aarch64_binemit()
5865 signed: true, in test_aarch64_binemit()
[all …]
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/s390x/ |
| H A D | lower.isle | 521 ;; Multiply high part signed, 64-bit types. (Uses smul_wide.)
1938 ;; Convert a 64-bit or smaller signed integer to $F64.
1943 ;; Convert a 32-bit or smaller signed integer to $F128.
1948 ;; Convert a 64-bit or smaller signed integer to $F128.
2193 ;; Insert vector lane from signed 16-bit immediate.
3739 ;; Dispatch for signed comparisons.
3750 ;; Compare (signed) two registers.
3758 ;; Compare (signed) a register and an immediate.
3768 ;; Compare (signed) a register and memory (16-bit types).
3772 ;; Compare (signed) a register and sign-extended memory.
[all …]
|