/* * libbinrec: a recompiling translator for machine code * Copyright (c) 2016 Andrew Church * * This software may be copied and redistributed under certain conditions; * see the file "COPYING" in the source code distribution for details. * NO WARRANTY is provided with this software. */ #include "src/endian.h" #include "src/guest-ppc.h" #include "src/rtl.h" #include "src/rtl-internal.h" #include "tests/common.h" #include "tests/guest-ppc/common.h" #include "tests/guest-ppc/insn/common.h" int main(void) { uint8_t *memory; EXPECT(memory = malloc(0x10000)); static const uint32_t ppc_code[] = { 0x2F830001, // cmpi cr7,r3,1 0x419E0004, // beq cr7,0x1008 0x38600001, // li r3,1 }; const uint32_t start_address = 0x1000; memcpy_be32(memory + start_address, ppc_code, sizeof(ppc_code)); binrec_setup_t final_setup; memcpy(&final_setup, &setup, sizeof(setup)); final_setup.guest_memory_base = memory; binrec_t *handle; EXPECT(handle = binrec_create_handle(&final_setup)); binrec_set_optimization_flags(handle, 0, BINREC_OPT_G_PPC_USE_SPLIT_FIELDS, 0); /* None of these should cause CR or FPSCR to be merged back to the * state block before the call. */ binrec_set_pre_insn_callback(handle, (void (*)(void *, uint32_t))1); binrec_set_post_insn_callback(handle, (void (*)(void *, uint32_t))2); binrec_enable_branch_exit_test(handle, 1); RTLUnit *unit; EXPECT(unit = rtl_create_unit(handle)); EXPECT(guest_ppc_translate(handle, 0x1000, 0x100B, unit)); EXPECT(rtl_finalize_unit(unit)); EXPECT_STREQ(rtl_disassemble_unit(unit, false), " 0: LOAD_ARG r1, 0\n" " 1: LOAD_ARG r2, 1\n" " 2: GET_ALIAS r3, a3\n" " 3: BFEXT r4, r3, 3, 1\n" " 4: SET_ALIAS a4, r4\n" " 5: BFEXT r5, r3, 2, 1\n" " 6: SET_ALIAS a5, r5\n" " 7: BFEXT r6, r3, 1, 1\n" " 8: SET_ALIAS a6, r6\n" " 9: BFEXT r7, r3, 0, 1\n" " 10: SET_ALIAS a7, r7\n" " 11: GET_ALIAS r8, a8\n" " 12: BFEXT r9, r8, 31, 1\n" " 13: SET_ALIAS a9, r9\n" " 14: LOAD_IMM r10, 0x1\n" " 15: LOAD_IMM r11, 4096\n" " 16: CALL_TRANSPARENT @r10, r1, r11\n" " 17: GET_ALIAS r12, a2\n" " 18: SLTSI r13, r12, 1\n" " 19: SGTSI r14, r12, 1\n" " 20: SEQI r15, r12, 1\n" " 21: GET_ALIAS r16, a9\n" " 22: SET_ALIAS a4, r13\n" " 23: SET_ALIAS a5, r14\n" " 24: SET_ALIAS a6, r15\n" " 25: SET_ALIAS a7, r16\n" " 26: LOAD_IMM r17, 4100\n" " 27: SET_ALIAS a1, r17\n" " 28: LOAD_IMM r18, 0x2\n" " 29: LOAD_IMM r19, 4096\n" " 30: CALL_TRANSPARENT @r18, r1, r19\n" " 31: LOAD_IMM r20, 0x1\n" " 32: LOAD_IMM r21, 4100\n" " 33: CALL_TRANSPARENT @r20, r1, r21\n" " 34: GOTO_IF_Z r15, L2\n" " 35: LOAD_IMM r22, 4104\n" " 36: SET_ALIAS a1, r22\n" " 37: LOAD_IMM r23, 0x2\n" " 38: LOAD_IMM r24, 4100\n" " 39: CALL_TRANSPARENT @r23, r1, r24\n" " 40: LOAD r25, 1008(r1)\n" " 41: GOTO_IF_Z r25, L1\n" " 42: LOAD_IMM r26, 4104\n" " 43: SET_ALIAS a1, r26\n" " 44: GOTO L3\n" " 45: LABEL L2\n" " 46: LOAD_IMM r27, 4104\n" " 47: SET_ALIAS a1, r27\n" " 48: LOAD_IMM r28, 0x2\n" " 49: LOAD_IMM r29, 4100\n" " 50: CALL_TRANSPARENT @r28, r1, r29\n" " 51: LOAD_IMM r30, 4104\n" " 52: SET_ALIAS a1, r30\n" " 53: LABEL L1\n" " 54: LOAD_IMM r31, 0x1\n" " 55: LOAD_IMM r32, 4104\n" " 56: CALL_TRANSPARENT @r31, r1, r32\n" " 57: LOAD_IMM r33, 1\n" " 58: SET_ALIAS a2, r33\n" " 59: LOAD_IMM r34, 4108\n" " 60: SET_ALIAS a1, r34\n" " 61: LOAD_IMM r35, 0x2\n" " 62: LOAD_IMM r36, 4104\n" " 63: CALL_TRANSPARENT @r35, r1, r36\n" " 64: LOAD_IMM r37, 4108\n" " 65: SET_ALIAS a1, r37\n" " 66: LABEL L3\n" " 67: GET_ALIAS r38, a3\n" " 68: ANDI r39, r38, -16\n" " 69: GET_ALIAS r40, a4\n" " 70: SLLI r41, r40, 3\n" " 71: OR r42, r39, r41\n" " 72: GET_ALIAS r43, a5\n" " 73: SLLI r44, r43, 2\n" " 74: OR r45, r42, r44\n" " 75: GET_ALIAS r46, a6\n" " 76: SLLI r47, r46, 1\n" " 77: OR r48, r45, r47\n" " 78: GET_ALIAS r49, a7\n" " 79: OR r50, r48, r49\n" " 80: SET_ALIAS a3, r50\n" " 81: RETURN r1\n" "\n" "Alias 1: int32 @ 964(r1)\n" "Alias 2: int32 @ 268(r1)\n" "Alias 3: int32 @ 928(r1)\n" "Alias 4: int32, no bound storage\n" "Alias 5: int32, no bound storage\n" "Alias 6: int32, no bound storage\n" "Alias 7: int32, no bound storage\n" "Alias 8: int32 @ 940(r1)\n" "Alias 9: int32, no bound storage\n" "\n" "Block 0: --> [0,34] --> 1,3\n" "Block 1: 0 --> [35,41] --> 2,4\n" "Block 2: 1 --> [42,44] --> 5\n" "Block 3: 0 --> [45,52] --> 4\n" "Block 4: 3,1 --> [53,65] --> 5\n" "Block 5: 4,2 --> [66,81] --> \n" ); rtl_destroy_unit(unit); binrec_destroy_handle(handle); free(memory); return EXIT_SUCCESS; }