1
2 /*---------------------------------------------------------------*/
3 /*--- begin main_util.c ---*/
4 /*---------------------------------------------------------------*/
5
6 /*
7 This file is part of Valgrind, a dynamic binary instrumentation
8 framework.
9
10 Copyright (C) 2004-2010 OpenWorks LLP
11 info@open-works.net
12
13 This program is free software; you can redistribute it and/or
14 modify it under the terms of the GNU General Public License as
15 published by the Free Software Foundation; either version 2 of the
16 License, or (at your option) any later version.
17
18 This program is distributed in the hope that it will be useful, but
19 WITHOUT ANY WARRANTY; without even the implied warranty of
20 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
21 General Public License for more details.
22
23 You should have received a copy of the GNU General Public License
24 along with this program; if not, write to the Free Software
25 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
26 02110-1301, USA.
27
28 The GNU General Public License is contained in the file COPYING.
29
30 Neither the names of the U.S. Department of Energy nor the
31 University of California nor the names of its contributors may be
32 used to endorse or promote products derived from this software
33 without prior written permission.
34 */
35
36 #include "libvex_basictypes.h"
37 #include "libvex.h"
38
39 #include "main_globals.h"
40 #include "main_util.h"
41
42
43 /*---------------------------------------------------------*/
44 /*--- Storage ---*/
45 /*---------------------------------------------------------*/
46
47 /* Try to keep this as low as possible -- in particular, less than the
48 size of the smallest L2 cache we might encounter. At 50000, my VIA
49 Nehemiah 1 GHz (a weedy machine) can satisfy 27 million calls/
50 second to LibVEX_Alloc(16) -- that is, allocate memory at over 400
51 MByte/sec. Once the size increases enough to fall out of the cache
52 into memory, the rate falls by about a factor of 3.
53 */
54 #define N_TEMPORARY_BYTES 5000000
55
56 static HChar temporary[N_TEMPORARY_BYTES] __attribute__((aligned(8)));
57 static HChar* temporary_first = &temporary[0];
58 static HChar* temporary_curr = &temporary[0];
59 static HChar* temporary_last = &temporary[N_TEMPORARY_BYTES-1];
60
61 static ULong temporary_bytes_allocd_TOT = 0;
62
63 #define N_PERMANENT_BYTES 10000
64
65 static HChar permanent[N_PERMANENT_BYTES] __attribute__((aligned(8)));
66 static HChar* permanent_first = &permanent[0];
67 static HChar* permanent_curr = &permanent[0];
68 static HChar* permanent_last = &permanent[N_PERMANENT_BYTES-1];
69
70 static VexAllocMode mode = VexAllocModeTEMP;
71
vexAllocSanityCheck(void)72 void vexAllocSanityCheck ( void )
73 {
74 vassert(temporary_first == &temporary[0]);
75 vassert(temporary_last == &temporary[N_TEMPORARY_BYTES-1]);
76 vassert(permanent_first == &permanent[0]);
77 vassert(permanent_last == &permanent[N_PERMANENT_BYTES-1]);
78 vassert(temporary_first <= temporary_curr);
79 vassert(temporary_curr <= temporary_last);
80 vassert(permanent_first <= permanent_curr);
81 vassert(permanent_curr <= permanent_last);
82 vassert(private_LibVEX_alloc_first <= private_LibVEX_alloc_curr);
83 vassert(private_LibVEX_alloc_curr <= private_LibVEX_alloc_last);
84 if (mode == VexAllocModeTEMP){
85 vassert(private_LibVEX_alloc_first == temporary_first);
86 vassert(private_LibVEX_alloc_last == temporary_last);
87 }
88 else
89 if (mode == VexAllocModePERM) {
90 vassert(private_LibVEX_alloc_first == permanent_first);
91 vassert(private_LibVEX_alloc_last == permanent_last);
92 }
93 else
94 vassert(0);
95
96 # define IS_WORD_ALIGNED(p) (0 == (((HWord)p) & (sizeof(HWord)-1)))
97 vassert(sizeof(HWord) == 4 || sizeof(HWord) == 8);
98 vassert(IS_WORD_ALIGNED(temporary_first));
99 vassert(IS_WORD_ALIGNED(temporary_curr));
100 vassert(IS_WORD_ALIGNED(temporary_last+1));
101 vassert(IS_WORD_ALIGNED(permanent_first));
102 vassert(IS_WORD_ALIGNED(permanent_curr));
103 vassert(IS_WORD_ALIGNED(permanent_last+1));
104 vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_first));
105 vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_curr));
106 vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_last+1));
107 # undef IS_WORD_ALIGNED
108 }
109
110 /* The current allocation mode. */
111
vexSetAllocMode(VexAllocMode m)112 void vexSetAllocMode ( VexAllocMode m )
113 {
114 vexAllocSanityCheck();
115
116 /* Save away the current allocation point .. */
117 if (mode == VexAllocModeTEMP){
118 temporary_curr = private_LibVEX_alloc_curr;
119 }
120 else
121 if (mode == VexAllocModePERM) {
122 permanent_curr = private_LibVEX_alloc_curr;
123 }
124 else
125 vassert(0);
126
127 /* Did that screw anything up? */
128 vexAllocSanityCheck();
129
130 if (m == VexAllocModeTEMP){
131 private_LibVEX_alloc_first = temporary_first;
132 private_LibVEX_alloc_curr = temporary_curr;
133 private_LibVEX_alloc_last = temporary_last;
134 }
135 else
136 if (m == VexAllocModePERM) {
137 private_LibVEX_alloc_first = permanent_first;
138 private_LibVEX_alloc_curr = permanent_curr;
139 private_LibVEX_alloc_last = permanent_last;
140 }
141 else
142 vassert(0);
143
144 mode = m;
145 }
146
vexGetAllocMode(void)147 VexAllocMode vexGetAllocMode ( void )
148 {
149 return mode;
150 }
151
152 /* Visible to library client, unfortunately. */
153
154 HChar* private_LibVEX_alloc_first = &temporary[0];
155 HChar* private_LibVEX_alloc_curr = &temporary[0];
156 HChar* private_LibVEX_alloc_last = &temporary[N_TEMPORARY_BYTES-1];
157
158 __attribute__((noreturn))
private_LibVEX_alloc_OOM(void)159 void private_LibVEX_alloc_OOM(void)
160 {
161 HChar* pool = "???";
162 if (private_LibVEX_alloc_first == &temporary[0]) pool = "TEMP";
163 if (private_LibVEX_alloc_first == &permanent[0]) pool = "PERM";
164 vex_printf("VEX temporary storage exhausted.\n");
165 vex_printf("Pool = %s, start %p curr %p end %p (size %lld)\n",
166 pool,
167 private_LibVEX_alloc_first,
168 private_LibVEX_alloc_curr,
169 private_LibVEX_alloc_last,
170 (Long)(private_LibVEX_alloc_last + 1 - private_LibVEX_alloc_first));
171 vpanic("VEX temporary storage exhausted.\n"
172 "Increase N_{TEMPORARY,PERMANENT}_BYTES and recompile.");
173 }
174
vexSetAllocModeTEMP_and_clear(void)175 void vexSetAllocModeTEMP_and_clear ( void )
176 {
177 /* vassert(vex_initdone); */ /* causes infinite assert loops */
178 temporary_bytes_allocd_TOT
179 += (ULong)(private_LibVEX_alloc_curr - private_LibVEX_alloc_first);
180
181 mode = VexAllocModeTEMP;
182 temporary_curr = &temporary[0];
183 private_LibVEX_alloc_curr = &temporary[0];
184
185 /* Set to (1) and change the fill byte to 0x00 or 0xFF to test for
186 any potential bugs due to using uninitialised memory in the main
187 VEX storage area. */
188 if (0) {
189 Int i;
190 for (i = 0; i < N_TEMPORARY_BYTES; i++)
191 temporary[i] = 0x00;
192 }
193
194 vexAllocSanityCheck();
195 }
196
197
198 /* Exported to library client. */
199
LibVEX_ShowAllocStats(void)200 void LibVEX_ShowAllocStats ( void )
201 {
202 vex_printf("vex storage: T total %lld bytes allocated\n",
203 (Long)temporary_bytes_allocd_TOT );
204 vex_printf("vex storage: P total %lld bytes allocated\n",
205 (Long)(permanent_curr - permanent_first) );
206 }
207
208
209 /*---------------------------------------------------------*/
210 /*--- Bombing out ---*/
211 /*---------------------------------------------------------*/
212
213 __attribute__ ((noreturn))
vex_assert_fail(const HChar * expr,const HChar * file,Int line,const HChar * fn)214 void vex_assert_fail ( const HChar* expr,
215 const HChar* file, Int line, const HChar* fn )
216 {
217 vex_printf( "\nvex: %s:%d (%s): Assertion `%s' failed.\n",
218 file, line, fn, expr );
219 (*vex_failure_exit)();
220 }
221
222 __attribute__ ((noreturn))
vpanic(HChar * str)223 void vpanic ( HChar* str )
224 {
225 vex_printf("\nvex: the `impossible' happened:\n %s\n", str);
226 (*vex_failure_exit)();
227 }
228
229
230 /*---------------------------------------------------------*/
231 /*--- vex_printf ---*/
232 /*---------------------------------------------------------*/
233
234 /* This should be the only <...> include in the entire VEX library.
235 New code for vex_util.c should go above this point. */
236 #include <stdarg.h>
237
vex_strlen(const HChar * str)238 static Int vex_strlen ( const HChar* str )
239 {
240 Int i = 0;
241 while (str[i] != 0) i++;
242 return i;
243 }
244
vex_streq(const HChar * s1,const HChar * s2)245 Bool vex_streq ( const HChar* s1, const HChar* s2 )
246 {
247 while (True) {
248 if (*s1 == 0 && *s2 == 0)
249 return True;
250 if (*s1 != *s2)
251 return False;
252 s1++;
253 s2++;
254 }
255 }
256
257
258 /* Convert N0 into ascii in BUF, which is assumed to be big enough (at
259 least 67 bytes long). Observe BASE, SYNED and HEXCAPS. */
260 static
convert_int(HChar * buf,Long n0,Int base,Bool syned,Bool hexcaps)261 void convert_int ( /*OUT*/HChar* buf, Long n0,
262 Int base, Bool syned, Bool hexcaps )
263 {
264 ULong u0;
265 HChar c;
266 Bool minus = False;
267 Int i, j, bufi = 0;
268 buf[bufi] = 0;
269
270 if (syned) {
271 if (n0 < 0) {
272 minus = True;
273 u0 = (ULong)(-n0);
274 } else {
275 u0 = (ULong)(n0);
276 }
277 } else {
278 u0 = (ULong)n0;
279 }
280
281 while (1) {
282 buf[bufi++] = toHChar('0' + toUInt(u0 % base));
283 u0 /= base;
284 if (u0 == 0) break;
285 }
286 if (minus)
287 buf[bufi++] = '-';
288
289 buf[bufi] = 0;
290 for (i = 0; i < bufi; i++)
291 if (buf[i] > '9')
292 buf[i] = toHChar(buf[i] + (hexcaps ? 'A' : 'a') - '9' - 1);
293
294 i = 0;
295 j = bufi-1;
296 while (i <= j) {
297 c = buf[i];
298 buf[i] = buf[j];
299 buf[j] = c;
300 i++;
301 j--;
302 }
303 }
304
305
306 /* A half-arsed and buggy, but good-enough, implementation of
307 printf. */
308 static
vprintf_wrk(void (* sink)(HChar),HChar * format,va_list ap)309 UInt vprintf_wrk ( void(*sink)(HChar),
310 HChar* format,
311 va_list ap )
312 {
313 # define PUT(_ch) \
314 do { sink(_ch); nout++; } \
315 while (0)
316
317 # define PAD(_n) \
318 do { Int _qq = (_n); for (; _qq > 0; _qq--) PUT(padchar); } \
319 while (0)
320
321 # define PUTSTR(_str) \
322 do { HChar* _qq = _str; for (; *_qq; _qq++) PUT(*_qq); } \
323 while (0)
324
325 HChar* saved_format;
326 Bool longlong, ljustify;
327 HChar padchar;
328 Int fwidth, nout, len1, len2, len3;
329 HChar intbuf[100]; /* big enough for a 64-bit # in base 2 */
330
331 nout = 0;
332 while (1) {
333
334 if (!format)
335 break;
336 if (*format == 0)
337 break;
338
339 if (*format != '%') {
340 PUT(*format);
341 format++;
342 continue;
343 }
344
345 saved_format = format;
346 longlong = False;
347 ljustify = False;
348 padchar = ' ';
349 fwidth = 0;
350 format++;
351
352 if (*format == '-') {
353 format++;
354 ljustify = True;
355 }
356 if (*format == '0') {
357 format++;
358 padchar = '0';
359 }
360 while (*format >= '0' && *format <= '9') {
361 fwidth = fwidth * 10 + (*format - '0');
362 format++;
363 }
364 if (*format == 'l') {
365 format++;
366 if (*format == 'l') {
367 format++;
368 longlong = True;
369 }
370 }
371
372 switch (*format) {
373 case 's': {
374 HChar* str = va_arg(ap, HChar*);
375 if (str == NULL)
376 str = "(null)";
377 len1 = len3 = 0;
378 len2 = vex_strlen(str);
379 if (fwidth > len2) { len1 = ljustify ? 0 : fwidth-len2;
380 len3 = ljustify ? fwidth-len2 : 0; }
381 PAD(len1); PUTSTR(str); PAD(len3);
382 break;
383 }
384 case 'c': {
385 HChar c = (HChar)va_arg(ap, int);
386 HChar str[2];
387 str[0] = c;
388 str[1] = 0;
389 len1 = len3 = 0;
390 len2 = vex_strlen(str);
391 if (fwidth > len2) { len1 = ljustify ? 0 : fwidth-len2;
392 len3 = ljustify ? fwidth-len2 : 0; }
393 PAD(len1); PUTSTR(str); PAD(len3);
394 break;
395 }
396 case 'd': {
397 Long l;
398 if (longlong) {
399 l = va_arg(ap, Long);
400 } else {
401 l = (Long)va_arg(ap, Int);
402 }
403 convert_int(intbuf, l, 10/*base*/, True/*signed*/,
404 False/*irrelevant*/);
405 len1 = len3 = 0;
406 len2 = vex_strlen(intbuf);
407 if (fwidth > len2) { len1 = ljustify ? 0 : fwidth-len2;
408 len3 = ljustify ? fwidth-len2 : 0; }
409 PAD(len1); PUTSTR(intbuf); PAD(len3);
410 break;
411 }
412 case 'u':
413 case 'x':
414 case 'X': {
415 Int base = *format == 'u' ? 10 : 16;
416 Bool hexcaps = True; /* *format == 'X'; */
417 ULong l;
418 if (longlong) {
419 l = va_arg(ap, ULong);
420 } else {
421 l = (ULong)va_arg(ap, UInt);
422 }
423 convert_int(intbuf, l, base, False/*unsigned*/, hexcaps);
424 len1 = len3 = 0;
425 len2 = vex_strlen(intbuf);
426 if (fwidth > len2) { len1 = ljustify ? 0 : fwidth-len2;
427 len3 = ljustify ? fwidth-len2 : 0; }
428 PAD(len1); PUTSTR(intbuf); PAD(len3);
429 break;
430 }
431 case 'p':
432 case 'P': {
433 Bool hexcaps = toBool(*format == 'P');
434 ULong l = Ptr_to_ULong( va_arg(ap, void*) );
435 convert_int(intbuf, l, 16/*base*/, False/*unsigned*/, hexcaps);
436 len1 = len3 = 0;
437 len2 = vex_strlen(intbuf)+2;
438 if (fwidth > len2) { len1 = ljustify ? 0 : fwidth-len2;
439 len3 = ljustify ? fwidth-len2 : 0; }
440 PAD(len1); PUT('0'); PUT('x'); PUTSTR(intbuf); PAD(len3);
441 break;
442 }
443 case '%': {
444 PUT('%');
445 break;
446 }
447 default:
448 /* no idea what it is. Print the format literally and
449 move on. */
450 while (saved_format <= format) {
451 PUT(*saved_format);
452 saved_format++;
453 }
454 break;
455 }
456
457 format++;
458
459 }
460
461 return nout;
462
463 # undef PUT
464 # undef PAD
465 # undef PUTSTR
466 }
467
468
469 /* A general replacement for printf(). Note that only low-level
470 debugging info should be sent via here. The official route is to
471 to use vg_message(). This interface is deprecated.
472 */
473 static HChar myprintf_buf[1000];
474 static Int n_myprintf_buf;
475
add_to_myprintf_buf(HChar c)476 static void add_to_myprintf_buf ( HChar c )
477 {
478 Bool emit = toBool(c == '\n' || n_myprintf_buf >= 1000-10 /*paranoia*/);
479 myprintf_buf[n_myprintf_buf++] = c;
480 myprintf_buf[n_myprintf_buf] = 0;
481 if (emit) {
482 (*vex_log_bytes)( myprintf_buf, vex_strlen(myprintf_buf) );
483 n_myprintf_buf = 0;
484 myprintf_buf[n_myprintf_buf] = 0;
485 }
486 }
487
vex_printf(HChar * format,...)488 UInt vex_printf ( HChar* format, ... )
489 {
490 UInt ret;
491 va_list vargs;
492 va_start(vargs,format);
493
494 n_myprintf_buf = 0;
495 myprintf_buf[n_myprintf_buf] = 0;
496 ret = vprintf_wrk ( add_to_myprintf_buf, format, vargs );
497
498 if (n_myprintf_buf > 0) {
499 (*vex_log_bytes)( myprintf_buf, n_myprintf_buf );
500 }
501
502 va_end(vargs);
503
504 return ret;
505 }
506
507
508 /* A general replacement for sprintf(). */
509
510 static HChar *vg_sprintf_ptr;
511
add_to_vg_sprintf_buf(HChar c)512 static void add_to_vg_sprintf_buf ( HChar c )
513 {
514 *vg_sprintf_ptr++ = c;
515 }
516
vex_sprintf(HChar * buf,HChar * format,...)517 UInt vex_sprintf ( HChar* buf, HChar *format, ... )
518 {
519 Int ret;
520 va_list vargs;
521
522 vg_sprintf_ptr = buf;
523
524 va_start(vargs,format);
525
526 ret = vprintf_wrk ( add_to_vg_sprintf_buf, format, vargs );
527 add_to_vg_sprintf_buf(0);
528
529 va_end(vargs);
530
531 vassert(vex_strlen(buf) == ret);
532 return ret;
533 }
534
535
536 /*---------------------------------------------------------------*/
537 /*--- end main_util.c ---*/
538 /*---------------------------------------------------------------*/
539