Lines Matching refs:Ity_I1
797 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32 || ty == Ity_I1
1790 typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1) {
2043 vassert(typeOfIRExpr(env->type_env, e) == Ity_I1);
2340 vassert(typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1);
3386 && typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1) {
3606 && typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1) {
3741 if (ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32 || ty == Ity_I1) {
4189 case Ity_I1: