Lines Matching refs:Addr
186 static Lock* mk_LockN ( LockKind kind, Addr guestaddr ) {
478 || !HG_(get_and_pp_addrdescr) ((Addr) lk->guestaddr))
600 tl_assert(sizeof(Addr) == sizeof(UWord));
705 /*--- map_locks :: WordFM guest-Addr-of-lock Lock* ---*/
712 Lock* map_locks_lookup_or_create ( LockKind lkk, Addr ga, ThreadId tid )
734 static Lock* map_locks_maybe_lookup ( Addr ga )
743 static void map_locks_delete ( Addr ga )
745 Addr ga2 = 0;
886 Addr gla;
974 Addr src, Addr dst, SizeT len )
981 static void shadow_mem_cread_range ( Thread* thr, Addr a, SizeT len )
988 static void shadow_mem_cwrite_range ( Thread* thr, Addr a, SizeT len ) {
994 static void shadow_mem_make_New ( Thread* thr, Addr a, SizeT len )
999 static void shadow_mem_make_NoAccess_NoFX ( Thread* thr, Addr aIN, SizeT len )
1007 static void shadow_mem_make_NoAccess_AHAE ( Thread* thr, Addr aIN, SizeT len )
1015 static void shadow_mem_make_Untracked ( Thread* thr, Addr aIN, SizeT len )
1058 LockKind lkk, Addr lock_ga )
1155 LockKind lkk, Addr lock_ga )
1230 Addr lock_ga, Bool isRDWR )
1427 void evh__new_mem ( Addr a, SizeT len ) {
1436 void evh__new_mem_stack ( Addr a, SizeT len ) {
1446 void evh__new_mem_w_tid ( Addr a, SizeT len, ThreadId tid ) {
1455 void evh__new_mem_w_perms ( Addr a, SizeT len,
1467 void evh__set_perms ( Addr a, SizeT len,
1485 void evh__die_mem ( Addr a, SizeT len ) {
1495 void evh__die_mem_munmap ( Addr a, SizeT len ) {
1510 void evh__untrack_mem ( Addr a, SizeT len ) {
1520 void evh__copy_mem ( Addr src, Addr dst, SizeT len ) {
1743 Addr a, SizeT size) {
1755 const HChar* s, Addr a ) {
1774 Addr a, SizeT size ) {
1784 void evh__new_mem_heap ( Addr a, SizeT len, Bool is_inited ) {
1799 void evh__die_mem_heap ( Addr a, SizeT len ) {
1821 void evh__mem_help_cread_1(Addr a) {
1828 void evh__mem_help_cread_2(Addr a) {
1835 void evh__mem_help_cread_4(Addr a) {
1842 void evh__mem_help_cread_8(Addr a) {
1849 void evh__mem_help_cread_N(Addr a, SizeT size) {
1856 void evh__mem_help_cwrite_1(Addr a) {
1863 void evh__mem_help_cwrite_2(Addr a) {
1870 void evh__mem_help_cwrite_4(Addr a) {
1877 void evh__mem_help_cwrite_8(Addr a) {
1884 void evh__mem_help_cwrite_N(Addr a, SizeT size) {
1908 (Addr)mutex, tid );
1928 lk = map_locks_maybe_lookup( (Addr)mutex );
1945 tl_assert( lk->guestaddr == (Addr)mutex );
1986 lk = map_locks_maybe_lookup( (Addr)mutex );
2028 (Addr)mutex
2043 evhH__pre_thread_releases_lock( thr, (Addr)mutex, False/*!isRDWR*/ );
2085 lk = map_locks_maybe_lookup( (Addr)slock );
2090 evhH__pre_thread_releases_lock( thr, (Addr)slock,
2108 lk = map_locks_maybe_lookup( (Addr)slock );
2110 map_locks_lookup_or_create( LK_nonRec, (Addr)slock, tid );
2156 void* mx_ga; /* addr of associated mutex, if any */
2285 lk = map_locks_maybe_lookup( (Addr)cvi->mx_ga );
2336 lk = map_locks_maybe_lookup( (Addr)mutex );
2479 map_locks_lookup_or_create( LK_rdwr, (Addr)rwl, tid );
2497 lk = map_locks_maybe_lookup( (Addr)rwl );
2506 tl_assert( lk->guestaddr == (Addr)rwl );
2549 lk = map_locks_maybe_lookup( (Addr)rwl );
2576 (Addr)rwl
2591 evhH__pre_thread_releases_lock( thr, (Addr)rwl, True/*isRDWR*/ );
3351 Addr src_ga; /* Lock guest addresses for */
3352 Addr dst_ga; /* src/dst of the edge */
3973 Addr payload; /* ptr to actual block */
4004 Addr p;
4008 p = (Addr)VG_(cli_malloc)(alignB, szB);
4077 tl_assert(md->payload == (Addr)p);
4085 tl_assert(old_md->payload == (Addr)p);
4091 evh__die_mem_heap( (Addr)p, szB );
4110 Addr payload = (Addr)payloadV;
4136 Addr p_new = (Addr)VG_(cli_malloc)(VG_(clo_alignment), new_size);
4196 static inline Bool addr_is_in_MM_Chunk( MallocMeta* mm, Addr a )
4209 /*OUT*/Addr* payload,
4211 Addr data_addr )
4283 IRExpr* addr,
4302 tl_assert(isIRAtom(addr));
4305 tyAddr = typeOfIRExpr( sbOut->tyenv, addr );
4308 /* So the effective address is in 'addr' now. */
4315 argv = mkIRExprVec_1( addr );
4320 argv = mkIRExprVec_1( addr );
4325 argv = mkIRExprVec_1( addr );
4330 argv = mkIRExprVec_1( addr );
4337 argv = mkIRExprVec_2( addr, mkIRExpr_HWord( szB ));
4345 argv = mkIRExprVec_1( addr );
4350 argv = mkIRExprVec_1( addr );
4355 argv = mkIRExprVec_1( addr );
4360 argv = mkIRExprVec_1( addr );
4367 argv = mkIRExprVec_2( addr, mkIRExpr_HWord( szB ));
4385 /* Generate the guard condition: "(addr - (SP - RZ)) >u N", for
4386 some arbitrary N. If that is true then addr is outside the
4388 pages) then we can say addr is within a few pages of SP and
4392 (addr - SP + RZ) >u N
4395 (addr - SP) >u (N - RZ)
4404 /* "addr - SP" */
4410 ? binop(Iop_Sub32, addr, mkexpr(sp))
4411 : binop(Iop_Sub64, addr, mkexpr(sp)))
4414 /* "addr - SP + RZ" */
4457 dinfo = VG_(find_DebugInfo)( (Addr)ga );
4523 cia = st->Ist.IMark.addr;
4541 cia = st->Ist.IMark.addr;
4550 if (0) VG_(printf)("NEW %#lx\n", (Addr)cia);
4554 if (0) VG_(printf)("old %#lx\n", (Addr)cia);
4583 cas->addr,
4605 st->Ist.LLSC.addr,
4623 st->Ist.Store.addr,
4635 IRExpr* addr = sg->addr;
4638 instrument_mem_access( bbOut, addr, sizeofIRType(type),
4649 IRExpr* addr = lg->addr;
4652 instrument_mem_access( bbOut, addr, sizeofIRType(type),
4665 data->Iex.Load.addr,
4840 Addr payload = 0;
5336 void for_libhb__get_stacktrace ( Thr* hbt, Addr* frames, UWord nRequest )
5384 static void hg_info_location (Addr a)
5485 tl_assert( sizeof(UWord) == sizeof(Addr) );
