Cross Reference: /external/valgrind/main/helgrind/libhb

Lines Matching defs:SVal
104    SVal. */
113 // data decls: SVal                                            //
118 typedef  ULong  SVal;
363 static inline Bool SVal__isC ( SVal s );
364 static inline VtsID SVal__unC_Rmin ( SVal s );
365 static inline VtsID SVal__unC_Wmin ( SVal s );
366 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
400 static void zsm_init ( void(*rcinc)(SVal), void(*rcdec)(SVal) );
402 static void zsm_sset_range  ( Addr, SizeT, SVal );
417 static void(*rcinc)(SVal) = NULL;
418 static void(*rcdec)(SVal) = NULL;
430       SVal   svals[N_LINE_ARANGE]; // == N_LINE_TREES * 8
453       SVal  dict[4]; /* can represent up to 4 diff values in the line */
464       SVal w64s[N_LINE_ARANGE];
1088 static Bool is_sane_Descr_and_Tree ( UShort descr, SVal* tree ) {
1124       SVal*  tree  = &cl->svals[cloff];
1135 static UShort normalise_tree ( /*MOD*/SVal* tree )
1199       SVal* tree = &cl->svals[cloff];
1209 typedef struct { UChar count; SVal sval; } CountedSVal;
1223       SVal*  tree  = &src->svals[cloff];
1277    SVal        sv;
1393       lineZ->dict[1] = (SVal)fix;
1451          SVal sv;
1567 static UShort pulldown_to_32 ( /*MOD*/SVal* tree, UWord toff, UShort descr ) {
1582 static UShort pulldown_to_16 ( /*MOD*/SVal* tree, UWord toff, UShort descr ) {
1609 static UShort pulldown_to_8 ( /*MOD*/SVal* tree, UWord toff, UShort descr ) {
1749 static void zsm_init ( void(*p_rcinc)(SVal), void(*p_rcdec)(SVal) )
2724                             SVal* s )
2726    SVal old_sv, new_sv;
3761 // type SVal, SVal_INVALID and SVal_NOACCESS are defined by
3764 /* SVal is 64 bit unsigned int.
3774 static inline Bool SVal__isC ( SVal s ) {
3777 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ) {
3782 static inline VtsID SVal__unC_Rmin ( SVal s ) {
3786 static inline VtsID SVal__unC_Wmin ( SVal s ) {
3791 static inline Bool SVal__isA ( SVal s ) {
3794 static inline SVal SVal__mkA ( void ) {
3799 static void SVal__rcinc ( SVal s ) {
3807 static void SVal__rcdec ( SVal s ) {
5043 static Bool is_sane_SVal_C ( SVal sv ) {
5052 static inline SVal msmcread ( SVal svOld,
5058    SVal svNew = SVal_INVALID;
5117 static inline SVal msmcwrite ( SVal svOld,
5123    SVal svNew = SVal_INVALID;
5200    SVal       svOld, svNew;
5209       SVal* tree = &cl->svals[tno << 3];
5224    SVal       svOld, svNew;
5233       SVal* tree = &cl->svals[tno << 3];
5250    SVal       svOld, svNew;
5263          SVal* tree = &cl->svals[tno << 3];
5284    SVal       svOld, svNew;
5297          SVal* tree = &cl->svals[tno << 3];
5320    SVal       svOld, svNew;
5331          SVal* tree = &cl->svals[tno << 3];
5354    SVal       svOld, svNew;
5365          SVal* tree = &cl->svals[tno << 3];
5391    SVal       svOld, svNew;
5419    SVal       svOld, svNew;
5446 void zsm_swrite08 ( Addr a, SVal svNew ) {
5457       SVal* tree = &cl->svals[tno << 3];
5469 void zsm_swrite16 ( Addr a, SVal svNew ) {
5490          SVal* tree = &cl->svals[tno << 3];
5509 void zsm_swrite32 ( Addr a, SVal svNew ) {
5525          SVal* tree = &cl->svals[tno << 3];
5551 void zsm_swrite64 ( Addr a, SVal svNew ) {
5581 SVal zsm_sread08 ( Addr a ) {
5592       SVal* tree = &cl->svals[tno << 3];
5599    SVal       sv;
5639 void zsm_sset_range_SMALL ( Addr a, SizeT len, SVal svNew )
5725 static void zsm_sset_range ( Addr a, SizeT len, SVal svNew )
6594   SVal sv = zsm_sread08(a);
6602    SVal sv = SVal__mkC(thr->viW, thr->viW);
6619    SVal sv = SVal_NOACCESS;
6627    SVal sv = SVal_NOACCESS;