Lines Matching refs:Store
82 3. As the address in a load or store. Because it could cause an
4129 /* Generate a shadow store. addr is always the original address atom.
4131 obviously not both. guard :: Ity_I1 controls whether the store
4732 store data#,dataB to shadow memory
4924 store data# to shadow memory */
4927 expd_eq_old/*guard for store*/ );
4931 expd_eq_old/*guard for store*/ );
5078 store data# to shadow memory */
5081 expd_eq_old/*guard for store*/ );
5084 expd_eq_old/*guard for store*/ );
5088 expd_eq_old/*guard for store*/ );
5091 expd_eq_old/*guard for store*/ );
5106 Treat a store-conditional like a normal store, and mark the
5126 /* Store Conditional */
5137 /* This is a store conditional, so it writes to .result a value
5138 indicating whether or not the store succeeded. Just claim
5140 of store-conditional, definedness of the success indication
5141 depends on whether the address of the store matches the
5144 guaranteed that the definedness of the store address, and its
5258 return isBogusAtom(st->Ist.Store.addr)
5259 || isBogusAtom(st->Ist.Store.data);
5489 do_shadow_Store( &mce, st->Ist.Store.end,
5490 st->Ist.Store.addr, 0/* addr bias */,
5491 st->Ist.Store.data,
5841 /* Generate a shadow store. guard :: Ity_I1 controls whether the
5842 store really happens; NULL means it unconditionally does. */
6320 do_origins_Store( mce, st->Ist.Store.end,
6321 st->Ist.Store.addr,
6322 st->Ist.Store.data );
6328 temporary. Treat a store-conditional like a normal store,
6341 /* Store conditional */
