Lines Matching refs:Ity_I1
51 case Ity_I1: vex_printf( "I1"); break;
1687 vassert(!(arr->elemTy == Ity_I1));
2395 *t_dst = Ity_I1; *t_arg1 = *t_arg2 = (_ta); break;
2397 *t_dst = Ity_I1; *t_arg1 = (_ta); break;
2623 case Iop_Not1: UNARY(Ity_I1, Ity_I1);
2624 case Iop_1Uto8: UNARY(Ity_I1, Ity_I8);
2625 case Iop_1Sto8: UNARY(Ity_I1, Ity_I8);
2626 case Iop_1Sto16: UNARY(Ity_I1, Ity_I16);
2627 case Iop_1Uto32: case Iop_1Sto32: UNARY(Ity_I1, Ity_I32);
2628 case Iop_1Sto64: case Iop_1Uto64: UNARY(Ity_I1, Ity_I64);
2629 case Iop_32to1: UNARY(Ity_I32, Ity_I1);
2630 case Iop_64to1: UNARY(Ity_I64, Ity_I1);
3361 Ity_I1;
3444 case Ity_INVALID: case Ity_I1:
3623 if (arr->elemTy == Ity_I1)
3994 if (expr->Iex.CCall.retty == Ity_I1)
3995 sanityCheckFail(bb,stmt,"Iex.CCall.retty: cannot return :: Ity_I1");
3997 if (typeOfIRExpr(tyenv, expr->Iex.CCall.args[i]) == Ity_I1)
3998 sanityCheckFail(bb,stmt,"Iex.CCall.arg: arg :: Ity_I1");
4008 if (typeOfIRExpr(tyenv, expr->Iex.ITE.cond) != Ity_I1)
4009 sanityCheckFail(bb,stmt,"Iex.ITE.cond: cond :: Ity_I1");
4048 if (typeOfIRExpr(tyenv,stmt->Ist.Put.data) == Ity_I1)
4049 sanityCheckFail(bb,stmt,"IRStmt.Put.data: cannot Put :: Ity_I1");
4055 if (typeOfIRExpr(tyenv,puti->data) == Ity_I1)
4056 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: cannot PutI :: Ity_I1");
4078 if (typeOfIRExpr(tyenv, stmt->Ist.Store.data) == Ity_I1)
4080 "IRStmt.Store.data: cannot Store :: Ity_I1");
4091 if (typeOfIRExpr(tyenv, sg->data) == Ity_I1)
4092 sanityCheckFail(bb,stmt,"IRStmtG...data: cannot Store :: Ity_I1");
4093 if (typeOfIRExpr(tyenv, sg->guard) != Ity_I1)
4094 sanityCheckFail(bb,stmt,"IRStmtG...guard: not :: Ity_I1");
4104 if (typeOfIRExpr(tyenv, lg->guard) != Ity_I1)
4105 sanityCheckFail(bb,stmt,"IRStmt.LoadG.guard: not :: Ity_I1");
4181 if (tyRes != Ity_I1)
4182 sanityCheckFail(bb,stmt,"Ist.LLSC(SC).result: not :: Ity_I1");
4222 Ity_I1)
4223 sanityCheckFail(bb,stmt,"IRStmt.Dirty.guard not :: Ity_I1");
4228 if (retTy == Ity_I1)
4229 sanityCheckFail(bb,stmt,"IRStmt.Dirty.dst :: Ity_I1");
4241 if (typeOfIRExpr(tyenv, arg) == Ity_I1)
4242 sanityCheckFail(bb,stmt,"IRStmt.Dirty.arg[i] :: Ity_I1");
4292 if (typeOfIRExpr(tyenv,stmt->Ist.Exit.guard) != Ity_I1)
4293 sanityCheckFail(bb,stmt,"IRStmt.Exit.guard: not :: Ity_I1");