Lines Matching defs:SVal
105 SVal. */
114 // data decls: SVal //
119 typedef ULong SVal;
364 static inline Bool SVal__isC ( SVal s );
365 static inline VtsID SVal__unC_Rmin ( SVal s );
366 static inline VtsID SVal__unC_Wmin ( SVal s );
367 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
401 static void zsm_init ( void(*rcinc)(SVal), void(*rcdec)(SVal) );
403 static void zsm_sset_range ( Addr, SizeT, SVal );
418 static void(*rcinc)(SVal) = NULL;
419 static void(*rcdec)(SVal) = NULL;
431 SVal svals[N_LINE_ARANGE]; // == N_LINE_TREES * 8
454 SVal dict[4]; /* can represent up to 4 diff values in the line */
465 SVal w64s[N_LINE_ARANGE];
933 VG_(printf)(" sval: %08lx\n", (UWord)cl->svals[i]);
1089 static Bool is_sane_Descr_and_Tree ( UShort descr, SVal* tree ) {
1125 SVal* tree = &cl->svals[cloff];
1136 static UShort normalise_tree ( /*MOD*/SVal* tree )
1200 SVal* tree = &cl->svals[cloff];
1210 typedef struct { UChar count; SVal sval; } CountedSVal;
1224 SVal* tree = &src->svals[cloff];
1229 dst[dstUsed++].sval = (_v); \
1278 SVal sv;
1323 sv = csvals[k].sval;
1394 lineZ->dict[1] = (SVal)fix;
1400 sv = csvals[k].sval;
1452 SVal sv;
1568 static UShort pulldown_to_32 ( /*MOD*/SVal* tree, UWord toff, UShort descr ) {
1583 static UShort pulldown_to_16 ( /*MOD*/SVal* tree, UWord toff, UShort descr ) {
1610 static UShort pulldown_to_8 ( /*MOD*/SVal* tree, UWord toff, UShort descr ) {
1750 static void zsm_init ( void(*p_rcinc)(SVal), void(*p_rcdec)(SVal) )
2724 SVal* s )
2726 SVal old_sv, new_sv;
3759 // type SVal, SVal_INVALID and SVal_NOACCESS are defined by
3762 /* SVal is 64 bit unsigned int.
3772 static inline Bool SVal__isC ( SVal s ) {
3775 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ) {
3780 static inline VtsID SVal__unC_Rmin ( SVal s ) {
3784 static inline VtsID SVal__unC_Wmin ( SVal s ) {
3789 static inline Bool SVal__isA ( SVal s ) {
3792 static inline SVal SVal__mkA ( void ) {
3797 static void SVal__rcinc ( SVal s ) {
3805 static void SVal__rcdec ( SVal s ) {
4942 static Bool is_sane_SVal_C ( SVal sv ) {
4951 static inline SVal msmcread ( SVal svOld,
4957 SVal svNew = SVal_INVALID;
5016 static inline SVal msmcwrite ( SVal svOld,
5022 SVal svNew = SVal_INVALID;
5099 SVal svOld, svNew;
5108 SVal* tree = &cl->svals[tno << 3];
5123 SVal svOld, svNew;
5132 SVal* tree = &cl->svals[tno << 3];
5149 SVal svOld, svNew;
5162 SVal* tree = &cl->svals[tno << 3];
5183 SVal svOld, svNew;
5196 SVal* tree = &cl->svals[tno << 3];
5219 SVal svOld, svNew;
5230 SVal* tree = &cl->svals[tno << 3];
5253 SVal svOld, svNew;
5264 SVal* tree = &cl->svals[tno << 3];
5290 SVal svOld, svNew;
5318 SVal svOld, svNew;
5345 void zsm_swrite08 ( Addr a, SVal svNew ) {
5356 SVal* tree = &cl->svals[tno << 3];
5368 void zsm_swrite16 ( Addr a, SVal svNew ) {
5389 SVal* tree = &cl->svals[tno << 3];
5408 void zsm_swrite32 ( Addr a, SVal svNew ) {
5424 SVal* tree = &cl->svals[tno << 3];
5450 void zsm_swrite64 ( Addr a, SVal svNew ) {
5480 SVal zsm_sread08 ( Addr a ) {
5491 SVal* tree = &cl->svals[tno << 3];
5498 SVal sv;
5538 void zsm_sset_range_SMALL ( Addr a, SizeT len, SVal svNew )
5624 static void zsm_sset_range ( Addr a, SizeT len, SVal svNew )
6494 SVal sv = zsm_sread08(a);
6502 SVal sv = SVal__mkC(thr->viW, thr->viW);
6519 SVal sv = SVal_NOACCESS;
6527 SVal sv = SVal_NOACCESS;
