Lines Matching refs:Ity_I1
2359 typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
2737 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
4087 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
5481 if (ty == Ity_I1) {
5557 HReg r_res = lookupIRTemp(env, res); /* :: Ity_I1 */
5563 vassert(tyRes == Ity_I1);
5574 /* Probably unnecessary, since the IR dest type is Ity_I1,
5972 case Ity_I1: