Lines Matching refs:Ity_I1
1466 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);2674 //ZZ vassert(tyC == Ity_I1);6120 //ZZ && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {6296 //ZZ && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {6614 if (ty == Ity_I1) {6781 vassert(ty == Ity_I1);7026 case Ity_I1: