Lines Matching defs:SVal
106 SVal. */
115 // data decls: SVal //
120 typedef ULong SVal;
368 static inline Bool SVal__isC ( SVal s );
369 static inline VtsID SVal__unC_Rmin ( SVal s );
370 static inline VtsID SVal__unC_Wmin ( SVal s );
371 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
372 static inline void SVal__rcinc ( SVal s );
373 static inline void SVal__rcdec ( SVal s );
374 /* SVal in LineZ are used to store various pointers. */
375 static inline void *SVal2Ptr (SVal s);
376 static inline SVal Ptr2SVal (void* ptr);
412 static void zsm_sset_range ( Addr, SizeT, SVal );
413 static void zsm_sset_range_SMALL ( Addr a, SizeT len, SVal svNew );
448 SVal svals[N_LINE_ARANGE]; // == N_LINE_TREES * 8
471 SVal dict[4]; /* can represent up to 4 diff values in the line */
486 SVal w64s[N_LINE_ARANGE];
494 /* SVal in a lineZ are used to store various pointers.
1280 static Bool is_sane_Descr_and_Tree ( UShort descr, SVal* tree ) {
1316 SVal* tree = &cl->svals[cloff];
1327 static UShort normalise_tree ( /*MOD*/SVal* tree )
1392 SVal* tree = &cl->svals[cloff];
1402 typedef struct { UChar count; SVal sval; } CountedSVal;
1416 SVal* tree = &src->svals[cloff];
1470 SVal sv;
1767 static UShort pulldown_to_32 ( /*MOD*/SVal* tree, UWord toff, UShort descr ) {
1782 static UShort pulldown_to_16 ( /*MOD*/SVal* tree, UWord toff, UShort descr ) {
1809 static UShort pulldown_to_8 ( /*MOD*/SVal* tree, UWord toff, UShort descr ) {
2942 SVal* s )
2944 SVal old_sv, new_sv;
4116 // type SVal, SVal_INVALID and SVal_NOACCESS are defined by
4119 /* SVal is 64 bit unsigned int.
4129 static inline Bool SVal__isC ( SVal s ) {
4132 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ) {
4137 static inline VtsID SVal__unC_Rmin ( SVal s ) {
4141 static inline VtsID SVal__unC_Wmin ( SVal s ) {
4146 static inline Bool SVal__isA ( SVal s ) {
4150 static inline SVal SVal__mkA ( void ) {
4155 static inline void SVal__rcinc ( SVal s ) {
4163 static inline void SVal__rcdec ( SVal s ) {
4170 static inline void *SVal2Ptr (SVal s)
4175 static inline SVal Ptr2SVal (void* ptr)
4177 return (SVal)(UWord)ptr;
5094 static Bool is_sane_SVal_C ( SVal sv ) {
5103 static inline SVal msmcread ( SVal svOld,
5109 SVal svNew = SVal_INVALID;
5168 static inline SVal msmcwrite ( SVal svOld,
5174 SVal svNew = SVal_INVALID;
5251 SVal svOld, svNew;
5260 SVal* tree = &cl->svals[tno << 3];
5275 SVal svOld, svNew;
5284 SVal* tree = &cl->svals[tno << 3];
5301 SVal svOld, svNew;
5314 SVal* tree = &cl->svals[tno << 3];
5335 SVal svOld, svNew;
5348 SVal* tree = &cl->svals[tno << 3];
5371 SVal svOld, svNew;
5382 SVal* tree = &cl->svals[tno << 3];
5405 SVal svOld, svNew;
5416 SVal* tree = &cl->svals[tno << 3];
5442 SVal svOld, svNew;
5470 SVal svOld, svNew;
5497 void zsm_swrite08 ( Addr a, SVal svNew ) {
5508 SVal* tree = &cl->svals[tno << 3];
5520 void zsm_swrite16 ( Addr a, SVal svNew ) {
5541 SVal* tree = &cl->svals[tno << 3];
5560 void zsm_swrite32 ( Addr a, SVal svNew ) {
5576 SVal* tree = &cl->svals[tno << 3];
5602 void zsm_swrite64 ( Addr a, SVal svNew ) {
5632 SVal zsm_sread08 ( Addr a ) {
5643 SVal* tree = &cl->svals[tno << 3];
5650 SVal sv;
5690 void zsm_sset_range_SMALL ( Addr a, SizeT len, SVal svNew )
5776 static void zsm_sset_range ( Addr a, SizeT len, SVal svNew )
6739 SVal sv = zsm_sread08(a);
6747 SVal sv = SVal__mkC(thr->viW, thr->viW);
6943 SVal sv = SVal_NOACCESS;
6965 SVal sv = SVal_INVALID;
6983 SVal* tree = ©.svals[tno << 3];
7023 SVal sv = SVal_NOACCESS;