Lines Matching refs:z
47 z @ (bnot ty y)))
48 (bor ty x z))
55 z @ (bnot ty y)
57 (bor ty x z))
60 ;; otherwise we may not know that `z == not(y)` since we don't generally expand
67 z @ (iconst_u ty zk)))
70 (bor ty x z))
224 ; (z & x) ^ (z & y) => z & (x ^ y)
226 (bxor ty (band ty z x) (band ty z y)))
227 (band ty z (bxor ty x y)))
255 ; (x | z) & (y | z) --> (x & y) | z
256 (rule (simplify (band ty (bor ty x z) (bor ty y z))) (bor ty (band ty x y) z))
257 (rule (simplify (band ty (bor ty y z) (bor ty x z))) (bor ty (band ty x y) z))
258 (rule (simplify (band ty (bor ty x z) (bor ty z y))) (bor ty (band ty x y) z))
259 (rule (simplify (band ty (bor ty z y) (bor ty x z))) (bor ty (band ty x y) z))
260 (rule (simplify (band ty (bor ty z x) (bor ty y z))) (bor ty (band ty x y) z))
261 (rule (simplify (band ty (bor ty y z) (bor ty z x))) (bor ty (band ty x y) z))
262 (rule (simplify (band ty (bor ty z x) (bor ty z y))) (bor ty (band ty x y) z))
263 (rule (simplify (band ty (bor ty z y) (bor ty z x))) (bor ty (band ty x y) z))
265 ; (x & z) | (y & z) --> (x | y) & z
266 (rule (simplify (bor ty (band ty x z) (band ty y z))) (band ty (bor ty x y) z))
267 (rule (simplify (bor ty (band ty y z) (band ty x z))) (band ty (bor ty x y) z))
268 (rule (simplify (bor ty (band ty x z) (band ty z y))) (band ty (bor ty x y) z))
269 (rule (simplify (bor ty (band ty z y) (band ty x z))) (band ty (bor ty x y) z))
270 (rule (simplify (bor ty (band ty z x) (band ty y z))) (band ty (bor ty x y) z))
271 (rule (simplify (bor ty (band ty y z) (band ty z x))) (band ty (bor ty x y) z))
272 (rule (simplify (bor ty (band ty z x) (band ty z y))) (band ty (bor ty x y) z))
273 (rule (simplify (bor ty (band ty z y) (band ty z x))) (band ty (bor ty x y) z))
293 ; x | ((x ^ y) ^ z) --> x | (y ^ z)
294 (rule (simplify (bor ty (bxor ty (bxor ty x y) z) x)) (bor ty (bxor ty y z) x))
295 (rule (simplify (bor ty x (bxor ty (bxor ty x y) z))) (bor ty (bxor ty y z) x))
296 (rule (simplify (bor ty (bxor ty z (bxor ty x y)) x)) (bor ty (bxor ty y z) x))
297 (rule (simplify (bor ty x (bxor ty z (bxor ty x y)))) (bor ty (bxor ty y z) x))
298 (rule (simplify (bor ty (bxor ty (bxor ty y x) z) x)) (bor ty (bxor ty y z) x))
299 (rule (simplify (bor ty x (bxor ty (bxor ty y x) z))) (bor ty (bxor ty y z) x))
300 (rule (simplify (bor ty (bxor ty z (bxor ty y x)) x)) (bor ty (bxor ty y z) x))
301 (rule (simplify (bor ty x (bxor ty z (bxor ty y x)))) (bor ty (bxor ty y z) x))
303 ; (x ^ z) == (y ^ z) --> x == y
304 (rule (simplify (eq ty (bxor cty x z) (bxor cty y z))) (eq ty x y))
305 (rule (simplify (eq ty (bxor cty y z) (bxor cty x z))) (eq ty x y))
306 (rule (simplify (eq ty (bxor cty x z) (bxor cty z y))) (eq ty x y))
307 (rule (simplify (eq ty (bxor cty z y) (bxor cty x z))) (eq ty x y))
308 (rule (simplify (eq ty (bxor cty z x) (bxor cty y z))) (eq ty x y))
309 (rule (simplify (eq ty (bxor cty y z) (bxor cty z x))) (eq ty x y))
310 (rule (simplify (eq ty (bxor cty z x) (bxor cty z y))) (eq ty x y))
311 (rule (simplify (eq ty (bxor cty z y) (bxor cty z x))) (eq ty x y))
383 ; (x ^ z) | (((x ^ z) ^ y)) --> (x ^ z) | y
384 (rule (simplify (bor ty (bxor ty x z) (bxor ty (bxor ty x z) y))) (bor ty (bxor ty x z) y))
385 (rule (simplify (bor ty (bxor ty (bxor ty x z) y) (bxor ty x z))) (bor ty (bxor ty x z) y))
386 (rule (simplify (bor ty (bxor ty x z) (bxor ty y (bxor ty x z)))) (bor ty (bxor ty x z) y))
387 (rule (simplify (bor ty (bxor ty y (bxor ty x z)) (bxor ty x z))) (bor ty (bxor ty x z) y))
389 (rule (simplify (bor ty (bxor ty x z) (bxor ty (bxor ty z x) y))) (bor ty (bxor ty x z) y))
390 (rule (simplify (bor ty (bxor ty (bxor ty z x) y) (bxor ty x z))) (bor ty (bxor ty x z) y))
391 (rule (simplify (bor ty (bxor ty x z) (bxor ty y (bxor ty z x)))) (bor ty (bxor ty x z) y))
392 (rule (simplify (bor ty (bxor ty y (bxor ty z x)) (bxor ty x z))) (bor ty (bxor ty x z) y))
394 (rule (simplify (bor ty (bxor ty z x) (bxor ty (bxor ty x z) y))) (bor ty (bxor ty x z) y))
395 (rule (simplify (bor ty (bxor ty (bxor ty x z) y) (bxor ty z x))) (bor ty (bxor ty x z) y))
396 (rule (simplify (bor ty (bxor ty z x) (bxor ty y (bxor ty x z)))) (bor ty (bxor ty x z) y))
397 (rule (simplify (bor ty (bxor ty y (bxor ty x z)) (bxor ty z x))) (bor ty (bxor ty x z) y))
399 (rule (simplify (bor ty (bxor ty z x) (bxor ty (bxor ty z x) y))) (bor ty (bxor ty x z) y))
400 (rule (simplify (bor ty (bxor ty (bxor ty z x) y) (bxor ty z x))) (bor ty (bxor ty x z) y))
401 (rule (simplify (bor ty (bxor ty z x) (bxor ty y (bxor ty z x)))) (bor ty (bxor ty x z) y))
402 (rule (simplify (bor ty (bxor ty y (bxor ty z x)) (bxor ty z x))) (bor ty (bxor ty x z) y))
414 ; (x ^ z) | (y | x) --> (y | x) | z
415 (rule (simplify (bor ty (bxor ty x z) (bor ty y x))) (bor ty (bor ty y x) z))
416 (rule (simplify (bor ty (bor ty y x) (bxor ty x z))) (bor ty (bor ty y x) z))
417 (rule (simplify (bor ty (bxor ty x z) (bor ty x y))) (bor ty (bor ty y x) z))
418 (rule (simplify (bor ty (bor ty x y) (bxor ty x z))) (bor ty (bor ty y x) z))
419 (rule (simplify (bor ty (bxor ty z x) (bor ty y x))) (bor ty (bor ty y x) z))
420 (rule (simplify (bor ty (bor ty y x) (bxor ty z x))) (bor ty (bor ty y x) z))
421 (rule (simplify (bor ty (bxor ty z x) (bor ty x y))) (bor ty (bor ty y x) z))
422 (rule (simplify (bor ty (bor ty x y) (bxor ty z x))) (bor ty (bor ty y x) z))
434 ; x | (z & (x ^ y)) --> x | (z & y)
435 (rule (simplify (bor ty (band ty (bxor ty y x) z) x)) (bor ty (band ty y z) x))
436 (rule (simplify (bor ty x (band ty (bxor ty y x) z))) (bor ty (band ty y z) x))
437 (rule (simplify (bor ty (band ty z (bxor ty y x)) x)) (bor ty (band ty y z) x))
438 (rule (simplify (bor ty x (band ty z (bxor ty y x)))) (bor ty (band ty y z) x))
439 (rule (simplify (bor ty (band ty (bxor ty x y) z) x)) (bor ty (band ty y z) x))
440 (rule (simplify (bor ty x (band ty (bxor ty x y) z))) (bor ty (band ty y z) x))
441 (rule (simplify (bor ty (band ty z (bxor ty x y)) x)) (bor ty (band ty y z) x))
442 (rule (simplify (bor ty x (band ty z (bxor ty x y)))) (bor ty (band ty y z) x))
444 ; (x | y) | (x ^ z) --> (x | y) | z
445 (rule (simplify (bor ty (bor ty x y) (bxor ty x z))) (bor ty (bor ty x y) z))
446 (rule (simplify (bor ty (bxor ty x z) (bor ty x y))) (bor ty (bor ty x y) z))
447 (rule (simplify (bor ty (bor ty x y) (bxor ty z x))) (bor ty (bor ty x y) z))
448 (rule (simplify (bor ty (bxor ty z x) (bor ty x y))) (bor ty (bor ty x y) z))
449 (rule (simplify (bor ty (bor ty y x) (bxor ty x z))) (bor ty (bor ty x y) z))
450 (rule (simplify (bor ty (bxor ty x z) (bor ty y x))) (bor ty (bor ty x y) z))
451 (rule (simplify (bor ty (bor ty y x) (bxor ty z x))) (bor ty (bor ty x y) z))
452 (rule (simplify (bor ty (bxor ty z x) (bor ty y x))) (bor ty (bor ty x y) z))
454 ; (x ^ z) != (y ^ z) --> x != y
455 (rule (simplify (ne ty (bxor cty x z) (bxor cty y z))) (ne ty x y))
456 (rule (simplify (ne ty (bxor cty y z) (bxor cty x z))) (ne ty x y))
457 (rule (simplify (ne ty (bxor cty x z) (bxor cty z y))) (ne ty x y))
458 (rule (simplify (ne ty (bxor cty z y) (bxor cty x z))) (ne ty x y))
459 (rule (simplify (ne ty (bxor cty z x) (bxor cty y z))) (ne ty x y))
460 (rule (simplify (ne ty (bxor cty y z) (bxor cty z x))) (ne ty x y))
461 (rule (simplify (ne ty (bxor cty z x) (bxor cty z y))) (ne ty x y))
462 (rule (simplify (ne ty (bxor cty z y) (bxor cty z x))) (ne ty x y))
496 ; y | (x & (y | z)) --> y | (x & z)
497 (rule (simplify (bor ty (band ty x (bor ty y z)) y)) (bor ty (band ty x z) y))
498 (rule (simplify (bor ty y (band ty x (bor ty y z)))) (bor ty (band ty x z) y))
499 (rule (simplify (bor ty (band ty (bor ty y z) x) y)) (bor ty (band ty x z) y))
500 (rule (simplify (bor ty y (band ty (bor ty y z) x))) (bor ty (band ty x z) y))
501 (rule (simplify (bor ty (band ty x (bor ty z y)) y)) (bor ty (band ty x z) y))
502 (rule (simplify (bor ty y (band ty x (bor ty z y)))) (bor ty (band ty x z) y))
503 (rule (simplify (bor ty (band ty (bor ty z y) x) y)) (bor ty (band ty x z) y))
504 (rule (simplify (bor ty y (band ty (bor ty z y) x))) (bor ty (band ty x z) y))
506 ; y & (x | (y & z)) --> y & (x | z)
507 (rule (simplify (band ty (bor ty x (band ty y z)) y)) (band ty (bor ty x z) y))
508 (rule (simplify (band ty y (bor ty x (band ty y z)))) (band ty (bor ty x z) y))
509 (rule (simplify (band ty (bor ty (band ty y z) x) y)) (band ty (bor ty x z) y))
510 (rule (simplify (band ty y (bor ty (band ty y z) x))) (band ty (bor ty x z) y))
511 (rule (simplify (band ty (bor ty x (band ty z y)) y)) (band ty (bor ty x z) y))
512 (rule (simplify (band ty y (bor ty x (band ty z y)))) (band ty (bor ty x z) y))
513 (rule (simplify (band ty (bor ty (band ty z y) x) y)) (band ty (bor ty x z) y))
514 (rule (simplify (band ty y (bor ty (band ty z y) x))) (band ty (bor ty x z) y))
516 ; y | (x ^ (y & z)) --> x | y
517 (rule (simplify (bor ty (bxor ty x (band ty y z)) y)) (bor ty x y))
518 (rule (simplify (bor ty y (bxor ty x (band ty y z)))) (bor ty x y))
519 (rule (simplify (bor ty (bxor ty (band ty y z) x) y)) (bor ty x y))
520 (rule (simplify (bor ty y (bxor ty (band ty y z) x))) (bor ty x y))
521 (rule (simplify (bor ty (bxor ty x (band ty z y)) y)) (bor ty x y))
522 (rule (simplify (bor ty y (bxor ty x (band ty z y)))) (bor ty x y))
523 (rule (simplify (bor ty (bxor ty (band ty z y) x) y)) (bor ty x y))
524 (rule (simplify (bor ty y (bxor ty (band ty z y) x))) (bor ty x y))
526 ; ((x & y) ^ y) + z --> (y + z) - (x & y)
527 (rule (simplify (iadd ty (bxor ty (band ty x y) y) z)) (isub ty (iadd ty y z) (band ty x y)))
528 (rule (simplify (iadd ty z (bxor ty (band ty x y) y))) (isub ty (iadd ty y z) (band ty x y)))
529 (rule (simplify (iadd ty (bxor ty y (band ty x y)) z)) (isub ty (iadd ty y z) (band ty x y)))
530 (rule (simplify (iadd ty z (bxor ty y (band ty x y)))) (isub ty (iadd ty y z) (band ty x y)))
531 (rule (simplify (iadd ty (bxor ty (band ty y x) y) z)) (isub ty (iadd ty y z) (band ty x y)))
532 (rule (simplify (iadd ty z (bxor ty (band ty y x) y))) (isub ty (iadd ty y z) (band ty x y)))
533 (rule (simplify (iadd ty (bxor ty y (band ty y x)) z)) (isub ty (iadd ty y z) (band ty x y)))
534 (rule (simplify (iadd ty z (bxor ty y (band ty y x)))) (isub ty (iadd ty y z) (band ty x y)))
634 ;; (x ^ y) & (x ^ (y ^ z)) --> (x ^ y) & ~z
635 …le (simplify (band ty (bxor ty x y) (bxor ty (bxor ty y z) x))) (band ty (bxor ty x y) (bnot ty z)…
636 (rule (simplify (band ty (bxor ty (bxor ty y z) x) (bxor ty x y))) (band ty (bxor ty x y) (bnot ty …
637 …e (simplify (band ty (bxor ty x y) (bxor ty x (bxor ty y z)))) (band ty (bxor ty x y) (bnot ty z)))
638 (rule (simplify (band ty (bxor ty x (bxor ty y z)) (bxor ty x y))) (band ty (bxor ty x y) (bnot ty …
639 …ule (simplify (band ty (bxor ty x y) (bxor ty (bxor ty z y) x))) (band ty (bxor ty x y) (bnot ty z…
640 (rule (simplify (band ty (bxor ty (bxor ty z y) x) (bxor ty x y))) (band ty (bxor ty x y) (bnot ty …
641 …le (simplify (band ty (bxor ty x y) (bxor ty x (bxor ty z y)))) (band ty (bxor ty x y) (bnot ty z)…
642 (rule (simplify (band ty (bxor ty x (bxor ty z y)) (bxor ty x y))) (band ty (bxor ty x y) (bnot ty …
643 …le (simplify (band ty (bxor ty y x) (bxor ty (bxor ty y z) x))) (band ty (bxor ty x y) (bnot ty z)…
644 (rule (simplify (band ty (bxor ty (bxor ty y z) x) (bxor ty y x))) (band ty (bxor ty x y) (bnot ty …
645 …e (simplify (band ty (bxor ty y x) (bxor ty x (bxor ty y z)))) (band ty (bxor ty x y) (bnot ty z)))
646 (rule (simplify (band ty (bxor ty x (bxor ty y z)) (bxor ty y x))) (band ty (bxor ty x y) (bnot ty …
647 …ule (simplify (band ty (bxor ty y x) (bxor ty (bxor ty z y) x))) (band ty (bxor ty x y) (bnot ty z…
648 (rule (simplify (band ty (bxor ty (bxor ty z y) x) (bxor ty y x))) (band ty (bxor ty x y) (bnot ty …
649 …le (simplify (band ty (bxor ty y x) (bxor ty x (bxor ty z y)))) (band ty (bxor ty x y) (bnot ty z)…
650 (rule (simplify (band ty (bxor ty x (bxor ty z y)) (bxor ty y x))) (band ty (bxor ty x y) (bnot ty …
652 ;; (~x & y) ^ z --> (x & y) ^ (z ^ y)
653 (rule (simplify (bxor ty (band ty (bnot ty x) y) z)) (bxor ty (band ty x y) (bxor ty z y)))
654 (rule (simplify (bxor ty z (band ty (bnot ty x) y))) (bxor ty (band ty x y) (bxor ty z y)))
655 (rule (simplify (bxor ty (band ty y (bnot ty x)) z)) (bxor ty (band ty x y) (bxor ty z y)))
656 (rule (simplify (bxor ty z (band ty y (bnot ty x)))) (bxor ty (band ty x y) (bxor ty z y)))