| |
| /*---------------------------------------------------------------*/ |
| /*--- ---*/ |
| /*--- This file (test_main.c) is ---*/ |
| /*--- Copyright (c) 2004 OpenWorks LLP. All rights reserved. ---*/ |
| /*--- ---*/ |
| /*---------------------------------------------------------------*/ |
| |
| #include <stdio.h> |
| #include <stdlib.h> |
| #include <assert.h> |
| |
| #include "libvex_basictypes.h" |
| #include "libvex.h" |
| |
| /*---------------------------------------------------------------*/ |
| /*--- Test ---*/ |
| /*---------------------------------------------------------------*/ |
| |
| |
| __attribute__ ((noreturn)) |
| static |
| void failure_exit ( void ) |
| { |
| fprintf(stdout, "VEX did failure_exit. Bye.\n"); |
| exit(1); |
| } |
| |
| static |
| void log_bytes ( Char* bytes, Int nbytes ) |
| { |
| fwrite ( bytes, 1, nbytes, stdout ); |
| } |
| |
| #define N_LINEBUF 10000 |
| static Char linebuf[N_LINEBUF]; |
| |
| #define N_ORIGBUF 1000 |
| #define N_TRANSBUF 5000 |
| |
| static UChar origbuf[N_ORIGBUF]; |
| static UChar transbuf[N_TRANSBUF]; |
| |
| static Bool verbose = True; |
| |
| int main ( int argc, char** argv ) |
| { |
| FILE* f; |
| Int i; |
| UInt u, sum; |
| Addr32 orig_addr; |
| Int bb_number; |
| Int orig_nbytes, trans_used, orig_used; |
| TranslateResult tres; |
| VexControl vcon; |
| |
| if (argc != 2) { |
| fprintf(stderr, "usage: vex file.org\n"); |
| exit(1); |
| } |
| f = fopen(argv[1], "r"); |
| if (!f) { |
| fprintf(stderr, "can't open `%s'\n", argv[1]); |
| exit(1); |
| } |
| |
| /* Run with default params. However, we can't allow bb chasing |
| since that causes the front end to get segfaults when it tries |
| to read code outside the initial BB we hand it. */ |
| LibVEX_default_VexControl ( &vcon ); |
| vcon.guest_chase_thresh = 0; |
| vcon.iropt_level = 2; |
| |
| LibVEX_Init ( &failure_exit, &log_bytes, |
| 1, /* debug_paranoia */ |
| //False, |
| True, /* valgrind support */ |
| &vcon ); |
| |
| #if 0 |
| {extern void test_asm86(void); |
| test_asm86(); |
| return 0; |
| } |
| #endif |
| |
| while (!feof(f)) { |
| fgets(linebuf, N_LINEBUF,f); |
| //printf("%s", linebuf); |
| assert(linebuf[0] != 0); |
| if (linebuf[0] != '.') continue; |
| /* first line is: . bb-number bb-addr n-bytes */ |
| assert(3 == sscanf(&linebuf[1], " %d %x %d\n", |
| & bb_number, |
| & orig_addr, & orig_nbytes )); |
| assert(orig_nbytes >= 1); |
| assert(!feof(f)); |
| fgets(linebuf, N_LINEBUF,f); |
| assert(linebuf[0] == '.'); |
| /* second line is: . byte byte byte etc */ |
| //printf("%s", linebuf); |
| if (verbose) |
| printf("============ Basic Block %d, " |
| "Start %x, nbytes %2d ============", |
| bb_number, orig_addr, orig_nbytes); |
| assert(orig_nbytes >= 1 && orig_nbytes <= N_ORIGBUF); |
| for (i = 0; i < orig_nbytes; i++) { |
| assert(1 == sscanf(&linebuf[2 + 3*i], "%x", &u)); |
| origbuf[i] = (UChar)u; |
| } |
| |
| if (bb_number == 10000) break; |
| { |
| for (i = 0; i < 1; i++) |
| tres = |
| LibVEX_Translate ( InsnSetX86, InsnSetX86, |
| origbuf, (Addr64)orig_addr, &orig_used, |
| transbuf, N_TRANSBUF, &trans_used, |
| NULL, /* instrument1 */ |
| NULL, /* instrument2 */ |
| NULL, /* tool-findhelper */ |
| NULL, /* access checker */ |
| (1<<2) ); |
| if (tres != TransOK) |
| printf("\ntres = %d\n", (Int)tres); |
| assert(tres == TransOK); |
| assert(orig_used == orig_nbytes); |
| } |
| sum = 0; |
| for (i = 0; i < trans_used; i++) |
| sum += (UInt)transbuf[i]; |
| printf ( " %6.2f ... %d\n", (double)trans_used / (double)orig_used, sum ); |
| } |
| |
| fclose(f); |
| printf("\n"); |
| LibVEX_ClearTemporary(True); |
| |
| return 0; |
| } |