Home
last modified time | relevance | path

Searched refs:z (Results 1 – 25 of 61) sorted by relevance

123

/wasmtime-44.0.1/cranelift/codegen/src/opts/
H A Dbitops.isle224 ; (z & x) ^ (z & y) => z & (x ^ y)
255 ; (x | z) & (y | z) --> (x & y) | z
265 ; (x & z) | (y & z) --> (x | y) & z
293 ; x | ((x ^ y) ^ z) --> x | (y ^ z)
303 ; (x ^ z) == (y ^ z) --> x == y
383 ; (x ^ z) | (((x ^ z) ^ y)) --> (x ^ z) | y
414 ; (x ^ z) | (y | x) --> (y | x) | z
434 ; x | (z & (x ^ y)) --> x | (z & y)
444 ; (x | y) | (x ^ z) --> (x | y) | z
454 ; (x ^ z) != (y ^ z) --> x != y
[all …]
H A Darithmetic.isle328 ;; ((x + y) - (x + z)) --> (y - z)
329 (rule (simplify (isub ty (iadd ty x y) (iadd ty x z))) (isub ty y z))
330 (rule (simplify (isub ty (iadd ty x y) (iadd ty z x))) (isub ty y z))
331 (rule (simplify (isub ty (iadd ty y x) (iadd ty x z))) (isub ty y z))
332 (rule (simplify (isub ty (iadd ty y x) (iadd ty z x))) (isub ty y z))
334 ;; ((x - z) - (y - z)) --> (x - y)
335 (rule (simplify (isub ty (isub ty x z) (isub ty y z))) (isub ty x y))
337 ;; ((x - y) - (x - z)) --> (z - y)
360 ;; ((x + z) - (y + z)) --> (x - y)
366 ;; ((x - y) + (y + z)) --> (x + z)
[all …]
H A Dshifts.isle233 ;; (rotr (rotr x y) z) == (rotr x (iadd y z))
234 ;; (rotl (rotl x y) z) == (rotl x (iadd y z))
235 ;; (rotr (rotl x y) z) == (rotr x (isub y z))
236 ;; (rotl (rotr x y) z) == (rotl x (isub y z))
255 ;; (rotr (rotr x y) z) == (rotr x (iadd y z))
256 ;; (rotl (rotl x y) z) == (rotl x (iadd y z))
257 ;; (rotr (rotl x y) z) == (rotl x (isub y z))
258 ;; (rotl (rotr x y) z) == (rotr x (isub y z))
313 (rule (simplify (band ty (ishl ty x z) (ishl ty y z))) (ishl ty (band ty x y) z))
314 (rule (simplify (isub ty (ishl ty x z) (ishl ty y z))) (ishl ty (isub ty x y) z))
[all …]
H A Dselects.isle99 (iconst ty (imm64_masked ty (u64_wrapping_add x z)))
122 ;; (x | (y != z)) ? y : z ==> y
123 (rule (simplify (select ty (bor cty x (ne cty y z)) y z)) (subsume y))
124 (rule (simplify (select ty (bor cty (ne cty y z) x) y z)) (subsume y))
125 (rule (simplify (select ty (bor cty x (ne cty z y)) y z)) (subsume y))
126 (rule (simplify (select ty (bor cty (ne cty z y) x) y z)) (subsume y))
191 ;; select(cond, eq(z, y), eq(p, y)) ==> eq(y, select(cond, z, p))
192 (rule (simplify (select ty x (eq ty z y) (eq ty (iconst_u cty p) y))) (eq ty y (select cty x z (ico…
193 (rule (simplify (select ty x (eq ty z y) (eq ty y (iconst_u cty p)))) (eq ty y (select cty x z (ico…
194 (rule (simplify (select ty x (eq ty y z) (eq ty (iconst_u cty p) y))) (eq ty y (select cty x z (ico…
[all …]
/wasmtime-44.0.1/cranelift/isle/isle/isle_examples/pass/
H A Dlet.isle2 (type B (enum (B (z u32))))
14 (let ((z u32 (Add x y)))
15 (B.B z)))
19 (let ((z u32 (Sub x y)))
20 (B.B z)))
/wasmtime-44.0.1/crates/test-programs/src/bin/
H A Ddwarf_spilled_frame_base.c3 void func_11(int x, int y, int z, int a, int b, int c, int d, int e, int f, in func_11() argument
5 void func_12(int x, int y, int z, int a, int b, int c, int d, int e, int f, in func_12() argument
7 void func_13(int x, int y, int z, int a, int b, int c, int d, int e, int f, in func_13() argument
9 void func_14(int x, int y, int z, int a, int b, int c, int d, int e, int f, in func_14() argument
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/iadd/
H A Dbroken_msub.isle22 (rule (msub ty x y z) (alu_rrrr (ALUOp3.MSub) ty x y z))
27 (rule (lower (has_type (fits_in_64 ty) (isub (imul y z) x)))
28 (msub ty y z x))
H A Dbroken_madd.isle22 (rule (madd ty x y z) (alu_rrrr (ALUOp3.MAdd) ty x y z))
27 (rule (lower (has_type (fits_in_64 ty) (iadd x (imul y z))))
28 (madd ty x y z))
H A Dbroken_madd2.isle22 (rule (madd ty x y z) (alu_rrrr (ALUOp3.MAdd) ty x y z))
27 (rule (lower (has_type (fits_in_64 ty) (iadd (imul x y) z)))
H A Dbroken_shift.isle73 (rule (add_shift ty x y z) (alu_rrr_shift (ALUOp.Add) ty x y z))
H A Dbroken_shift2.isle73 (rule (add_shift ty x y z) (alu_rrr_shift (ALUOp.Add) ty x y z))
/wasmtime-44.0.1/cranelift/filetests/filetests/egraph/
H A Dselects.clif5 ;; (iadd ty (select ty c x y) z) -> (select ty c (x + z) (y + z))
25 ;; (iadd ty (select ty c x y) z) -> (select ty c (x + z) (y + z))
45 ;; (iadd ty (select ty c x y) z) -> (select ty c (x + z) (y + z))
104 ;; (x | (y != z)) ? y : z ==> y
213 ;; select(cond, eq(z, y), eq(p, y)) ==> eq(y, select(cond, z, p))
H A Darithmetic-precise.clif88 ;; ((x + y) - (x + z)) --> (y - z)
103 ;; ((x - z) - (y - z)) --> (x - y)
118 ;; ((x - y) - (x - z)) --> (z - y)
163 ;; ((x + z) - (y + z)) --> (x - y)
178 ;; ((x - y) + (y + z)) --> (x + z)
207 ;; (x + (y + (z - x))) --> (y + z)
H A Dfold-bitops.clif61 ;; (bxor ty (band ty z x) (band ty z y)) -> (band ty z (bxor ty x y))
123 ;; (band ty (bor ty x z) (bor ty y z)) -> (bor ty (band ty x y) z)
139 ;; (bor ty (band ty x z) (band ty y z)) -> (band ty (bor ty x y) z)
379 ;; (x ^ y) & ((y ^ z) ^ x) --> (x ^ y) & ~z
397 ;; (~x & y) ^ z --> (x & y) ^ (z ^ y)
H A Dbitops.clif486 ;; (bor ty (bxor ty (bxor ty x y) z) x) -> (bor ty (bxor ty y z) x)
502 ;; (eq ty (bxor cty x z) (bxor cty y z)) -> (eq ty x y)
687 ;; (bor ty (bxor ty x z) (bxor ty (bxor ty x z) y)) -> (bor ty (bxor ty x z) y)
731 ;; (bor ty (bxor ty x z) (bor ty y x)) -> (bor ty (bor ty y x) z)
762 ;; (bor ty (band ty (bxor ty x y) z) x) -> (bor ty (band ty y z) x)
778 ;; (bor ty (bor ty x y) (bxor ty x z)) -> (bor ty (bor ty x y) z)
794 ;; (ne ty (bxor cty x z) (bxor cty y z)) -> (ne ty x y)
868 ;; (bor ty (band ty x (bor ty y z)) y) -> (bor ty (band ty x z) y)
884 ;; (band ty (bor ty x (band ty y z)) y) -> (band ty (bor ty x z) y)
900 ;; (bor ty (bxor ty x (band ty y z)) y) -> (bor ty x y)
[all …]
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/constructs/
H A Dif-let.isle13 (if-let z (same_value x y))
14 (add ty z z))
/wasmtime-44.0.1/cranelift/codegen/src/isa/s390x/
H A Dlower.isle1125 (vec_eval ty 0b00000001 x y z))
1127 (vec_eval ty 0b00000001 x y z))
1147 (vec_eval ty 0b00010000 x y z))
1149 (vec_eval ty 0b00010000 x y z))
1151 (vec_eval ty 0b00000010 x y z))
1153 (vec_eval ty 0b00000010 x y z))
1155 (vec_eval ty 0b00000100 y x z))
1157 (vec_eval ty 0b00000100 z x y))
1161 (vec_eval ty 0b11111110 x y z))
1453 (vec_select ty y z x))
[all …]
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/mid-end/
H A Dbroken_bor_band_consts.isle63 ;; otherwise we may not know that `z == not(y)` since we don't generally expand
70 z @ (iconst ty (u64_from_imm64 zk))))
72 (bor ty x z))
/wasmtime-44.0.1/cranelift/assembler-x64/src/
H A Devex.rs58 let z = 0; // Masking kind bit; not used yet (TODO) so we default to merge-masking. in new() localVariable
59 let byte3 = z | ll << 5 | (broadcast as u8) << 4 | v_prime << 3 | aaa; in new()
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/
H A Dbroken_imul.isle55 (rule (madd ty x y z) (alu_rrrr (ALUOp3.MAdd) ty x y z))
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/imul/
H A Dbroken_imul.isle55 (rule (madd ty x y z) (alu_rrrr (ALUOp3.MAdd) ty x y z))
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/isub/
H A Dbroken_shift.isle73 (rule (sub_shift ty x y z) (alu_rrr_shift (ALUOp.Sub) ty x y z))
/wasmtime-44.0.1/cranelift/codegen/src/isa/riscv64/
H A Dlower.isle1651 (rule 0 (rv_fma (ty_supported_float_full ty) 0 0 x y z) (rv_fmadd ty (FRM.RNE) x y z))
1652 (rule 0 (rv_fma (ty_supported_float_full ty) 0 1 x y z) (rv_fmsub ty (FRM.RNE) x y z))
1653 (rule 0 (rv_fma (ty_supported_float_full ty) 1 0 x y z) (rv_fnmsub ty (FRM.RNE) x y z))
1654 (rule 0 (rv_fma (ty_supported_float_full ty) 1 1 x y z) (rv_fnmadd ty (FRM.RNE) x y z))
1655 (rule 1 (rv_fma (ty_supported_vec ty) 0 0 x y z) (rv_vfmacc_vv z y x (unmasked) ty))
1656 (rule 1 (rv_fma (ty_supported_vec ty) 0 1 x y z) (rv_vfmsac_vv z y x (unmasked) ty))
1657 (rule 1 (rv_fma (ty_supported_vec ty) 1 0 x y z) (rv_vfnmsac_vv z y x (unmasked) ty))
1658 (rule 1 (rv_fma (ty_supported_vec ty) 1 1 x y z) (rv_vfnmacc_vv z y x (unmasked) ty))
1659 (rule 2 (rv_fma (ty_supported_vec ty) 0 0 (splat _ x) y z) (rv_vfmacc_vf z y x (unmasked) ty))
1660 (rule 2 (rv_fma (ty_supported_vec ty) 0 1 (splat _ x) y z) (rv_vfmsac_vf z y x (unmasked) ty))
[all …]
/wasmtime-44.0.1/crates/c-api/tests/component/
H A Ddefine_module.cc22 (import "x:y/z" (instance in TEST()
/wasmtime-44.0.1/crates/wasmtime/src/runtime/vm/
H A Dlibcalls.rs1650 z: f32x4, in fma_f32x4()
1660 let z = U { reg: z }.mem; in fma_f32x4() localVariable
1664 x[0].wasm_mul_add(y[0], z[0]), in fma_f32x4()
1665 x[1].wasm_mul_add(y[1], z[1]), in fma_f32x4()
1666 x[2].wasm_mul_add(y[2], z[2]), in fma_f32x4()
1667 x[3].wasm_mul_add(y[3], z[3]), in fma_f32x4()
1679 z: f64x2, in fma_f64x2()
1689 let z = U { reg: z }.mem; in fma_f64x2() localVariable
1692 mem: [x[0].wasm_mul_add(y[0], z[0]), x[1].wasm_mul_add(y[1], z[1])], in fma_f64x2()

123