Lines Matching refs:Iex
1184 vex_printf("BIND-%d", e->Iex.Binder.binder); in ppIRExpr()
1188 ppIRType(e->Iex.Get.ty); in ppIRExpr()
1189 vex_printf("(%d)", e->Iex.Get.offset); in ppIRExpr()
1193 ppIRRegArray(e->Iex.GetI.descr); in ppIRExpr()
1195 ppIRExpr(e->Iex.GetI.ix); in ppIRExpr()
1196 vex_printf(",%d]", e->Iex.GetI.bias); in ppIRExpr()
1199 ppIRTemp(e->Iex.RdTmp.tmp); in ppIRExpr()
1202 IRQop *qop = e->Iex.Qop.details; in ppIRExpr()
1216 IRTriop *triop = e->Iex.Triop.details; in ppIRExpr()
1228 ppIROp(e->Iex.Binop.op); in ppIRExpr()
1230 ppIRExpr(e->Iex.Binop.arg1); in ppIRExpr()
1232 ppIRExpr(e->Iex.Binop.arg2); in ppIRExpr()
1236 ppIROp(e->Iex.Unop.op); in ppIRExpr()
1238 ppIRExpr(e->Iex.Unop.arg); in ppIRExpr()
1242 vex_printf( "LD%s:", e->Iex.Load.end==Iend_LE ? "le" : "be" ); in ppIRExpr()
1243 ppIRType(e->Iex.Load.ty); in ppIRExpr()
1245 ppIRExpr(e->Iex.Load.addr); in ppIRExpr()
1249 ppIRConst(e->Iex.Const.con); in ppIRExpr()
1252 ppIRCallee(e->Iex.CCall.cee); in ppIRExpr()
1254 for (i = 0; e->Iex.CCall.args[i] != NULL; i++) { in ppIRExpr()
1255 IRExpr* arg = e->Iex.CCall.args[i]; in ppIRExpr()
1258 if (e->Iex.CCall.args[i+1] != NULL) { in ppIRExpr()
1263 ppIRType(e->Iex.CCall.retty); in ppIRExpr()
1267 ppIRExpr(e->Iex.ITE.cond); in ppIRExpr()
1269 ppIRExpr(e->Iex.ITE.iftrue); in ppIRExpr()
1271 ppIRExpr(e->Iex.ITE.iffalse); in ppIRExpr()
1698 e->Iex.Binder.binder = binder; in IRExpr_Binder()
1704 e->Iex.Get.offset = off; in IRExpr_Get()
1705 e->Iex.Get.ty = ty; in IRExpr_Get()
1711 e->Iex.GetI.descr = descr; in IRExpr_GetI()
1712 e->Iex.GetI.ix = ix; in IRExpr_GetI()
1713 e->Iex.GetI.bias = bias; in IRExpr_GetI()
1719 e->Iex.RdTmp.tmp = tmp; in IRExpr_RdTmp()
1732 e->Iex.Qop.details = qop; in IRExpr_Qop()
1744 e->Iex.Triop.details = triop; in IRExpr_Triop()
1750 e->Iex.Binop.op = op; in IRExpr_Binop()
1751 e->Iex.Binop.arg1 = arg1; in IRExpr_Binop()
1752 e->Iex.Binop.arg2 = arg2; in IRExpr_Binop()
1758 e->Iex.Unop.op = op; in IRExpr_Unop()
1759 e->Iex.Unop.arg = arg; in IRExpr_Unop()
1765 e->Iex.Load.end = end; in IRExpr_Load()
1766 e->Iex.Load.ty = ty; in IRExpr_Load()
1767 e->Iex.Load.addr = addr; in IRExpr_Load()
1774 e->Iex.Const.con = con; in IRExpr_Const()
1780 e->Iex.CCall.cee = cee; in IRExpr_CCall()
1781 e->Iex.CCall.retty = retty; in IRExpr_CCall()
1782 e->Iex.CCall.args = args; in IRExpr_CCall()
1788 e->Iex.ITE.cond = cond; in IRExpr_ITE()
1789 e->Iex.ITE.iftrue = iftrue; in IRExpr_ITE()
1790 e->Iex.ITE.iffalse = iffalse; in IRExpr_ITE()
2182 return IRExpr_Get(e->Iex.Get.offset, e->Iex.Get.ty); in deepCopyIRExpr()
2184 return IRExpr_GetI(deepCopyIRRegArray(e->Iex.GetI.descr), in deepCopyIRExpr()
2185 deepCopyIRExpr(e->Iex.GetI.ix), in deepCopyIRExpr()
2186 e->Iex.GetI.bias); in deepCopyIRExpr()
2188 return IRExpr_RdTmp(e->Iex.RdTmp.tmp); in deepCopyIRExpr()
2190 IRQop* qop = e->Iex.Qop.details; in deepCopyIRExpr()
2199 IRTriop *triop = e->Iex.Triop.details; in deepCopyIRExpr()
2207 return IRExpr_Binop(e->Iex.Binop.op, in deepCopyIRExpr()
2208 deepCopyIRExpr(e->Iex.Binop.arg1), in deepCopyIRExpr()
2209 deepCopyIRExpr(e->Iex.Binop.arg2)); in deepCopyIRExpr()
2211 return IRExpr_Unop(e->Iex.Unop.op, in deepCopyIRExpr()
2212 deepCopyIRExpr(e->Iex.Unop.arg)); in deepCopyIRExpr()
2214 return IRExpr_Load(e->Iex.Load.end, in deepCopyIRExpr()
2215 e->Iex.Load.ty, in deepCopyIRExpr()
2216 deepCopyIRExpr(e->Iex.Load.addr)); in deepCopyIRExpr()
2218 return IRExpr_Const(deepCopyIRConst(e->Iex.Const.con)); in deepCopyIRExpr()
2220 return IRExpr_CCall(deepCopyIRCallee(e->Iex.CCall.cee), in deepCopyIRExpr()
2221 e->Iex.CCall.retty, in deepCopyIRExpr()
2222 deepCopyIRExprVec(e->Iex.CCall.args)); in deepCopyIRExpr()
2225 return IRExpr_ITE(deepCopyIRExpr(e->Iex.ITE.cond), in deepCopyIRExpr()
2226 deepCopyIRExpr(e->Iex.ITE.iftrue), in deepCopyIRExpr()
2227 deepCopyIRExpr(e->Iex.ITE.iffalse)); in deepCopyIRExpr()
3397 return e->Iex.Load.ty; in typeOfIRExpr()
3399 return e->Iex.Get.ty; in typeOfIRExpr()
3401 return e->Iex.GetI.descr->elemTy; in typeOfIRExpr()
3403 return typeOfIRTemp(tyenv, e->Iex.RdTmp.tmp); in typeOfIRExpr()
3405 return typeOfIRConst(e->Iex.Const.con); in typeOfIRExpr()
3407 typeOfPrimop(e->Iex.Qop.details->op, in typeOfIRExpr()
3411 typeOfPrimop(e->Iex.Triop.details->op, in typeOfIRExpr()
3415 typeOfPrimop(e->Iex.Binop.op, in typeOfIRExpr()
3419 typeOfPrimop(e->Iex.Unop.op, in typeOfIRExpr()
3423 return e->Iex.CCall.retty; in typeOfIRExpr()
3425 e = e->Iex.ITE.iffalse; in typeOfIRExpr()
3507 case Iex_GetI: return isIRAtom(e->Iex.GetI.ix); in isFlatIRStmt()
3509 case Iex_Qop: qop = e->Iex.Qop.details; in isFlatIRStmt()
3515 case Iex_Triop: triop = e->Iex.Triop.details; in isFlatIRStmt()
3521 isIRAtom(e->Iex.Binop.arg1) in isFlatIRStmt()
3522 && isIRAtom(e->Iex.Binop.arg2)); in isFlatIRStmt()
3523 case Iex_Unop: return isIRAtom(e->Iex.Unop.arg); in isFlatIRStmt()
3524 case Iex_Load: return isIRAtom(e->Iex.Load.addr); in isFlatIRStmt()
3526 case Iex_CCall: for (i = 0; e->Iex.CCall.args[i]; i++) in isFlatIRStmt()
3527 if (!isIRAtom(e->Iex.CCall.args[i])) in isFlatIRStmt()
3531 isIRAtom(e->Iex.ITE.cond) in isFlatIRStmt()
3532 && isIRAtom(e->Iex.ITE.iftrue) in isFlatIRStmt()
3533 && isIRAtom(e->Iex.ITE.iffalse)); in isFlatIRStmt()
3674 useBeforeDef_Expr(bb,stmt,expr->Iex.GetI.ix,def_counts); in useBeforeDef_Expr()
3677 useBeforeDef_Temp(bb,stmt,expr->Iex.RdTmp.tmp,def_counts); in useBeforeDef_Expr()
3680 IRQop* qop = expr->Iex.Qop.details; in useBeforeDef_Expr()
3688 IRTriop* triop = expr->Iex.Triop.details; in useBeforeDef_Expr()
3695 useBeforeDef_Expr(bb,stmt,expr->Iex.Binop.arg1,def_counts); in useBeforeDef_Expr()
3696 useBeforeDef_Expr(bb,stmt,expr->Iex.Binop.arg2,def_counts); in useBeforeDef_Expr()
3699 useBeforeDef_Expr(bb,stmt,expr->Iex.Unop.arg,def_counts); in useBeforeDef_Expr()
3702 useBeforeDef_Expr(bb,stmt,expr->Iex.Load.addr,def_counts); in useBeforeDef_Expr()
3707 for (i = 0; expr->Iex.CCall.args[i]; i++) { in useBeforeDef_Expr()
3708 IRExpr* arg = expr->Iex.CCall.args[i]; in useBeforeDef_Expr()
3720 useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.cond,def_counts); in useBeforeDef_Expr()
3721 useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iftrue,def_counts); in useBeforeDef_Expr()
3722 useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iffalse,def_counts); in useBeforeDef_Expr()
3823 tcExpr(bb,stmt, expr->Iex.GetI.ix, gWordTy ); in tcExpr()
3824 if (typeOfIRExpr(tyenv,expr->Iex.GetI.ix) != Ity_I32) in tcExpr()
3826 if (!saneIRRegArray(expr->Iex.GetI.descr)) in tcExpr()
3831 IRQop* qop = expr->Iex.Qop.details; in tcExpr()
3883 IRTriop *triop = expr->Iex.Triop.details; in tcExpr()
3928 tcExpr(bb,stmt, expr->Iex.Binop.arg1, gWordTy ); in tcExpr()
3929 tcExpr(bb,stmt, expr->Iex.Binop.arg2, gWordTy ); in tcExpr()
3930 typeOfPrimop(expr->Iex.Binop.op, in tcExpr()
3935 ppIROp(expr->Iex.Binop.op); in tcExpr()
3941 ttarg1 = typeOfIRExpr(tyenv, expr->Iex.Binop.arg1); in tcExpr()
3942 ttarg2 = typeOfIRExpr(tyenv, expr->Iex.Binop.arg2); in tcExpr()
3945 ppIROp(expr->Iex.Binop.op); in tcExpr()
3965 tcExpr(bb,stmt, expr->Iex.Unop.arg, gWordTy ); in tcExpr()
3966 typeOfPrimop(expr->Iex.Unop.op, in tcExpr()
3971 if (t_arg1 != typeOfIRExpr(tyenv, expr->Iex.Unop.arg)) in tcExpr()
3975 tcExpr(bb,stmt, expr->Iex.Load.addr, gWordTy); in tcExpr()
3976 if (typeOfIRExpr(tyenv, expr->Iex.Load.addr) != gWordTy) in tcExpr()
3978 if (expr->Iex.Load.end != Iend_LE && expr->Iex.Load.end != Iend_BE) in tcExpr()
3982 if (!saneIRCallee(expr->Iex.CCall.cee)) in tcExpr()
3984 if (expr->Iex.CCall.cee->regparms > countArgs(expr->Iex.CCall.args)) in tcExpr()
3986 for (i = 0; expr->Iex.CCall.args[i]; i++) { in tcExpr()
3989 IRExpr* arg = expr->Iex.CCall.args[i]; in tcExpr()
3994 if (expr->Iex.CCall.retty == Ity_I1) in tcExpr()
3996 for (i = 0; expr->Iex.CCall.args[i]; i++) in tcExpr()
3997 if (typeOfIRExpr(tyenv, expr->Iex.CCall.args[i]) == Ity_I1) in tcExpr()
4001 if (!saneIRConst(expr->Iex.Const.con)) in tcExpr()
4005 tcExpr(bb,stmt, expr->Iex.ITE.cond, gWordTy); in tcExpr()
4006 tcExpr(bb,stmt, expr->Iex.ITE.iftrue, gWordTy); in tcExpr()
4007 tcExpr(bb,stmt, expr->Iex.ITE.iffalse, gWordTy); in tcExpr()
4008 if (typeOfIRExpr(tyenv, expr->Iex.ITE.cond) != Ity_I1) in tcExpr()
4010 if (typeOfIRExpr(tyenv, expr->Iex.ITE.iftrue) in tcExpr()
4011 != typeOfIRExpr(tyenv, expr->Iex.ITE.iffalse)) in tcExpr()
4551 return toBool(a1->Iex.RdTmp.tmp == a2->Iex.RdTmp.tmp); in eqIRAtom()
4553 return eqIRConst(a1->Iex.Const.con, a2->Iex.Const.con); in eqIRAtom()