Lines Matching refs:z
191 (rule (simplify (fma ty (fneg ty x) (fneg ty y) z))
192 (fma ty x y z))
253 (simplify (ne ty (iconst_u ty1 x) (imul ty1 y (iconst_u ty1 z))))
254 (if-let 0 (u64_checked_rem x z))
255 (if-let 1 (u64_rem z 2))
256 (ne ty y (iconst ty1 (imm64 (u64_div x z)))))
258 (simplify (ne ty (iconst_u ty1 x) (imul ty1 (iconst_u ty1 y) z)))
261 (ne ty z (iconst ty1 (imm64 (u64_div x y)))))
263 (simplify (ne ty (imul ty1 x (iconst_u ty1 y)) (iconst_u ty1 z)))
264 (if-let 0 (u64_checked_rem z y))
266 (ne ty x (iconst ty1 (imm64 (u64_div z y)))))
268 (simplify (ne ty (imul ty1 (iconst_u ty1 x) y) (iconst_u ty1 z)))
269 (if-let 0 (u64_checked_rem z x))
271 (ne ty y (iconst ty1 (imm64 (u64_div z x)))))
275 (simplify (eq ty (iconst_u ty1 x) (imul ty1 y (iconst_u ty1 z))))
276 (if-let 0 (u64_checked_rem x z))
277 (if-let 1 (u64_rem z 2))
278 (eq ty y (iconst ty1 (imm64 (u64_div x z)))))
280 (simplify (eq ty (iconst_u ty1 x) (imul ty1 (iconst_u ty1 y) z)))
283 (eq ty z (iconst ty1 (imm64 (u64_div x y)))))
285 (simplify (eq ty (imul ty1 x (iconst_u ty1 y)) (iconst_u ty1 z)))
286 (if-let 0 (u64_checked_rem z y))
288 (eq ty x (iconst ty1 (imm64 (u64_div z y)))))
290 (simplify (eq ty (imul ty1 (iconst_u ty1 x) y) (iconst_u ty1 z)))
291 (if-let 0 (u64_checked_rem z x))
293 (eq ty y (iconst ty1 (imm64 (u64_div z x)))))
328 ;; ((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)
338 (rule (simplify (isub ty (isub ty x y) (isub ty x z))) (isub ty z y))
360 ;; ((x + z) - (y + z)) --> (x - y)
361 (rule (simplify (isub ty (iadd ty x z) (iadd ty y z))) (isub ty x y))
362 (rule (simplify (isub ty (iadd ty x z) (iadd ty z y))) (isub ty x y))
363 (rule (simplify (isub ty (iadd ty z x) (iadd ty y z))) (isub ty x y))
364 (rule (simplify (isub ty (iadd ty z x) (iadd ty z y))) (isub ty x y))
366 ;; ((x - y) + (y + z)) --> (x + z)
367 (rule (simplify (iadd ty (isub ty x y) (iadd ty y z))) (iadd ty x z))
368 (rule (simplify (iadd ty (iadd ty y z) (isub ty x y))) (iadd ty x z))
369 (rule (simplify (iadd ty (isub ty x y) (iadd ty z y))) (iadd ty x z))
370 (rule (simplify (iadd ty (iadd ty z y) (isub ty x y))) (iadd ty x z))
376 ;; (x + (y + (z - x))) --> (y + z)
377 (rule (simplify (iadd ty x (iadd ty y (isub ty z x)))) (iadd ty y z))
378 (rule (simplify (iadd ty (iadd ty y (isub ty z x)) x)) (iadd ty y z))
379 (rule (simplify (iadd ty x (iadd ty (isub ty z x) y))) (iadd ty y z))
380 (rule (simplify (iadd ty (iadd ty (isub ty z x) y) x)) (iadd ty y z))