| |
| /*--------------------------------------------------------------------*/ |
| /*--- Declarations shared between Memcheck and Addrcheck. ---*/ |
| /*--- mac_shared.h ---*/ |
| /*--------------------------------------------------------------------*/ |
| |
| /* |
| This file is part of MemCheck, a heavyweight Valgrind tool for |
| detecting memory errors, and AddrCheck, a lightweight Valgrind tool |
| for detecting memory errors. |
| |
| Copyright (C) 2000-2005 Julian Seward |
| jseward@acm.org |
| |
| This program is free software; you can redistribute it and/or |
| modify it under the terms of the GNU General Public License as |
| published by the Free Software Foundation; either version 2 of the |
| License, or (at your option) any later version. |
| |
| This program is distributed in the hope that it will be useful, but |
| WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with this program; if not, write to the Free Software |
| Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 02111-1307, USA. |
| |
| The GNU General Public License is contained in the file COPYING. |
| */ |
| |
| /* Note: This header contains the declarations shared between |
| Addrcheck and Memcheck, and is #included by both. */ |
| |
| #ifndef __MAC_SHARED_H |
| #define __MAC_SHARED_H |
| |
| #define MAC_(str) VGAPPEND(vgMAC_,str) |
| |
| /*------------------------------------------------------------*/ |
| /*--- Errors and suppressions ---*/ |
| /*------------------------------------------------------------*/ |
| |
| /* The classification of a faulting address. */ |
| typedef |
| enum { |
| Undescribed, // as-yet unclassified |
| Stack, |
| Unknown, // classification yielded nothing useful |
| Freed, Mallocd, |
| UserG, // in a user-defined block |
| Mempool, // in a mempool |
| Register, // in a register; for Param errors only |
| } |
| AddrKind; |
| |
| /* Records info about a faulting address. */ |
| typedef |
| struct { // Used by: |
| AddrKind akind; // ALL |
| SizeT blksize; // Freed, Mallocd |
| OffT rwoffset; // Freed, Mallocd |
| ExeContext* lastchange; // Freed, Mallocd |
| ThreadId stack_tid; // Stack |
| const Char *desc; // UserG |
| Bool maybe_gcc; // True if just below %esp -- could be a gcc bug. |
| } |
| AddrInfo; |
| |
| typedef |
| enum { |
| ParamSupp, // Bad syscall params |
| CoreMemSupp, // Memory errors in core (pthread ops, signal handling) |
| |
| // Use of invalid values of given size (MemCheck only) |
| Value0Supp, Value1Supp, Value2Supp, Value4Supp, Value8Supp, Value16Supp, |
| |
| // Invalid read/write attempt at given size |
| Addr1Supp, Addr2Supp, Addr4Supp, Addr8Supp, Addr16Supp, |
| |
| FreeSupp, // Invalid or mismatching free |
| OverlapSupp, // Overlapping blocks in memcpy(), strcpy(), etc |
| LeakSupp, // Something to be suppressed in a leak check. |
| MempoolSupp, // Memory pool suppression. |
| } |
| MAC_SuppKind; |
| |
| /* What kind of error it is. */ |
| typedef |
| enum { ValueErr, /* Memcheck only */ |
| CoreMemErr, |
| AddrErr, |
| ParamErr, UserErr, /* behaves like an anonymous ParamErr */ |
| FreeErr, FreeMismatchErr, |
| OverlapErr, |
| LeakErr, |
| IllegalMempoolErr, |
| } |
| MAC_ErrorKind; |
| |
| /* What kind of memory access is involved in the error? */ |
| typedef |
| enum { ReadAxs, WriteAxs, ExecAxs } |
| AxsKind; |
| |
| /* Extra context for memory errors */ |
| typedef |
| struct { // Used by: |
| AxsKind axskind; // AddrErr |
| Int size; // AddrErr, ValueErr |
| AddrInfo addrinfo; // {Addr,Free,FreeMismatch,Param,User}Err |
| Bool isUnaddr; // {CoreMem,Param,User}Err |
| } |
| MAC_Error; |
| |
| /* Extra info for overlap errors */ |
| typedef |
| struct { |
| Addr src; |
| Addr dst; |
| Int len; // -1 if unused |
| } |
| OverlapExtra; |
| |
| /* For malloc()/new/new[] vs. free()/delete/delete[] mismatch checking. */ |
| typedef |
| enum { |
| MAC_AllocMalloc = 0, |
| MAC_AllocNew = 1, |
| MAC_AllocNewVec = 2, |
| MAC_AllocCustom = 3 |
| } |
| MAC_AllocKind; |
| |
| /* Nb: first two fields must match core's VgHashNode. */ |
| typedef |
| struct _MAC_Chunk { |
| struct _MAC_Chunk* next; |
| Addr data; // ptr to actual block |
| SizeT size : (sizeof(UWord)*8)-2; // size requested; 30 or 62 bits |
| MAC_AllocKind allockind : 2; // which wrapper did the allocation |
| ExeContext* where; // where it was allocated |
| } |
| MAC_Chunk; |
| |
| /* Memory pool. Nb: first two fields must match core's VgHashNode. */ |
| typedef |
| struct _MAC_Mempool { |
| struct _MAC_Mempool* next; |
| Addr pool; // pool identifier |
| SizeT rzB; // pool red-zone size |
| Bool is_zeroed; // allocations from this pool are zeroed |
| VgHashTable chunks; // chunks associated with this pool |
| } |
| MAC_Mempool; |
| |
| |
| /*------------------------------------------------------------*/ |
| /*--- Profiling of memory events ---*/ |
| /*------------------------------------------------------------*/ |
| |
| /* Define to collect detailed performance info. */ |
| /* #define MAC_PROFILE_MEMORY */ |
| |
| #ifdef MAC_PROFILE_MEMORY |
| # define N_PROF_EVENTS 500 |
| |
| extern UInt MAC_(event_ctr)[N_PROF_EVENTS]; |
| extern HChar* MAC_(event_ctr_name)[N_PROF_EVENTS]; |
| |
| # define PROF_EVENT(ev, name) \ |
| do { tl_assert((ev) >= 0 && (ev) < N_PROF_EVENTS); \ |
| /* crude and inaccurate check to ensure the same */ \ |
| /* event isn't being used with > 1 name */ \ |
| if (MAC_(event_ctr_name)[ev]) \ |
| tl_assert(name == MAC_(event_ctr_name)[ev]); \ |
| MAC_(event_ctr)[ev]++; \ |
| MAC_(event_ctr_name)[ev] = (name); \ |
| } while (False); |
| |
| #else |
| |
| # define PROF_EVENT(ev, name) /* */ |
| |
| #endif /* MAC_PROFILE_MEMORY */ |
| |
| |
| /*------------------------------------------------------------*/ |
| /*--- V and A bits (Victoria & Albert ?) ---*/ |
| /*------------------------------------------------------------*/ |
| |
| /* expand 1 bit -> 8 */ |
| #define BIT_TO_BYTE(b) ((~(((UChar)(b) & 1) - 1)) & 0xFF) |
| |
| /* The number of entries in the primary map can be altered. However |
| we hardwire the assumption that each secondary map covers precisely |
| 64k of address space. */ |
| #define SECONDARY_SIZE 65536 /* DO NOT CHANGE */ |
| #define SECONDARY_MASK (SECONDARY_SIZE-1) /* DO NOT CHANGE */ |
| |
| //zz #define SECONDARY_SHIFT 16 |
| //zz #define SECONDARY_SIZE (1 << SECONDARY_SHIFT) |
| //zz #define SECONDARY_MASK (SECONDARY_SIZE - 1) |
| //zz |
| //zz #define PRIMARY_SIZE (1 << (32 - SECONDARY_SHIFT)) |
| //zz |
| //zz #define SM_OFF(addr) ((addr) & SECONDARY_MASK) |
| //zz #define PM_IDX(addr) ((addr) >> SECONDARY_SHIFT) |
| /* |
| #define IS_DISTINGUISHED_SM(smap) \ |
| ((smap) >= &distinguished_secondary_maps[0] && \ |
| (smap) < &distinguished_secondary_maps[N_SECONDARY_MAPS]) |
| |
| #define IS_DISTINGUISHED(addr) (IS_DISTINGUISHED_SM(primary_map[PM_IDX(addr)])) |
| |
| #define ENSURE_MAPPABLE(addr,caller) \ |
| do { \ |
| if (IS_DISTINGUISHED(addr)) { \ |
| primary_map[PM_IDX(addr)] = alloc_secondary_map(caller, primary_map[PM_IDX(addr)]); \ |
| if (0) VG_(printf)("new 2map because of %p\n", addr); \ |
| } \ |
| } while(0) |
| */ |
| |
| #define BITARR_SET(aaa_p,iii_p) \ |
| do { \ |
| UWord iii = (UWord)iii_p; \ |
| UChar* aaa = (UChar*)aaa_p; \ |
| aaa[iii >> 3] |= (1 << (iii & 7)); \ |
| } while (0) |
| |
| #define BITARR_CLEAR(aaa_p,iii_p) \ |
| do { \ |
| UWord iii = (UWord)iii_p; \ |
| UChar* aaa = (UChar*)aaa_p; \ |
| aaa[iii >> 3] &= ~(1 << (iii & 7)); \ |
| } while (0) |
| |
| #define BITARR_TEST(aaa_p,iii_p) \ |
| (0 != (((UChar*)aaa_p)[ ((UWord)iii_p) >> 3 ] \ |
| & (1 << (((UWord)iii_p) & 7)))) \ |
| |
| static inline |
| void write_bit_array ( UChar* arr, UWord idx, UWord bit ) |
| { |
| UWord shift = idx & 7; |
| idx >>= 3; |
| bit &= 1; |
| arr[idx] = (arr[idx] & ~(1<<shift)) | (bit << shift); |
| } |
| |
| static inline |
| UWord read_bit_array ( UChar* arr, UWord idx ) |
| { |
| UWord shift = idx & 7; |
| idx >>= 3; |
| return 1 & (arr[idx] >> shift); |
| } |
| |
| |
| #define VGM_BIT_VALID 0 |
| #define VGM_BIT_INVALID 1 |
| |
| #define VGM_NIBBLE_VALID 0 |
| #define VGM_NIBBLE_INVALID 0xF |
| |
| #define VGM_BYTE_VALID 0 |
| #define VGM_BYTE_INVALID 0xFF |
| |
| #define VGM_WORD32_VALID 0 |
| #define VGM_WORD32_INVALID 0xFFFFFFFF |
| |
| #define VGM_WORD64_VALID 0ULL |
| #define VGM_WORD64_INVALID 0xFFFFFFFFFFFFFFFFULL |
| |
| |
| /*------------------------------------------------------------*/ |
| /*--- Command line options + defaults ---*/ |
| /*------------------------------------------------------------*/ |
| |
| /* Memcheck defines a couple more. */ |
| |
| /* Allow loads from partially-valid addresses? default: YES */ |
| extern Bool MAC_(clo_partial_loads_ok); |
| |
| /* Max volume of the freed blocks queue. */ |
| extern Int MAC_(clo_freelist_vol); |
| |
| /* Do leak check at exit? default: NO */ |
| typedef |
| enum { |
| LC_Off, |
| LC_Summary, |
| LC_Full, |
| } |
| LeakCheckMode; |
| |
| extern LeakCheckMode MAC_(clo_leak_check); |
| |
| /* How closely should we compare ExeContexts in leak records? default: 2 */ |
| extern VgRes MAC_(clo_leak_resolution); |
| |
| /* In leak check, show reachable-but-not-freed blocks? default: NO */ |
| extern Bool MAC_(clo_show_reachable); |
| |
| /* Assume accesses immediately below %esp are due to gcc-2.96 bugs. |
| * default: NO*/ |
| extern Bool MAC_(clo_workaround_gcc296_bugs); |
| |
| extern Bool MAC_(process_common_cmd_line_option) ( Char* arg ); |
| extern void MAC_(print_common_usage) ( void ); |
| extern void MAC_(print_common_debug_usage) ( void ); |
| |
| /* We want a 16B redzone on heap blocks for Addrcheck and Memcheck */ |
| #define MAC_MALLOC_REDZONE_SZB 16 |
| |
| /*------------------------------------------------------------*/ |
| /*--- Variables ---*/ |
| /*------------------------------------------------------------*/ |
| |
| /* For tracking malloc'd blocks */ |
| extern VgHashTable MAC_(malloc_list); |
| |
| /* For tracking memory pools. */ |
| extern VgHashTable MAC_(mempool_list); |
| |
| /* Function pointers for the two tools to track interesting events. */ |
| extern void (*MAC_(new_mem_heap)) ( Addr a, SizeT len, Bool is_inited ); |
| extern void (*MAC_(ban_mem_heap)) ( Addr a, SizeT len ); |
| extern void (*MAC_(die_mem_heap)) ( Addr a, SizeT len ); |
| extern void (*MAC_(copy_mem_heap))( Addr from, Addr to, SizeT len ); |
| |
| /* Function pointers for internal sanity checking. */ |
| extern Bool (*MAC_(check_noaccess))( Addr a, SizeT len, Addr* bad_addr ); |
| |
| /* Used in describe_addr() */ |
| extern Bool (*MAC_(describe_addr_supp)) ( Addr a, AddrInfo* ai ); |
| |
| /* For VALGRIND_COUNT_LEAKS client request */ |
| extern SizeT MAC_(bytes_leaked); |
| extern SizeT MAC_(bytes_indirect); |
| extern SizeT MAC_(bytes_dubious); |
| extern SizeT MAC_(bytes_reachable); |
| extern SizeT MAC_(bytes_suppressed); |
| |
| /*------------------------------------------------------------*/ |
| /*--- Functions ---*/ |
| /*------------------------------------------------------------*/ |
| |
| extern void MAC_(pp_AddrInfo) ( Addr a, AddrInfo* ai ); |
| |
| extern void MAC_(clear_MAC_Error) ( MAC_Error* err_extra ); |
| |
| extern Bool MAC_(eq_Error) ( VgRes res, Error* e1, Error* e2 ); |
| extern UInt MAC_(update_extra)( Error* err ); |
| extern Bool MAC_(read_extra_suppression_info) ( Int fd, Char* buf, Int nBuf, Supp *su ); |
| extern Bool MAC_(error_matches_suppression)(Error* err, Supp* su); |
| extern Char* MAC_(get_error_name) ( Error* err ); |
| extern void MAC_(print_extra_suppression_info) ( Error* err ); |
| |
| extern Bool MAC_(shared_recognised_suppression) ( Char* name, Supp* su ); |
| |
| extern void* MAC_(new_block) ( ThreadId tid, |
| Addr p, SizeT size, SizeT align, UInt rzB, |
| Bool is_zeroed, MAC_AllocKind kind, |
| VgHashTable table); |
| |
| extern void MAC_(handle_free) ( ThreadId tid, |
| Addr p, UInt rzB, MAC_AllocKind kind ); |
| |
| extern void MAC_(create_mempool)(Addr pool, UInt rzB, Bool is_zeroed); |
| |
| extern void MAC_(destroy_mempool)(Addr pool); |
| |
| extern void MAC_(mempool_alloc)(ThreadId tid, |
| Addr pool, Addr addr, SizeT size); |
| |
| extern void MAC_(mempool_free)(Addr pool, Addr addr); |
| |
| extern void MAC_(record_address_error) ( ThreadId tid, Addr a, |
| Int size, Bool isWrite ); |
| extern void MAC_(record_core_mem_error) ( ThreadId tid, Bool isUnaddr, |
| Char* s ); |
| extern void MAC_(record_param_error) ( ThreadId tid, Addr a, Bool isReg, |
| Bool isUnaddr, Char* msg ); |
| extern void MAC_(record_jump_error) ( ThreadId tid, Addr a ); |
| extern void MAC_(record_free_error) ( ThreadId tid, Addr a ); |
| extern void MAC_(record_freemismatch_error)( ThreadId tid, Addr a, |
| MAC_Chunk* mc); |
| extern void MAC_(record_overlap_error) ( ThreadId tid, |
| Char* function, OverlapExtra* oe ); |
| extern void MAC_(record_illegal_mempool_error) ( ThreadId tid, Addr pool ); |
| |
| extern void MAC_(pp_shared_Error) ( Error* err); |
| |
| extern MAC_Chunk* MAC_(get_freed_list_head)( void ); |
| |
| extern void MAC_(common_pre_clo_init) ( void ); |
| extern void MAC_(common_fini) ( void (*leak_check)(ThreadId tid, |
| LeakCheckMode mode) ); |
| |
| extern Bool MAC_(handle_common_client_requests) ( ThreadId tid, |
| UWord* arg_block, UWord* ret ); |
| |
| /* For leak checking */ |
| extern void MAC_(pp_LeakError)(void* extra); |
| |
| extern void MAC_(print_malloc_stats) ( void ); |
| |
| extern void MAC_(do_detect_memory_leaks) ( |
| ThreadId tid, LeakCheckMode mode, |
| Bool (*is_within_valid_secondary) ( Addr ), |
| Bool (*is_valid_aligned_word) ( Addr ) |
| ); |
| |
| extern VG_REGPARM(1) void MAC_(new_mem_stack_4) ( Addr old_ESP ); |
| extern VG_REGPARM(1) void MAC_(die_mem_stack_4) ( Addr old_ESP ); |
| extern VG_REGPARM(1) void MAC_(new_mem_stack_8) ( Addr old_ESP ); |
| extern VG_REGPARM(1) void MAC_(die_mem_stack_8) ( Addr old_ESP ); |
| extern VG_REGPARM(1) void MAC_(new_mem_stack_12) ( Addr old_ESP ); |
| extern VG_REGPARM(1) void MAC_(die_mem_stack_12) ( Addr old_ESP ); |
| extern VG_REGPARM(1) void MAC_(new_mem_stack_16) ( Addr old_ESP ); |
| extern VG_REGPARM(1) void MAC_(die_mem_stack_16) ( Addr old_ESP ); |
| extern VG_REGPARM(1) void MAC_(new_mem_stack_32) ( Addr old_ESP ); |
| extern VG_REGPARM(1) void MAC_(die_mem_stack_32) ( Addr old_ESP ); |
| extern void MAC_(die_mem_stack) ( Addr a, SizeT len); |
| extern void MAC_(new_mem_stack) ( Addr a, SizeT len); |
| |
| extern void* MAC_(malloc) ( ThreadId tid, SizeT n ); |
| extern void* MAC_(__builtin_new) ( ThreadId tid, SizeT n ); |
| extern void* MAC_(__builtin_vec_new) ( ThreadId tid, SizeT n ); |
| extern void* MAC_(memalign) ( ThreadId tid, SizeT align, SizeT n ); |
| extern void* MAC_(calloc) ( ThreadId tid, SizeT nmemb, SizeT size1 ); |
| extern void MAC_(free) ( ThreadId tid, void* p ); |
| extern void MAC_(__builtin_delete) ( ThreadId tid, void* p ); |
| extern void MAC_(__builtin_vec_delete) ( ThreadId tid, void* p ); |
| extern void* MAC_(realloc) ( ThreadId tid, void* p, SizeT new_size ); |
| |
| /*------------------------------------------------------------*/ |
| /*--- Stack pointer adjustment ---*/ |
| /*------------------------------------------------------------*/ |
| |
| /* Some noble preprocessor abuse, to enable Memcheck and Addrcheck to |
| share this code, but call different functions. |
| |
| Note that this code is executed very frequently and must be highly |
| optimised, which is why I resort to the preprocessor to achieve the |
| factoring, rather than eg. using function pointers. |
| */ |
| |
| #define SP_UPDATE_HANDLERS(ALIGNED4_NEW, ALIGNED4_DIE, \ |
| ALIGNED8_NEW, ALIGNED8_DIE, \ |
| UNALIGNED_NEW, UNALIGNED_DIE) \ |
| \ |
| void VG_REGPARM(1) MAC_(new_mem_stack_4)(Addr new_SP) \ |
| { \ |
| PROF_EVENT(110, "new_mem_stack_4"); \ |
| if (VG_IS_4_ALIGNED(new_SP)) { \ |
| ALIGNED4_NEW ( -VG_STACK_REDZONE_SZB + new_SP ); \ |
| } else { \ |
| UNALIGNED_NEW ( -VG_STACK_REDZONE_SZB + new_SP, 4 ); \ |
| } \ |
| } \ |
| \ |
| void VG_REGPARM(1) MAC_(die_mem_stack_4)(Addr new_SP) \ |
| { \ |
| PROF_EVENT(120, "die_mem_stack_4"); \ |
| if (VG_IS_4_ALIGNED(new_SP)) { \ |
| ALIGNED4_DIE ( -VG_STACK_REDZONE_SZB + new_SP-4 ); \ |
| } else { \ |
| UNALIGNED_DIE ( -VG_STACK_REDZONE_SZB + new_SP-4, 4 ); \ |
| } \ |
| } \ |
| \ |
| void VG_REGPARM(1) MAC_(new_mem_stack_8)(Addr new_SP) \ |
| { \ |
| PROF_EVENT(111, "new_mem_stack_8"); \ |
| if (VG_IS_8_ALIGNED(new_SP)) { \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP ); \ |
| } else if (VG_IS_4_ALIGNED(new_SP)) { \ |
| ALIGNED4_NEW ( -VG_STACK_REDZONE_SZB + new_SP ); \ |
| ALIGNED4_NEW ( -VG_STACK_REDZONE_SZB + new_SP+4 ); \ |
| } else { \ |
| UNALIGNED_NEW ( -VG_STACK_REDZONE_SZB + new_SP, 8 ); \ |
| } \ |
| } \ |
| \ |
| void VG_REGPARM(1) MAC_(die_mem_stack_8)(Addr new_SP) \ |
| { \ |
| PROF_EVENT(121, "die_mem_stack_8"); \ |
| if (VG_IS_8_ALIGNED(new_SP)) { \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-8 ); \ |
| } else if (VG_IS_4_ALIGNED(new_SP)) { \ |
| ALIGNED4_DIE ( -VG_STACK_REDZONE_SZB + new_SP-8 ); \ |
| ALIGNED4_DIE ( -VG_STACK_REDZONE_SZB + new_SP-4 ); \ |
| } else { \ |
| UNALIGNED_DIE ( -VG_STACK_REDZONE_SZB + new_SP-8, 8 ); \ |
| } \ |
| } \ |
| \ |
| void VG_REGPARM(1) MAC_(new_mem_stack_12)(Addr new_SP) \ |
| { \ |
| PROF_EVENT(112, "new_mem_stack_12"); \ |
| if (VG_IS_8_ALIGNED(new_SP)) { \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP ); \ |
| ALIGNED4_NEW ( -VG_STACK_REDZONE_SZB + new_SP+8 ); \ |
| } else if (VG_IS_4_ALIGNED(new_SP)) { \ |
| ALIGNED4_NEW ( -VG_STACK_REDZONE_SZB + new_SP ); \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP+4 ); \ |
| } else { \ |
| UNALIGNED_NEW ( -VG_STACK_REDZONE_SZB + new_SP, 12 ); \ |
| } \ |
| } \ |
| \ |
| void VG_REGPARM(1) MAC_(die_mem_stack_12)(Addr new_SP) \ |
| { \ |
| PROF_EVENT(122, "die_mem_stack_12"); \ |
| /* Note the -12 in the test */ \ |
| if (VG_IS_8_ALIGNED(new_SP-12)) { \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-12 ); \ |
| ALIGNED4_DIE ( -VG_STACK_REDZONE_SZB + new_SP-4 ); \ |
| } else if (VG_IS_4_ALIGNED(new_SP)) { \ |
| ALIGNED4_DIE ( -VG_STACK_REDZONE_SZB + new_SP-12 ); \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-8 ); \ |
| } else { \ |
| UNALIGNED_DIE ( -VG_STACK_REDZONE_SZB + new_SP-12, 12 ); \ |
| } \ |
| } \ |
| \ |
| void VG_REGPARM(1) MAC_(new_mem_stack_16)(Addr new_SP) \ |
| { \ |
| PROF_EVENT(113, "new_mem_stack_16"); \ |
| if (VG_IS_8_ALIGNED(new_SP)) { \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP ); \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP+8 ); \ |
| } else if (VG_IS_4_ALIGNED(new_SP)) { \ |
| ALIGNED4_NEW ( -VG_STACK_REDZONE_SZB + new_SP ); \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP+4 ); \ |
| ALIGNED4_NEW ( -VG_STACK_REDZONE_SZB + new_SP+12 ); \ |
| } else { \ |
| UNALIGNED_NEW ( -VG_STACK_REDZONE_SZB + new_SP, 16 ); \ |
| } \ |
| } \ |
| \ |
| void VG_REGPARM(1) MAC_(die_mem_stack_16)(Addr new_SP) \ |
| { \ |
| PROF_EVENT(123, "die_mem_stack_16"); \ |
| if (VG_IS_8_ALIGNED(new_SP)) { \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-16 ); \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-8 ); \ |
| } else if (VG_IS_4_ALIGNED(new_SP)) { \ |
| ALIGNED4_DIE ( -VG_STACK_REDZONE_SZB + new_SP-16 ); \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-12 ); \ |
| ALIGNED4_DIE ( -VG_STACK_REDZONE_SZB + new_SP-4 ); \ |
| } else { \ |
| UNALIGNED_DIE ( -VG_STACK_REDZONE_SZB + new_SP-16, 16 ); \ |
| } \ |
| } \ |
| \ |
| void VG_REGPARM(1) MAC_(new_mem_stack_32)(Addr new_SP) \ |
| { \ |
| PROF_EVENT(114, "new_mem_stack_32"); \ |
| if (VG_IS_8_ALIGNED(new_SP)) { \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP ); \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP+8 ); \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP+16 ); \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP+24 ); \ |
| } else if (VG_IS_4_ALIGNED(new_SP)) { \ |
| ALIGNED4_NEW ( -VG_STACK_REDZONE_SZB + new_SP ); \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP+4 ); \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP+12 ); \ |
| ALIGNED8_NEW ( -VG_STACK_REDZONE_SZB + new_SP+20 ); \ |
| ALIGNED4_NEW ( -VG_STACK_REDZONE_SZB + new_SP+28 ); \ |
| } else { \ |
| UNALIGNED_NEW ( -VG_STACK_REDZONE_SZB + new_SP, 32 ); \ |
| } \ |
| } \ |
| \ |
| void VG_REGPARM(1) MAC_(die_mem_stack_32)(Addr new_SP) \ |
| { \ |
| PROF_EVENT(124, "die_mem_stack_32"); \ |
| if (VG_IS_8_ALIGNED(new_SP)) { \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-32 ); \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-24 ); \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-16 ); \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP- 8 ); \ |
| } else if (VG_IS_4_ALIGNED(new_SP)) { \ |
| ALIGNED4_DIE ( -VG_STACK_REDZONE_SZB + new_SP-32 ); \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-28 ); \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-20 ); \ |
| ALIGNED8_DIE ( -VG_STACK_REDZONE_SZB + new_SP-12 ); \ |
| ALIGNED4_DIE ( -VG_STACK_REDZONE_SZB + new_SP-4 ); \ |
| } else { \ |
| UNALIGNED_DIE ( -VG_STACK_REDZONE_SZB + new_SP-32, 32 ); \ |
| } \ |
| } \ |
| \ |
| void MAC_(new_mem_stack) ( Addr a, SizeT len ) \ |
| { \ |
| PROF_EVENT(115, "new_mem_stack"); \ |
| UNALIGNED_NEW ( -VG_STACK_REDZONE_SZB + a, len ); \ |
| } \ |
| \ |
| void MAC_(die_mem_stack) ( Addr a, SizeT len ) \ |
| { \ |
| PROF_EVENT(125, "die_mem_stack"); \ |
| UNALIGNED_DIE ( -VG_STACK_REDZONE_SZB + a, len ); \ |
| } |
| |
| #endif /* __MAC_SHARED_H */ |
| |
| /*--------------------------------------------------------------------*/ |
| /*--- end ---*/ |
| /*--------------------------------------------------------------------*/ |