Home | History | Annotate | Download | only in priv

Lines Matching defs:zero

1187 /* Make a zero which has the same type as the result of the given
1531 difficult to verify; hence just handle the zero cases. */
1926 too difficult to verify; hence just handle the zero
2151 Bool zero;
2154 zero = toBool(0 == (0xFF & e->Iex.Mux0X.cond
2156 e2 = zero ? e->Iex.Mux0X.expr0 : e->Iex.Mux0X.exprX;