Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(174)

Side by Side Diff: src/x64/fast-codegen-x64.cc

Issue 586002: Added helper functions for fixed register allocation. (Closed)
Patch Set: Created 10 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« src/ia32/fast-codegen-ia32.cc ('K') | « src/ia32/fast-codegen-ia32.cc ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2010 the V8 project authors. All rights reserved. 1 // Copyright 2010 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 17 matching lines...) Expand all
28 #include "v8.h" 28 #include "v8.h"
29 29
30 #include "codegen-inl.h" 30 #include "codegen-inl.h"
31 #include "fast-codegen.h" 31 #include "fast-codegen.h"
32 32
33 namespace v8 { 33 namespace v8 {
34 namespace internal { 34 namespace internal {
35 35
36 #define __ ACCESS_MASM(masm()) 36 #define __ ACCESS_MASM(masm())
37 37
38 void FastCodeGenerator::EmitLoadReceiver(Register reg) { 38 // Registers rcx, rdi, and r8-r15 are free to use as scratch registers
39 // without saving and restoring any other registers.
40 Register FastCodeGenerator::accumulator0() { return rax; }
41 Register FastCodeGenerator::accumulator1() { return rdx; }
42 Register FastCodeGenerator::scratch0() { return rcx; }
43 Register FastCodeGenerator::scratch1() { return rdi; }
44 Register FastCodeGenerator::receiver_reg() { return rbx; }
45 Register FastCodeGenerator::context_reg() { return rsi; }
46
47
48 void FastCodeGenerator::EmitLoadReceiver() {
39 // Offset 2 is due to return address and saved frame pointer. 49 // Offset 2 is due to return address and saved frame pointer.
40 int index = 2 + scope()->num_parameters(); 50 int index = 2 + scope()->num_parameters();
41 __ movq(reg, Operand(rbp, index * kPointerSize)); 51 __ movq(receiver_reg(), Operand(rbp, index * kPointerSize));
42 }
43
44
45 void FastCodeGenerator::EmitReceiverMapCheck() {
46 Comment cmnt(masm(), ";; MapCheck(this)");
47 if (FLAG_print_ir) {
48 PrintF("MapCheck(this)\n");
49 }
50
51 ASSERT(info()->has_receiver() && info()->receiver()->IsHeapObject());
52 Handle<HeapObject> object = Handle<HeapObject>::cast(info()->receiver());
53 Handle<Map> map(object->map());
54
55 EmitLoadReceiver(rdx);
56 __ CheckMap(rdx, map, bailout(), false);
57 }
58
59
60 void FastCodeGenerator::EmitGlobalMapCheck() {
61 Comment cmnt(masm(), ";; GlobalMapCheck");
62 if (FLAG_print_ir) {
63 PrintF(";; GlobalMapCheck()");
64 }
65
66 ASSERT(info()->has_global_object());
67 Handle<Map> map(info()->global_object()->map());
68
69 __ movq(rbx, CodeGenerator::GlobalObject());
70 __ CheckMap(rbx, map, bailout(), true);
71 } 52 }
72 53
73 54
74 void FastCodeGenerator::EmitGlobalVariableLoad(Handle<Object> cell) { 55 void FastCodeGenerator::EmitGlobalVariableLoad(Handle<Object> cell) {
75 ASSERT(cell->IsJSGlobalPropertyCell()); 56 ASSERT(cell->IsJSGlobalPropertyCell());
76 __ Move(rax, cell); 57 __ Move(accumulator0(), cell);
77 __ movq(rax, FieldOperand(rax, JSGlobalPropertyCell::kValueOffset)); 58 __ movq(accumulator0(),
59 FieldOperand(accumulator0(), JSGlobalPropertyCell::kValueOffset));
78 if (FLAG_debug_code) { 60 if (FLAG_debug_code) {
79 __ Cmp(rax, Factory::the_hole_value()); 61 __ Cmp(accumulator0(), Factory::the_hole_value());
80 __ Check(not_equal, "DontDelete cells can't contain the hole"); 62 __ Check(not_equal, "DontDelete cells can't contain the hole");
81 } 63 }
82 } 64 }
83 65
84 66
85 void FastCodeGenerator::EmitThisPropertyStore(Handle<String> name) { 67 void FastCodeGenerator::EmitThisPropertyStore(Handle<String> name) {
86 LookupResult lookup; 68 LookupResult lookup;
87 info()->receiver()->Lookup(*name, &lookup); 69 info()->receiver()->Lookup(*name, &lookup);
88 70
89 ASSERT(lookup.holder() == *info()->receiver()); 71 ASSERT(lookup.holder() == *info()->receiver());
90 ASSERT(lookup.type() == FIELD); 72 ASSERT(lookup.type() == FIELD);
91 Handle<Map> map(Handle<HeapObject>::cast(info()->receiver())->map()); 73 Handle<Map> map(Handle<HeapObject>::cast(info()->receiver())->map());
92 int index = lookup.GetFieldIndex() - map->inobject_properties(); 74 int index = lookup.GetFieldIndex() - map->inobject_properties();
93 int offset = index * kPointerSize; 75 int offset = index * kPointerSize;
94 76
95 // Negative offsets are inobject properties. 77 // Negative offsets are inobject properties.
96 if (offset < 0) { 78 if (offset < 0) {
97 offset += map->instance_size(); 79 offset += map->instance_size();
98 __ movq(rcx, rdx); // Copy receiver for write barrier. 80 __ movq(scratch0(), receiver_reg()); // Copy receiver for write barrier.
99 } else { 81 } else {
100 offset += FixedArray::kHeaderSize; 82 offset += FixedArray::kHeaderSize;
101 __ movq(rcx, FieldOperand(rdx, JSObject::kPropertiesOffset)); 83 __ movq(scratch0(),
84 FieldOperand(receiver_reg(), JSObject::kPropertiesOffset));
102 } 85 }
103 // Perform the store. 86 // Perform the store.
104 __ movq(FieldOperand(rcx, offset), rax); 87 __ movq(FieldOperand(scratch0(), offset), accumulator0());
105 // Preserve value from write barrier in case it's needed. 88 // Preserve value from write barrier in case it's needed.
106 __ movq(rbx, rax); 89 __ movq(accumulator1(), accumulator0());
107 __ RecordWrite(rcx, offset, rbx, rdi); 90 // The other accumulator register is available as a scratch register
91 // because this is not an AST leaf node.
92 __ RecordWrite(scratch0(), offset, accumulator1(), scratch1());
108 } 93 }
109 94
110 95
111 void FastCodeGenerator::Generate(CompilationInfo* compilation_info) { 96 void FastCodeGenerator::Generate(CompilationInfo* compilation_info) {
112 ASSERT(info_ == NULL); 97 ASSERT(info_ == NULL);
113 info_ = compilation_info; 98 info_ = compilation_info;
114 99
115 // Save the caller's frame pointer and set up our own. 100 // Save the caller's frame pointer and set up our own.
116 Comment prologue_cmnt(masm(), ";; Prologue"); 101 Comment prologue_cmnt(masm(), ";; Prologue");
117 __ push(rbp); 102 __ push(rbp);
118 __ movq(rbp, rsp); 103 __ movq(rbp, rsp);
119 __ push(rsi); // Context. 104 __ push(rsi); // Context.
120 __ push(rdi); // Closure. 105 __ push(rdi); // Closure.
121 // Note that we keep a live register reference to esi (context) at this 106 // Note that we keep a live register reference to esi (context) at this
122 // point. 107 // point.
123 108
124 // Receiver (this) is allocated to rdx if there are this properties. 109 // Receiver (this) is allocated to a fixed register.
125 if (info()->has_this_properties()) EmitReceiverMapCheck(); 110 if (info()->has_this_properties()) {
111 Comment cmnt(masm(), ";; MapCheck(this)");
112 if (FLAG_print_ir) {
113 PrintF("MapCheck(this)\n");
114 }
115 ASSERT(info()->has_receiver() && info()->receiver()->IsHeapObject());
116 Handle<HeapObject> object = Handle<HeapObject>::cast(info()->receiver());
117 Handle<Map> map(object->map());
118 EmitLoadReceiver();
119 __ CheckMap(receiver_reg(), map, bailout(), false);
120 }
126 121
127 // If there is a global variable access check if the global object 122 // If there is a global variable access check if the global object is the
128 // is the same as at lazy-compilation time. 123 // same as at lazy-compilation time.
129 if (info()->has_globals()) EmitGlobalMapCheck(); 124 if (info()->has_globals()) {
125 Comment cmnt(masm(), ";; MapCheck(GLOBAL)");
126 if (FLAG_print_ir) {
127 PrintF("MapCheck(GLOBAL)\n");
128 }
129 ASSERT(info()->has_global_object());
130 Handle<Map> map(info()->global_object()->map());
131 __ movq(scratch0(), CodeGenerator::GlobalObject());
132 __ CheckMap(scratch0(), map, bailout(), true);
133 }
130 134
131 VisitStatements(info()->function()->body()); 135 VisitStatements(info()->function()->body());
132 136
133 Comment return_cmnt(masm(), ";; Return(<undefined>)"); 137 Comment return_cmnt(masm(), ";; Return(<undefined>)");
138 if (FLAG_print_ir) {
139 PrintF("Return(<undefined>)\n");
140 }
134 __ LoadRoot(rax, Heap::kUndefinedValueRootIndex); 141 __ LoadRoot(rax, Heap::kUndefinedValueRootIndex);
135
136 Comment epilogue_cmnt(masm(), ";; Epilogue");
137 __ movq(rsp, rbp); 142 __ movq(rsp, rbp);
138 __ pop(rbp); 143 __ pop(rbp);
139 __ ret((scope()->num_parameters() + 1) * kPointerSize); 144 __ ret((scope()->num_parameters() + 1) * kPointerSize);
140 145
141 __ bind(&bailout_); 146 __ bind(&bailout_);
142 } 147 }
143 148
144 149
145 #undef __ 150 #undef __
146 151
147 152
148 } } // namespace v8::internal 153 } } // namespace v8::internal
OLDNEW
« src/ia32/fast-codegen-ia32.cc ('K') | « src/ia32/fast-codegen-ia32.cc ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698