Lines Matching refs:lineZ
496 static inline LineF *LineF_Ptr (LineZ *lineZ) in LineF_Ptr() argument
498 tl_assert(lineZ->dict[0] == SVal_INVALID); in LineF_Ptr()
499 return SVal2Ptr (lineZ->dict[1]); in LineF_Ptr()
848 LineZ* lineZ = &sm->linesZ[i]; in shmem__SecMap_do_GC() local
849 if (lineZ->dict[0] != SVal_INVALID) { in shmem__SecMap_do_GC()
850 ok_to_GC = lineZ->dict[0] == SVal_NOACCESS in shmem__SecMap_do_GC()
851 && !SVal__isC (lineZ->dict[1]) in shmem__SecMap_do_GC()
852 && !SVal__isC (lineZ->dict[2]) in shmem__SecMap_do_GC()
853 && !SVal__isC (lineZ->dict[3]); in shmem__SecMap_do_GC()
855 LineF *lineF = LineF_Ptr(lineZ); in shmem__SecMap_do_GC()
874 LineZ* lineZ = &sm->linesZ[i]; in shmem__SecMap_do_GC() local
875 if (lineZ->dict[0] == SVal_INVALID) { in shmem__SecMap_do_GC()
876 VG_(freeEltPA)( LineF_pool_allocator, LineF_Ptr(lineZ) ); in shmem__SecMap_do_GC()
954 LineZ* lineZ = &sm->linesZ[i]; in shmem__SecMap_used_linesF() local
955 if (lineZ->dict[0] == SVal_INVALID) in shmem__SecMap_used_linesF()
978 static void rcinc_LineZ ( LineZ* lineZ ) { in rcinc_LineZ() argument
979 tl_assert(lineZ->dict[0] != SVal_INVALID); in rcinc_LineZ()
980 SVal__rcinc(lineZ->dict[0]); in rcinc_LineZ()
981 if (lineZ->dict[1] != SVal_INVALID) SVal__rcinc(lineZ->dict[1]); in rcinc_LineZ()
982 if (lineZ->dict[2] != SVal_INVALID) SVal__rcinc(lineZ->dict[2]); in rcinc_LineZ()
983 if (lineZ->dict[3] != SVal_INVALID) SVal__rcinc(lineZ->dict[3]); in rcinc_LineZ()
986 static void rcdec_LineZ ( LineZ* lineZ ) { in rcdec_LineZ() argument
987 tl_assert(lineZ->dict[0] != SVal_INVALID); in rcdec_LineZ()
988 SVal__rcdec(lineZ->dict[0]); in rcdec_LineZ()
989 if (lineZ->dict[1] != SVal_INVALID) SVal__rcdec(lineZ->dict[1]); in rcdec_LineZ()
990 if (lineZ->dict[2] != SVal_INVALID) SVal__rcdec(lineZ->dict[2]); in rcdec_LineZ()
991 if (lineZ->dict[3] != SVal_INVALID) SVal__rcdec(lineZ->dict[3]); in rcdec_LineZ()
1021 static inline LineF *alloc_LineF_for_Z (LineZ *lineZ) in alloc_LineF_for_Z() argument
1025 tl_assert(lineZ->dict[0] == SVal_INVALID); in alloc_LineF_for_Z()
1033 lineZ->dict[0] = lineZ->dict[2] = lineZ->dict[3] = SVal_INVALID; in alloc_LineF_for_Z()
1034 lineZ->dict[1] = Ptr2SVal (lineF); in alloc_LineF_for_Z()
1042 static inline void clear_LineF_of_Z (LineZ *lineZ) in clear_LineF_of_Z() argument
1044 LineF *lineF = LineF_Ptr(lineZ); in clear_LineF_of_Z()
1052 lineZ->dict[0] = SVal_NOACCESS; in clear_LineF_of_Z()
1053 lineZ->dict[1] = SVal_INVALID; in clear_LineF_of_Z()
1061 LineZ* lineZ; in find_ZF_for_reading() local
1071 lineZ = &sm->linesZ[zix]; in find_ZF_for_reading()
1073 if (lineZ->dict[0] == SVal_INVALID) { in find_ZF_for_reading()
1074 lineF = LineF_Ptr (lineZ); in find_ZF_for_reading()
1075 lineZ = NULL; in find_ZF_for_reading()
1077 *zp = lineZ; in find_ZF_for_reading()
1091 LineZ* lineZ; in find_Z_for_writing() local
1100 lineZ = &sm->linesZ[zix]; in find_Z_for_writing()
1104 if (lineZ->dict[0] == SVal_INVALID) in find_Z_for_writing()
1105 clear_LineF_of_Z(lineZ); in find_Z_for_writing()
1107 rcdec_LineZ(lineZ); in find_Z_for_writing()
1466 LineZ* lineZ; in cacheline_wback() local
1486 lineZ = NULL; in cacheline_wback()
1496 lineZ = &sm->linesZ[zix]; in cacheline_wback()
1508 lineZ->dict[0] = lineZ->dict[1] in cacheline_wback()
1509 = lineZ->dict[2] = lineZ->dict[3] = SVal_INVALID; in cacheline_wback()
1519 if (sv == lineZ->dict[0]) { j = 0; goto dict_ok; } in cacheline_wback()
1520 if (sv == lineZ->dict[1]) { j = 1; goto dict_ok; } in cacheline_wback()
1521 if (sv == lineZ->dict[2]) { j = 2; goto dict_ok; } in cacheline_wback()
1522 if (sv == lineZ->dict[3]) { j = 3; goto dict_ok; } in cacheline_wback()
1526 if (lineZ->dict[0] in cacheline_wback()
1527 == SVal_INVALID) { lineZ->dict[0] = sv; j = 0; goto dict_ok; } in cacheline_wback()
1528 if (lineZ->dict[1] in cacheline_wback()
1529 == SVal_INVALID) { lineZ->dict[1] = sv; j = 1; goto dict_ok; } in cacheline_wback()
1530 if (lineZ->dict[2] in cacheline_wback()
1531 == SVal_INVALID) { lineZ->dict[2] = sv; j = 2; goto dict_ok; } in cacheline_wback()
1532 if (lineZ->dict[3] in cacheline_wback()
1533 == SVal_INVALID) { lineZ->dict[3] = sv; j = 3; goto dict_ok; } in cacheline_wback()
1538 write_twobit_array( lineZ->ix2s, i+0, j ); in cacheline_wback()
1539 write_twobit_array( lineZ->ix2s, i+1, j ); in cacheline_wback()
1540 write_twobit_array( lineZ->ix2s, i+2, j ); in cacheline_wback()
1541 write_twobit_array( lineZ->ix2s, i+3, j ); in cacheline_wback()
1542 write_twobit_array( lineZ->ix2s, i+4, j ); in cacheline_wback()
1543 write_twobit_array( lineZ->ix2s, i+5, j ); in cacheline_wback()
1544 write_twobit_array( lineZ->ix2s, i+6, j ); in cacheline_wback()
1545 write_twobit_array( lineZ->ix2s, i+7, j ); in cacheline_wback()
1549 write_twobit_array( lineZ->ix2s, i+0, j ); in cacheline_wback()
1550 write_twobit_array( lineZ->ix2s, i+1, j ); in cacheline_wback()
1551 write_twobit_array( lineZ->ix2s, i+2, j ); in cacheline_wback()
1552 write_twobit_array( lineZ->ix2s, i+3, j ); in cacheline_wback()
1556 write_twobit_array( lineZ->ix2s, i+0, j ); in cacheline_wback()
1560 write_twobit_array( lineZ->ix2s, i+0, j ); in cacheline_wback()
1561 write_twobit_array( lineZ->ix2s, i+1, j ); in cacheline_wback()
1573 rcinc_LineZ(lineZ); in cacheline_wback()
1579 lineZ->dict[0] = lineZ->dict[2] = lineZ->dict[3] = SVal_INVALID; in cacheline_wback()
1580 lineF = alloc_LineF_for_Z (lineZ); in cacheline_wback()
1608 LineZ* lineZ; in cacheline_fetch() local
1622 lineZ = NULL; in cacheline_fetch()
1624 find_ZF_for_reading( &lineZ, &lineF, tag ); in cacheline_fetch()
1625 tl_assert( (lineZ && !lineF) || (!lineZ && lineF) ); in cacheline_fetch()
1636 UWord ix = read_twobit_array( lineZ->ix2s, i ); in cacheline_fetch()
1638 cl->svals[i] = lineZ->dict[ix]; in cacheline_fetch()
3242 LineZ* lineZ = &sm->linesZ[i]; in vts_tab__do_GC() local
3243 if (lineZ->dict[0] != SVal_INVALID) { in vts_tab__do_GC()
3245 remap_VtsIDs_in_SVal(vts_tab, new_tab, &lineZ->dict[j]); in vts_tab__do_GC()
3247 LineF* lineF = SVal2Ptr (lineZ->dict[1]); in vts_tab__do_GC()
5847 LineZ* lineZ; in zsm_sset_range() local
5855 lineZ = &sm->linesZ[zix]; in zsm_sset_range()
5856 lineZ->dict[0] = svNew; in zsm_sset_range()
5857 lineZ->dict[1] = lineZ->dict[2] = lineZ->dict[3] = SVal_INVALID; in zsm_sset_range()
5859 lineZ->ix2s[i] = 0; /* all refer to dict[0] */ in zsm_sset_range()
5860 rcinc_LineZ(lineZ); in zsm_sset_range()
6766 LineZ* lineZ; in zsm_secmap_line_range_noaccess() local
6767 lineZ = &sm->linesZ[lz]; in zsm_secmap_line_range_noaccess()
6768 if (lineZ->dict[0] != SVal_INVALID) { in zsm_secmap_line_range_noaccess()
6769 rcdec_LineZ(lineZ); in zsm_secmap_line_range_noaccess()
6770 lineZ->dict[0] = SVal_NOACCESS; in zsm_secmap_line_range_noaccess()
6771 lineZ->dict[1] = lineZ->dict[2] = lineZ->dict[3] = SVal_INVALID; in zsm_secmap_line_range_noaccess()
6773 clear_LineF_of_Z(lineZ); in zsm_secmap_line_range_noaccess()
6776 lineZ->ix2s[i] = 0; /* all refer to dict[0] */ in zsm_secmap_line_range_noaccess()
6903 LineZ *lineZ = &sm->linesZ[lz]; in zsm_sset_range_noaccess() local
6904 if (LIKELY(lineZ->dict[0] != SVal_INVALID)) in zsm_sset_range_noaccess()
6905 rcdec_LineZ(lineZ); in zsm_sset_range_noaccess()
6907 clear_LineF_of_Z(lineZ); in zsm_sset_range_noaccess()
6990 LineZ *lineZ; in libhb_srange_get_abits() local
6995 lineZ = &sm->linesZ[zix]; in libhb_srange_get_abits()
6996 if (lineZ->dict[0] == SVal_INVALID) { in libhb_srange_get_abits()
6997 LineF *lineF = SVal2Ptr(lineZ->dict[1]); in libhb_srange_get_abits()
7000 UWord ix = read_twobit_array( lineZ->ix2s, cloff ); in libhb_srange_get_abits()
7001 sv = lineZ->dict[ix]; in libhb_srange_get_abits()