Lines Matching refs:Ist
6147 e = st->Ist.WrTmp.data;
6186 d = st->Ist.Dirty.details;
6200 return isBogusAtom(st->Ist.Put.data);
6202 return isBogusAtom(st->Ist.PutI.details->ix)
6203 || isBogusAtom(st->Ist.PutI.details->data);
6205 return isBogusAtom(st->Ist.Store.addr)
6206 || isBogusAtom(st->Ist.Store.data);
6208 IRStoreG* sg = st->Ist.StoreG.details;
6213 IRLoadG* lg = st->Ist.LoadG.details;
6218 return isBogusAtom(st->Ist.Exit.guard);
6220 return isBogusAtom(st->Ist.AbiHint.base)
6221 || isBogusAtom(st->Ist.AbiHint.nia);
6227 cas = st->Ist.CAS.details;
6234 return isBogusAtom(st->Ist.LLSC.addr)
6235 || (st->Ist.LLSC.storedata
6236 ? isBogusAtom(st->Ist.LLSC.storedata)
6385 IRTemp tmp_o = sb_in->stmts[j]->Ist.WrTmp.tmp;
6431 assign( 'V', &mce, findShadowTmpV(&mce, st->Ist.WrTmp.tmp),
6432 expr2vbits( &mce, st->Ist.WrTmp.data) );
6437 st->Ist.Put.offset,
6438 st->Ist.Put.data,
6443 do_shadow_PUTI( &mce, st->Ist.PutI.details);
6447 do_shadow_Store( &mce, st->Ist.Store.end,
6448 st->Ist.Store.addr, 0/* addr bias */,
6449 st->Ist.Store.data,
6455 do_shadow_StoreG( &mce, st->Ist.StoreG.details );
6459 do_shadow_LoadG( &mce, st->Ist.LoadG.details );
6463 complainIfUndefined( &mce, st->Ist.Exit.guard, NULL );
6474 do_shadow_Dirty( &mce, st->Ist.Dirty.details );
6478 do_AbiHint( &mce, st->Ist.AbiHint.base,
6479 st->Ist.AbiHint.len,
6480 st->Ist.AbiHint.nia );
6484 do_shadow_CAS( &mce, st->Ist.CAS.details );
6495 st->Ist.LLSC.end,
6496 st->Ist.LLSC.result,
6497 st->Ist.LLSC.addr,
6498 st->Ist.LLSC.storedata );
6679 di = st->Ist.Dirty.details;
7346 IRPutI *puti = st->Ist.PutI.details;
7374 do_origins_Dirty( mce, st->Ist.Dirty.details );
7378 do_origins_Store_plain( mce, st->Ist.Store.end,
7379 st->Ist.Store.addr,
7380 st->Ist.Store.data );
7384 do_origins_StoreG( mce, st->Ist.StoreG.details );
7388 do_origins_LoadG( mce, st->Ist.LoadG.details );
7396 if (st->Ist.LLSC.storedata == NULL) {
7399 = typeOfIRTemp(mce->sb->tyenv, st->Ist.LLSC.result);
7401 = IRExpr_Load(st->Ist.LLSC.end, resTy, st->Ist.LLSC.addr);
7404 assign( 'B', mce, findShadowTmpB(mce, st->Ist.LLSC.result),
7408 do_origins_Store_plain( mce, st->Ist.LLSC.end,
7409 st->Ist.LLSC.addr,
7410 st->Ist.LLSC.storedata );
7415 assign( 'B', mce, findShadowTmpB(mce, st->Ist.LLSC.result),
7424 st->Ist.Put.offset,
7425 sizeofIRType(typeOfIRExpr(mce->sb->tyenv, st->Ist.Put.data))
7430 schemeE( mce, st->Ist.Put.data )) );
7436 assign( 'B', mce, findShadowTmpB(mce, st->Ist.WrTmp.tmp),
7437 schemeE(mce, st->Ist.WrTmp.data) );
