Lines Matching refs:z
97 (iadd ty (select ty c (iconst_u ty x) (iconst_u ty y)) (iconst_u ty z)))
99 (iconst ty (imm64_masked ty (u64_wrapping_add x z)))
100 (iconst ty (imm64_masked ty (u64_wrapping_add y z)))))
108 (rule (simplify (slt (fits_in_64 ty) x (smin _ x z))) (iconst_u ty 0))
112 (rule (simplify (ult (fits_in_64 ty) x (umin _ x z))) (iconst_u ty 0))
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…
195 (rule (simplify (select ty x (eq ty y z) (eq ty y (iconst_u cty p)))) (eq ty y (select cty x z (ico…