Lines Matching refs:Iex
1297 vex_printf("BIND-%d", e->Iex.Binder.binder); in ppIRExpr()
1301 ppIRType(e->Iex.Get.ty); in ppIRExpr()
1302 vex_printf("(%d)", e->Iex.Get.offset); in ppIRExpr()
1306 ppIRRegArray(e->Iex.GetI.descr); in ppIRExpr()
1308 ppIRExpr(e->Iex.GetI.ix); in ppIRExpr()
1309 vex_printf(",%d]", e->Iex.GetI.bias); in ppIRExpr()
1312 ppIRTemp(e->Iex.RdTmp.tmp); in ppIRExpr()
1315 const IRQop *qop = e->Iex.Qop.details; in ppIRExpr()
1329 const IRTriop *triop = e->Iex.Triop.details; in ppIRExpr()
1341 ppIROp(e->Iex.Binop.op); in ppIRExpr()
1343 ppIRExpr(e->Iex.Binop.arg1); in ppIRExpr()
1345 ppIRExpr(e->Iex.Binop.arg2); in ppIRExpr()
1349 ppIROp(e->Iex.Unop.op); in ppIRExpr()
1351 ppIRExpr(e->Iex.Unop.arg); in ppIRExpr()
1355 vex_printf( "LD%s:", e->Iex.Load.end==Iend_LE ? "le" : "be" ); in ppIRExpr()
1356 ppIRType(e->Iex.Load.ty); in ppIRExpr()
1358 ppIRExpr(e->Iex.Load.addr); in ppIRExpr()
1362 ppIRConst(e->Iex.Const.con); in ppIRExpr()
1365 ppIRCallee(e->Iex.CCall.cee); in ppIRExpr()
1367 for (i = 0; e->Iex.CCall.args[i] != NULL; i++) { in ppIRExpr()
1368 IRExpr* arg = e->Iex.CCall.args[i]; in ppIRExpr()
1371 if (e->Iex.CCall.args[i+1] != NULL) { in ppIRExpr()
1376 ppIRType(e->Iex.CCall.retty); in ppIRExpr()
1380 ppIRExpr(e->Iex.ITE.cond); in ppIRExpr()
1382 ppIRExpr(e->Iex.ITE.iftrue); in ppIRExpr()
1384 ppIRExpr(e->Iex.ITE.iffalse); in ppIRExpr()
1817 e->Iex.Binder.binder = binder; in IRExpr_Binder()
1823 e->Iex.Get.offset = off; in IRExpr_Get()
1824 e->Iex.Get.ty = ty; in IRExpr_Get()
1830 e->Iex.GetI.descr = descr; in IRExpr_GetI()
1831 e->Iex.GetI.ix = ix; in IRExpr_GetI()
1832 e->Iex.GetI.bias = bias; in IRExpr_GetI()
1838 e->Iex.RdTmp.tmp = tmp; in IRExpr_RdTmp()
1851 e->Iex.Qop.details = qop; in IRExpr_Qop()
1863 e->Iex.Triop.details = triop; in IRExpr_Triop()
1869 e->Iex.Binop.op = op; in IRExpr_Binop()
1870 e->Iex.Binop.arg1 = arg1; in IRExpr_Binop()
1871 e->Iex.Binop.arg2 = arg2; in IRExpr_Binop()
1877 e->Iex.Unop.op = op; in IRExpr_Unop()
1878 e->Iex.Unop.arg = arg; in IRExpr_Unop()
1884 e->Iex.Load.end = end; in IRExpr_Load()
1885 e->Iex.Load.ty = ty; in IRExpr_Load()
1886 e->Iex.Load.addr = addr; in IRExpr_Load()
1893 e->Iex.Const.con = con; in IRExpr_Const()
1899 e->Iex.CCall.cee = cee; in IRExpr_CCall()
1900 e->Iex.CCall.retty = retty; in IRExpr_CCall()
1901 e->Iex.CCall.args = args; in IRExpr_CCall()
1907 e->Iex.ITE.cond = cond; in IRExpr_ITE()
1908 e->Iex.ITE.iftrue = iftrue; in IRExpr_ITE()
1909 e->Iex.ITE.iffalse = iffalse; in IRExpr_ITE()
2345 return IRExpr_Get(e->Iex.Get.offset, e->Iex.Get.ty); in deepCopyIRExpr()
2347 return IRExpr_GetI(deepCopyIRRegArray(e->Iex.GetI.descr), in deepCopyIRExpr()
2348 deepCopyIRExpr(e->Iex.GetI.ix), in deepCopyIRExpr()
2349 e->Iex.GetI.bias); in deepCopyIRExpr()
2351 return IRExpr_RdTmp(e->Iex.RdTmp.tmp); in deepCopyIRExpr()
2353 const IRQop* qop = e->Iex.Qop.details; in deepCopyIRExpr()
2362 const IRTriop *triop = e->Iex.Triop.details; in deepCopyIRExpr()
2370 return IRExpr_Binop(e->Iex.Binop.op, in deepCopyIRExpr()
2371 deepCopyIRExpr(e->Iex.Binop.arg1), in deepCopyIRExpr()
2372 deepCopyIRExpr(e->Iex.Binop.arg2)); in deepCopyIRExpr()
2374 return IRExpr_Unop(e->Iex.Unop.op, in deepCopyIRExpr()
2375 deepCopyIRExpr(e->Iex.Unop.arg)); in deepCopyIRExpr()
2377 return IRExpr_Load(e->Iex.Load.end, in deepCopyIRExpr()
2378 e->Iex.Load.ty, in deepCopyIRExpr()
2379 deepCopyIRExpr(e->Iex.Load.addr)); in deepCopyIRExpr()
2381 return IRExpr_Const(deepCopyIRConst(e->Iex.Const.con)); in deepCopyIRExpr()
2383 return IRExpr_CCall(deepCopyIRCallee(e->Iex.CCall.cee), in deepCopyIRExpr()
2384 e->Iex.CCall.retty, in deepCopyIRExpr()
2385 deepCopyIRExprVec(e->Iex.CCall.args)); in deepCopyIRExpr()
2388 return IRExpr_ITE(deepCopyIRExpr(e->Iex.ITE.cond), in deepCopyIRExpr()
2389 deepCopyIRExpr(e->Iex.ITE.iftrue), in deepCopyIRExpr()
2390 deepCopyIRExpr(e->Iex.ITE.iffalse)); in deepCopyIRExpr()
2398 return IRExpr_Binder(e->Iex.Binder.binder); in deepCopyIRExpr()
3649 return e->Iex.Load.ty; in typeOfIRExpr()
3651 return e->Iex.Get.ty; in typeOfIRExpr()
3653 return e->Iex.GetI.descr->elemTy; in typeOfIRExpr()
3655 return typeOfIRTemp(tyenv, e->Iex.RdTmp.tmp); in typeOfIRExpr()
3657 return typeOfIRConst(e->Iex.Const.con); in typeOfIRExpr()
3659 typeOfPrimop(e->Iex.Qop.details->op, in typeOfIRExpr()
3663 typeOfPrimop(e->Iex.Triop.details->op, in typeOfIRExpr()
3667 typeOfPrimop(e->Iex.Binop.op, in typeOfIRExpr()
3671 typeOfPrimop(e->Iex.Unop.op, in typeOfIRExpr()
3675 return e->Iex.CCall.retty; in typeOfIRExpr()
3677 e = e->Iex.ITE.iffalse; in typeOfIRExpr()
3758 case Iex_GetI: return isIRAtom(e->Iex.GetI.ix); in isFlatIRStmt()
3760 case Iex_Qop: qop = e->Iex.Qop.details; in isFlatIRStmt()
3766 case Iex_Triop: triop = e->Iex.Triop.details; in isFlatIRStmt()
3772 isIRAtom(e->Iex.Binop.arg1) in isFlatIRStmt()
3773 && isIRAtom(e->Iex.Binop.arg2)); in isFlatIRStmt()
3774 case Iex_Unop: return isIRAtom(e->Iex.Unop.arg); in isFlatIRStmt()
3775 case Iex_Load: return isIRAtom(e->Iex.Load.addr); in isFlatIRStmt()
3777 case Iex_CCall: for (i = 0; e->Iex.CCall.args[i]; i++) in isFlatIRStmt()
3778 if (!isIRAtom(e->Iex.CCall.args[i])) in isFlatIRStmt()
3782 isIRAtom(e->Iex.ITE.cond) in isFlatIRStmt()
3783 && isIRAtom(e->Iex.ITE.iftrue) in isFlatIRStmt()
3784 && isIRAtom(e->Iex.ITE.iffalse)); in isFlatIRStmt()
3945 useBeforeDef_Expr(bb,stmt,expr->Iex.GetI.ix,def_counts); in useBeforeDef_Expr()
3948 useBeforeDef_Temp(bb,stmt,expr->Iex.RdTmp.tmp,def_counts); in useBeforeDef_Expr()
3951 const IRQop* qop = expr->Iex.Qop.details; in useBeforeDef_Expr()
3959 const IRTriop* triop = expr->Iex.Triop.details; in useBeforeDef_Expr()
3966 useBeforeDef_Expr(bb,stmt,expr->Iex.Binop.arg1,def_counts); in useBeforeDef_Expr()
3967 useBeforeDef_Expr(bb,stmt,expr->Iex.Binop.arg2,def_counts); in useBeforeDef_Expr()
3970 useBeforeDef_Expr(bb,stmt,expr->Iex.Unop.arg,def_counts); in useBeforeDef_Expr()
3973 useBeforeDef_Expr(bb,stmt,expr->Iex.Load.addr,def_counts); in useBeforeDef_Expr()
3978 for (i = 0; expr->Iex.CCall.args[i]; i++) { in useBeforeDef_Expr()
3979 const IRExpr* arg = expr->Iex.CCall.args[i]; in useBeforeDef_Expr()
3991 useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.cond,def_counts); in useBeforeDef_Expr()
3992 useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iftrue,def_counts); in useBeforeDef_Expr()
3993 useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iffalse,def_counts); in useBeforeDef_Expr()
4147 tcExpr(bb,stmt, expr->Iex.GetI.ix, gWordTy ); in tcExpr()
4148 if (typeOfIRExpr(tyenv,expr->Iex.GetI.ix) != Ity_I32) in tcExpr()
4150 if (!saneIRRegArray(expr->Iex.GetI.descr)) in tcExpr()
4155 const IRQop* qop = expr->Iex.Qop.details; in tcExpr()
4207 const IRTriop *triop = expr->Iex.Triop.details; in tcExpr()
4252 tcExpr(bb,stmt, expr->Iex.Binop.arg1, gWordTy ); in tcExpr()
4253 tcExpr(bb,stmt, expr->Iex.Binop.arg2, gWordTy ); in tcExpr()
4254 typeOfPrimop(expr->Iex.Binop.op, in tcExpr()
4259 ppIROp(expr->Iex.Binop.op); in tcExpr()
4265 ttarg1 = typeOfIRExpr(tyenv, expr->Iex.Binop.arg1); in tcExpr()
4266 ttarg2 = typeOfIRExpr(tyenv, expr->Iex.Binop.arg2); in tcExpr()
4269 ppIROp(expr->Iex.Binop.op); in tcExpr()
4289 tcExpr(bb,stmt, expr->Iex.Unop.arg, gWordTy ); in tcExpr()
4290 typeOfPrimop(expr->Iex.Unop.op, in tcExpr()
4295 if (t_arg1 != typeOfIRExpr(tyenv, expr->Iex.Unop.arg)) in tcExpr()
4299 tcExpr(bb,stmt, expr->Iex.Load.addr, gWordTy); in tcExpr()
4300 if (typeOfIRExpr(tyenv, expr->Iex.Load.addr) != gWordTy) in tcExpr()
4302 if (expr->Iex.Load.end != Iend_LE && expr->Iex.Load.end != Iend_BE) in tcExpr()
4306 if (!saneIRCallee(expr->Iex.CCall.cee)) in tcExpr()
4308 if (expr->Iex.CCall.cee->regparms > countArgs(expr->Iex.CCall.args)) in tcExpr()
4310 for (i = 0; expr->Iex.CCall.args[i]; i++) { in tcExpr()
4313 IRExpr* arg = expr->Iex.CCall.args[i]; in tcExpr()
4318 if (expr->Iex.CCall.retty == Ity_I1) in tcExpr()
4320 for (i = 0; expr->Iex.CCall.args[i]; i++) in tcExpr()
4321 if (typeOfIRExpr(tyenv, expr->Iex.CCall.args[i]) == Ity_I1) in tcExpr()
4325 if (!saneIRConst(expr->Iex.Const.con)) in tcExpr()
4329 tcExpr(bb,stmt, expr->Iex.ITE.cond, gWordTy); in tcExpr()
4330 tcExpr(bb,stmt, expr->Iex.ITE.iftrue, gWordTy); in tcExpr()
4331 tcExpr(bb,stmt, expr->Iex.ITE.iffalse, gWordTy); in tcExpr()
4332 if (typeOfIRExpr(tyenv, expr->Iex.ITE.cond) != Ity_I1) in tcExpr()
4334 if (typeOfIRExpr(tyenv, expr->Iex.ITE.iftrue) in tcExpr()
4335 != typeOfIRExpr(tyenv, expr->Iex.ITE.iffalse)) in tcExpr()
4808 return toBool(a1->Iex.RdTmp.tmp == a2->Iex.RdTmp.tmp); in eqIRAtom()
4810 return eqIRConst(a1->Iex.Const.con, a2->Iex.Const.con); in eqIRAtom()