Lines Matching refs:gWordTy
3971 IRType gWordTy )
3981 tcExpr(bb,stmt, expr->Iex.GetI.ix, gWordTy );
3990 tcExpr(bb,stmt, qop->arg1, gWordTy );
3991 tcExpr(bb,stmt, qop->arg2, gWordTy );
3992 tcExpr(bb,stmt, qop->arg3, gWordTy );
3993 tcExpr(bb,stmt, qop->arg4, gWordTy );
4042 tcExpr(bb,stmt, triop->arg1, gWordTy );
4043 tcExpr(bb,stmt, triop->arg2, gWordTy );
4044 tcExpr(bb,stmt, triop->arg3, gWordTy );
4086 tcExpr(bb,stmt, expr->Iex.Binop.arg1, gWordTy );
4087 tcExpr(bb,stmt, expr->Iex.Binop.arg2, gWordTy );
4123 tcExpr(bb,stmt, expr->Iex.Unop.arg, gWordTy );
4133 tcExpr(bb,stmt, expr->Iex.Load.addr, gWordTy);
4134 if (typeOfIRExpr(tyenv, expr->Iex.Load.addr) != gWordTy)
4150 tcExpr(bb,stmt, arg, gWordTy);
4163 tcExpr(bb,stmt, expr->Iex.ITE.cond, gWordTy);
4164 tcExpr(bb,stmt, expr->Iex.ITE.iftrue, gWordTy);
4165 tcExpr(bb,stmt, expr->Iex.ITE.iffalse, gWordTy);
4179 void tcStmt ( const IRSB* bb, const IRStmt* stmt, IRType gWordTy )
4194 if (typeOfIRExpr(tyenv, stmt->Ist.AbiHint.base) != gWordTy)
4197 if (typeOfIRExpr(tyenv, stmt->Ist.AbiHint.nia) != gWordTy)
4202 tcExpr( bb, stmt, stmt->Ist.Put.data, gWordTy );
4208 tcExpr( bb, stmt, puti->data, gWordTy );
4209 tcExpr( bb, stmt, puti->ix, gWordTy );
4222 tcExpr( bb, stmt, stmt->Ist.WrTmp.data, gWordTy );
4229 tcExpr( bb, stmt, stmt->Ist.Store.addr, gWordTy );
4230 tcExpr( bb, stmt, stmt->Ist.Store.data, gWordTy );
4231 if (typeOfIRExpr(tyenv, stmt->Ist.Store.addr) != gWordTy)
4242 tcExpr( bb, stmt, sg->addr, gWordTy );
4243 tcExpr( bb, stmt, sg->data, gWordTy );
4244 tcExpr( bb, stmt, sg->guard, gWordTy );
4245 if (typeOfIRExpr(tyenv, sg->addr) != gWordTy)
4257 tcExpr( bb, stmt, lg->addr, gWordTy );
4258 tcExpr( bb, stmt, lg->alt, gWordTy );
4259 tcExpr( bb, stmt, lg->guard, gWordTy );
4262 if (typeOfIRExpr(tyenv, lg->addr) != gWordTy)
4290 tcExpr( bb, stmt, cas->addr, gWordTy );
4291 if (typeOfIRExpr(tyenv, cas->addr) != gWordTy) goto bad_cas;
4300 || (gWordTy == Ity_I64 && tyExpd == Ity_I64)) {
4326 if (typeOfIRExpr(tyenv, stmt->Ist.LLSC.addr) != gWordTy)
4378 tcExpr( bb, stmt, d->guard, gWordTy );
4448 tcExpr( bb, stmt, stmt->Ist.Exit.guard, gWordTy );
4453 if (typeOfIRConst(stmt->Ist.Exit.dst) != gWordTy)
