Lines Matching refs:Ity_I1
1863 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
2212 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
3089 vassert(typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1);
4475 if (ty == Ity_I1) {
4907 case Ity_I1:
