njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 1 | |
| 2 | /*--------------------------------------------------------------------*/ |
nethercote | 7cc9c23 | 2004-01-21 15:08:04 +0000 | [diff] [blame] | 3 | /*--- Stuff relating to tool data structures. ---*/ |
sewardj | a765834 | 2005-05-17 13:43:54 +0000 | [diff] [blame] | 4 | /*--- m_tooliface.c ---*/ |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 5 | /*--------------------------------------------------------------------*/ |
| 6 | |
| 7 | /* |
njn | b9c427c | 2004-12-01 14:14:42 +0000 | [diff] [blame] | 8 | This file is part of Valgrind, a dynamic binary instrumentation |
| 9 | framework. |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 10 | |
sewardj | 9eecbbb | 2010-05-03 21:37:12 +0000 | [diff] [blame] | 11 | Copyright (C) 2000-2010 Nicholas Nethercote |
njn | 2bc1012 | 2005-05-08 02:10:27 +0000 | [diff] [blame] | 12 | njn@valgrind.org |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 13 | |
| 14 | This program is free software; you can redistribute it and/or |
| 15 | modify it under the terms of the GNU General Public License as |
| 16 | published by the Free Software Foundation; either version 2 of the |
| 17 | License, or (at your option) any later version. |
| 18 | |
| 19 | This program is distributed in the hope that it will be useful, but |
| 20 | WITHOUT ANY WARRANTY; without even the implied warranty of |
| 21 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 22 | General Public License for more details. |
| 23 | |
| 24 | You should have received a copy of the GNU General Public License |
| 25 | along with this program; if not, write to the Free Software |
| 26 | Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 27 | 02111-1307, USA. |
| 28 | |
| 29 | The GNU General Public License is contained in the file COPYING. |
| 30 | */ |
| 31 | |
njn | c7561b9 | 2005-06-19 01:24:32 +0000 | [diff] [blame] | 32 | #include "pub_core_basics.h" |
njn | 4802b38 | 2005-06-11 04:58:29 +0000 | [diff] [blame] | 33 | #include "pub_core_tooliface.h" |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 34 | |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 35 | // The core/tool dictionary of functions (initially zeroed, as we want it) |
| 36 | VgToolInterface VG_(tdict); |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 37 | |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 38 | /*--------------------------------------------------------------------*/ |
| 39 | /* Setting basic functions */ |
| 40 | |
| 41 | void VG_(basic_tool_funcs)( |
| 42 | void(*post_clo_init)(void), |
sewardj | 0b9d74a | 2006-12-24 02:24:11 +0000 | [diff] [blame] | 43 | IRSB*(*instrument)(VgCallbackClosure*, IRSB*, |
sewardj | 461df9c | 2006-01-17 02:06:39 +0000 | [diff] [blame] | 44 | VexGuestLayout*, VexGuestExtents*, IRType, IRType), |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 45 | void(*fini)(Int) |
| 46 | ) |
| 47 | { |
njn | cf81d55 | 2005-03-31 04:52:26 +0000 | [diff] [blame] | 48 | VG_(tdict).tool_post_clo_init = post_clo_init; |
| 49 | VG_(tdict).tool_instrument = instrument; |
| 50 | VG_(tdict).tool_fini = fini; |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 51 | } |
| 52 | |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 53 | |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 54 | /*--------------------------------------------------------------------*/ |
| 55 | /* Setting details */ |
| 56 | |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 57 | /* Init with default values. */ |
| 58 | VgDetails VG_(details) = { |
sewardj | c0d8f68 | 2002-11-30 00:49:43 +0000 | [diff] [blame] | 59 | .name = NULL, |
| 60 | .version = NULL, |
| 61 | .description = NULL, |
| 62 | .copyright_author = NULL, |
| 63 | .bug_reports_to = NULL, |
njn | 120281f | 2003-02-03 12:20:07 +0000 | [diff] [blame] | 64 | .avg_translation_sizeB = VG_DEFAULT_TRANS_SIZEB, |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 65 | }; |
| 66 | |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 67 | /* Use macro because they're so repetitive */ |
| 68 | #define DETAILS(type, detail) \ |
| 69 | extern void VG_(details_##detail)(type detail) \ |
| 70 | { \ |
| 71 | VG_(details).detail = detail; \ |
| 72 | } |
| 73 | |
| 74 | DETAILS(Char*, name) |
| 75 | DETAILS(Char*, version) |
| 76 | DETAILS(Char*, description) |
| 77 | DETAILS(Char*, copyright_author) |
| 78 | DETAILS(Char*, bug_reports_to) |
| 79 | DETAILS(UInt, avg_translation_sizeB) |
| 80 | |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 81 | |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 82 | /*--------------------------------------------------------------------*/ |
| 83 | /* Setting needs */ |
| 84 | |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 85 | VgNeeds VG_(needs) = { |
| 86 | .core_errors = False, |
njn | 95ec870 | 2004-11-22 16:46:13 +0000 | [diff] [blame] | 87 | .tool_errors = False, |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 88 | .libc_freeres = False, |
sewardj | 0b9d74a | 2006-12-24 02:24:11 +0000 | [diff] [blame] | 89 | .superblock_discards = False, |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 90 | .command_line_options = False, |
| 91 | .client_requests = False, |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 92 | .syscall_wrapper = False, |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 93 | .sanity_checks = False, |
sewardj | b8b79ad | 2008-03-03 01:35:41 +0000 | [diff] [blame] | 94 | .var_info = False, |
njn | fc51f8d | 2005-06-21 03:20:17 +0000 | [diff] [blame] | 95 | .malloc_replacement = False, |
njn | ca54af3 | 2006-04-16 10:25:43 +0000 | [diff] [blame] | 96 | .xml_output = False, |
sewardj | 81651dc | 2007-08-28 06:05:20 +0000 | [diff] [blame] | 97 | .final_IR_tidy_pass = False |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 98 | }; |
| 99 | |
| 100 | /* static */ |
sewardj | 45f4e7c | 2005-09-27 19:20:21 +0000 | [diff] [blame] | 101 | Bool VG_(sanity_check_needs)(Char** failmsg) |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 102 | { |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 103 | Bool any_new_mem_stack_N, any_new_mem_stack_N_w_ECU; |
| 104 | Bool any_new_mem_stack_w_conflicting_otags; |
| 105 | Bool any_die_mem_stack_N; |
| 106 | |
njn | 64c8324 | 2005-06-21 01:54:38 +0000 | [diff] [blame] | 107 | #define CHECK_NOT(var, value) \ |
| 108 | if ((var)==(value)) { \ |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 109 | *failmsg = "Tool error: '" #var "' not initialised\n"; \ |
njn | 64c8324 | 2005-06-21 01:54:38 +0000 | [diff] [blame] | 110 | return False; \ |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 111 | } |
| 112 | |
njn | 120281f | 2003-02-03 12:20:07 +0000 | [diff] [blame] | 113 | /* Ones that must be set */ |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 114 | CHECK_NOT(VG_(details).name, NULL); |
| 115 | /* Nb: .version can be NULL */ |
| 116 | CHECK_NOT(VG_(details).description, NULL); |
| 117 | CHECK_NOT(VG_(details).copyright_author, NULL); |
| 118 | CHECK_NOT(VG_(details).bug_reports_to, NULL); |
| 119 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 120 | /* Check that new_mem_stack is defined if any new_mem_stack_N |
| 121 | are. */ |
| 122 | any_new_mem_stack_N |
| 123 | = VG_(tdict).track_new_mem_stack_4 || |
| 124 | VG_(tdict).track_new_mem_stack_8 || |
| 125 | VG_(tdict).track_new_mem_stack_12 || |
| 126 | VG_(tdict).track_new_mem_stack_16 || |
| 127 | VG_(tdict).track_new_mem_stack_32 || |
| 128 | VG_(tdict).track_new_mem_stack_112 || |
| 129 | VG_(tdict).track_new_mem_stack_128 || |
| 130 | VG_(tdict).track_new_mem_stack_144 || |
| 131 | VG_(tdict).track_new_mem_stack_160; |
| 132 | |
| 133 | if (any_new_mem_stack_N && ! VG_(tdict).track_new_mem_stack) { |
| 134 | *failmsg = "Tool error: one of the specialised 'new_mem_stack_N'\n" |
njn | 64c8324 | 2005-06-21 01:54:38 +0000 | [diff] [blame] | 135 | " events tracked, but not the generic 'new_mem_stack' one.\n" |
| 136 | " 'new_mem_stack' should be defined\n"; |
| 137 | return False; |
njn | 9b007f6 | 2003-04-07 14:40:25 +0000 | [diff] [blame] | 138 | } |
| 139 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 140 | /* Check that new_mem_stack_w_ECU is defined if any |
| 141 | new_mem_stack_N_w_ECU are. */ |
| 142 | any_new_mem_stack_N_w_ECU |
| 143 | = VG_(tdict).track_new_mem_stack_4_w_ECU || |
| 144 | VG_(tdict).track_new_mem_stack_8_w_ECU || |
| 145 | VG_(tdict).track_new_mem_stack_12_w_ECU || |
| 146 | VG_(tdict).track_new_mem_stack_16_w_ECU || |
| 147 | VG_(tdict).track_new_mem_stack_32_w_ECU || |
| 148 | VG_(tdict).track_new_mem_stack_112_w_ECU || |
| 149 | VG_(tdict).track_new_mem_stack_128_w_ECU || |
| 150 | VG_(tdict).track_new_mem_stack_144_w_ECU || |
| 151 | VG_(tdict).track_new_mem_stack_160_w_ECU; |
| 152 | |
| 153 | if (any_new_mem_stack_N_w_ECU && ! VG_(tdict).track_new_mem_stack_w_ECU) { |
| 154 | *failmsg = "Tool error: one of the specialised 'new_mem_stack_N_w_ECU'\n" |
| 155 | " events tracked, but not the generic 'new_mem_stack_w_ECU' one.\n" |
| 156 | " 'new_mem_stack_w_ECU' should be defined\n"; |
| 157 | return False; |
| 158 | } |
| 159 | |
| 160 | /* Check that in no cases are both with- and without-otag versions of the |
| 161 | same new_mem_stack_ function defined. */ |
| 162 | any_new_mem_stack_w_conflicting_otags |
| 163 | = (VG_(tdict).track_new_mem_stack_4 && VG_(tdict).track_new_mem_stack_4_w_ECU) || |
| 164 | (VG_(tdict).track_new_mem_stack_8 && VG_(tdict).track_new_mem_stack_8_w_ECU) || |
| 165 | (VG_(tdict).track_new_mem_stack_12 && VG_(tdict).track_new_mem_stack_12_w_ECU) || |
| 166 | (VG_(tdict).track_new_mem_stack_16 && VG_(tdict).track_new_mem_stack_16_w_ECU) || |
| 167 | (VG_(tdict).track_new_mem_stack_32 && VG_(tdict).track_new_mem_stack_32_w_ECU) || |
| 168 | (VG_(tdict).track_new_mem_stack_112 && VG_(tdict).track_new_mem_stack_112_w_ECU) || |
| 169 | (VG_(tdict).track_new_mem_stack_128 && VG_(tdict).track_new_mem_stack_128_w_ECU) || |
| 170 | (VG_(tdict).track_new_mem_stack_144 && VG_(tdict).track_new_mem_stack_144_w_ECU) || |
| 171 | (VG_(tdict).track_new_mem_stack_160 && VG_(tdict).track_new_mem_stack_160_w_ECU) || |
| 172 | (VG_(tdict).track_new_mem_stack && VG_(tdict).track_new_mem_stack_w_ECU); |
| 173 | |
| 174 | if (any_new_mem_stack_w_conflicting_otags) { |
| 175 | *failmsg = "Tool error: tool supplies both a 'new_mem_stack_N' and a\n" |
| 176 | " 'new_mem_stack_N_w_ECU' function for some N (or none),\n" |
| 177 | " but you can only have one or the other (not both)\n"; |
| 178 | return False; |
| 179 | } |
| 180 | |
| 181 | /* Check that die_mem_stack is defined if any die_mem_stack_N |
| 182 | are. */ |
| 183 | any_die_mem_stack_N |
| 184 | = VG_(tdict).track_die_mem_stack_4 || |
| 185 | VG_(tdict).track_die_mem_stack_8 || |
| 186 | VG_(tdict).track_die_mem_stack_12 || |
| 187 | VG_(tdict).track_die_mem_stack_16 || |
| 188 | VG_(tdict).track_die_mem_stack_32 || |
| 189 | VG_(tdict).track_die_mem_stack_112 || |
| 190 | VG_(tdict).track_die_mem_stack_128 || |
| 191 | VG_(tdict).track_die_mem_stack_144 || |
| 192 | VG_(tdict).track_die_mem_stack_160; |
| 193 | |
| 194 | if (any_die_mem_stack_N && ! VG_(tdict).track_die_mem_stack) { |
| 195 | *failmsg = "Tool error: one of the specialised 'die_mem_stack_N'\n" |
njn | 64c8324 | 2005-06-21 01:54:38 +0000 | [diff] [blame] | 196 | " events tracked, but not the generic 'die_mem_stack' one.\n" |
| 197 | " 'die_mem_stack' should be defined\n"; |
| 198 | return False; |
njn | 9b007f6 | 2003-04-07 14:40:25 +0000 | [diff] [blame] | 199 | } |
| 200 | |
njn | 64c8324 | 2005-06-21 01:54:38 +0000 | [diff] [blame] | 201 | return True; |
| 202 | |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 203 | #undef CHECK_NOT |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 204 | } |
| 205 | |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 206 | /* Use macro because they're so repetitive */ |
| 207 | #define NEEDS(need) \ |
| 208 | extern void VG_(needs_##need)(void) \ |
| 209 | { \ |
| 210 | VG_(needs).need = True; \ |
| 211 | } |
| 212 | |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 213 | // These ones don't require any tool-supplied functions |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 214 | NEEDS(libc_freeres) |
| 215 | NEEDS(core_errors) |
sewardj | b8b79ad | 2008-03-03 01:35:41 +0000 | [diff] [blame] | 216 | NEEDS(var_info) |
njn | fdc28af | 2003-02-24 10:36:48 +0000 | [diff] [blame] | 217 | |
sewardj | 0b9d74a | 2006-12-24 02:24:11 +0000 | [diff] [blame] | 218 | void VG_(needs_superblock_discards)( |
sewardj | 4ba057c | 2005-10-18 12:04:18 +0000 | [diff] [blame] | 219 | void (*discard)(Addr64, VexGuestExtents) |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 220 | ) |
| 221 | { |
sewardj | 0b9d74a | 2006-12-24 02:24:11 +0000 | [diff] [blame] | 222 | VG_(needs).superblock_discards = True; |
| 223 | VG_(tdict).tool_discard_superblock_info = discard; |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 224 | } |
| 225 | |
| 226 | void VG_(needs_tool_errors)( |
| 227 | Bool (*eq) (VgRes, Error*, Error*), |
sewardj | 738856f | 2009-07-15 14:48:32 +0000 | [diff] [blame] | 228 | void (*before_pp) (Error*), |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 229 | void (*pp) (Error*), |
sewardj | adb102f | 2007-11-09 23:21:44 +0000 | [diff] [blame] | 230 | Bool show_TIDs, |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 231 | UInt (*update) (Error*), |
| 232 | Bool (*recog) (Char*, Supp*), |
njn | 35db56c | 2009-07-24 07:38:29 +0000 | [diff] [blame] | 233 | Bool (*read_extra) (Int, Char**, SizeT*, Supp*), |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 234 | Bool (*matches) (Error*, Supp*), |
| 235 | Char* (*name) (Error*), |
sewardj | 588adef | 2009-08-15 22:41:51 +0000 | [diff] [blame] | 236 | Bool (*get_xtra_si)(Error*,/*OUT*/Char*,Int) |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 237 | ) |
| 238 | { |
| 239 | VG_(needs).tool_errors = True; |
njn | cf81d55 | 2005-03-31 04:52:26 +0000 | [diff] [blame] | 240 | VG_(tdict).tool_eq_Error = eq; |
sewardj | 738856f | 2009-07-15 14:48:32 +0000 | [diff] [blame] | 241 | VG_(tdict).tool_before_pp_Error = before_pp; |
njn | cf81d55 | 2005-03-31 04:52:26 +0000 | [diff] [blame] | 242 | VG_(tdict).tool_pp_Error = pp; |
sewardj | adb102f | 2007-11-09 23:21:44 +0000 | [diff] [blame] | 243 | VG_(tdict).tool_show_ThreadIDs_for_errors = show_TIDs; |
njn | cf81d55 | 2005-03-31 04:52:26 +0000 | [diff] [blame] | 244 | VG_(tdict).tool_update_extra = update; |
| 245 | VG_(tdict).tool_recognised_suppression = recog; |
| 246 | VG_(tdict).tool_read_extra_suppression_info = read_extra; |
| 247 | VG_(tdict).tool_error_matches_suppression = matches; |
| 248 | VG_(tdict).tool_get_error_name = name; |
sewardj | 588adef | 2009-08-15 22:41:51 +0000 | [diff] [blame] | 249 | VG_(tdict).tool_get_extra_suppression_info = get_xtra_si; |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 250 | } |
| 251 | |
| 252 | void VG_(needs_command_line_options)( |
| 253 | Bool (*process)(Char*), |
| 254 | void (*usage)(void), |
| 255 | void (*debug_usage)(void) |
| 256 | ) |
| 257 | { |
| 258 | VG_(needs).command_line_options = True; |
njn | cf81d55 | 2005-03-31 04:52:26 +0000 | [diff] [blame] | 259 | VG_(tdict).tool_process_cmd_line_option = process; |
| 260 | VG_(tdict).tool_print_usage = usage; |
| 261 | VG_(tdict).tool_print_debug_usage = debug_usage; |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 262 | } |
| 263 | |
| 264 | void VG_(needs_client_requests)( |
| 265 | Bool (*handle)(ThreadId, UWord*, UWord*) |
| 266 | ) |
| 267 | { |
| 268 | VG_(needs).client_requests = True; |
njn | cf81d55 | 2005-03-31 04:52:26 +0000 | [diff] [blame] | 269 | VG_(tdict).tool_handle_client_request = handle; |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 270 | } |
| 271 | |
| 272 | void VG_(needs_syscall_wrapper)( |
sewardj | 1c0ce7a | 2009-07-01 08:10:49 +0000 | [diff] [blame] | 273 | void(*pre) (ThreadId, UInt, UWord*, UInt), |
| 274 | void(*post)(ThreadId, UInt, UWord*, UInt, SysRes res) |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 275 | ) |
| 276 | { |
| 277 | VG_(needs).syscall_wrapper = True; |
njn | cf81d55 | 2005-03-31 04:52:26 +0000 | [diff] [blame] | 278 | VG_(tdict).tool_pre_syscall = pre; |
| 279 | VG_(tdict).tool_post_syscall = post; |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 280 | } |
| 281 | |
| 282 | void VG_(needs_sanity_checks)( |
| 283 | Bool(*cheap)(void), |
| 284 | Bool(*expen)(void) |
| 285 | ) |
| 286 | { |
| 287 | VG_(needs).sanity_checks = True; |
njn | cf81d55 | 2005-03-31 04:52:26 +0000 | [diff] [blame] | 288 | VG_(tdict).tool_cheap_sanity_check = cheap; |
| 289 | VG_(tdict).tool_expensive_sanity_check = expen; |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 290 | } |
| 291 | |
njn | fc51f8d | 2005-06-21 03:20:17 +0000 | [diff] [blame] | 292 | void VG_(needs_malloc_replacement)( |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 293 | void* (*malloc) ( ThreadId, SizeT ), |
| 294 | void* (*__builtin_new) ( ThreadId, SizeT ), |
| 295 | void* (*__builtin_vec_new) ( ThreadId, SizeT ), |
| 296 | void* (*memalign) ( ThreadId, SizeT, SizeT ), |
| 297 | void* (*calloc) ( ThreadId, SizeT, SizeT ), |
| 298 | void (*free) ( ThreadId, void* ), |
| 299 | void (*__builtin_delete) ( ThreadId, void* ), |
| 300 | void (*__builtin_vec_delete) ( ThreadId, void* ), |
| 301 | void* (*realloc) ( ThreadId, void*, SizeT ), |
njn | 8b140de | 2009-02-17 04:31:18 +0000 | [diff] [blame] | 302 | SizeT (*malloc_usable_size) ( ThreadId, void* ), |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 303 | SizeT client_malloc_redzone_szB |
| 304 | ) |
| 305 | { |
njn | fc51f8d | 2005-06-21 03:20:17 +0000 | [diff] [blame] | 306 | VG_(needs).malloc_replacement = True; |
| 307 | VG_(tdict).tool_malloc = malloc; |
| 308 | VG_(tdict).tool___builtin_new = __builtin_new; |
| 309 | VG_(tdict).tool___builtin_vec_new = __builtin_vec_new; |
| 310 | VG_(tdict).tool_memalign = memalign; |
| 311 | VG_(tdict).tool_calloc = calloc; |
| 312 | VG_(tdict).tool_free = free; |
| 313 | VG_(tdict).tool___builtin_delete = __builtin_delete; |
| 314 | VG_(tdict).tool___builtin_vec_delete = __builtin_vec_delete; |
| 315 | VG_(tdict).tool_realloc = realloc; |
njn | 8b140de | 2009-02-17 04:31:18 +0000 | [diff] [blame] | 316 | VG_(tdict).tool_malloc_usable_size = malloc_usable_size; |
njn | fc51f8d | 2005-06-21 03:20:17 +0000 | [diff] [blame] | 317 | VG_(tdict).tool_client_redzone_szB = client_malloc_redzone_szB; |
njn | 8a97c6d | 2005-03-31 04:37:24 +0000 | [diff] [blame] | 318 | } |
| 319 | |
sewardj | 738856f | 2009-07-15 14:48:32 +0000 | [diff] [blame] | 320 | void VG_(needs_xml_output)( void ) |
| 321 | { |
| 322 | VG_(needs).xml_output = True; |
| 323 | } |
| 324 | |
sewardj | 81651dc | 2007-08-28 06:05:20 +0000 | [diff] [blame] | 325 | void VG_(needs_final_IR_tidy_pass)( |
| 326 | IRSB*(*final_tidy)(IRSB*) |
| 327 | ) |
| 328 | { |
| 329 | VG_(needs).final_IR_tidy_pass = True; |
| 330 | VG_(tdict).tool_final_IR_tidy_pass = final_tidy; |
| 331 | } |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 332 | |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 333 | /*--------------------------------------------------------------------*/ |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 334 | /* Tracked events. Digit 'n' on DEFn is the REGPARMness. */ |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 335 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 336 | #define DEF0(fn, args...) \ |
| 337 | void VG_(fn)(void(*f)(args)) { \ |
| 338 | VG_(tdict).fn = f; \ |
| 339 | } |
| 340 | |
| 341 | #define DEF1(fn, args...) \ |
| 342 | void VG_(fn)(VG_REGPARM(1) void(*f)(args)) { \ |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 343 | VG_(tdict).fn = f; \ |
| 344 | } |
| 345 | |
| 346 | #define DEF2(fn, args...) \ |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 347 | void VG_(fn)(VG_REGPARM(2) void(*f)(args)) { \ |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 348 | VG_(tdict).fn = f; \ |
| 349 | } |
| 350 | |
sewardj | 9c606bd | 2008-09-18 18:12:50 +0000 | [diff] [blame] | 351 | DEF0(track_new_mem_startup, Addr, SizeT, Bool, Bool, Bool, ULong) |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 352 | DEF0(track_new_mem_stack_signal, Addr, SizeT, UInt) |
| 353 | DEF0(track_new_mem_brk, Addr, SizeT, UInt) |
sewardj | 9c606bd | 2008-09-18 18:12:50 +0000 | [diff] [blame] | 354 | DEF0(track_new_mem_mmap, Addr, SizeT, Bool, Bool, Bool, ULong) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 355 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 356 | DEF0(track_copy_mem_remap, Addr, Addr, SizeT) |
| 357 | DEF0(track_change_mem_mprotect, Addr, SizeT, Bool, Bool, Bool) |
| 358 | DEF0(track_die_mem_stack_signal, Addr, SizeT) |
| 359 | DEF0(track_die_mem_brk, Addr, SizeT) |
| 360 | DEF0(track_die_mem_munmap, Addr, SizeT) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 361 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 362 | DEF2(track_new_mem_stack_4_w_ECU, Addr, UInt) |
| 363 | DEF2(track_new_mem_stack_8_w_ECU, Addr, UInt) |
| 364 | DEF2(track_new_mem_stack_12_w_ECU, Addr, UInt) |
| 365 | DEF2(track_new_mem_stack_16_w_ECU, Addr, UInt) |
| 366 | DEF2(track_new_mem_stack_32_w_ECU, Addr, UInt) |
| 367 | DEF2(track_new_mem_stack_112_w_ECU, Addr, UInt) |
| 368 | DEF2(track_new_mem_stack_128_w_ECU, Addr, UInt) |
| 369 | DEF2(track_new_mem_stack_144_w_ECU, Addr, UInt) |
| 370 | DEF2(track_new_mem_stack_160_w_ECU, Addr, UInt) |
| 371 | DEF0(track_new_mem_stack_w_ECU, Addr, SizeT, UInt) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 372 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 373 | DEF1(track_new_mem_stack_4, Addr) |
| 374 | DEF1(track_new_mem_stack_8, Addr) |
| 375 | DEF1(track_new_mem_stack_12, Addr) |
| 376 | DEF1(track_new_mem_stack_16, Addr) |
| 377 | DEF1(track_new_mem_stack_32, Addr) |
| 378 | DEF1(track_new_mem_stack_112, Addr) |
| 379 | DEF1(track_new_mem_stack_128, Addr) |
| 380 | DEF1(track_new_mem_stack_144, Addr) |
| 381 | DEF1(track_new_mem_stack_160, Addr) |
| 382 | DEF0(track_new_mem_stack, Addr, SizeT) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 383 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 384 | DEF1(track_die_mem_stack_4, Addr) |
| 385 | DEF1(track_die_mem_stack_8, Addr) |
| 386 | DEF1(track_die_mem_stack_12, Addr) |
| 387 | DEF1(track_die_mem_stack_16, Addr) |
| 388 | DEF1(track_die_mem_stack_32, Addr) |
| 389 | DEF1(track_die_mem_stack_112, Addr) |
| 390 | DEF1(track_die_mem_stack_128, Addr) |
| 391 | DEF1(track_die_mem_stack_144, Addr) |
| 392 | DEF1(track_die_mem_stack_160, Addr) |
| 393 | DEF0(track_die_mem_stack, Addr, SizeT) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 394 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 395 | DEF0(track_ban_mem_stack, Addr, SizeT) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 396 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 397 | DEF0(track_pre_mem_read, CorePart, ThreadId, Char*, Addr, SizeT) |
| 398 | DEF0(track_pre_mem_read_asciiz, CorePart, ThreadId, Char*, Addr) |
| 399 | DEF0(track_pre_mem_write, CorePart, ThreadId, Char*, Addr, SizeT) |
| 400 | DEF0(track_post_mem_write, CorePart, ThreadId, Addr, SizeT) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 401 | |
njn | c4431bf | 2009-01-15 21:29:24 +0000 | [diff] [blame] | 402 | DEF0(track_pre_reg_read, CorePart, ThreadId, Char*, PtrdiffT, SizeT) |
| 403 | DEF0(track_post_reg_write, CorePart, ThreadId, PtrdiffT, SizeT) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 404 | |
njn | c4431bf | 2009-01-15 21:29:24 +0000 | [diff] [blame] | 405 | DEF0(track_post_reg_write_clientcall_return, ThreadId, PtrdiffT, SizeT, Addr) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 406 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 407 | DEF0(track_start_client_code, ThreadId, ULong) |
| 408 | DEF0(track_stop_client_code, ThreadId, ULong) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 409 | |
sewardj | 7cf4e6b | 2008-05-01 20:24:26 +0000 | [diff] [blame] | 410 | DEF0(track_pre_thread_ll_create, ThreadId, ThreadId) |
| 411 | DEF0(track_pre_thread_first_insn, ThreadId) |
| 412 | DEF0(track_pre_thread_ll_exit, ThreadId) |
| 413 | |
| 414 | DEF0(track_pre_deliver_signal, ThreadId, Int sigNo, Bool) |
| 415 | DEF0(track_post_deliver_signal, ThreadId, Int sigNo) |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 416 | |
njn | 51d827b | 2005-05-09 01:02:08 +0000 | [diff] [blame] | 417 | /*--------------------------------------------------------------------*/ |
| 418 | /*--- end ---*/ |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 419 | /*--------------------------------------------------------------------*/ |