sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 1 | |
| 2 | /*---------------------------------------------------------------*/ |
| 3 | /*--- ---*/ |
| 4 | /*--- This file (test_main.c) is ---*/ |
| 5 | /*--- Copyright (c) 2004 OpenWorks LLP. All rights reserved. ---*/ |
| 6 | /*--- ---*/ |
| 7 | /*---------------------------------------------------------------*/ |
| 8 | |
| 9 | #include <stdio.h> |
| 10 | #include <stdlib.h> |
sewardj | ced9fe5 | 2004-07-07 11:55:36 +0000 | [diff] [blame] | 11 | #include <assert.h> |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 12 | |
sewardj | ced9fe5 | 2004-07-07 11:55:36 +0000 | [diff] [blame] | 13 | #include "libvex_basictypes.h" |
| 14 | #include "libvex.h" |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 15 | |
| 16 | /*---------------------------------------------------------------*/ |
| 17 | /*--- Test ---*/ |
| 18 | /*---------------------------------------------------------------*/ |
| 19 | |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 20 | |
sewardj | 2b51587 | 2004-07-05 20:50:45 +0000 | [diff] [blame] | 21 | __attribute__ ((noreturn)) |
sewardj | 41f43bc | 2004-07-08 14:23:22 +0000 | [diff] [blame^] | 22 | static |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 23 | void failure_exit ( void ) |
| 24 | { |
| 25 | fprintf(stdout, "VEX did failure_exit. Bye.\n"); |
| 26 | exit(1); |
| 27 | } |
| 28 | |
sewardj | 41f43bc | 2004-07-08 14:23:22 +0000 | [diff] [blame^] | 29 | static |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 30 | void log_bytes ( Char* bytes, Int nbytes ) |
| 31 | { |
| 32 | fwrite ( bytes, 1, nbytes, stdout ); |
| 33 | } |
| 34 | |
sewardj | ced9fe5 | 2004-07-07 11:55:36 +0000 | [diff] [blame] | 35 | #define N_LINEBUF 10000 |
sewardj | 41f43bc | 2004-07-08 14:23:22 +0000 | [diff] [blame^] | 36 | static Char linebuf[N_LINEBUF]; |
sewardj | ced9fe5 | 2004-07-07 11:55:36 +0000 | [diff] [blame] | 37 | |
| 38 | #define N_ORIGBUF 200 |
| 39 | #define N_TRANSBUF 1000 |
| 40 | |
sewardj | 41f43bc | 2004-07-08 14:23:22 +0000 | [diff] [blame^] | 41 | static Char origbuf[N_ORIGBUF]; |
| 42 | static Char transbuf[N_TRANSBUF]; |
sewardj | ced9fe5 | 2004-07-07 11:55:36 +0000 | [diff] [blame] | 43 | |
| 44 | |
| 45 | int main ( int argc, char** argv ) |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 46 | { |
sewardj | ced9fe5 | 2004-07-07 11:55:36 +0000 | [diff] [blame] | 47 | FILE* f; |
| 48 | Int i; |
| 49 | UInt u; |
| 50 | Addr32 orig_addr; |
| 51 | Int bb_number; |
| 52 | Int orig_nbytes, trans_used, orig_used; |
| 53 | TranslateResult tres; |
| 54 | |
| 55 | if (argc != 2) { |
| 56 | fprintf(stderr, "usage: vex file.org\n"); |
| 57 | exit(1); |
| 58 | } |
| 59 | f = fopen(argv[1], "r"); |
| 60 | if (!f) { |
| 61 | fprintf(stderr, "can't open `%s'\n", argv[1]); |
| 62 | exit(1); |
| 63 | } |
| 64 | |
| 65 | LibVEX_Init ( &failure_exit, &log_bytes, |
sewardj | d733aed | 2004-07-07 12:00:42 +0000 | [diff] [blame] | 66 | 1, 1, True, 100 ); |
sewardj | ced9fe5 | 2004-07-07 11:55:36 +0000 | [diff] [blame] | 67 | |
| 68 | while (!feof(f)) { |
| 69 | fgets(linebuf, N_LINEBUF,f); |
| 70 | //printf("%s", linebuf); |
| 71 | assert(linebuf[0] != 0); |
| 72 | if (linebuf[0] != '.') continue; |
| 73 | /* first line is: . bb-number bb-addr n-bytes */ |
| 74 | assert(3 == sscanf(&linebuf[1], " %d %x %d\n", |
| 75 | & bb_number, |
| 76 | & orig_addr, & orig_nbytes )); |
| 77 | assert(orig_nbytes >= 1); |
| 78 | assert(!feof(f)); |
| 79 | fgets(linebuf, N_LINEBUF,f); |
| 80 | assert(linebuf[0] == '.'); |
| 81 | /* second line is: . byte byte byte etc */ |
| 82 | //printf("%s", linebuf); |
sewardj | fbcaf33 | 2004-07-08 01:46:01 +0000 | [diff] [blame] | 83 | printf("\n\n============ Basic Block %d, " |
| 84 | "Start %x, nbytes %d ============\n\n", |
sewardj | ced9fe5 | 2004-07-07 11:55:36 +0000 | [diff] [blame] | 85 | bb_number, orig_addr, orig_nbytes); |
| 86 | assert(orig_nbytes >= 1 && orig_nbytes <= N_ORIGBUF); |
| 87 | for (i = 0; i < orig_nbytes; i++) { |
| 88 | assert(1 == sscanf(&linebuf[2 + 3*i], "%x", &u)); |
| 89 | origbuf[i] = (UChar)u; |
| 90 | } |
| 91 | |
| 92 | tres = |
| 93 | LibVEX_Translate ( InsnSetX86, InsnSetX86, |
| 94 | origbuf, (Addr64)orig_addr, &orig_used, |
| 95 | transbuf, N_TRANSBUF, &trans_used, |
| 96 | NULL, NULL ); |
| 97 | assert(tres == TransOK); |
| 98 | assert(orig_used == orig_nbytes); |
| 99 | } |
| 100 | |
| 101 | fclose(f); |
| 102 | |
| 103 | #if 0 |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 104 | Int* p; |
| 105 | Int i, j, n = 0; |
sewardj | 887a11a | 2004-07-05 17:26:47 +0000 | [diff] [blame] | 106 | LibVEX_Init ( &failure_exit, &log_bytes, |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 107 | 1, 1, False, 10 ); |
| 108 | for (j = 0; j < 5000; j++) { |
sewardj | 887a11a | 2004-07-05 17:26:47 +0000 | [diff] [blame] | 109 | LibVEX_Clear(False); |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 110 | for (i = 0; i < 2000; i++) { |
| 111 | n++; |
| 112 | p = LibVEX_Alloc(16); |
| 113 | p[0] = p[1] = p[2] = p[3] = 44; |
| 114 | } |
| 115 | } |
sewardj | 887a11a | 2004-07-05 17:26:47 +0000 | [diff] [blame] | 116 | LibVEX_Clear(True); |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 117 | printf("Did %d allocs\n", n); |
sewardj | ced9fe5 | 2004-07-07 11:55:36 +0000 | [diff] [blame] | 118 | #endif |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 119 | return 0; |
| 120 | } |
| 121 | |
| 122 | /*---------------------------------------------------------------*/ |
| 123 | /*--- Test (old) ---*/ |
| 124 | /*---------------------------------------------------------------*/ |
| 125 | |
| 126 | #if 0 |
| 127 | |
sewardj | 887a11a | 2004-07-05 17:26:47 +0000 | [diff] [blame] | 128 | #include "libvex_basictypes.h" |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 129 | #include "ir_defs.h" |
| 130 | #include "host_regs.h" |
| 131 | #include "x86h_defs.h" |
| 132 | |
| 133 | |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 134 | /* HACK */ |
| 135 | extern |
sewardj | 2cd80dc | 2004-07-02 15:20:40 +0000 | [diff] [blame] | 136 | HInstrArray* /* not really, but for the time being ... */ |
sewardj | 194d54a | 2004-07-03 19:08:18 +0000 | [diff] [blame] | 137 | iselBB_X86Instr ( IRBB* bb ); |
sewardj | 0ec3325 | 2004-07-03 13:30:00 +0000 | [diff] [blame] | 138 | |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 139 | |
| 140 | int main ( void ) |
| 141 | { |
sewardj | 2cd80dc | 2004-07-02 15:20:40 +0000 | [diff] [blame] | 142 | HInstrArray* vcode; |
| 143 | IRBB* bb; |
| 144 | IRTypeEnv* env = newIRTypeEnv(); |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 145 | |
sewardj | 12952ef | 2004-07-03 14:52:19 +0000 | [diff] [blame] | 146 | IRTemp t0 = 0; |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 147 | IRTemp t1 = 1; |
| 148 | IRTemp t2 = 2; |
| 149 | |
sewardj | 12952ef | 2004-07-03 14:52:19 +0000 | [diff] [blame] | 150 | addToIRTypeEnv ( env, t0, Ity_I32 ); |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 151 | addToIRTypeEnv ( env, t1, Ity_I32 ); |
| 152 | addToIRTypeEnv ( env, t2, Ity_I32 ); |
| 153 | |
sewardj | 12952ef | 2004-07-03 14:52:19 +0000 | [diff] [blame] | 154 | IRStmt* s10 = IRStmt_Tmp(t0, IRExpr_Const(IRConst_U32(0x2000))); |
| 155 | IRStmt* s11 = IRStmt_Tmp(t1, IRExpr_Const(IRConst_U32(0x2001))); |
| 156 | IRStmt* s12 = IRStmt_Tmp(t2, IRExpr_Const(IRConst_U32(0x2002))); |
sewardj | 0ec3325 | 2004-07-03 13:30:00 +0000 | [diff] [blame] | 157 | |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 158 | IRStmt* s1 = IRStmt_Put(8,4, IRExpr_Const(IRConst_U32(99)) ); |
sewardj | 12952ef | 2004-07-03 14:52:19 +0000 | [diff] [blame] | 159 | #if 0 |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 160 | IRStmt* s2 = IRStmt_Put(7,4, IRExpr_Binop(Iop_Add32, |
| 161 | IRExpr_Tmp(t1), |
| 162 | IRExpr_Const(IRConst_U32(55)))); |
sewardj | 12952ef | 2004-07-03 14:52:19 +0000 | [diff] [blame] | 163 | #endif |
| 164 | |
| 165 | IRStmt* s2 = IRStmt_Put(9,4, |
| 166 | IRExpr_Binop(Iop_Shl32, |
| 167 | IRExpr_Tmp(t0), |
| 168 | IRExpr_Binop(Iop_Add32, |
| 169 | IRExpr_Tmp(t1), |
| 170 | IRExpr_Tmp(t2)))); |
| 171 | |
| 172 | |
sewardj | 0ec3325 | 2004-07-03 13:30:00 +0000 | [diff] [blame] | 173 | s10->link = s11; |
sewardj | 12952ef | 2004-07-03 14:52:19 +0000 | [diff] [blame] | 174 | s11->link = s12; |
| 175 | s12->link = s1; |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 176 | s1->link = s2; |
| 177 | |
sewardj | 0ec3325 | 2004-07-03 13:30:00 +0000 | [diff] [blame] | 178 | bb = mk_IRBB(env, s10, IRNext_UJump(IRConst_U32(-65565))); |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 179 | |
| 180 | printf("bb is ...\n"); |
| 181 | ppIRBB(stdout, bb); |
| 182 | printf("\n"); |
| 183 | |
sewardj | 3b9d65e | 2004-07-03 19:52:16 +0000 | [diff] [blame] | 184 | if (0) |
sewardj | 194d54a | 2004-07-03 19:08:18 +0000 | [diff] [blame] | 185 | vcode = iselBB_X86Instr(bb); |
sewardj | 12952ef | 2004-07-03 14:52:19 +0000 | [diff] [blame] | 186 | else |
sewardj | 2cd80dc | 2004-07-02 15:20:40 +0000 | [diff] [blame] | 187 | { |
sewardj | 0ec3325 | 2004-07-03 13:30:00 +0000 | [diff] [blame] | 188 | Int i; |
| 189 | HReg vr0 = mkHReg(0, HRcInt, True); |
| 190 | HReg vr1 = mkHReg(1, HRcInt, True); |
| 191 | HReg vr2 = mkHReg(2, HRcInt, True); |
| 192 | HReg vr3 = mkHReg(3, HRcInt, True); |
| 193 | HReg eax = hregX86_EAX(); |
| 194 | HReg ebx = hregX86_EBX(); |
| 195 | HReg ecx = hregX86_ECX(); |
| 196 | HReg edx = hregX86_EDX(); |
| 197 | HReg ebp = hregX86_EBP(); |
| 198 | vcode = newHInstrArray(); |
sewardj | 3b9d65e | 2004-07-03 19:52:16 +0000 | [diff] [blame] | 199 | vcode->n_vregs = 4; |
sewardj | 0ec3325 | 2004-07-03 13:30:00 +0000 | [diff] [blame] | 200 | |
| 201 | addHInstr(vcode, X86Instr_Alu32R(Xalu_MOV, |
| 202 | X86RMI_Imm(0x10001), vr0)); |
| 203 | addHInstr(vcode, X86Instr_Alu32R(Xalu_MOV, |
| 204 | X86RMI_Imm(0x10101), vr1)); |
| 205 | addHInstr(vcode, X86Instr_Alu32R(Xalu_MOV, |
| 206 | X86RMI_Imm(0x10201), vr2)); |
| 207 | addHInstr(vcode, X86Instr_Alu32R(Xalu_MOV, |
| 208 | X86RMI_Imm(0x10301), vr3)); |
| 209 | |
| 210 | addHInstr(vcode, X86Instr_Alu32R(Xalu_MOV, |
| 211 | X86RMI_Imm(0x99999), eax)); |
| 212 | addHInstr(vcode, X86Instr_Alu32R(Xalu_MOV, |
| 213 | X86RMI_Imm(0x99999), edx)); |
| 214 | |
| 215 | addHInstr(vcode, X86Instr_Alu32M(Xalu_MOV, |
| 216 | X86RI_Reg(vr0), |
| 217 | X86AMode_IR(0x100, ebp))); |
| 218 | addHInstr(vcode, X86Instr_Alu32M(Xalu_MOV, |
| 219 | X86RI_Reg(vr1), |
| 220 | X86AMode_IR(0x101, ebp))); |
| 221 | addHInstr(vcode, X86Instr_Alu32M(Xalu_MOV, |
| 222 | X86RI_Reg(vr2), |
| 223 | X86AMode_IR(0x101, ebp))); |
| 224 | addHInstr(vcode, X86Instr_Alu32M(Xalu_MOV, |
| 225 | X86RI_Reg(vr3), |
| 226 | X86AMode_IR(0x101, ebp))); |
| 227 | printf("\nBefore\n"); |
| 228 | for (i = 0; i < vcode->arr_used; i++) { |
| 229 | ppX86Instr(stdout, vcode->arr[i]); |
| 230 | printf("\n"); |
| 231 | } |
| 232 | printf("\n"); |
| 233 | } |
| 234 | |
| 235 | { |
| 236 | Int i; |
sewardj | 2cd80dc | 2004-07-02 15:20:40 +0000 | [diff] [blame] | 237 | HInstrArray* rcode; |
| 238 | HReg rregs_to_use[4]; |
| 239 | rregs_to_use[0] = hregX86_EAX(); |
| 240 | rregs_to_use[1] = hregX86_EBX(); |
| 241 | rregs_to_use[2] = hregX86_ECX(); |
| 242 | rregs_to_use[3] = hregX86_EDX(); |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 243 | |
sewardj | 2cd80dc | 2004-07-02 15:20:40 +0000 | [diff] [blame] | 244 | rcode = |
sewardj | 194d54a | 2004-07-03 19:08:18 +0000 | [diff] [blame] | 245 | doRegisterAllocation(vcode, |
sewardj | 3b9d65e | 2004-07-03 19:52:16 +0000 | [diff] [blame] | 246 | rregs_to_use, 3, /* rregs */ |
sewardj | 12952ef | 2004-07-03 14:52:19 +0000 | [diff] [blame] | 247 | isMove_X86Instr, |
sewardj | 2cd80dc | 2004-07-02 15:20:40 +0000 | [diff] [blame] | 248 | getRegUsage_X86Instr, |
| 249 | mapRegs_X86Instr, |
sewardj | 0ec3325 | 2004-07-03 13:30:00 +0000 | [diff] [blame] | 250 | genSpill_X86, |
| 251 | genReload_X86 |
sewardj | 2cd80dc | 2004-07-02 15:20:40 +0000 | [diff] [blame] | 252 | ); |
| 253 | |
sewardj | 0ec3325 | 2004-07-03 13:30:00 +0000 | [diff] [blame] | 254 | printf("\nAfter\n"); |
| 255 | for (i = 0; i < rcode->arr_used; i++) { |
sewardj | fbcaf33 | 2004-07-08 01:46:01 +0000 | [diff] [blame] | 256 | ppX86Instr(stdout, rcode->arr[i]); |
| 257 | printf("\n"); |
sewardj | 2cd80dc | 2004-07-02 15:20:40 +0000 | [diff] [blame] | 258 | } |
sewardj | 0ec3325 | 2004-07-03 13:30:00 +0000 | [diff] [blame] | 259 | printf("\n"); |
| 260 | } |
| 261 | |
sewardj | c97096c | 2004-06-30 09:28:04 +0000 | [diff] [blame] | 262 | return 0; |
| 263 | } |
sewardj | ce605f9 | 2004-07-05 14:39:15 +0000 | [diff] [blame] | 264 | #endif |