| OLD | NEW |
| 1 // Copyright 2007-2009 the V8 project authors. All rights reserved. | 1 // Copyright 2007-2009 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 318 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 329 reg++; | 329 reg++; |
| 330 rlist >>= 1; | 330 rlist >>= 1; |
| 331 } | 331 } |
| 332 Print("}"); | 332 Print("}"); |
| 333 return 5; | 333 return 5; |
| 334 } | 334 } |
| 335 UNREACHABLE(); | 335 UNREACHABLE(); |
| 336 return -1; | 336 return -1; |
| 337 } | 337 } |
| 338 | 338 |
| 339 |
| 339 // Handle all VFP register based formatting in this function to reduce the | 340 // Handle all VFP register based formatting in this function to reduce the |
| 340 // complexity of FormatOption. | 341 // complexity of FormatOption. |
| 341 int Decoder::FormatVFPRegister(Instr* instr, const char* format) { | 342 int Decoder::FormatVFPRegister(Instr* instr, const char* format) { |
| 342 ASSERT((format[0] == 'S') || (format[0] == 'D')); | 343 ASSERT((format[0] == 'S') || (format[0] == 'D')); |
| 343 | 344 |
| 344 if (format[1] == 'n') { | 345 if (format[1] == 'n') { |
| 345 int reg = instr->VnField(); | 346 int reg = instr->VnField(); |
| 346 if (format[0] == 'S') PrintSRegister(((reg << 1) | instr->NField())); | 347 if (format[0] == 'S') PrintSRegister(((reg << 1) | instr->NField())); |
| 347 if (format[0] == 'D') PrintDRegister(reg); | 348 if (format[0] == 'D') PrintDRegister(reg); |
| 348 return 2; | 349 return 2; |
| 349 } else if (format[1] == 'm') { | 350 } else if (format[1] == 'm') { |
| 350 int reg = instr->VmField(); | 351 int reg = instr->VmField(); |
| 351 if (format[0] == 'S') PrintSRegister(((reg << 1) | instr->MField())); | 352 if (format[0] == 'S') PrintSRegister(((reg << 1) | instr->MField())); |
| 352 if (format[0] == 'D') PrintDRegister(reg); | 353 if (format[0] == 'D') PrintDRegister(reg); |
| 353 return 2; | 354 return 2; |
| 354 } else if (format[1] == 'd') { | 355 } else if (format[1] == 'd') { |
| 355 int reg = instr->VdField(); | 356 int reg = instr->VdField(); |
| 356 if (format[0] == 'S') PrintSRegister(((reg << 1) | instr->DField())); | 357 if (format[0] == 'S') PrintSRegister(((reg << 1) | instr->DField())); |
| 357 if (format[0] == 'D') PrintDRegister(reg); | 358 if (format[0] == 'D') PrintDRegister(reg); |
| 358 return 2; | 359 return 2; |
| 359 } | 360 } |
| 360 | 361 |
| 361 UNREACHABLE(); | 362 UNREACHABLE(); |
| 362 return -1; | 363 return -1; |
| 363 } | 364 } |
| 364 | 365 |
| 366 |
| 365 int Decoder::FormatVFPinstruction(Instr* instr, const char* format) { | 367 int Decoder::FormatVFPinstruction(Instr* instr, const char* format) { |
| 366 Print(format); | 368 Print(format); |
| 367 return 0; | 369 return 0; |
| 368 } | 370 } |
| 369 | 371 |
| 370 | 372 |
| 371 | |
| 372 | |
| 373 // FormatOption takes a formatting string and interprets it based on | 373 // FormatOption takes a formatting string and interprets it based on |
| 374 // the current instructions. The format string points to the first | 374 // the current instructions. The format string points to the first |
| 375 // character of the option string (the option escape has already been | 375 // character of the option string (the option escape has already been |
| 376 // consumed by the caller.) FormatOption returns the number of | 376 // consumed by the caller.) FormatOption returns the number of |
| 377 // characters that were consumed from the formatting string. | 377 // characters that were consumed from the formatting string. |
| 378 int Decoder::FormatOption(Instr* instr, const char* format) { | 378 int Decoder::FormatOption(Instr* instr, const char* format) { |
| 379 switch (format[0]) { | 379 switch (format[0]) { |
| 380 case 'a': { // 'a: accumulate multiplies | 380 case 'a': { // 'a: accumulate multiplies |
| 381 if (instr->Bit(21) == 0) { | 381 if (instr->Bit(21) == 0) { |
| 382 Print("ul"); | 382 Print("ul"); |
| (...skipping 507 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 890 break; | 890 break; |
| 891 } | 891 } |
| 892 } | 892 } |
| 893 return; | 893 return; |
| 894 } | 894 } |
| 895 Format(instr, "break 'msg"); | 895 Format(instr, "break 'msg"); |
| 896 } | 896 } |
| 897 | 897 |
| 898 | 898 |
| 899 // void Decoder::DecodeTypeVFP(Instr* instr) | 899 // void Decoder::DecodeTypeVFP(Instr* instr) |
| 900 // Implements the following | 900 // Implements the following VFP instructions: |
| 901 // VFP instructions | 901 // fmsr: Sn = Rt |
| 902 // fmsr :Sn = Rt | 902 // fmrs: Rt = Sn |
| 903 // fmrs :Rt = Sn | |
| 904 // fsitod: Dd = Sm | 903 // fsitod: Dd = Sm |
| 905 // ftosid: Sd = Dm | 904 // ftosid: Sd = Dm |
| 906 // Dd = faddd(Dn, Dm) | 905 // Dd = faddd(Dn, Dm) |
| 907 // Dd = fsubd(Dn, Dm) | 906 // Dd = fsubd(Dn, Dm) |
| 908 // Dd = fmuld(Dn, Dm) | 907 // Dd = fmuld(Dn, Dm) |
| 909 // Dd = fdivd(Dn, Dm) | 908 // Dd = fdivd(Dn, Dm) |
| 910 // vcmp(Dd, Dm) | 909 // vcmp(Dd, Dm) |
| 911 // VMRS | 910 // VMRS |
| 912 void Decoder::DecodeTypeVFP(Instr* instr) { | 911 void Decoder::DecodeTypeVFP(Instr* instr) { |
| 913 ASSERT((instr->TypeField() == 7) && (instr->Bit(24) == 0x0) ); | 912 ASSERT((instr->TypeField() == 7) && (instr->Bit(24) == 0x0) ); |
| (...skipping 30 matching lines...) Expand all Loading... |
| 944 Format(instr, "vcmp.f64'cond 'Dd, 'Dm"); | 943 Format(instr, "vcmp.f64'cond 'Dd, 'Dm"); |
| 945 } else if ((instr->Bits(23, 20) == 0xF) && | 944 } else if ((instr->Bits(23, 20) == 0xF) && |
| 946 (instr->Bits(19, 16) == 0x1) && | 945 (instr->Bits(19, 16) == 0x1) && |
| 947 (instr->Bits(11, 8) == 0xA) && | 946 (instr->Bits(11, 8) == 0xA) && |
| 948 (instr->Bits(7, 5) == 0x0) && | 947 (instr->Bits(7, 5) == 0x0) && |
| 949 (instr->Bit(4) == 0x1) && | 948 (instr->Bit(4) == 0x1) && |
| 950 (instr->Bits(3, 0) == 0x0)) { | 949 (instr->Bits(3, 0) == 0x0)) { |
| 951 if (instr->Bits(15, 12) == 0xF) | 950 if (instr->Bits(15, 12) == 0xF) |
| 952 Format(instr, "vmrs'cond APSR, FPSCR"); | 951 Format(instr, "vmrs'cond APSR, FPSCR"); |
| 953 else | 952 else |
| 954 Unknown(instr); // not used by V8 | 953 Unknown(instr); // Not used by V8. |
| 955 } else { | 954 } else { |
| 956 Unknown(instr); // not used by V8 | 955 Unknown(instr); // Not used by V8. |
| 957 } | 956 } |
| 958 } else if (instr->Bit(21) == 1) { | 957 } else if (instr->Bit(21) == 1) { |
| 959 if ((instr->Bit(20) == 0x1) && | 958 if ((instr->Bit(20) == 0x1) && |
| 960 (instr->Bits(11, 9) == 0x5) && | 959 (instr->Bits(11, 9) == 0x5) && |
| 961 (instr->Bit(8) == 0x1) && | 960 (instr->Bit(8) == 0x1) && |
| 962 (instr->Bit(6) == 0) && | 961 (instr->Bit(6) == 0) && |
| 963 (instr->Bit(4) == 0)) { | 962 (instr->Bit(4) == 0)) { |
| 964 Format(instr, "vadd.f64'cond 'Dd, 'Dn, 'Dm"); | 963 Format(instr, "vadd.f64'cond 'Dd, 'Dn, 'Dm"); |
| 965 } else if ((instr->Bit(20) == 0x1) && | 964 } else if ((instr->Bit(20) == 0x1) && |
| 966 (instr->Bits(11, 9) == 0x5) && | 965 (instr->Bits(11, 9) == 0x5) && |
| 967 (instr->Bit(8) == 0x1) && | 966 (instr->Bit(8) == 0x1) && |
| 968 (instr->Bit(6) == 1) && | 967 (instr->Bit(6) == 1) && |
| 969 (instr->Bit(4) == 0)) { | 968 (instr->Bit(4) == 0)) { |
| 970 Format(instr, "vsub.f64'cond 'Dd, 'Dn, 'Dm"); | 969 Format(instr, "vsub.f64'cond 'Dd, 'Dn, 'Dm"); |
| 971 } else if ((instr->Bit(20) == 0x0) && | 970 } else if ((instr->Bit(20) == 0x0) && |
| 972 (instr->Bits(11, 9) == 0x5) && | 971 (instr->Bits(11, 9) == 0x5) && |
| 973 (instr->Bit(8) == 0x1) && | 972 (instr->Bit(8) == 0x1) && |
| 974 (instr->Bit(6) == 0) && | 973 (instr->Bit(6) == 0) && |
| 975 (instr->Bit(4) == 0)) { | 974 (instr->Bit(4) == 0)) { |
| 976 Format(instr, "vmul.f64'cond 'Dd, 'Dn, 'Dm"); | 975 Format(instr, "vmul.f64'cond 'Dd, 'Dn, 'Dm"); |
| 977 } else { | 976 } else { |
| 978 Unknown(instr); // not used by V8 | 977 Unknown(instr); // Not used by V8. |
| 979 } | 978 } |
| 980 } else { | 979 } else { |
| 981 if ((instr->Bit(20) == 0x0) && | 980 if ((instr->Bit(20) == 0x0) && |
| 982 (instr->Bits(11, 8) == 0xA) && | 981 (instr->Bits(11, 8) == 0xA) && |
| 983 (instr->Bits(6, 5) == 0x0) && | 982 (instr->Bits(6, 5) == 0x0) && |
| 984 (instr->Bit(4) == 1) && | 983 (instr->Bit(4) == 1) && |
| 985 (instr->Bits(3, 0) == 0x0)) { | 984 (instr->Bits(3, 0) == 0x0)) { |
| 986 Format(instr, "vmov'cond 'Sn, 'rt"); | 985 Format(instr, "vmov'cond 'Sn, 'rt"); |
| 987 } else if ((instr->Bit(20) == 0x1) && | 986 } else if ((instr->Bit(20) == 0x1) && |
| 988 (instr->Bits(11, 8) == 0xA) && | 987 (instr->Bits(11, 8) == 0xA) && |
| 989 (instr->Bits(6, 5) == 0x0) && | 988 (instr->Bits(6, 5) == 0x0) && |
| 990 (instr->Bit(4) == 1) && | 989 (instr->Bit(4) == 1) && |
| 991 (instr->Bits(3, 0) == 0x0)) { | 990 (instr->Bits(3, 0) == 0x0)) { |
| 992 Format(instr, "vmov'cond 'rt, 'Sn"); | 991 Format(instr, "vmov'cond 'rt, 'Sn"); |
| 993 } else { | 992 } else { |
| 994 Unknown(instr); // not used by V8 | 993 Unknown(instr); // Not used by V8. |
| 995 } | 994 } |
| 996 } | 995 } |
| 997 } | 996 } |
| 998 | 997 |
| 999 | 998 |
| 1000 | 999 // Decode Type 6 coprocessor instructions. |
| 1001 // Decode Type 6 coprocessor instructions | |
| 1002 // Dm = fmdrr(Rt, Rt2) | 1000 // Dm = fmdrr(Rt, Rt2) |
| 1003 // <Rt, Rt2> = fmrrd(Dm) | 1001 // <Rt, Rt2> = fmrrd(Dm) |
| 1004 void Decoder::DecodeType6CoprocessorIns(Instr* instr) { | 1002 void Decoder::DecodeType6CoprocessorIns(Instr* instr) { |
| 1005 ASSERT((instr->TypeField() == 6)); | 1003 ASSERT((instr->TypeField() == 6)); |
| 1006 | 1004 |
| 1007 if (instr->Bit(23) == 1) { | 1005 if (instr->Bit(23) == 1) { |
| 1008 Unknown(instr); // not used by V8 | 1006 Unknown(instr); // Not used by V8. |
| 1009 } else if (instr->Bit(22) == 1) { | 1007 } else if (instr->Bit(22) == 1) { |
| 1010 if ((instr->Bits(27, 24) == 0xC) && | 1008 if ((instr->Bits(27, 24) == 0xC) && |
| 1011 (instr->Bit(22) == 1) && | 1009 (instr->Bit(22) == 1) && |
| 1012 (instr->Bits(11, 8) == 0xB) && | 1010 (instr->Bits(11, 8) == 0xB) && |
| 1013 (instr->Bits(7, 6) == 0x0) && | 1011 (instr->Bits(7, 6) == 0x0) && |
| 1014 (instr->Bit(4) == 1)) { | 1012 (instr->Bit(4) == 1)) { |
| 1015 if (instr->Bit(20) == 0) { | 1013 if (instr->Bit(20) == 0) { |
| 1016 Format(instr, "vmov'cond 'Dm, 'rt, 'rn"); | 1014 Format(instr, "vmov'cond 'Dm, 'rt, 'rn"); |
| 1017 } else if (instr->Bit(20) == 1) { | 1015 } else if (instr->Bit(20) == 1) { |
| 1018 Format(instr, "vmov'cond 'rt, 'rn, 'Dm"); | 1016 Format(instr, "vmov'cond 'rt, 'rn, 'Dm"); |
| 1019 } | 1017 } |
| 1020 } else { | 1018 } else { |
| 1021 Unknown(instr); // not used by V8 | 1019 Unknown(instr); // Not used by V8. |
| 1022 } | 1020 } |
| 1023 } else if (instr->Bit(21) == 1) { | 1021 } else if (instr->Bit(21) == 1) { |
| 1024 Unknown(instr); // not used by V8 | 1022 Unknown(instr); // Not used by V8. |
| 1025 } else { | 1023 } else { |
| 1026 Unknown(instr); // not used by V8 | 1024 Unknown(instr); // Not used by V8. |
| 1027 } | 1025 } |
| 1028 } | 1026 } |
| 1029 | 1027 |
| 1030 | 1028 |
| 1031 // Disassemble the instruction at *instr_ptr into the output buffer. | 1029 // Disassemble the instruction at *instr_ptr into the output buffer. |
| 1032 int Decoder::InstructionDecode(byte* instr_ptr) { | 1030 int Decoder::InstructionDecode(byte* instr_ptr) { |
| 1033 Instr* instr = Instr::At(instr_ptr); | 1031 Instr* instr = Instr::At(instr_ptr); |
| 1034 // Print raw instruction bytes. | 1032 // Print raw instruction bytes. |
| 1035 out_buffer_pos_ += v8i::OS::SNPrintF(out_buffer_ + out_buffer_pos_, | 1033 out_buffer_pos_ += v8i::OS::SNPrintF(out_buffer_ + out_buffer_pos_, |
| 1036 "%08x ", | 1034 "%08x ", |
| (...skipping 123 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1160 buffer[0] = '\0'; | 1158 buffer[0] = '\0'; |
| 1161 byte* prev_pc = pc; | 1159 byte* prev_pc = pc; |
| 1162 pc += d.InstructionDecode(buffer, pc); | 1160 pc += d.InstructionDecode(buffer, pc); |
| 1163 fprintf(f, "%p %08x %s\n", | 1161 fprintf(f, "%p %08x %s\n", |
| 1164 prev_pc, *reinterpret_cast<int32_t*>(prev_pc), buffer.start()); | 1162 prev_pc, *reinterpret_cast<int32_t*>(prev_pc), buffer.start()); |
| 1165 } | 1163 } |
| 1166 } | 1164 } |
| 1167 | 1165 |
| 1168 | 1166 |
| 1169 } // namespace disasm | 1167 } // namespace disasm |
| OLD | NEW |