5103 static inline SVal msmcread ( SVal svOld,  in msmcread()  argument
5114       tl_assert(is_sane_SVal_C(svOld));  in msmcread()
5117    if (LIKELY(SVal__isC(svOld))) {  in msmcread()
5120       VtsID rmini = SVal__unC_Rmin(svOld);  in msmcread()
5121       VtsID wmini = SVal__unC_Wmin(svOld);  in msmcread()
5141    if (SVal__isA(svOld)) {  in msmcread()
5144       tl_assert(svOld == SVal_NOACCESS);  in msmcread()
5148    if (0) VG_(printf)("msmcread: bad svOld: 0x%016llx\n", svOld);  in msmcread()
5155    if (UNLIKELY(svNew != svOld)) {  in msmcread()
5158           && SVal__isC(svOld) && SVal__isC(svNew)) {  in msmcread()
5168 static inline SVal msmcwrite ( SVal svOld,  in msmcwrite()  argument
5179       tl_assert(is_sane_SVal_C(svOld));  in msmcwrite()
5182    if (LIKELY(SVal__isC(svOld))) {  in msmcwrite()
5184       VtsID wmini = SVal__unC_Wmin(svOld);  in msmcwrite()
5191          VtsID rmini = SVal__unC_Rmin(svOld);  in msmcwrite()
5214    if (SVal__isA(svOld)) {  in msmcwrite()
5217       tl_assert(svOld == SVal_NOACCESS);  in msmcwrite()
5221    if (0) VG_(printf)("msmcwrite: bad svOld: 0x%016llx\n", svOld);  in msmcwrite()
5228    if (UNLIKELY(svNew != svOld)) {  in msmcwrite()
5231           && SVal__isC(svOld) && SVal__isC(svNew)) {  in msmcwrite()
5251    SVal       svOld, svNew;  in zsm_sapply08__msmcread()  local
5265    svOld = cl->svals[cloff];  in zsm_sapply08__msmcread()
5266    svNew = msmcread( svOld, thr,a,1 );  in zsm_sapply08__msmcread()
5275    SVal       svOld, svNew;  in zsm_sapply08__msmcwrite()  local
5289    svOld = cl->svals[cloff];  in zsm_sapply08__msmcwrite()
5290    svNew = msmcwrite( svOld, thr,a,1 );  in zsm_sapply08__msmcwrite()
5301    SVal       svOld, svNew;  in zsm_sapply16__msmcread()  local
5320    svOld = cl->svals[cloff];  in zsm_sapply16__msmcread()
5321    svNew = msmcread( svOld, thr,a,2 );  in zsm_sapply16__msmcread()
5335    SVal       svOld, svNew;  in zsm_sapply16__msmcwrite()  local
5354    svOld = cl->svals[cloff];  in zsm_sapply16__msmcwrite()
5355    svNew = msmcwrite( svOld, thr,a,2 );  in zsm_sapply16__msmcwrite()
5371    SVal       svOld, svNew;  in zsm_sapply32__msmcread()  local
5390    svOld = cl->svals[cloff];  in zsm_sapply32__msmcread()
5391    svNew = msmcread( svOld, thr,a,4 );  in zsm_sapply32__msmcread()
5405    SVal       svOld, svNew;  in zsm_sapply32__msmcwrite()  local
5424    svOld = cl->svals[cloff];  in zsm_sapply32__msmcwrite()
5425    svNew = msmcwrite( svOld, thr,a,4 );  in zsm_sapply32__msmcwrite()
5442    SVal       svOld, svNew;  in zsm_sapply64__msmcread()  local
5454    svOld = cl->svals[cloff];  in zsm_sapply64__msmcread()
5455    svNew = msmcread( svOld, thr,a,8 );  in zsm_sapply64__msmcread()
5470    SVal       svOld, svNew;  in zsm_sapply64__msmcwrite()  local
5482    svOld = cl->svals[cloff];  in zsm_sapply64__msmcwrite()
5483    svNew = msmcwrite( svOld, thr,a,8 );  in zsm_sapply64__msmcwrite()