Lines Matching defs:puti
1363 void ppIRPutI ( IRPutI* puti )
1365 vex_printf( "PUTI" );
1366 ppIRRegArray(puti->descr);
1368 ppIRExpr(puti->ix);
1369 vex_printf(",%d] = ", puti->bias);
1370 ppIRExpr(puti->data);
1479 ppIRPutI(s->Ist.PutI.details);
1938 IRPutI* puti = LibVEX_Alloc(sizeof(IRPutI));
1939 puti->descr = descr;
1940 puti->ix = ix;
1941 puti->bias = bias;
1942 puti->data = data;
1943 return puti;
2009 s->Ist.PutI.details = details;
2266 IRPutI* deepCopyIRPutI ( IRPutI * puti )
2268 return mkIRPutI( deepCopyIRRegArray(puti->descr),
2269 deepCopyIRExpr(puti->ix),
2270 puti->bias,
2271 deepCopyIRExpr(puti->data));
2291 return IRStmt_PutI(deepCopyIRPutI(s->Ist.PutI.details));
3485 IRPutI* puti;
3496 puti = st->Ist.PutI.details;
3497 return toBool( isIRAtom(puti->ix)
3498 && isIRAtom(puti->data) );
3735 IRPutI* puti;
3749 puti = stmt->Ist.PutI.details;
3750 useBeforeDef_Expr(bb,stmt,puti->ix,def_counts);
3751 useBeforeDef_Expr(bb,stmt,puti->data,def_counts);
4026 IRPutI* puti;
4052 puti = stmt->Ist.PutI.details;
4053 tcExpr( bb, stmt, puti->data, gWordTy );
4054 tcExpr( bb, stmt, puti->ix, gWordTy );
4055 if (typeOfIRExpr(tyenv,puti->data) == Ity_I1)
4056 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: cannot PutI :: Ity_I1");
4057 if (typeOfIRExpr(tyenv,puti->data)
4058 != puti->descr->elemTy)
4059 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: data ty != elem ty");
4060 if (typeOfIRExpr(tyenv,puti->ix) != Ity_I32)
4061 sanityCheckFail(bb,stmt,"IRStmt.PutI.ix: not :: Ity_I32");
4062 if (!saneIRRegArray(puti->descr))
4063 sanityCheckFail(bb,stmt,"IRStmt.PutI.descr: invalid descr");