Lines Matching refs:PutI
1182 vex_printf( "PUTI" );
1183 ppIRRegArray(s->Ist.PutI.descr);
1185 ppIRExpr(s->Ist.PutI.ix);
1186 vex_printf(",%d] = ", s->Ist.PutI.bias);
1187 ppIRExpr(s->Ist.PutI.data);
1650 s->Ist.PutI.descr = descr;
1651 s->Ist.PutI.ix = ix;
1652 s->Ist.PutI.bias = bias;
1653 s->Ist.PutI.data = data;
1898 return IRStmt_PutI(deepCopyIRRegArray(s->Ist.PutI.descr),
1899 deepCopyIRExpr(s->Ist.PutI.ix),
1900 s->Ist.PutI.bias,
1901 deepCopyIRExpr(s->Ist.PutI.data));
2775 return toBool( isIRAtom(st->Ist.PutI.ix)
2776 && isIRAtom(st->Ist.PutI.data) );
2999 useBeforeDef_Expr(bb,stmt,stmt->Ist.PutI.ix,def_counts);
3000 useBeforeDef_Expr(bb,stmt,stmt->Ist.PutI.data,def_counts);
3276 tcExpr( bb, stmt, stmt->Ist.PutI.data, gWordTy );
3277 tcExpr( bb, stmt, stmt->Ist.PutI.ix, gWordTy );
3278 if (typeOfIRExpr(tyenv,stmt->Ist.PutI.data) == Ity_I1)
3279 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: cannot PutI :: Ity_I1");
3280 if (typeOfIRExpr(tyenv,stmt->Ist.PutI.data)
3281 != stmt->Ist.PutI.descr->elemTy)
3282 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: data ty != elem ty");
3283 if (typeOfIRExpr(tyenv,stmt->Ist.PutI.ix) != Ity_I32)
3284 sanityCheckFail(bb,stmt,"IRStmt.PutI.ix: not :: Ity_I32");
3285 if (!saneIRRegArray(stmt->Ist.PutI.descr))
3286 sanityCheckFail(bb,stmt,"IRStmt.PutI.descr: invalid descr");
