Lines Matching refs:Ity_I1
1067 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
2129 vassert(tyC == Ity_I1);
5504 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
5646 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
5898 if (ty == Ity_I1) {
6125 vassert(ty == Ity_I1);
6367 case Ity_I1:
