Lines Matching refs:PutI
1204 void ppIRPutI ( IRPutI* puti )
1206 vex_printf( "PUTI" );
1207 ppIRRegArray(puti->descr);
1209 ppIRExpr(puti->ix);
1210 vex_printf(",%d] = ", puti->bias);
1211 ppIRExpr(puti->data);
1280 ppIRPutI(s->Ist.PutI.details);
1724 IRPutI* puti = LibVEX_Alloc(sizeof(IRPutI));
1725 puti->descr = descr;
1726 puti->ix = ix;
1727 puti->bias = bias;
1728 puti->data = data;
1729 return puti;
1768 s->Ist.PutI.details = details;
2005 IRPutI* deepCopyIRPutI ( IRPutI * puti )
2007 return mkIRPutI( deepCopyIRRegArray(puti->descr),
2008 deepCopyIRExpr(puti->ix),
2009 puti->bias,
2010 deepCopyIRExpr(puti->data));
2030 return IRStmt_PutI(deepCopyIRPutI(s->Ist.PutI.details));
3021 IRPutI* puti;
3032 puti = st->Ist.PutI.details;
3033 return toBool( isIRAtom(puti->ix)
3034 && isIRAtom(puti->data) );
3252 IRPutI* puti;
3264 puti = stmt->Ist.PutI.details;
3265 useBeforeDef_Expr(bb,stmt,puti->ix,def_counts);
3266 useBeforeDef_Expr(bb,stmt,puti->data,def_counts);
3519 IRPutI* puti;
3545 puti = stmt->Ist.PutI.details;
3546 tcExpr( bb, stmt, puti->data, gWordTy );
3547 tcExpr( bb, stmt, puti->ix, gWordTy );
3548 if (typeOfIRExpr(tyenv,puti->data) == Ity_I1)
3549 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: cannot PutI :: Ity_I1");
3550 if (typeOfIRExpr(tyenv,puti->data)
3551 != puti->descr->elemTy)
3552 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: data ty != elem ty");
3553 if (typeOfIRExpr(tyenv,puti->ix) != Ity_I32)
3554 sanityCheckFail(bb,stmt,"IRStmt.PutI.ix: not :: Ity_I32");
3555 if (!saneIRRegArray(puti->descr))
3556 sanityCheckFail(bb,stmt,"IRStmt.PutI.descr: invalid descr");
