| /wasmtime-44.0.1/tests/disas/ |
| H A D | x64-wide-arithmetic.wat | 25 (func $unsigned (param i64 i64) (result i64 i64)
77 ;; wasm[0]::function[3]::unsigned:
|
| H A D | aarch64-wide-arithmetic.wat | 25 (func $unsigned (param i64 i64) (result i64 i64)
71 ;; wasm[0]::function[3]::unsigned:
|
| H A D | riscv64-wide-arithmetic.wat | 25 (func $unsigned (param i64 i64) (result i64 i64)
87 ;; wasm[0]::function[3]::unsigned:
|
| H A D | s390x-wide-arithmetic.wat | 25 (func $unsigned (param i64 i64) (result i64 i64)
97 ;; wasm[0]::function[3]::unsigned:
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/runtests/ |
| H A D | simd-icmp-ult.clif | 44 v1 = vconst.i32x4 [-1 2 3 4] ; -1 = 0xffff... will be greater than 1 when unsigned
|
| H A D | select.clif | 431 ;; should be optimized to x > y (unsigned)
|
| /wasmtime-44.0.1/cranelift/codegen/src/legalizer/ |
| H A D | mod.rs | 44 let unsigned = match ty.lane_type() { in imm_const() localVariable
51 pos.ins().iconst(ty.lane_type(), unsigned) in imm_const()
|
| /wasmtime-44.0.1/cranelift/codegen/src/ir/ |
| H A D | condcodes.rs | 126 pub fn unsigned(self) -> Self { in unsigned() method
|
| H A D | instructions.rs | 656 if cond.unsigned() != *cond { in mask_immediates()
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/s390x/ |
| H A D | lower.isle | 121 ;; Add (saturate unsigned) two vector registers.
193 ;; Add (saturate unsigned) two vector registers.
1887 ;; Convert a 64-bit or smaller unsigned integer to $F64.
1892 ;; Convert a 32-bit or smaller unsigned integer to $F128.
1897 ;; Convert a 64-bit or smaller unsigned integer to $F128.
3742 ;; Dispatch for unsigned comparisons.
3782 ;; Compare (unsigned) two registers.
3790 ;; Compare (unsigned) a register and an immediate.
3798 ;; Compare (unsigned) a register and memory (16-bit types).
3806 ;; Compare (unsigned) a register and zero-extended memory.
[all …]
|
| H A D | inst.isle | 61 ;; An ALU operation with a register in-/out operand and an unsigned 32-bit
186 ;; A compare operation with a register source and a unsigned 32-bit
250 ;; An unsigned (zero-extending) 8-bit to 32-bit load.
260 ;; An unsigned (zero-extending) 16-bit to 32-bit load.
275 ;; An unsigned (zero-extending) 8-bit to 64-bit load.
285 ;; An unsigned (zero-extending) 16-bit to 64-bit load.
295 ;; An unsigned (zero-extending) 32-bit to 64-bit load.
677 ;; Synthetic instruction to compare unsigned 128-bit values.
1295 ;; Pack saturate (unsigned)
1841 (decl unsigned () IntCC)
[all …]
|
| /wasmtime-44.0.1/cranelift/codegen/src/ |
| H A D | prelude.isle | 238 ;; Get the unsigned minimum value for a given type.
243 ;; Get the unsigned maximum value for a given type.
566 ;; This is a direct import of `IntCC::unsigned`.
|
| H A D | isle_prelude.rs | 697 x.unsigned()
|
| H A D | prelude_opt.isle | 147 ;; by treating the constant as unsigned.
|
| /wasmtime-44.0.1/cranelift/codegen/src/opts/ |
| H A D | shifts.isle | 26 ;; this is a signed or unsigned shift right).
38 ;; For unsigned shifts, `(x << k) >> k` is the same as masking out the top
|
| H A D | icmp.isle | 105 ;; Comparisons against largest/smallest signed/unsigned values:
305 ;; (x < y) ? x : y != x == x > y, for both signed and unsigned.
|
| /wasmtime-44.0.1/cranelift/reader/src/ |
| H A D | parser.rs | 36 ($signed:ty, $unsigned:ty, $parser:expr, $err_msg:expr) => {{
53 <$unsigned>::from_str_radix(&text[2..], 16).map_err(|_| {
57 stringify!($unsigned),
2604 let unsigned = match explicit_control_type { in parse_inst_operands() localVariable
2618 imm: Imm64::new(unsigned), in parse_inst_operands()
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/riscv64/ |
| H A D | inst_vector.isle | 511 ;; Widening unsigned integer add, 2*SEW = SEW + SEW
518 ;; Widening unsigned integer add, 2*SEW = SEW + SEW
582 ;; Widening unsigned integer sub, 2*SEW = SEW + SEW
589 ;; Widening unsigned integer sub, 2*SEW = SEW + SEW
808 ;; vd[i] = (unsigned(vs2[i]) >> imm) + r
1027 ;; This instruction converts a float to an unsigned integer.
1039 ;; This instruction converts a float to an unsigned integer
1055 ;; This instruction converts a unsigned integer to a float.
|
| H A D | lower.isle | 2396 ;; comparison. Note that the lower comparison is always unsigned since if it's
2908 ;; Here we do a Vector Reduce operation. Get the unsigned minimum value of any
2925 ;; Here we do a Vector Reduce operation. Get the unsigned maximum value of the
3061 ;; `avg_round` computes the unsigned average with rounding: a := (x + y + 1) // 2
3068 ;; The right shift should be a logical shift if the integers are unsigned.
3135 ;; We don't have a instruction that saturates a signed source into an unsigned destination.
3137 ;; unsigned to unsigned narrowing instruction.
|
| /wasmtime-44.0.1/docs/ |
| H A D | security.md | 57 interpreted as a signed 32-bit offset instead of an unsigned offset it could
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/s390x/lower/ |
| H A D | isle.rs | 615 fn unsigned(&mut self, cc: &IntCC) -> Option<()> { in unsigned() method
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/x64/ |
| H A D | lower.isle | 115 ;; Specialized lowering rule for `iadd` of two 64-bit unsigned integers, meaning
799 ;; Do a shift of each half. NB: the low half uses an unsigned shift
882 ;; feature sets. To remedy this, a small dance is done with an unsigned right
2025 ;; same as the result of an unsigned comparison (see docs on `pcmpgt` for more)
2086 ;; an unsigned one and then invert the result. See docs on `pcmpgt` for why
2111 ;; produces the same result as an unsigned comparison. Then test test for `gt`
3788 ;; Converting packed unsigned integers to packed floats
3790 ;; lowering for converting unsigned floats but there is for
3871 ;; The algorithm for converting floats to unsigned ints is a little tricky. The
3922 ;; Converting to unsigned int so if float src is negative or NaN
[all …]
|
| /wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/ |
| H A D | inst.isle | 79 ;; An unsigned (zero-extending) 8-bit load.
91 ;; An unsigned (zero-extending) 16-bit load.
103 ;; An unsigned (zero-extending) 32-bit load.
161 ;; destination, which is effectively an alias for an unsigned
1205 ;; Scaled (by size of a type) unsigned 12-bit immediate offset from reg.
1522 ;; Compare unsigned higher
1524 ;; Compare unsigned higher or same
1628 ;; Floating-point convert to unsigned integer, rounding toward zero
1688 ;; Signed saturating extract unsigned narrow.
3746 ;; Check for unsigned overflow.
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/egraph/ |
| H A D | spaceship.clif | 206 ;; And again for unsigned...
|
| /wasmtime-44.0.1/cranelift/docs/ |
| H A D | ir.md | 141 unsigned. Some instructions will interpret an operand as a signed or unsigned
|