/*============================================================================== * FUNCTION: RtlTest::testIsCompare * OVERVIEW: Test the isCompare function *============================================================================*/ void RtlTest::testIsCompare () { BinaryFileFactory bff; BinaryFile *pBF = bff.Load(SWITCH_SPARC); CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_SPARC); Prog* prog = new Prog; FrontEnd *pFE = new SparcFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); // Decode second instruction: "sub %i0, 2, %o1" int iReg; Exp* eOperand = NULL; DecodeResult inst = pFE->decodeInstruction(0x10910); CPPUNIT_ASSERT(inst.rtl != NULL); CPPUNIT_ASSERT(inst.rtl->isCompare(iReg, eOperand) == false); // Decode fifth instruction: "cmp %o1, 5" inst = pFE->decodeInstruction(0x1091c); CPPUNIT_ASSERT(inst.rtl != NULL); CPPUNIT_ASSERT(inst.rtl->isCompare(iReg, eOperand) == true); CPPUNIT_ASSERT_EQUAL(9, iReg); std::string expected("5"); std::ostringstream ost1; eOperand->print(ost1); std::string actual(ost1.str()); CPPUNIT_ASSERT_EQUAL(expected, actual); pBF->UnLoad(); delete pBF; delete pFE; pBF = bff.Load(SWITCH_PENT); CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_PENTIUM); pFE = new PentiumFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); // Decode fifth instruction: "cmp $0x5,%eax" inst = pFE->decodeInstruction(0x80488fb); CPPUNIT_ASSERT(inst.rtl != NULL); CPPUNIT_ASSERT(inst.rtl->isCompare(iReg, eOperand) == true); CPPUNIT_ASSERT_EQUAL(24, iReg); std::ostringstream ost2; eOperand->print(ost2); actual = ost2.str(); CPPUNIT_ASSERT_EQUAL(expected, actual); // Decode instruction: "add $0x4,%esp" inst = pFE->decodeInstruction(0x804890c); CPPUNIT_ASSERT(inst.rtl != NULL); CPPUNIT_ASSERT(inst.rtl->isCompare(iReg, eOperand) == false); pBF->UnLoad(); delete pFE; }
void FrontSparcTest::test2() { DecodeResult inst; std::string expected; BinaryFileFactory bff; BinaryFile *pBF = bff.Load(HELLO_SPARC); if (pBF == NULL) pBF = new BinaryFileStub(); // fallback on stub CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_SPARC); Prog* prog = new Prog; FrontEnd *pFE = new SparcFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); std::ostringstream o1; inst = pFE->decodeInstruction(0x10690); inst.rtl->print(o1); // This call is to out of range of the program's text limits (to the Program Linkage Table (PLT), calling printf) // This is quite normal. expected = std::string("00010690 0 CALL printf(\n" " )\n" " Reaching definitions: \n" " Live variables: \n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o1.str())); std::ostringstream o2; inst = pFE->decodeInstruction(0x10694); inst.rtl->print(o2); expected = std::string("00010694\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o2.str())); std::ostringstream o3; inst = pFE->decodeInstruction(0x10698); inst.rtl->print(o3); expected = std::string("00010698 0 *32* r8 := 0\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o3.str())); std::ostringstream o4; inst = pFE->decodeInstruction(0x1069c); inst.rtl->print(o4); expected = std::string("0001069c 0 *32* r24 := r8\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o4.str())); delete pFE; // delete pBF; }
/*============================================================================== * FUNCTION: FrontPentTest::test1 * OVERVIEW: Test decoding some pentium instructions *============================================================================*/ void FrontPentTest::test1 () { std::ostringstream ost; BinaryFileFactory bff; BinaryFile *pBF = bff.Load(HELLO_PENT); if (pBF == NULL) pBF = new BinaryFileStub(); CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_PENTIUM); Prog* prog = new Prog; FrontEnd *pFE = new PentiumFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); bool gotMain; ADDRESS addr = pFE->getMainEntryPoint(gotMain); CPPUNIT_ASSERT (addr != NO_ADDRESS); // Decode first instruction DecodeResult inst = pFE->decodeInstruction(addr); inst.rtl->print(ost); std::string expected( "08048328 0 *32* m[r28 - 4] := r29\n" " 0 *32* r28 := r28 - 4\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(ost.str())); std::ostringstream o2; addr += inst.numBytes; inst = pFE->decodeInstruction(addr); inst.rtl->print(o2); expected = std::string("08048329 0 *32* r29 := r28\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o2.str())); std::ostringstream o3; addr = 0x804833b; inst = pFE->decodeInstruction(addr); inst.rtl->print(o3); expected = std::string( "0804833b 0 *32* m[r28 - 4] := 0x80483fc\n" " 0 *32* r28 := r28 - 4\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o3.str())); delete pFE; // delete pBF; }
void FrontPentTest::testBranch() { DecodeResult inst; std::string expected; BinaryFileFactory bff; BinaryFile *pBF = bff.Load(BRANCH_PENT); if (pBF == NULL) pBF = new BinaryFileStub(); CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_PENTIUM); Prog* prog = new Prog; FrontEnd *pFE = new PentiumFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); // jne std::ostringstream o1; inst = pFE->decodeInstruction(0x8048979); inst.rtl->print(o1); expected = std::string("08048979 0 BRANCH 0x8048988, condition " "not equals\n" "High level: %flags\n"); CPPUNIT_ASSERT_EQUAL(expected, o1.str()); // jg std::ostringstream o2; inst = pFE->decodeInstruction(0x80489c1); inst.rtl->print(o2); expected = std::string( "080489c1 0 BRANCH 0x80489d5, condition signed greater\n" "High level: %flags\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o2.str())); // jbe std::ostringstream o3; inst = pFE->decodeInstruction(0x8048a1b); inst.rtl->print(o3); expected = std::string( "08048a1b 0 BRANCH 0x8048a2a, condition unsigned less or equals\n" "High level: %flags\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o3.str())); delete pFE; // delete pBF; }
void FrontSparcTest::testBranch() { DecodeResult inst; std::string expected; BinaryFileFactory bff; BinaryFile *pBF = bff.Load(BRANCH_SPARC); if (pBF == NULL) pBF = new BinaryFileStub(); // fallback on stub CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_SPARC); Prog* prog = new Prog; FrontEnd *pFE = new SparcFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); // bne std::ostringstream o1; inst = pFE->decodeInstruction(0x10ab0); inst.rtl->print(o1); expected = std::string( "00010ab0 0 BRANCH 0x10ac8, condition not equals\n" "High level: %flags\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o1.str())); // bg std::ostringstream o2; inst = pFE->decodeInstruction(0x10af8); inst.rtl->print(o2); expected = std::string("00010af8 0 BRANCH 0x10b10, condition " "signed greater\n" "High level: %flags\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o2.str())); // bleu std::ostringstream o3; inst = pFE->decodeInstruction(0x10b44); inst.rtl->print(o3); expected = std::string( "00010b44 0 BRANCH 0x10b54, condition unsigned less or equals\n" "High level: %flags\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o3.str())); delete pFE; // delete pBF; }
void FrontPentTest::test2() { DecodeResult inst; std::string expected; BinaryFileFactory bff; BinaryFile *pBF = bff.Load(HELLO_PENT); if (pBF == NULL) pBF = new BinaryFileStub(); CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_PENTIUM); Prog* prog = new Prog; FrontEnd *pFE = new PentiumFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); std::ostringstream o1; inst = pFE->decodeInstruction(0x8048345); inst.rtl->print(o1); expected = std::string( "08048345 0 *32* tmp1 := r28\n" " 0 *32* r28 := r28 + 16\n" " 0 *v* %flags := ADDFLAGS32( tmp1, 16, r28 )\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o1.str())); std::ostringstream o2; inst = pFE->decodeInstruction(0x8048348); inst.rtl->print(o2); expected = std::string( "08048348 0 *32* r24 := 0\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o2.str())); std::ostringstream o3; inst = pFE->decodeInstruction(0x8048329); inst.rtl->print(o3); expected = std::string("08048329 0 *32* r29 := r28\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o3.str())); delete pFE; // delete pBF; }
void FrontPentTest::test3() { DecodeResult inst; std::string expected; BinaryFileFactory bff; BinaryFile *pBF = bff.Load(HELLO_PENT); if (pBF == NULL) pBF = new BinaryFileStub(); CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_PENTIUM); Prog* prog = new Prog; FrontEnd *pFE = new PentiumFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); std::ostringstream o1; inst = pFE->decodeInstruction(0x804834d); inst.rtl->print(o1); expected = std::string( "0804834d 0 *32* r28 := r29\n" " 0 *32* r29 := m[r28]\n" " 0 *32* r28 := r28 + 4\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o1.str())); std::ostringstream o2; inst = pFE->decodeInstruction(0x804834e); inst.rtl->print(o2); expected = std::string( "0804834e 0 *32* %pc := m[r28]\n" " 0 *32* r28 := r28 + 4\n" " 0 RET\n" " Modifieds: \n" " Reaching definitions: \n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o2.str())); delete pFE; // delete pBF; }
/*============================================================================== * FUNCTION: FrontSparcTest::test1 * OVERVIEW: Test decoding some sparc instructions *============================================================================*/ void FrontSparcTest::test1 () { std::ostringstream ost; BinaryFileFactory bff; BinaryFile *pBF = bff.Load(HELLO_SPARC); if (pBF == NULL) pBF = new BinaryFileStub(); // fallback on stub CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_SPARC); Prog* prog = new Prog; FrontEnd *pFE = new SparcFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); bool gotMain; ADDRESS addr = pFE->getMainEntryPoint(gotMain); CPPUNIT_ASSERT (addr != NO_ADDRESS); // Decode first instruction DecodeResult inst = pFE->decodeInstruction(addr); CPPUNIT_ASSERT(inst.rtl != NULL); inst.rtl->print(ost); std::string expected( "00010684 0 *32* tmp := r14 - 112\n" " 0 *32* m[r14] := r16\n" " 0 *32* m[r14 + 4] := r17\n" " 0 *32* m[r14 + 8] := r18\n" " 0 *32* m[r14 + 12] := r19\n" " 0 *32* m[r14 + 16] := r20\n" " 0 *32* m[r14 + 20] := r21\n" " 0 *32* m[r14 + 24] := r22\n" " 0 *32* m[r14 + 28] := r23\n" " 0 *32* m[r14 + 32] := r24\n" " 0 *32* m[r14 + 36] := r25\n" " 0 *32* m[r14 + 40] := r26\n" " 0 *32* m[r14 + 44] := r27\n" " 0 *32* m[r14 + 48] := r28\n" " 0 *32* m[r14 + 52] := r29\n" " 0 *32* m[r14 + 56] := r30\n" " 0 *32* m[r14 + 60] := r31\n" " 0 *32* r24 := r8\n" " 0 *32* r25 := r9\n" " 0 *32* r26 := r10\n" " 0 *32* r27 := r11\n" " 0 *32* r28 := r12\n" " 0 *32* r29 := r13\n" " 0 *32* r30 := r14\n" " 0 *32* r31 := r15\n" " 0 *32* r14 := tmp\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(ost.str())); std::ostringstream o2; addr += inst.numBytes; inst = pFE->decodeInstruction(addr); inst.rtl->print(o2); expected = std::string("00010688 0 *32* r8 := 0x10400\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o2.str())); std::ostringstream o3; addr += inst.numBytes; inst = pFE->decodeInstruction(addr); inst.rtl->print(o3); expected = std::string("0001068c 0 *32* r8 := r8 | 848\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o3.str())); delete pFE; //delete pBF; }
void FrontSparcTest::testDelaySlot() { BinaryFileFactory bff; BinaryFile *pBF = bff.Load(BRANCH_SPARC); if (pBF == NULL) pBF = new BinaryFileStub(); // fallback on stub CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_SPARC); Prog* prog = new Prog; FrontEnd *pFE = new SparcFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); // decode calls readLibraryCatalog(), which needs to have definitions for non-sparc architectures cleared Type::clearNamedTypes(); pFE->decode(prog); bool gotMain; ADDRESS addr = pFE->getMainEntryPoint(gotMain); CPPUNIT_ASSERT (addr != NO_ADDRESS); std::string name("testDelaySlot"); UserProc* pProc = new UserProc(prog, name, addr); std::ofstream dummy; bool res = pFE->processProc(addr, pProc, dummy, false); CPPUNIT_ASSERT(res == 1); Cfg* cfg = pProc->getCFG(); BB_IT it; PBB bb = cfg->getFirstBB(it); std::ostringstream o1; bb->print(o1); std::string expected("Call BB:\n" "in edges: \n" "out edges: 10a98 \n" "00010a80 0 *32* tmp := r14 - 120\n" " 0 *32* m[r14] := r16\n" " 0 *32* m[r14 + 4] := r17\n" " 0 *32* m[r14 + 8] := r18\n" " 0 *32* m[r14 + 12] := r19\n" " 0 *32* m[r14 + 16] := r20\n" " 0 *32* m[r14 + 20] := r21\n" " 0 *32* m[r14 + 24] := r22\n" " 0 *32* m[r14 + 28] := r23\n" " 0 *32* m[r14 + 32] := r24\n" " 0 *32* m[r14 + 36] := r25\n" " 0 *32* m[r14 + 40] := r26\n" " 0 *32* m[r14 + 44] := r27\n" " 0 *32* m[r14 + 48] := r28\n" " 0 *32* m[r14 + 52] := r29\n" " 0 *32* m[r14 + 56] := r30\n" " 0 *32* m[r14 + 60] := r31\n" " 0 *32* r24 := r8\n" " 0 *32* r25 := r9\n" " 0 *32* r26 := r10\n" " 0 *32* r27 := r11\n" " 0 *32* r28 := r12\n" " 0 *32* r29 := r13\n" " 0 *32* r30 := r14\n" " 0 *32* r31 := r15\n" " 0 *32* r14 := tmp\n" "00010a84 0 *32* r16 := 0x11400\n" "00010a88 0 *32* r16 := r16 | 808\n" "00010a8c 0 *32* r8 := r16\n" "00010a90 0 *32* tmp := r30\n" " 0 *32* r9 := r30 - 20\n" "00010a90 0 CALL scanf(\n" " )\n" " Reaching definitions: \n" " Live variables: \n"); std::string actual(o1.str()); CPPUNIT_ASSERT_EQUAL(expected, actual); bb = cfg->getNextBB(it); CPPUNIT_ASSERT(bb); std::ostringstream o2; bb->print(o2); expected = std::string("Call BB:\n" "in edges: 10a90 \n" "out edges: 10aa4 \n" "00010a98 0 *32* r8 := r16\n" "00010a9c 0 *32* tmp := r30\n" " 0 *32* r9 := r30 - 24\n" "00010a9c 0 CALL scanf(\n" " )\n" " Reaching definitions: \n" " Live variables: \n"); actual = std::string(o2.str()); CPPUNIT_ASSERT_EQUAL(expected, actual); bb = cfg->getNextBB(it); CPPUNIT_ASSERT(bb); std::ostringstream o3; bb->print(o3); expected = std::string("Twoway BB:\n" "in edges: 10a9c \n" "out edges: 10ac8 10ab8 \n" "00010aa4 0 *32* r8 := m[r30 - 20]\n" "00010aa8 0 *32* r16 := 5\n" "00010aac 0 *32* tmp := r16\n" " 0 *32* r0 := r16 - r8\n" " 0 *v* %flags := SUBFLAGS( tmp, r8, r0 )\n" "00010ab0 0 *32* r8 := 0x11400\n" "00010ab0 0 BRANCH 0x10ac8, condition not equals\n" "High level: %flags\n"); actual = std::string(o3.str()); CPPUNIT_ASSERT_EQUAL(expected, actual); bb = cfg->getNextBB(it); CPPUNIT_ASSERT(bb); std::ostringstream o4; bb->print(o4); expected = std::string("L1: Twoway BB:\n" "in edges: 10ab0 10ac4 \n" "out edges: 10ad8 10ad0 \n" "00010ac8 0 *32* r8 := 0x11400\n" "00010ac8 0 BRANCH 0x10ad8, condition equals\n" "High level: %flags\n"); actual = std::string(o4.str()); CPPUNIT_ASSERT_EQUAL(expected, actual); bb = cfg->getNextBB(it); CPPUNIT_ASSERT(bb); std::ostringstream o5; bb->print(o5); expected = std::string("Call BB:\n" "in edges: 10ab0 \n" "out edges: 10ac0 \n" "00010ab8 0 *32* r8 := r8 | 816\n" "00010ab8 0 CALL printf(\n" " )\n" " Reaching definitions: \n" " Live variables: \n"); actual = std::string(o5.str()); CPPUNIT_ASSERT_EQUAL(expected, actual); delete prog; }
void FrontSparcTest::test3() { DecodeResult inst; std::string expected; BinaryFileFactory bff; BinaryFile *pBF = bff.Load(HELLO_SPARC); if (pBF == NULL) pBF = new BinaryFileStub(); // fallback on stub CPPUNIT_ASSERT(pBF != 0); CPPUNIT_ASSERT(pBF->GetMachine() == MACHINE_SPARC); Prog* prog = new Prog; FrontEnd *pFE = new SparcFrontEnd(pBF, prog, &bff); prog->setFrontEnd(pFE); std::ostringstream o1; inst = pFE->decodeInstruction(0x106a0); inst.rtl->print(o1); expected = std::string("000106a0\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o1.str())); std::ostringstream o2; inst = pFE->decodeInstruction(0x106a4); inst.rtl->print(o2); expected = std::string("000106a4 0 RET\n" " Modifieds: \n" " Reaching definitions: \n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o2.str())); std::ostringstream o3; inst = pFE->decodeInstruction(0x106a8); inst.rtl->print(o3); expected = std::string( "000106a8 0 *32* tmp := 0\n" " 0 *32* r8 := r24\n" " 0 *32* r9 := r25\n" " 0 *32* r10 := r26\n" " 0 *32* r11 := r27\n" " 0 *32* r12 := r28\n" " 0 *32* r13 := r29\n" " 0 *32* r14 := r30\n" " 0 *32* r15 := r31\n" " 0 *32* r0 := tmp\n" " 0 *32* r16 := m[r14]\n" " 0 *32* r17 := m[r14 + 4]\n" " 0 *32* r18 := m[r14 + 8]\n" " 0 *32* r19 := m[r14 + 12]\n" " 0 *32* r20 := m[r14 + 16]\n" " 0 *32* r21 := m[r14 + 20]\n" " 0 *32* r22 := m[r14 + 24]\n" " 0 *32* r23 := m[r14 + 28]\n" " 0 *32* r24 := m[r14 + 32]\n" " 0 *32* r25 := m[r14 + 36]\n" " 0 *32* r26 := m[r14 + 40]\n" " 0 *32* r27 := m[r14 + 44]\n" " 0 *32* r28 := m[r14 + 48]\n" " 0 *32* r29 := m[r14 + 52]\n" " 0 *32* r30 := m[r14 + 56]\n" " 0 *32* r31 := m[r14 + 60]\n" " 0 *32* r0 := tmp\n"); CPPUNIT_ASSERT_EQUAL(expected, std::string(o3.str())); delete pFE; // delete pBF; }