OLD | NEW |
1 // Copyright (c) 1994-2006 Sun Microsystems Inc. | 1 // Copyright (c) 1994-2006 Sun Microsystems Inc. |
2 // All Rights Reserved. | 2 // All Rights Reserved. |
3 // | 3 // |
4 // Redistribution and use in source and binary forms, with or without | 4 // Redistribution and use in source and binary forms, with or without |
5 // modification, are permitted provided that the following conditions are | 5 // modification, are permitted provided that the following conditions are |
6 // met: | 6 // met: |
7 // | 7 // |
8 // - Redistributions of source code must retain the above copyright notice, | 8 // - Redistributions of source code must retain the above copyright notice, |
9 // this list of conditions and the following disclaimer. | 9 // this list of conditions and the following disclaimer. |
10 // | 10 // |
(...skipping 422 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
433 // is too small, a fatal error occurs. No deallocation of the buffer is done | 433 // is too small, a fatal error occurs. No deallocation of the buffer is done |
434 // upon destruction of the assembler. | 434 // upon destruction of the assembler. |
435 Assembler(void* buffer, int buffer_size); | 435 Assembler(void* buffer, int buffer_size); |
436 ~Assembler(); | 436 ~Assembler(); |
437 | 437 |
438 // GetCode emits any pending (non-emitted) code and fills the descriptor | 438 // GetCode emits any pending (non-emitted) code and fills the descriptor |
439 // desc. GetCode() is idempotent; it returns the same result if no other | 439 // desc. GetCode() is idempotent; it returns the same result if no other |
440 // Assembler functions are invoked in between GetCode() calls. | 440 // Assembler functions are invoked in between GetCode() calls. |
441 void GetCode(CodeDesc* desc); | 441 void GetCode(CodeDesc* desc); |
442 | 442 |
443 // Read/Modify the code target in the branch/call instruction at pc. | 443 // Read/Modify the code target in the relative branch/call instruction at pc. |
444 // On the x64 architecture, the address is absolute, not relative. | 444 // On the x64 architecture, we use relative jumps with a 32-bit displacement |
| 445 // to jump to other Code objects in the Code space in the heap. |
| 446 // Jumps to C functions are done indirectly through a 64-bit register holding |
| 447 // the absolute address of the target. |
| 448 // These functions convert between absolute Addresses of Code objects and |
| 449 // the relative displacements stored in the code. |
445 static inline Address target_address_at(Address pc); | 450 static inline Address target_address_at(Address pc); |
446 static inline void set_target_address_at(Address pc, Address target); | 451 static inline void set_target_address_at(Address pc, Address target); |
447 | 452 inline Handle<Object> code_target_object_handle_at(Address pc); |
448 // Distance between the address of the code target in the call instruction | 453 // Distance between the address of the code target in the call instruction |
449 // and the return address. Checked in the debug build. | 454 // and the return address pushed on the stack. |
450 static const int kCallTargetAddressOffset = 3 + kPointerSize; | 455 static const int kCallTargetAddressOffset = 4; // Use 32-bit displacement. |
451 // Distance between start of patched return sequence and the emitted address | 456 // Distance between the start of the JS return sequence and where the |
452 // to jump to (movq = REX.W 0xB8+r.). | 457 // 32-bit displacement of a near call would be, relative to the pushed |
453 static const int kPatchReturnSequenceAddressOffset = 2; | 458 // return address. TODO: Use return sequence length instead. |
454 | 459 // Should equal Debug::kX64JSReturnSequenceLength - kCallTargetAddressOffset; |
| 460 static const int kPatchReturnSequenceAddressOffset = 13 - 4; |
| 461 // TODO(X64): Rename this, removing the "Real", after changing the above. |
| 462 static const int kRealPatchReturnSequenceAddressOffset = 2; |
455 // --------------------------------------------------------------------------- | 463 // --------------------------------------------------------------------------- |
456 // Code generation | 464 // Code generation |
457 // | 465 // |
458 // Function names correspond one-to-one to x64 instruction mnemonics. | 466 // Function names correspond one-to-one to x64 instruction mnemonics. |
459 // Unless specified otherwise, instructions operate on 64-bit operands. | 467 // Unless specified otherwise, instructions operate on 64-bit operands. |
460 // | 468 // |
461 // If we need versions of an assembly instruction that operate on different | 469 // If we need versions of an assembly instruction that operate on different |
462 // width arguments, we add a single-letter suffix specifying the width. | 470 // width arguments, we add a single-letter suffix specifying the width. |
463 // This is done for the following instructions: mov, cmp, inc, dec, | 471 // This is done for the following instructions: mov, cmp, inc, dec, |
464 // add, sub, and test. | 472 // add, sub, and test. |
(...skipping 451 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
916 // bind(&L); // illegal: a label may be bound only once | 924 // bind(&L); // illegal: a label may be bound only once |
917 // | 925 // |
918 // Note: The same Label can be used for forward and backward branches | 926 // Note: The same Label can be used for forward and backward branches |
919 // but it may be bound only once. | 927 // but it may be bound only once. |
920 | 928 |
921 void bind(Label* L); // binds an unbound label L to the current code position | 929 void bind(Label* L); // binds an unbound label L to the current code position |
922 | 930 |
923 // Calls | 931 // Calls |
924 // Call near relative 32-bit displacement, relative to next instruction. | 932 // Call near relative 32-bit displacement, relative to next instruction. |
925 void call(Label* L); | 933 void call(Label* L); |
| 934 void call(Handle<Code> target, RelocInfo::Mode rmode); |
926 | 935 |
927 // Call near absolute indirect, address in register | 936 // Call near absolute indirect, address in register |
928 void call(Register adr); | 937 void call(Register adr); |
929 | 938 |
930 // Call near indirect | 939 // Call near indirect |
931 void call(const Operand& operand); | 940 void call(const Operand& operand); |
932 | 941 |
933 // Jumps | 942 // Jumps |
934 // Jump short or near relative. | 943 // Jump short or near relative. |
| 944 // Use a 32-bit signed displacement. |
935 void jmp(Label* L); // unconditional jump to L | 945 void jmp(Label* L); // unconditional jump to L |
| 946 void jmp(Handle<Code> target, RelocInfo::Mode rmode); |
936 | 947 |
937 // Jump near absolute indirect (r64) | 948 // Jump near absolute indirect (r64) |
938 void jmp(Register adr); | 949 void jmp(Register adr); |
939 | 950 |
940 // Jump near absolute indirect (m64) | 951 // Jump near absolute indirect (m64) |
941 void jmp(const Operand& src); | 952 void jmp(const Operand& src); |
942 | 953 |
943 // Conditional jumps | 954 // Conditional jumps |
944 void j(Condition cc, Label* L); | 955 void j(Condition cc, Label* L); |
| 956 void j(Condition cc, Handle<Code> target, RelocInfo::Mode rmode); |
945 | 957 |
946 // Floating-point operations | 958 // Floating-point operations |
947 void fld(int i); | 959 void fld(int i); |
948 | 960 |
949 void fld1(); | 961 void fld1(); |
950 void fldz(); | 962 void fldz(); |
951 | 963 |
952 void fld_s(const Operand& adr); | 964 void fld_s(const Operand& adr); |
953 void fld_d(const Operand& adr); | 965 void fld_d(const Operand& adr); |
954 | 966 |
(...skipping 85 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1040 void RecordJSReturn(); | 1052 void RecordJSReturn(); |
1041 | 1053 |
1042 // Record a comment relocation entry that can be used by a disassembler. | 1054 // Record a comment relocation entry that can be used by a disassembler. |
1043 // Use --debug_code to enable. | 1055 // Use --debug_code to enable. |
1044 void RecordComment(const char* msg); | 1056 void RecordComment(const char* msg); |
1045 | 1057 |
1046 void RecordPosition(int pos); | 1058 void RecordPosition(int pos); |
1047 void RecordStatementPosition(int pos); | 1059 void RecordStatementPosition(int pos); |
1048 void WriteRecordedPositions(); | 1060 void WriteRecordedPositions(); |
1049 | 1061 |
1050 // Writes a doubleword of data in the code stream. | |
1051 // Used for inline tables, e.g., jump-tables. | |
1052 // void dd(uint32_t data); | |
1053 | |
1054 // Writes a quadword of data in the code stream. | |
1055 // Used for inline tables, e.g., jump-tables. | |
1056 // void dd(uint64_t data, RelocInfo::Mode reloc_info); | |
1057 | |
1058 int pc_offset() const { return pc_ - buffer_; } | 1062 int pc_offset() const { return pc_ - buffer_; } |
1059 int current_statement_position() const { return current_statement_position_; } | 1063 int current_statement_position() const { return current_statement_position_; } |
1060 int current_position() const { return current_position_; } | 1064 int current_position() const { return current_position_; } |
1061 | 1065 |
1062 // Check if there is less than kGap bytes available in the buffer. | 1066 // Check if there is less than kGap bytes available in the buffer. |
1063 // If this is the case, we need to grow the buffer before emitting | 1067 // If this is the case, we need to grow the buffer before emitting |
1064 // an instruction or relocation information. | 1068 // an instruction or relocation information. |
1065 inline bool buffer_overflow() const { | 1069 inline bool buffer_overflow() const { |
1066 return pc_ >= reloc_info_writer.pos() - kGap; | 1070 return pc_ >= reloc_info_writer.pos() - kGap; |
1067 } | 1071 } |
(...skipping 21 matching lines...) Expand all Loading... |
1089 } | 1093 } |
1090 void long_at_put(int pos, uint32_t x) { | 1094 void long_at_put(int pos, uint32_t x) { |
1091 *reinterpret_cast<uint32_t*>(addr_at(pos)) = x; | 1095 *reinterpret_cast<uint32_t*>(addr_at(pos)) = x; |
1092 } | 1096 } |
1093 | 1097 |
1094 // code emission | 1098 // code emission |
1095 void GrowBuffer(); | 1099 void GrowBuffer(); |
1096 | 1100 |
1097 void emit(byte x) { *pc_++ = x; } | 1101 void emit(byte x) { *pc_++ = x; } |
1098 inline void emitl(uint32_t x); | 1102 inline void emitl(uint32_t x); |
1099 inline void emit(Handle<Object> handle); | |
1100 inline void emitq(uint64_t x, RelocInfo::Mode rmode); | 1103 inline void emitq(uint64_t x, RelocInfo::Mode rmode); |
1101 inline void emitw(uint16_t x); | 1104 inline void emitw(uint16_t x); |
| 1105 inline void emit_code_target(Handle<Code> target, RelocInfo::Mode rmode); |
1102 void emit(Immediate x) { emitl(x.value_); } | 1106 void emit(Immediate x) { emitl(x.value_); } |
1103 | 1107 |
1104 // Emits a REX prefix that encodes a 64-bit operand size and | 1108 // Emits a REX prefix that encodes a 64-bit operand size and |
1105 // the top bit of both register codes. | 1109 // the top bit of both register codes. |
1106 // High bit of reg goes to REX.R, high bit of rm_reg goes to REX.B. | 1110 // High bit of reg goes to REX.R, high bit of rm_reg goes to REX.B. |
1107 // REX.W is set. | 1111 // REX.W is set. |
1108 inline void emit_rex_64(Register reg, Register rm_reg); | 1112 inline void emit_rex_64(Register reg, Register rm_reg); |
1109 inline void emit_rex_64(XMMRegister reg, Register rm_reg); | 1113 inline void emit_rex_64(XMMRegister reg, Register rm_reg); |
1110 | 1114 |
1111 // Emits a REX prefix that encodes a 64-bit operand size and | 1115 // Emits a REX prefix that encodes a 64-bit operand size and |
(...skipping 157 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1269 int buffer_size_; | 1273 int buffer_size_; |
1270 // True if the assembler owns the buffer, false if buffer is external. | 1274 // True if the assembler owns the buffer, false if buffer is external. |
1271 bool own_buffer_; | 1275 bool own_buffer_; |
1272 // A previously allocated buffer of kMinimalBufferSize bytes, or NULL. | 1276 // A previously allocated buffer of kMinimalBufferSize bytes, or NULL. |
1273 static byte* spare_buffer_; | 1277 static byte* spare_buffer_; |
1274 | 1278 |
1275 // code generation | 1279 // code generation |
1276 byte* pc_; // the program counter; moves forward | 1280 byte* pc_; // the program counter; moves forward |
1277 RelocInfoWriter reloc_info_writer; | 1281 RelocInfoWriter reloc_info_writer; |
1278 | 1282 |
| 1283 List< Handle<Code> > code_targets_; |
1279 // push-pop elimination | 1284 // push-pop elimination |
1280 byte* last_pc_; | 1285 byte* last_pc_; |
1281 | 1286 |
1282 // source position information | 1287 // source position information |
1283 int current_statement_position_; | 1288 int current_statement_position_; |
1284 int current_position_; | 1289 int current_position_; |
1285 int written_statement_position_; | 1290 int written_statement_position_; |
1286 int written_position_; | 1291 int written_position_; |
1287 }; | 1292 }; |
1288 | 1293 |
(...skipping 21 matching lines...) Expand all Loading... |
1310 private: | 1315 private: |
1311 Assembler* assembler_; | 1316 Assembler* assembler_; |
1312 #ifdef DEBUG | 1317 #ifdef DEBUG |
1313 int space_before_; | 1318 int space_before_; |
1314 #endif | 1319 #endif |
1315 }; | 1320 }; |
1316 | 1321 |
1317 } } // namespace v8::internal | 1322 } } // namespace v8::internal |
1318 | 1323 |
1319 #endif // V8_X64_ASSEMBLER_X64_H_ | 1324 #endif // V8_X64_ASSEMBLER_X64_H_ |
OLD | NEW |