// Copyright 2012 the V8 project authors. All rights reserved. // Redistribution and use in source and binary forms, with or without // modification, are permitted provided that the following conditions are // met: // // * Redistributions of source code must retain the above copyright // notice, this list of conditions and the following disclaimer. // * Redistributions in binary form must reproduce the above // copyright notice, this list of conditions and the following // disclaimer in the documentation and/or other materials provided // with the distribution. // * Neither the name of Google Inc. nor the names of its // contributors may be used to endorse or promote products derived // from this software without specific prior written permission. // // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. // #include #include "src/v8.h" #include "src/debug.h" #include "src/disasm.h" #include "src/disassembler.h" #include "src/macro-assembler.h" #include "test/cctest/cctest.h" using namespace v8::internal; bool DisassembleAndCompare(byte* pc, const char* compare_string) { disasm::NameConverter converter; disasm::Disassembler disasm(converter); EmbeddedVector disasm_buffer; disasm.InstructionDecode(disasm_buffer, pc); if (strcmp(compare_string, disasm_buffer.start()) != 0) { fprintf(stderr, "expected: \n" "%s\n" "disassembled: \n" "%s\n\n", compare_string, disasm_buffer.start()); return false; } return true; } // Set up V8 to a state where we can at least run the assembler and // disassembler. Declare the variables and allocate the data structures used // in the rest of the macros. #define SET_UP() \ CcTest::InitializeVM(); \ Isolate* isolate = CcTest::i_isolate(); \ HandleScope scope(isolate); \ byte *buffer = reinterpret_cast(malloc(4*1024)); \ Assembler assm(isolate, buffer, 4*1024); \ bool failure = false; // This macro assembles one instruction using the preallocated assembler and // disassembles the generated instruction, comparing the output to the expected // value. If the comparison fails an error message is printed, but the test // continues to run until the end. #define COMPARE(asm_, compare_string) \ { \ int pc_offset = assm.pc_offset(); \ byte *progcounter = &buffer[pc_offset]; \ assm.asm_; \ if (!DisassembleAndCompare(progcounter, compare_string)) failure = true; \ } // Verify that all invocations of the COMPARE macro passed successfully. // Exit with a failure if at least one of the tests failed. #define VERIFY_RUN() \ if (failure) { \ V8_Fatal(__FILE__, __LINE__, "MIPS Disassembler tests failed.\n"); \ } TEST(Type0) { SET_UP(); COMPARE(addu(a0, a1, a2), "00a62021 addu a0, a1, a2"); COMPARE(addu(t2, t3, t4), "016c5021 addu t2, t3, t4"); COMPARE(addu(v0, v1, s0), "00701021 addu v0, v1, s0"); COMPARE(subu(a0, a1, a2), "00a62023 subu a0, a1, a2"); COMPARE(subu(t2, t3, t4), "016c5023 subu t2, t3, t4"); COMPARE(subu(v0, v1, s0), "00701023 subu v0, v1, s0"); if (!IsMipsArchVariant(kMips32r6)) { COMPARE(mult(a0, a1), "00850018 mult a0, a1"); COMPARE(mult(t2, t3), "014b0018 mult t2, t3"); COMPARE(mult(v0, v1), "00430018 mult v0, v1"); COMPARE(multu(a0, a1), "00850019 multu a0, a1"); COMPARE(multu(t2, t3), "014b0019 multu t2, t3"); COMPARE(multu(v0, v1), "00430019 multu v0, v1"); COMPARE(div(a0, a1), "0085001a div a0, a1"); COMPARE(div(t2, t3), "014b001a div t2, t3"); COMPARE(div(v0, v1), "0043001a div v0, v1"); COMPARE(divu(a0, a1), "0085001b divu a0, a1"); COMPARE(divu(t2, t3), "014b001b divu t2, t3"); COMPARE(divu(v0, v1), "0043001b divu v0, v1"); if (!IsMipsArchVariant(kLoongson)) { COMPARE(mul(a0, a1, a2), "70a62002 mul a0, a1, a2"); COMPARE(mul(t2, t3, t4), "716c5002 mul t2, t3, t4"); COMPARE(mul(v0, v1, s0), "70701002 mul v0, v1, s0"); } } else { // MIPS32r6. COMPARE(mul(a0, a1, a2), "00a62098 mul a0, a1, a2"); COMPARE(muh(a0, a1, a2), "00a620d8 muh a0, a1, a2"); COMPARE(mul(t1, t2, t3), "014b4898 mul t1, t2, t3"); COMPARE(muh(t1, t2, t3), "014b48d8 muh t1, t2, t3"); COMPARE(mul(v0, v1, a0), "00641098 mul v0, v1, a0"); COMPARE(muh(v0, v1, a0), "006410d8 muh v0, v1, a0"); COMPARE(mulu(a0, a1, a2), "00a62099 mulu a0, a1, a2"); COMPARE(muhu(a0, a1, a2), "00a620d9 muhu a0, a1, a2"); COMPARE(mulu(t1, t2, t3), "014b4899 mulu t1, t2, t3"); COMPARE(muhu(t1, t2, t3), "014b48d9 muhu t1, t2, t3"); COMPARE(mulu(v0, v1, a0), "00641099 mulu v0, v1, a0"); COMPARE(muhu(v0, v1, a0), "006410d9 muhu v0, v1, a0"); COMPARE(div(a0, a1, a2), "00a6209a div a0, a1, a2"); COMPARE(mod(a0, a1, a2), "00a620da mod a0, a1, a2"); COMPARE(div(t1, t2, t3), "014b489a div t1, t2, t3"); COMPARE(mod(t1, t2, t3), "014b48da mod t1, t2, t3"); COMPARE(div(v0, v1, a0), "0064109a div v0, v1, a0"); COMPARE(mod(v0, v1, a0), "006410da mod v0, v1, a0"); COMPARE(divu(a0, a1, a2), "00a6209b divu a0, a1, a2"); COMPARE(modu(a0, a1, a2), "00a620db modu a0, a1, a2"); COMPARE(divu(t1, t2, t3), "014b489b divu t1, t2, t3"); COMPARE(modu(t1, t2, t3), "014b48db modu t1, t2, t3"); COMPARE(divu(v0, v1, a0), "0064109b divu v0, v1, a0"); COMPARE(modu(v0, v1, a0), "006410db modu v0, v1, a0"); COMPARE(bovc(a0, a0, static_cast(0)), "20840000 bovc a0, a0, 0"); COMPARE(bovc(a1, a0, static_cast(0)), "20a40000 bovc a1, a0, 0"); COMPARE(bovc(a1, a0, 32767), "20a47fff bovc a1, a0, 32767"); COMPARE(bovc(a1, a0, -32768), "20a48000 bovc a1, a0, -32768"); COMPARE(bnvc(a0, a0, static_cast(0)), "60840000 bnvc a0, a0, 0"); COMPARE(bnvc(a1, a0, static_cast(0)), "60a40000 bnvc a1, a0, 0"); COMPARE(bnvc(a1, a0, 32767), "60a47fff bnvc a1, a0, 32767"); COMPARE(bnvc(a1, a0, -32768), "60a48000 bnvc a1, a0, -32768"); COMPARE(beqzc(a0, 0), "d8800000 beqzc a0, 0x0"); COMPARE(beqzc(a0, 0xfffff), // 0x0fffff == 1048575. "d88fffff beqzc a0, 0xfffff"); COMPARE(beqzc(a0, 0x100000), // 0x100000 == -1048576. "d8900000 beqzc a0, 0x100000"); COMPARE(bnezc(a0, 0), "f8800000 bnezc a0, 0x0"); COMPARE(bnezc(a0, 0xfffff), // 0x0fffff == 1048575. "f88fffff bnezc a0, 0xfffff"); COMPARE(bnezc(a0, 0x100000), // 0x100000 == -1048576. "f8900000 bnezc a0, 0x100000"); } COMPARE(addiu(a0, a1, 0x0), "24a40000 addiu a0, a1, 0"); COMPARE(addiu(s0, s1, 32767), "26307fff addiu s0, s1, 32767"); COMPARE(addiu(t2, t3, -32768), "256a8000 addiu t2, t3, -32768"); COMPARE(addiu(v0, v1, -1), "2462ffff addiu v0, v1, -1"); COMPARE(and_(a0, a1, a2), "00a62024 and a0, a1, a2"); COMPARE(and_(s0, s1, s2), "02328024 and s0, s1, s2"); COMPARE(and_(t2, t3, t4), "016c5024 and t2, t3, t4"); COMPARE(and_(v0, v1, a2), "00661024 and v0, v1, a2"); COMPARE(or_(a0, a1, a2), "00a62025 or a0, a1, a2"); COMPARE(or_(s0, s1, s2), "02328025 or s0, s1, s2"); COMPARE(or_(t2, t3, t4), "016c5025 or t2, t3, t4"); COMPARE(or_(v0, v1, a2), "00661025 or v0, v1, a2"); COMPARE(xor_(a0, a1, a2), "00a62026 xor a0, a1, a2"); COMPARE(xor_(s0, s1, s2), "02328026 xor s0, s1, s2"); COMPARE(xor_(t2, t3, t4), "016c5026 xor t2, t3, t4"); COMPARE(xor_(v0, v1, a2), "00661026 xor v0, v1, a2"); COMPARE(nor(a0, a1, a2), "00a62027 nor a0, a1, a2"); COMPARE(nor(s0, s1, s2), "02328027 nor s0, s1, s2"); COMPARE(nor(t2, t3, t4), "016c5027 nor t2, t3, t4"); COMPARE(nor(v0, v1, a2), "00661027 nor v0, v1, a2"); COMPARE(andi(a0, a1, 0x1), "30a40001 andi a0, a1, 0x1"); COMPARE(andi(v0, v1, 0xffff), "3062ffff andi v0, v1, 0xffff"); COMPARE(ori(a0, a1, 0x1), "34a40001 ori a0, a1, 0x1"); COMPARE(ori(v0, v1, 0xffff), "3462ffff ori v0, v1, 0xffff"); COMPARE(xori(a0, a1, 0x1), "38a40001 xori a0, a1, 0x1"); COMPARE(xori(v0, v1, 0xffff), "3862ffff xori v0, v1, 0xffff"); COMPARE(lui(a0, 0x1), "3c040001 lui a0, 0x1"); COMPARE(lui(v0, 0xffff), "3c02ffff lui v0, 0xffff"); COMPARE(sll(a0, a1, 0), "00052000 sll a0, a1, 0"); COMPARE(sll(s0, s1, 8), "00118200 sll s0, s1, 8"); COMPARE(sll(t2, t3, 24), "000b5600 sll t2, t3, 24"); COMPARE(sll(v0, v1, 31), "000317c0 sll v0, v1, 31"); COMPARE(sllv(a0, a1, a2), "00c52004 sllv a0, a1, a2"); COMPARE(sllv(s0, s1, s2), "02518004 sllv s0, s1, s2"); COMPARE(sllv(t2, t3, t4), "018b5004 sllv t2, t3, t4"); COMPARE(sllv(v0, v1, fp), "03c31004 sllv v0, v1, fp"); COMPARE(srl(a0, a1, 0), "00052002 srl a0, a1, 0"); COMPARE(srl(s0, s1, 8), "00118202 srl s0, s1, 8"); COMPARE(srl(t2, t3, 24), "000b5602 srl t2, t3, 24"); COMPARE(srl(v0, v1, 31), "000317c2 srl v0, v1, 31"); COMPARE(srlv(a0, a1, a2), "00c52006 srlv a0, a1, a2"); COMPARE(srlv(s0, s1, s2), "02518006 srlv s0, s1, s2"); COMPARE(srlv(t2, t3, t4), "018b5006 srlv t2, t3, t4"); COMPARE(srlv(v0, v1, fp), "03c31006 srlv v0, v1, fp"); COMPARE(sra(a0, a1, 0), "00052003 sra a0, a1, 0"); COMPARE(sra(s0, s1, 8), "00118203 sra s0, s1, 8"); COMPARE(sra(t2, t3, 24), "000b5603 sra t2, t3, 24"); COMPARE(sra(v0, v1, 31), "000317c3 sra v0, v1, 31"); COMPARE(srav(a0, a1, a2), "00c52007 srav a0, a1, a2"); COMPARE(srav(s0, s1, s2), "02518007 srav s0, s1, s2"); COMPARE(srav(t2, t3, t4), "018b5007 srav t2, t3, t4"); COMPARE(srav(v0, v1, fp), "03c31007 srav v0, v1, fp"); if (IsMipsArchVariant(kMips32r2)) { COMPARE(rotr(a0, a1, 0), "00252002 rotr a0, a1, 0"); COMPARE(rotr(s0, s1, 8), "00318202 rotr s0, s1, 8"); COMPARE(rotr(t2, t3, 24), "002b5602 rotr t2, t3, 24"); COMPARE(rotr(v0, v1, 31), "002317c2 rotr v0, v1, 31"); COMPARE(rotrv(a0, a1, a2), "00c52046 rotrv a0, a1, a2"); COMPARE(rotrv(s0, s1, s2), "02518046 rotrv s0, s1, s2"); COMPARE(rotrv(t2, t3, t4), "018b5046 rotrv t2, t3, t4"); COMPARE(rotrv(v0, v1, fp), "03c31046 rotrv v0, v1, fp"); } COMPARE(break_(0), "0000000d break, code: 0x00000 (0)"); COMPARE(break_(261120), "00ff000d break, code: 0x3fc00 (261120)"); COMPARE(break_(1047552), "03ff000d break, code: 0xffc00 (1047552)"); COMPARE(tge(a0, a1, 0), "00850030 tge a0, a1, code: 0x000"); COMPARE(tge(s0, s1, 1023), "0211fff0 tge s0, s1, code: 0x3ff"); COMPARE(tgeu(a0, a1, 0), "00850031 tgeu a0, a1, code: 0x000"); COMPARE(tgeu(s0, s1, 1023), "0211fff1 tgeu s0, s1, code: 0x3ff"); COMPARE(tlt(a0, a1, 0), "00850032 tlt a0, a1, code: 0x000"); COMPARE(tlt(s0, s1, 1023), "0211fff2 tlt s0, s1, code: 0x3ff"); COMPARE(tltu(a0, a1, 0), "00850033 tltu a0, a1, code: 0x000"); COMPARE(tltu(s0, s1, 1023), "0211fff3 tltu s0, s1, code: 0x3ff"); COMPARE(teq(a0, a1, 0), "00850034 teq a0, a1, code: 0x000"); COMPARE(teq(s0, s1, 1023), "0211fff4 teq s0, s1, code: 0x3ff"); COMPARE(tne(a0, a1, 0), "00850036 tne a0, a1, code: 0x000"); COMPARE(tne(s0, s1, 1023), "0211fff6 tne s0, s1, code: 0x3ff"); COMPARE(mfhi(a0), "00002010 mfhi a0"); COMPARE(mfhi(s2), "00009010 mfhi s2"); COMPARE(mfhi(t4), "00006010 mfhi t4"); COMPARE(mfhi(v1), "00001810 mfhi v1"); COMPARE(mflo(a0), "00002012 mflo a0"); COMPARE(mflo(s2), "00009012 mflo s2"); COMPARE(mflo(t4), "00006012 mflo t4"); COMPARE(mflo(v1), "00001812 mflo v1"); COMPARE(slt(a0, a1, a2), "00a6202a slt a0, a1, a2"); COMPARE(slt(s0, s1, s2), "0232802a slt s0, s1, s2"); COMPARE(slt(t2, t3, t4), "016c502a slt t2, t3, t4"); COMPARE(slt(v0, v1, a2), "0066102a slt v0, v1, a2"); COMPARE(sltu(a0, a1, a2), "00a6202b sltu a0, a1, a2"); COMPARE(sltu(s0, s1, s2), "0232802b sltu s0, s1, s2"); COMPARE(sltu(t2, t3, t4), "016c502b sltu t2, t3, t4"); COMPARE(sltu(v0, v1, a2), "0066102b sltu v0, v1, a2"); COMPARE(slti(a0, a1, 0), "28a40000 slti a0, a1, 0"); COMPARE(slti(s0, s1, 32767), "2a307fff slti s0, s1, 32767"); COMPARE(slti(t2, t3, -32768), "296a8000 slti t2, t3, -32768"); COMPARE(slti(v0, v1, -1), "2862ffff slti v0, v1, -1"); COMPARE(sltiu(a0, a1, 0), "2ca40000 sltiu a0, a1, 0"); COMPARE(sltiu(s0, s1, 32767), "2e307fff sltiu s0, s1, 32767"); COMPARE(sltiu(t2, t3, -32768), "2d6a8000 sltiu t2, t3, -32768"); COMPARE(sltiu(v0, v1, -1), "2c62ffff sltiu v0, v1, -1"); if (!IsMipsArchVariant(kLoongson)) { COMPARE(movz(a0, a1, a2), "00a6200a movz a0, a1, a2"); COMPARE(movz(s0, s1, s2), "0232800a movz s0, s1, s2"); COMPARE(movz(t2, t3, t4), "016c500a movz t2, t3, t4"); COMPARE(movz(v0, v1, a2), "0066100a movz v0, v1, a2"); COMPARE(movn(a0, a1, a2), "00a6200b movn a0, a1, a2"); COMPARE(movn(s0, s1, s2), "0232800b movn s0, s1, s2"); COMPARE(movn(t2, t3, t4), "016c500b movn t2, t3, t4"); COMPARE(movn(v0, v1, a2), "0066100b movn v0, v1, a2"); COMPARE(movt(a0, a1, 1), "00a52001 movt a0, a1, 1"); COMPARE(movt(s0, s1, 2), "02298001 movt s0, s1, 2"); COMPARE(movt(t2, t3, 3), "016d5001 movt t2, t3, 3"); COMPARE(movt(v0, v1, 7), "007d1001 movt v0, v1, 7"); COMPARE(movf(a0, a1, 0), "00a02001 movf a0, a1, 0"); COMPARE(movf(s0, s1, 4), "02308001 movf s0, s1, 4"); COMPARE(movf(t2, t3, 5), "01745001 movf t2, t3, 5"); COMPARE(movf(v0, v1, 6), "00781001 movf v0, v1, 6"); if (IsMipsArchVariant(kMips32r6)) { COMPARE(clz(a0, a1), "00a02050 clz a0, a1"); COMPARE(clz(s6, s7), "02e0b050 clz s6, s7"); COMPARE(clz(v0, v1), "00601050 clz v0, v1"); } else { COMPARE(clz(a0, a1), "70a42020 clz a0, a1"); COMPARE(clz(s6, s7), "72f6b020 clz s6, s7"); COMPARE(clz(v0, v1), "70621020 clz v0, v1"); } } if (IsMipsArchVariant(kMips32r2)) { COMPARE(ins_(a0, a1, 31, 1), "7ca4ffc4 ins a0, a1, 31, 1"); COMPARE(ins_(s6, s7, 30, 2), "7ef6ff84 ins s6, s7, 30, 2"); COMPARE(ins_(v0, v1, 0, 32), "7c62f804 ins v0, v1, 0, 32"); COMPARE(ext_(a0, a1, 31, 1), "7ca407c0 ext a0, a1, 31, 1"); COMPARE(ext_(s6, s7, 30, 2), "7ef60f80 ext s6, s7, 30, 2"); COMPARE(ext_(v0, v1, 0, 32), "7c62f800 ext v0, v1, 0, 32"); } VERIFY_RUN(); } // Tests only seleqz, selnez, seleqz.fmt and selnez.fmt TEST(Type1) { if (IsMipsArchVariant(kMips32r6)) { SET_UP(); COMPARE(seleqz(a0, a1, a2), "00a62035 seleqz a0, a1, a2"); COMPARE(selnez(a0, a1, a2), "00a62037 selnez a0, a1, a2"); COMPARE(seleqz(D, f3, f4, f5), "462520d4 seleqz.d f3, f4, f5"); COMPARE(selnez(D, f3, f4, f5), "462520d7 selnez.d f3, f4, f5"); COMPARE(min_d(f3, f4, f5), "462520dc min.d f3, f4, f5"); COMPARE(max_d(f3, f4, f5), "462520de max.d f3, f4, f5"); COMPARE(rint_d(f8, f6), "4620321a rint.d f8, f6"); VERIFY_RUN(); } }