Lines Matching refs:Y
14 ; (X & Y) & X -> X & Y
23 ; X & (X & Y) -> X & Y
32 ; (X | Y) | X -> X | Y
41 ; X | (X | Y) -> X | Y
50 ; (X ^ Y) ^ X = Y
59 ; X ^ (X ^ Y) = Y
85 ; ((X + 1) + Y) - (Y + 1) -> X
96 ; (no overflow X * Y) / Y -> X
105 ; (((X / Y) * Y) / Y) -> X / Y
115 ; (X rem Y) / Y -> 0
124 ; (X / Y) * Y -> X if the division is exact
133 ; Y * (X / Y) -> X if the division is exact
143 ; (no overflow X * Y) / Y -> X
152 ; (((X / Y) * Y) / Y) -> X / Y
162 ; (X rem Y) / Y -> 0
171 ; (X / Y) * Y -> X if the division is exact
180 ; Y * (X / Y) -> X if the division is exact