blob: df972f73bc125d1d11b12cbf97217356dc2c5c25 [file] [log] [blame]
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001// Copyright 2014 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00005#include "src/base/adapters.h"
Emily Bernierd0a1eb72015-03-24 16:35:39 -04006#include "src/base/bits.h"
7#include "src/compiler/instruction-selector-impl.h"
8#include "src/compiler/node-matchers.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00009#include "src/compiler/node-properties.h"
Emily Bernierd0a1eb72015-03-24 16:35:39 -040010
11namespace v8 {
12namespace internal {
13namespace compiler {
14
15#define TRACE_UNIMPL() \
16 PrintF("UNIMPLEMENTED instr_sel: %s at line %d\n", __FUNCTION__, __LINE__)
17
18#define TRACE() PrintF("instr_sel: %s at line %d\n", __FUNCTION__, __LINE__)
19
20
21// Adds Mips-specific methods for generating InstructionOperands.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000022class MipsOperandGenerator final : public OperandGenerator {
Emily Bernierd0a1eb72015-03-24 16:35:39 -040023 public:
24 explicit MipsOperandGenerator(InstructionSelector* selector)
25 : OperandGenerator(selector) {}
26
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000027 InstructionOperand UseOperand(Node* node, InstructionCode opcode) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -040028 if (CanBeImmediate(node, opcode)) {
29 return UseImmediate(node);
30 }
31 return UseRegister(node);
32 }
33
34 bool CanBeImmediate(Node* node, InstructionCode opcode) {
35 Int32Matcher m(node);
36 if (!m.HasValue()) return false;
37 int32_t value = m.Value();
38 switch (ArchOpcodeField::decode(opcode)) {
39 case kMipsShl:
40 case kMipsSar:
41 case kMipsShr:
42 return is_uint5(value);
43 case kMipsXor:
44 return is_uint16(value);
45 case kMipsLdc1:
46 case kMipsSdc1:
Emily Bernierd0a1eb72015-03-24 16:35:39 -040047 case kCheckedLoadFloat64:
Emily Bernierd0a1eb72015-03-24 16:35:39 -040048 case kCheckedStoreFloat64:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000049 return std::numeric_limits<int16_t>::min() <= (value + kIntSize) &&
50 std::numeric_limits<int16_t>::max() >= (value + kIntSize);
Emily Bernierd0a1eb72015-03-24 16:35:39 -040051 default:
52 return is_int16(value);
53 }
54 }
55
56 private:
57 bool ImmediateFitsAddrMode1Instruction(int32_t imm) const {
58 TRACE_UNIMPL();
59 return false;
60 }
61};
62
63
64static void VisitRRR(InstructionSelector* selector, ArchOpcode opcode,
65 Node* node) {
66 MipsOperandGenerator g(selector);
67 selector->Emit(opcode, g.DefineAsRegister(node),
68 g.UseRegister(node->InputAt(0)),
69 g.UseRegister(node->InputAt(1)));
70}
71
72
73static void VisitRR(InstructionSelector* selector, ArchOpcode opcode,
74 Node* node) {
75 MipsOperandGenerator g(selector);
76 selector->Emit(opcode, g.DefineAsRegister(node),
77 g.UseRegister(node->InputAt(0)));
78}
79
80
81static void VisitRRO(InstructionSelector* selector, ArchOpcode opcode,
82 Node* node) {
83 MipsOperandGenerator g(selector);
84 selector->Emit(opcode, g.DefineAsRegister(node),
85 g.UseRegister(node->InputAt(0)),
86 g.UseOperand(node->InputAt(1), opcode));
87}
88
89
90static void VisitBinop(InstructionSelector* selector, Node* node,
91 InstructionCode opcode, FlagsContinuation* cont) {
92 MipsOperandGenerator g(selector);
93 Int32BinopMatcher m(node);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000094 InstructionOperand inputs[4];
Emily Bernierd0a1eb72015-03-24 16:35:39 -040095 size_t input_count = 0;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000096 InstructionOperand outputs[2];
Emily Bernierd0a1eb72015-03-24 16:35:39 -040097 size_t output_count = 0;
98
99 inputs[input_count++] = g.UseRegister(m.left().node());
100 inputs[input_count++] = g.UseOperand(m.right().node(), opcode);
101
102 if (cont->IsBranch()) {
103 inputs[input_count++] = g.Label(cont->true_block());
104 inputs[input_count++] = g.Label(cont->false_block());
105 }
106
107 outputs[output_count++] = g.DefineAsRegister(node);
108 if (cont->IsSet()) {
109 outputs[output_count++] = g.DefineAsRegister(cont->result());
110 }
111
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000112 DCHECK_NE(0u, input_count);
113 DCHECK_NE(0u, output_count);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400114 DCHECK_GE(arraysize(inputs), input_count);
115 DCHECK_GE(arraysize(outputs), output_count);
116
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000117 selector->Emit(cont->Encode(opcode), output_count, outputs, input_count,
118 inputs);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400119}
120
121
122static void VisitBinop(InstructionSelector* selector, Node* node,
123 InstructionCode opcode) {
124 FlagsContinuation cont;
125 VisitBinop(selector, node, opcode, &cont);
126}
127
128
129void InstructionSelector::VisitLoad(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000130 LoadRepresentation load_rep = LoadRepresentationOf(node->op());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400131 MipsOperandGenerator g(this);
132 Node* base = node->InputAt(0);
133 Node* index = node->InputAt(1);
134
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000135 ArchOpcode opcode = kArchNop;
136 switch (load_rep.representation()) {
137 case MachineRepresentation::kFloat32:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400138 opcode = kMipsLwc1;
139 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000140 case MachineRepresentation::kFloat64:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400141 opcode = kMipsLdc1;
142 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000143 case MachineRepresentation::kBit: // Fall through.
144 case MachineRepresentation::kWord8:
145 opcode = load_rep.IsUnsigned() ? kMipsLbu : kMipsLb;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400146 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000147 case MachineRepresentation::kWord16:
148 opcode = load_rep.IsUnsigned() ? kMipsLhu : kMipsLh;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400149 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000150 case MachineRepresentation::kTagged: // Fall through.
151 case MachineRepresentation::kWord32:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400152 opcode = kMipsLw;
153 break;
Ben Murdoch097c5b22016-05-18 11:27:45 +0100154 case MachineRepresentation::kWord64: // Fall through.
155 case MachineRepresentation::kSimd128: // Fall through.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000156 case MachineRepresentation::kNone:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400157 UNREACHABLE();
158 return;
159 }
160
161 if (g.CanBeImmediate(index, opcode)) {
162 Emit(opcode | AddressingModeField::encode(kMode_MRI),
163 g.DefineAsRegister(node), g.UseRegister(base), g.UseImmediate(index));
164 } else {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000165 InstructionOperand addr_reg = g.TempRegister();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400166 Emit(kMipsAdd | AddressingModeField::encode(kMode_None), addr_reg,
167 g.UseRegister(index), g.UseRegister(base));
168 // Emit desired load opcode, using temp addr_reg.
169 Emit(opcode | AddressingModeField::encode(kMode_MRI),
170 g.DefineAsRegister(node), addr_reg, g.TempImmediate(0));
171 }
172}
173
174
175void InstructionSelector::VisitStore(Node* node) {
176 MipsOperandGenerator g(this);
177 Node* base = node->InputAt(0);
178 Node* index = node->InputAt(1);
179 Node* value = node->InputAt(2);
180
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000181 StoreRepresentation store_rep = StoreRepresentationOf(node->op());
182 WriteBarrierKind write_barrier_kind = store_rep.write_barrier_kind();
183 MachineRepresentation rep = store_rep.representation();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400184
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000185 // TODO(mips): I guess this could be done in a better way.
186 if (write_barrier_kind != kNoWriteBarrier) {
187 DCHECK_EQ(MachineRepresentation::kTagged, rep);
188 InstructionOperand inputs[3];
189 size_t input_count = 0;
190 inputs[input_count++] = g.UseUniqueRegister(base);
191 inputs[input_count++] = g.UseUniqueRegister(index);
192 inputs[input_count++] = (write_barrier_kind == kMapWriteBarrier)
193 ? g.UseRegister(value)
194 : g.UseUniqueRegister(value);
195 RecordWriteMode record_write_mode = RecordWriteMode::kValueIsAny;
196 switch (write_barrier_kind) {
197 case kNoWriteBarrier:
198 UNREACHABLE();
199 break;
200 case kMapWriteBarrier:
201 record_write_mode = RecordWriteMode::kValueIsMap;
202 break;
203 case kPointerWriteBarrier:
204 record_write_mode = RecordWriteMode::kValueIsPointer;
205 break;
206 case kFullWriteBarrier:
207 record_write_mode = RecordWriteMode::kValueIsAny;
208 break;
209 }
210 InstructionOperand temps[] = {g.TempRegister(), g.TempRegister()};
211 size_t const temp_count = arraysize(temps);
212 InstructionCode code = kArchStoreWithWriteBarrier;
213 code |= MiscField::encode(static_cast<int>(record_write_mode));
214 Emit(code, 0, nullptr, input_count, inputs, temp_count, temps);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400215 } else {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000216 ArchOpcode opcode = kArchNop;
217 switch (rep) {
218 case MachineRepresentation::kFloat32:
219 opcode = kMipsSwc1;
220 break;
221 case MachineRepresentation::kFloat64:
222 opcode = kMipsSdc1;
223 break;
224 case MachineRepresentation::kBit: // Fall through.
225 case MachineRepresentation::kWord8:
226 opcode = kMipsSb;
227 break;
228 case MachineRepresentation::kWord16:
229 opcode = kMipsSh;
230 break;
231 case MachineRepresentation::kTagged: // Fall through.
232 case MachineRepresentation::kWord32:
233 opcode = kMipsSw;
234 break;
Ben Murdoch097c5b22016-05-18 11:27:45 +0100235 case MachineRepresentation::kWord64: // Fall through.
236 case MachineRepresentation::kSimd128: // Fall through.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000237 case MachineRepresentation::kNone:
238 UNREACHABLE();
239 return;
240 }
241
242 if (g.CanBeImmediate(index, opcode)) {
243 Emit(opcode | AddressingModeField::encode(kMode_MRI), g.NoOutput(),
244 g.UseRegister(base), g.UseImmediate(index), g.UseRegister(value));
245 } else {
246 InstructionOperand addr_reg = g.TempRegister();
247 Emit(kMipsAdd | AddressingModeField::encode(kMode_None), addr_reg,
248 g.UseRegister(index), g.UseRegister(base));
249 // Emit desired store opcode, using temp addr_reg.
250 Emit(opcode | AddressingModeField::encode(kMode_MRI), g.NoOutput(),
251 addr_reg, g.TempImmediate(0), g.UseRegister(value));
252 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400253 }
254}
255
256
257void InstructionSelector::VisitWord32And(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000258 MipsOperandGenerator g(this);
259 Int32BinopMatcher m(node);
260 if (m.left().IsWord32Shr() && CanCover(node, m.left().node()) &&
261 m.right().HasValue()) {
262 uint32_t mask = m.right().Value();
263 uint32_t mask_width = base::bits::CountPopulation32(mask);
264 uint32_t mask_msb = base::bits::CountLeadingZeros32(mask);
265 if ((mask_width != 0) && (mask_msb + mask_width == 32)) {
266 // The mask must be contiguous, and occupy the least-significant bits.
267 DCHECK_EQ(0u, base::bits::CountTrailingZeros32(mask));
268
269 // Select Ext for And(Shr(x, imm), mask) where the mask is in the least
270 // significant bits.
271 Int32BinopMatcher mleft(m.left().node());
272 if (mleft.right().HasValue()) {
273 // Any shift value can match; int32 shifts use `value % 32`.
274 uint32_t lsb = mleft.right().Value() & 0x1f;
275
276 // Ext cannot extract bits past the register size, however since
277 // shifting the original value would have introduced some zeros we can
278 // still use Ext with a smaller mask and the remaining bits will be
279 // zeros.
280 if (lsb + mask_width > 32) mask_width = 32 - lsb;
281
282 Emit(kMipsExt, g.DefineAsRegister(node),
283 g.UseRegister(mleft.left().node()), g.TempImmediate(lsb),
284 g.TempImmediate(mask_width));
285 return;
286 }
287 // Other cases fall through to the normal And operation.
288 }
289 }
290 if (m.right().HasValue()) {
291 uint32_t mask = m.right().Value();
292 uint32_t shift = base::bits::CountPopulation32(~mask);
293 uint32_t msb = base::bits::CountLeadingZeros32(~mask);
294 if (shift != 0 && shift != 32 && msb + shift == 32) {
295 // Insert zeros for (x >> K) << K => x & ~(2^K - 1) expression reduction
296 // and remove constant loading of invereted mask.
297 Emit(kMipsIns, g.DefineSameAsFirst(node), g.UseRegister(m.left().node()),
298 g.TempImmediate(0), g.TempImmediate(shift));
299 return;
300 }
301 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400302 VisitBinop(this, node, kMipsAnd);
303}
304
305
306void InstructionSelector::VisitWord32Or(Node* node) {
307 VisitBinop(this, node, kMipsOr);
308}
309
310
311void InstructionSelector::VisitWord32Xor(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000312 Int32BinopMatcher m(node);
313 if (m.left().IsWord32Or() && CanCover(node, m.left().node()) &&
314 m.right().Is(-1)) {
315 Int32BinopMatcher mleft(m.left().node());
316 if (!mleft.right().HasValue()) {
317 MipsOperandGenerator g(this);
318 Emit(kMipsNor, g.DefineAsRegister(node),
319 g.UseRegister(mleft.left().node()),
320 g.UseRegister(mleft.right().node()));
321 return;
322 }
323 }
324 if (m.right().Is(-1)) {
325 // Use Nor for bit negation and eliminate constant loading for xori.
326 MipsOperandGenerator g(this);
327 Emit(kMipsNor, g.DefineAsRegister(node), g.UseRegister(m.left().node()),
328 g.TempImmediate(0));
329 return;
330 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400331 VisitBinop(this, node, kMipsXor);
332}
333
334
335void InstructionSelector::VisitWord32Shl(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000336 Int32BinopMatcher m(node);
337 if (m.left().IsWord32And() && CanCover(node, m.left().node()) &&
338 m.right().IsInRange(1, 31)) {
339 MipsOperandGenerator g(this);
340 Int32BinopMatcher mleft(m.left().node());
341 // Match Word32Shl(Word32And(x, mask), imm) to Shl where the mask is
342 // contiguous, and the shift immediate non-zero.
343 if (mleft.right().HasValue()) {
344 uint32_t mask = mleft.right().Value();
345 uint32_t mask_width = base::bits::CountPopulation32(mask);
346 uint32_t mask_msb = base::bits::CountLeadingZeros32(mask);
347 if ((mask_width != 0) && (mask_msb + mask_width == 32)) {
348 uint32_t shift = m.right().Value();
349 DCHECK_EQ(0u, base::bits::CountTrailingZeros32(mask));
350 DCHECK_NE(0u, shift);
351 if ((shift + mask_width) >= 32) {
352 // If the mask is contiguous and reaches or extends beyond the top
353 // bit, only the shift is needed.
354 Emit(kMipsShl, g.DefineAsRegister(node),
355 g.UseRegister(mleft.left().node()),
356 g.UseImmediate(m.right().node()));
357 return;
358 }
359 }
360 }
361 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400362 VisitRRO(this, kMipsShl, node);
363}
364
365
366void InstructionSelector::VisitWord32Shr(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000367 Int32BinopMatcher m(node);
368 if (m.left().IsWord32And() && m.right().HasValue()) {
369 uint32_t lsb = m.right().Value() & 0x1f;
370 Int32BinopMatcher mleft(m.left().node());
371 if (mleft.right().HasValue()) {
372 // Select Ext for Shr(And(x, mask), imm) where the result of the mask is
373 // shifted into the least-significant bits.
374 uint32_t mask = (mleft.right().Value() >> lsb) << lsb;
375 unsigned mask_width = base::bits::CountPopulation32(mask);
376 unsigned mask_msb = base::bits::CountLeadingZeros32(mask);
377 if ((mask_msb + mask_width + lsb) == 32) {
378 MipsOperandGenerator g(this);
379 DCHECK_EQ(lsb, base::bits::CountTrailingZeros32(mask));
380 Emit(kMipsExt, g.DefineAsRegister(node),
381 g.UseRegister(mleft.left().node()), g.TempImmediate(lsb),
382 g.TempImmediate(mask_width));
383 return;
384 }
385 }
386 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400387 VisitRRO(this, kMipsShr, node);
388}
389
390
391void InstructionSelector::VisitWord32Sar(Node* node) {
392 VisitRRO(this, kMipsSar, node);
393}
394
395
396void InstructionSelector::VisitWord32Ror(Node* node) {
397 VisitRRO(this, kMipsRor, node);
398}
399
400
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000401void InstructionSelector::VisitWord32Clz(Node* node) {
402 VisitRR(this, kMipsClz, node);
403}
404
405
Ben Murdoch097c5b22016-05-18 11:27:45 +0100406void InstructionSelector::VisitWord32ReverseBits(Node* node) { UNREACHABLE(); }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000407
408
Ben Murdoch097c5b22016-05-18 11:27:45 +0100409void InstructionSelector::VisitWord32Ctz(Node* node) {
410 MipsOperandGenerator g(this);
411 Emit(kMipsCtz, g.DefineAsRegister(node), g.UseRegister(node->InputAt(0)));
412}
413
414
415void InstructionSelector::VisitWord32Popcnt(Node* node) {
416 MipsOperandGenerator g(this);
417 Emit(kMipsPopcnt, g.DefineAsRegister(node), g.UseRegister(node->InputAt(0)));
418}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000419
420
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400421void InstructionSelector::VisitInt32Add(Node* node) {
422 MipsOperandGenerator g(this);
423
424 // TODO(plind): Consider multiply & add optimization from arm port.
425 VisitBinop(this, node, kMipsAdd);
426}
427
428
429void InstructionSelector::VisitInt32Sub(Node* node) {
430 VisitBinop(this, node, kMipsSub);
431}
432
433
434void InstructionSelector::VisitInt32Mul(Node* node) {
435 MipsOperandGenerator g(this);
436 Int32BinopMatcher m(node);
437 if (m.right().HasValue() && m.right().Value() > 0) {
438 int32_t value = m.right().Value();
439 if (base::bits::IsPowerOfTwo32(value)) {
440 Emit(kMipsShl | AddressingModeField::encode(kMode_None),
441 g.DefineAsRegister(node), g.UseRegister(m.left().node()),
442 g.TempImmediate(WhichPowerOf2(value)));
443 return;
444 }
445 if (base::bits::IsPowerOfTwo32(value - 1)) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000446 InstructionOperand temp = g.TempRegister();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400447 Emit(kMipsShl | AddressingModeField::encode(kMode_None), temp,
448 g.UseRegister(m.left().node()),
449 g.TempImmediate(WhichPowerOf2(value - 1)));
450 Emit(kMipsAdd | AddressingModeField::encode(kMode_None),
451 g.DefineAsRegister(node), g.UseRegister(m.left().node()), temp);
452 return;
453 }
454 if (base::bits::IsPowerOfTwo32(value + 1)) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000455 InstructionOperand temp = g.TempRegister();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400456 Emit(kMipsShl | AddressingModeField::encode(kMode_None), temp,
457 g.UseRegister(m.left().node()),
458 g.TempImmediate(WhichPowerOf2(value + 1)));
459 Emit(kMipsSub | AddressingModeField::encode(kMode_None),
460 g.DefineAsRegister(node), temp, g.UseRegister(m.left().node()));
461 return;
462 }
463 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000464 VisitRRR(this, kMipsMul, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400465}
466
467
468void InstructionSelector::VisitInt32MulHigh(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000469 VisitRRR(this, kMipsMulHigh, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400470}
471
472
473void InstructionSelector::VisitUint32MulHigh(Node* node) {
474 MipsOperandGenerator g(this);
475 Emit(kMipsMulHighU, g.DefineAsRegister(node), g.UseRegister(node->InputAt(0)),
476 g.UseRegister(node->InputAt(1)));
477}
478
479
480void InstructionSelector::VisitInt32Div(Node* node) {
481 MipsOperandGenerator g(this);
482 Int32BinopMatcher m(node);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000483 Emit(kMipsDiv, g.DefineSameAsFirst(node), g.UseRegister(m.left().node()),
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400484 g.UseRegister(m.right().node()));
485}
486
487
488void InstructionSelector::VisitUint32Div(Node* node) {
489 MipsOperandGenerator g(this);
490 Int32BinopMatcher m(node);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000491 Emit(kMipsDivU, g.DefineSameAsFirst(node), g.UseRegister(m.left().node()),
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400492 g.UseRegister(m.right().node()));
493}
494
495
496void InstructionSelector::VisitInt32Mod(Node* node) {
497 MipsOperandGenerator g(this);
498 Int32BinopMatcher m(node);
499 Emit(kMipsMod, g.DefineAsRegister(node), g.UseRegister(m.left().node()),
500 g.UseRegister(m.right().node()));
501}
502
503
504void InstructionSelector::VisitUint32Mod(Node* node) {
505 MipsOperandGenerator g(this);
506 Int32BinopMatcher m(node);
507 Emit(kMipsModU, g.DefineAsRegister(node), g.UseRegister(m.left().node()),
508 g.UseRegister(m.right().node()));
509}
510
511
512void InstructionSelector::VisitChangeFloat32ToFloat64(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000513 VisitRR(this, kMipsCvtDS, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400514}
515
516
Ben Murdoch097c5b22016-05-18 11:27:45 +0100517void InstructionSelector::VisitRoundInt32ToFloat32(Node* node) {
518 VisitRR(this, kMipsCvtSW, node);
519}
520
521
522void InstructionSelector::VisitRoundUint32ToFloat32(Node* node) {
523 VisitRR(this, kMipsCvtSUw, node);
524}
525
526
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400527void InstructionSelector::VisitChangeInt32ToFloat64(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000528 VisitRR(this, kMipsCvtDW, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400529}
530
531
532void InstructionSelector::VisitChangeUint32ToFloat64(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000533 VisitRR(this, kMipsCvtDUw, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400534}
535
536
Ben Murdoch097c5b22016-05-18 11:27:45 +0100537void InstructionSelector::VisitTruncateFloat32ToInt32(Node* node) {
538 VisitRR(this, kMipsTruncWS, node);
539}
540
541
542void InstructionSelector::VisitTruncateFloat32ToUint32(Node* node) {
543 VisitRR(this, kMipsTruncUwS, node);
544}
545
546
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400547void InstructionSelector::VisitChangeFloat64ToInt32(Node* node) {
548 MipsOperandGenerator g(this);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000549 Node* value = node->InputAt(0);
550 // Match ChangeFloat64ToInt32(Float64Round##OP) to corresponding instruction
551 // which does rounding and conversion to integer format.
552 if (CanCover(node, value)) {
553 switch (value->opcode()) {
554 case IrOpcode::kFloat64RoundDown:
555 Emit(kMipsFloorWD, g.DefineAsRegister(node),
556 g.UseRegister(value->InputAt(0)));
557 return;
558 case IrOpcode::kFloat64RoundUp:
559 Emit(kMipsCeilWD, g.DefineAsRegister(node),
560 g.UseRegister(value->InputAt(0)));
561 return;
562 case IrOpcode::kFloat64RoundTiesEven:
563 Emit(kMipsRoundWD, g.DefineAsRegister(node),
564 g.UseRegister(value->InputAt(0)));
565 return;
566 case IrOpcode::kFloat64RoundTruncate:
567 Emit(kMipsTruncWD, g.DefineAsRegister(node),
568 g.UseRegister(value->InputAt(0)));
569 return;
570 default:
571 break;
572 }
573 if (value->opcode() == IrOpcode::kChangeFloat32ToFloat64) {
574 Node* next = value->InputAt(0);
575 if (CanCover(value, next)) {
576 // Match ChangeFloat64ToInt32(ChangeFloat32ToFloat64(Float64Round##OP))
577 switch (next->opcode()) {
578 case IrOpcode::kFloat32RoundDown:
579 Emit(kMipsFloorWS, g.DefineAsRegister(node),
580 g.UseRegister(next->InputAt(0)));
581 return;
582 case IrOpcode::kFloat32RoundUp:
583 Emit(kMipsCeilWS, g.DefineAsRegister(node),
584 g.UseRegister(next->InputAt(0)));
585 return;
586 case IrOpcode::kFloat32RoundTiesEven:
587 Emit(kMipsRoundWS, g.DefineAsRegister(node),
588 g.UseRegister(next->InputAt(0)));
589 return;
590 case IrOpcode::kFloat32RoundTruncate:
591 Emit(kMipsTruncWS, g.DefineAsRegister(node),
592 g.UseRegister(next->InputAt(0)));
593 return;
594 default:
595 Emit(kMipsTruncWS, g.DefineAsRegister(node),
596 g.UseRegister(value->InputAt(0)));
597 return;
598 }
599 } else {
600 // Match float32 -> float64 -> int32 representation change path.
601 Emit(kMipsTruncWS, g.DefineAsRegister(node),
602 g.UseRegister(value->InputAt(0)));
603 return;
604 }
605 }
606 }
607 VisitRR(this, kMipsTruncWD, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400608}
609
610
611void InstructionSelector::VisitChangeFloat64ToUint32(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000612 VisitRR(this, kMipsTruncUwD, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400613}
614
615
616void InstructionSelector::VisitTruncateFloat64ToFloat32(Node* node) {
617 MipsOperandGenerator g(this);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000618 Node* value = node->InputAt(0);
619 // Match TruncateFloat64ToFloat32(ChangeInt32ToFloat64) to corresponding
620 // instruction.
621 if (CanCover(node, value) &&
622 value->opcode() == IrOpcode::kChangeInt32ToFloat64) {
623 Emit(kMipsCvtSW, g.DefineAsRegister(node),
624 g.UseRegister(value->InputAt(0)));
625 return;
626 }
627 VisitRR(this, kMipsCvtSD, node);
628}
629
630
631void InstructionSelector::VisitTruncateFloat64ToInt32(Node* node) {
632 switch (TruncationModeOf(node->op())) {
633 case TruncationMode::kJavaScript:
634 return VisitRR(this, kArchTruncateDoubleToI, node);
635 case TruncationMode::kRoundToZero:
636 return VisitRR(this, kMipsTruncWD, node);
637 }
638 UNREACHABLE();
639}
640
641
642void InstructionSelector::VisitBitcastFloat32ToInt32(Node* node) {
643 VisitRR(this, kMipsFloat64ExtractLowWord32, node);
644}
645
646
647void InstructionSelector::VisitBitcastInt32ToFloat32(Node* node) {
648 MipsOperandGenerator g(this);
649 Emit(kMipsFloat64InsertLowWord32, g.DefineAsRegister(node),
650 ImmediateOperand(ImmediateOperand::INLINE, 0),
651 g.UseRegister(node->InputAt(0)));
652}
653
654
655void InstructionSelector::VisitFloat32Add(Node* node) {
656 VisitRRR(this, kMipsAddS, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400657}
658
659
660void InstructionSelector::VisitFloat64Add(Node* node) {
661 VisitRRR(this, kMipsAddD, node);
662}
663
664
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000665void InstructionSelector::VisitFloat32Sub(Node* node) {
666 VisitRRR(this, kMipsSubS, node);
667}
668
669
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400670void InstructionSelector::VisitFloat64Sub(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000671 MipsOperandGenerator g(this);
672 Float64BinopMatcher m(node);
673 if (m.left().IsMinusZero() && m.right().IsFloat64RoundDown() &&
674 CanCover(m.node(), m.right().node())) {
675 if (m.right().InputAt(0)->opcode() == IrOpcode::kFloat64Sub &&
676 CanCover(m.right().node(), m.right().InputAt(0))) {
677 Float64BinopMatcher mright0(m.right().InputAt(0));
678 if (mright0.left().IsMinusZero()) {
679 Emit(kMipsFloat64RoundUp, g.DefineAsRegister(node),
680 g.UseRegister(mright0.right().node()));
681 return;
682 }
683 }
684 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400685 VisitRRR(this, kMipsSubD, node);
686}
687
688
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000689void InstructionSelector::VisitFloat32Mul(Node* node) {
690 VisitRRR(this, kMipsMulS, node);
691}
692
693
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400694void InstructionSelector::VisitFloat64Mul(Node* node) {
695 VisitRRR(this, kMipsMulD, node);
696}
697
698
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000699void InstructionSelector::VisitFloat32Div(Node* node) {
700 VisitRRR(this, kMipsDivS, node);
701}
702
703
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400704void InstructionSelector::VisitFloat64Div(Node* node) {
705 VisitRRR(this, kMipsDivD, node);
706}
707
708
709void InstructionSelector::VisitFloat64Mod(Node* node) {
710 MipsOperandGenerator g(this);
711 Emit(kMipsModD, g.DefineAsFixed(node, f0), g.UseFixed(node->InputAt(0), f12),
712 g.UseFixed(node->InputAt(1), f14))->MarkAsCall();
713}
714
715
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000716void InstructionSelector::VisitFloat32Max(Node* node) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400717 MipsOperandGenerator g(this);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000718 if (IsMipsArchVariant(kMips32r6)) {
719 Emit(kMipsFloat32Max, g.DefineAsRegister(node),
720 g.UseUniqueRegister(node->InputAt(0)),
721 g.UseUniqueRegister(node->InputAt(1)));
722
723 } else {
724 // Reverse operands, and use same reg. for result and right operand.
725 Emit(kMipsFloat32Max, g.DefineSameAsFirst(node),
726 g.UseRegister(node->InputAt(1)), g.UseRegister(node->InputAt(0)));
727 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400728}
729
730
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000731void InstructionSelector::VisitFloat64Max(Node* node) {
732 MipsOperandGenerator g(this);
733 if (IsMipsArchVariant(kMips32r6)) {
734 Emit(kMipsFloat64Max, g.DefineAsRegister(node),
735 g.UseUniqueRegister(node->InputAt(0)),
736 g.UseUniqueRegister(node->InputAt(1)));
737
738 } else {
739 // Reverse operands, and use same reg. for result and right operand.
740 Emit(kMipsFloat64Max, g.DefineSameAsFirst(node),
741 g.UseRegister(node->InputAt(1)), g.UseRegister(node->InputAt(0)));
742 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400743}
744
745
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000746void InstructionSelector::VisitFloat32Min(Node* node) {
747 MipsOperandGenerator g(this);
748 if (IsMipsArchVariant(kMips32r6)) {
749 Emit(kMipsFloat32Min, g.DefineAsRegister(node),
750 g.UseUniqueRegister(node->InputAt(0)),
751 g.UseUniqueRegister(node->InputAt(1)));
752
753 } else {
754 // Reverse operands, and use same reg. for result and right operand.
755 Emit(kMipsFloat32Min, g.DefineSameAsFirst(node),
756 g.UseRegister(node->InputAt(1)), g.UseRegister(node->InputAt(0)));
757 }
758}
759
760
761void InstructionSelector::VisitFloat64Min(Node* node) {
762 MipsOperandGenerator g(this);
763 if (IsMipsArchVariant(kMips32r6)) {
764 Emit(kMipsFloat64Min, g.DefineAsRegister(node),
765 g.UseUniqueRegister(node->InputAt(0)),
766 g.UseUniqueRegister(node->InputAt(1)));
767
768 } else {
769 // Reverse operands, and use same reg. for result and right operand.
770 Emit(kMipsFloat64Min, g.DefineSameAsFirst(node),
771 g.UseRegister(node->InputAt(1)), g.UseRegister(node->InputAt(0)));
772 }
773}
774
775
776void InstructionSelector::VisitFloat32Abs(Node* node) {
777 VisitRR(this, kMipsAbsS, node);
778}
779
780
781void InstructionSelector::VisitFloat64Abs(Node* node) {
782 VisitRR(this, kMipsAbsD, node);
783}
784
785
786void InstructionSelector::VisitFloat32Sqrt(Node* node) {
787 VisitRR(this, kMipsSqrtS, node);
788}
789
790
791void InstructionSelector::VisitFloat64Sqrt(Node* node) {
792 VisitRR(this, kMipsSqrtD, node);
793}
794
795
796void InstructionSelector::VisitFloat32RoundDown(Node* node) {
797 VisitRR(this, kMipsFloat32RoundDown, node);
798}
799
800
801void InstructionSelector::VisitFloat64RoundDown(Node* node) {
802 VisitRR(this, kMipsFloat64RoundDown, node);
803}
804
805
806void InstructionSelector::VisitFloat32RoundUp(Node* node) {
807 VisitRR(this, kMipsFloat32RoundUp, node);
808}
809
810
811void InstructionSelector::VisitFloat64RoundUp(Node* node) {
812 VisitRR(this, kMipsFloat64RoundUp, node);
813}
814
815
816void InstructionSelector::VisitFloat32RoundTruncate(Node* node) {
817 VisitRR(this, kMipsFloat32RoundTruncate, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400818}
819
820
821void InstructionSelector::VisitFloat64RoundTruncate(Node* node) {
822 VisitRR(this, kMipsFloat64RoundTruncate, node);
823}
824
825
826void InstructionSelector::VisitFloat64RoundTiesAway(Node* node) {
827 UNREACHABLE();
828}
829
830
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000831void InstructionSelector::VisitFloat32RoundTiesEven(Node* node) {
832 VisitRR(this, kMipsFloat32RoundTiesEven, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400833}
834
835
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000836void InstructionSelector::VisitFloat64RoundTiesEven(Node* node) {
837 VisitRR(this, kMipsFloat64RoundTiesEven, node);
838}
839
840
841void InstructionSelector::EmitPrepareArguments(
842 ZoneVector<PushParameter>* arguments, const CallDescriptor* descriptor,
843 Node* node) {
844 MipsOperandGenerator g(this);
845
846 // Prepare for C function call.
847 if (descriptor->IsCFunctionCall()) {
848 Emit(kArchPrepareCallCFunction |
849 MiscField::encode(static_cast<int>(descriptor->CParameterCount())),
850 0, nullptr, 0, nullptr);
851
852 // Poke any stack arguments.
853 int slot = kCArgSlotCount;
854 for (PushParameter input : (*arguments)) {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100855 if (input.node()) {
856 Emit(kMipsStoreToStackSlot, g.NoOutput(), g.UseRegister(input.node()),
857 g.TempImmediate(slot << kPointerSizeLog2));
858 ++slot;
859 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000860 }
861 } else {
862 // Possibly align stack here for functions.
863 int push_count = static_cast<int>(descriptor->StackParameterCount());
864 if (push_count > 0) {
865 Emit(kMipsStackClaim, g.NoOutput(),
866 g.TempImmediate(push_count << kPointerSizeLog2));
867 }
868 for (size_t n = 0; n < arguments->size(); ++n) {
869 PushParameter input = (*arguments)[n];
870 if (input.node()) {
871 Emit(kMipsStoreToStackSlot, g.NoOutput(), g.UseRegister(input.node()),
872 g.TempImmediate(n << kPointerSizeLog2));
873 }
874 }
875 }
876}
877
878
879bool InstructionSelector::IsTailCallAddressImmediate() { return false; }
880
881
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400882void InstructionSelector::VisitCheckedLoad(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000883 CheckedLoadRepresentation load_rep = CheckedLoadRepresentationOf(node->op());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400884 MipsOperandGenerator g(this);
885 Node* const buffer = node->InputAt(0);
886 Node* const offset = node->InputAt(1);
887 Node* const length = node->InputAt(2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000888 ArchOpcode opcode = kArchNop;
889 switch (load_rep.representation()) {
890 case MachineRepresentation::kWord8:
891 opcode = load_rep.IsSigned() ? kCheckedLoadInt8 : kCheckedLoadUint8;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400892 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000893 case MachineRepresentation::kWord16:
894 opcode = load_rep.IsSigned() ? kCheckedLoadInt16 : kCheckedLoadUint16;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400895 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000896 case MachineRepresentation::kWord32:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400897 opcode = kCheckedLoadWord32;
898 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000899 case MachineRepresentation::kFloat32:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400900 opcode = kCheckedLoadFloat32;
901 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000902 case MachineRepresentation::kFloat64:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400903 opcode = kCheckedLoadFloat64;
904 break;
Ben Murdoch097c5b22016-05-18 11:27:45 +0100905 case MachineRepresentation::kBit: // Fall through.
906 case MachineRepresentation::kTagged: // Fall through.
907 case MachineRepresentation::kWord64: // Fall through.
908 case MachineRepresentation::kSimd128: // Fall through.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000909 case MachineRepresentation::kNone:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400910 UNREACHABLE();
911 return;
912 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000913 InstructionOperand offset_operand = g.CanBeImmediate(offset, opcode)
914 ? g.UseImmediate(offset)
915 : g.UseRegister(offset);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400916
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000917 InstructionOperand length_operand = (!g.CanBeImmediate(offset, opcode))
918 ? g.CanBeImmediate(length, opcode)
919 ? g.UseImmediate(length)
920 : g.UseRegister(length)
921 : g.UseRegister(length);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400922
923 Emit(opcode | AddressingModeField::encode(kMode_MRI),
924 g.DefineAsRegister(node), offset_operand, length_operand,
925 g.UseRegister(buffer));
926}
927
928
929void InstructionSelector::VisitCheckedStore(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000930 MachineRepresentation rep = CheckedStoreRepresentationOf(node->op());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400931 MipsOperandGenerator g(this);
932 Node* const buffer = node->InputAt(0);
933 Node* const offset = node->InputAt(1);
934 Node* const length = node->InputAt(2);
935 Node* const value = node->InputAt(3);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000936 ArchOpcode opcode = kArchNop;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400937 switch (rep) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000938 case MachineRepresentation::kWord8:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400939 opcode = kCheckedStoreWord8;
940 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000941 case MachineRepresentation::kWord16:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400942 opcode = kCheckedStoreWord16;
943 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000944 case MachineRepresentation::kWord32:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400945 opcode = kCheckedStoreWord32;
946 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000947 case MachineRepresentation::kFloat32:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400948 opcode = kCheckedStoreFloat32;
949 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000950 case MachineRepresentation::kFloat64:
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400951 opcode = kCheckedStoreFloat64;
952 break;
953 default:
954 UNREACHABLE();
955 return;
956 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000957 InstructionOperand offset_operand = g.CanBeImmediate(offset, opcode)
958 ? g.UseImmediate(offset)
959 : g.UseRegister(offset);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400960
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000961 InstructionOperand length_operand = (!g.CanBeImmediate(offset, opcode))
962 ? g.CanBeImmediate(length, opcode)
963 ? g.UseImmediate(length)
964 : g.UseRegister(length)
965 : g.UseRegister(length);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400966
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000967 Emit(opcode | AddressingModeField::encode(kMode_MRI), g.NoOutput(),
968 offset_operand, length_operand, g.UseRegister(value),
969 g.UseRegister(buffer));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400970}
971
972
973namespace {
974
975// Shared routine for multiple compare operations.
976static void VisitCompare(InstructionSelector* selector, InstructionCode opcode,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000977 InstructionOperand left, InstructionOperand right,
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400978 FlagsContinuation* cont) {
979 MipsOperandGenerator g(selector);
980 opcode = cont->Encode(opcode);
981 if (cont->IsBranch()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000982 selector->Emit(opcode, g.NoOutput(), left, right,
983 g.Label(cont->true_block()), g.Label(cont->false_block()));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400984 } else {
985 DCHECK(cont->IsSet());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400986 selector->Emit(opcode, g.DefineAsRegister(cont->result()), left, right);
987 }
988}
989
990
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000991// Shared routine for multiple float32 compare operations.
992void VisitFloat32Compare(InstructionSelector* selector, Node* node,
993 FlagsContinuation* cont) {
994 MipsOperandGenerator g(selector);
995 Float32BinopMatcher m(node);
996 InstructionOperand lhs, rhs;
997
998 lhs = m.left().IsZero() ? g.UseImmediate(m.left().node())
999 : g.UseRegister(m.left().node());
1000 rhs = m.right().IsZero() ? g.UseImmediate(m.right().node())
1001 : g.UseRegister(m.right().node());
1002 VisitCompare(selector, kMipsCmpS, lhs, rhs, cont);
1003}
1004
1005
1006// Shared routine for multiple float64 compare operations.
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001007void VisitFloat64Compare(InstructionSelector* selector, Node* node,
1008 FlagsContinuation* cont) {
1009 MipsOperandGenerator g(selector);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001010 Float64BinopMatcher m(node);
1011 InstructionOperand lhs, rhs;
1012
1013 lhs = m.left().IsZero() ? g.UseImmediate(m.left().node())
1014 : g.UseRegister(m.left().node());
1015 rhs = m.right().IsZero() ? g.UseImmediate(m.right().node())
1016 : g.UseRegister(m.right().node());
1017 VisitCompare(selector, kMipsCmpD, lhs, rhs, cont);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001018}
1019
1020
1021// Shared routine for multiple word compare operations.
1022void VisitWordCompare(InstructionSelector* selector, Node* node,
1023 InstructionCode opcode, FlagsContinuation* cont,
1024 bool commutative) {
1025 MipsOperandGenerator g(selector);
1026 Node* left = node->InputAt(0);
1027 Node* right = node->InputAt(1);
1028
1029 // Match immediates on left or right side of comparison.
1030 if (g.CanBeImmediate(right, opcode)) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001031 switch (cont->condition()) {
1032 case kEqual:
1033 case kNotEqual:
1034 if (cont->IsSet()) {
1035 VisitCompare(selector, opcode, g.UseRegister(left),
1036 g.UseImmediate(right), cont);
1037 } else {
1038 VisitCompare(selector, opcode, g.UseRegister(left),
1039 g.UseRegister(right), cont);
1040 }
1041 break;
1042 case kSignedLessThan:
1043 case kSignedGreaterThanOrEqual:
1044 case kUnsignedLessThan:
1045 case kUnsignedGreaterThanOrEqual:
1046 VisitCompare(selector, opcode, g.UseRegister(left),
1047 g.UseImmediate(right), cont);
1048 break;
1049 default:
1050 VisitCompare(selector, opcode, g.UseRegister(left),
1051 g.UseRegister(right), cont);
1052 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001053 } else if (g.CanBeImmediate(left, opcode)) {
1054 if (!commutative) cont->Commute();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001055 switch (cont->condition()) {
1056 case kEqual:
1057 case kNotEqual:
1058 if (cont->IsSet()) {
1059 VisitCompare(selector, opcode, g.UseRegister(right),
1060 g.UseImmediate(left), cont);
1061 } else {
1062 VisitCompare(selector, opcode, g.UseRegister(right),
1063 g.UseRegister(left), cont);
1064 }
1065 break;
1066 case kSignedLessThan:
1067 case kSignedGreaterThanOrEqual:
1068 case kUnsignedLessThan:
1069 case kUnsignedGreaterThanOrEqual:
1070 VisitCompare(selector, opcode, g.UseRegister(right),
1071 g.UseImmediate(left), cont);
1072 break;
1073 default:
1074 VisitCompare(selector, opcode, g.UseRegister(right),
1075 g.UseRegister(left), cont);
1076 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001077 } else {
1078 VisitCompare(selector, opcode, g.UseRegister(left), g.UseRegister(right),
1079 cont);
1080 }
1081}
1082
1083
1084void VisitWordCompare(InstructionSelector* selector, Node* node,
1085 FlagsContinuation* cont) {
1086 VisitWordCompare(selector, node, kMipsCmp, cont, false);
1087}
1088
1089} // namespace
1090
1091
1092// Shared routine for word comparisons against zero.
1093void VisitWordCompareZero(InstructionSelector* selector, Node* user,
1094 Node* value, FlagsContinuation* cont) {
1095 while (selector->CanCover(user, value)) {
1096 switch (value->opcode()) {
1097 case IrOpcode::kWord32Equal: {
1098 // Combine with comparisons against 0 by simply inverting the
1099 // continuation.
1100 Int32BinopMatcher m(value);
1101 if (m.right().Is(0)) {
1102 user = value;
1103 value = m.left().node();
1104 cont->Negate();
1105 continue;
1106 }
1107 cont->OverwriteAndNegateIfEqual(kEqual);
1108 return VisitWordCompare(selector, value, cont);
1109 }
1110 case IrOpcode::kInt32LessThan:
1111 cont->OverwriteAndNegateIfEqual(kSignedLessThan);
1112 return VisitWordCompare(selector, value, cont);
1113 case IrOpcode::kInt32LessThanOrEqual:
1114 cont->OverwriteAndNegateIfEqual(kSignedLessThanOrEqual);
1115 return VisitWordCompare(selector, value, cont);
1116 case IrOpcode::kUint32LessThan:
1117 cont->OverwriteAndNegateIfEqual(kUnsignedLessThan);
1118 return VisitWordCompare(selector, value, cont);
1119 case IrOpcode::kUint32LessThanOrEqual:
1120 cont->OverwriteAndNegateIfEqual(kUnsignedLessThanOrEqual);
1121 return VisitWordCompare(selector, value, cont);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001122 case IrOpcode::kFloat32Equal:
1123 cont->OverwriteAndNegateIfEqual(kEqual);
1124 return VisitFloat32Compare(selector, value, cont);
1125 case IrOpcode::kFloat32LessThan:
1126 cont->OverwriteAndNegateIfEqual(kUnsignedLessThan);
1127 return VisitFloat32Compare(selector, value, cont);
1128 case IrOpcode::kFloat32LessThanOrEqual:
1129 cont->OverwriteAndNegateIfEqual(kUnsignedLessThanOrEqual);
1130 return VisitFloat32Compare(selector, value, cont);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001131 case IrOpcode::kFloat64Equal:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001132 cont->OverwriteAndNegateIfEqual(kEqual);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001133 return VisitFloat64Compare(selector, value, cont);
1134 case IrOpcode::kFloat64LessThan:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001135 cont->OverwriteAndNegateIfEqual(kUnsignedLessThan);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001136 return VisitFloat64Compare(selector, value, cont);
1137 case IrOpcode::kFloat64LessThanOrEqual:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001138 cont->OverwriteAndNegateIfEqual(kUnsignedLessThanOrEqual);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001139 return VisitFloat64Compare(selector, value, cont);
1140 case IrOpcode::kProjection:
1141 // Check if this is the overflow output projection of an
1142 // <Operation>WithOverflow node.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001143 if (ProjectionIndexOf(value->op()) == 1u) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001144 // We cannot combine the <Operation>WithOverflow with this branch
1145 // unless the 0th projection (the use of the actual value of the
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001146 // <Operation> is either nullptr, which means there's no use of the
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001147 // actual value, or was already defined, which means it is scheduled
1148 // *AFTER* this branch).
1149 Node* const node = value->InputAt(0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001150 Node* const result = NodeProperties::FindProjection(node, 0);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001151 if (!result || selector->IsDefined(result)) {
1152 switch (node->opcode()) {
1153 case IrOpcode::kInt32AddWithOverflow:
1154 cont->OverwriteAndNegateIfEqual(kOverflow);
1155 return VisitBinop(selector, node, kMipsAddOvf, cont);
1156 case IrOpcode::kInt32SubWithOverflow:
1157 cont->OverwriteAndNegateIfEqual(kOverflow);
1158 return VisitBinop(selector, node, kMipsSubOvf, cont);
1159 default:
1160 break;
1161 }
1162 }
1163 }
1164 break;
1165 case IrOpcode::kWord32And:
1166 return VisitWordCompare(selector, value, kMipsTst, cont, true);
1167 default:
1168 break;
1169 }
1170 break;
1171 }
1172
1173 // Continuation could not be combined with a compare, emit compare against 0.
1174 MipsOperandGenerator g(selector);
1175 InstructionCode const opcode = cont->Encode(kMipsCmp);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001176 InstructionOperand const value_operand = g.UseRegister(value);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001177 if (cont->IsBranch()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001178 selector->Emit(opcode, g.NoOutput(), value_operand, g.TempImmediate(0),
1179 g.Label(cont->true_block()), g.Label(cont->false_block()));
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001180 } else {
1181 selector->Emit(opcode, g.DefineAsRegister(cont->result()), value_operand,
1182 g.TempImmediate(0));
1183 }
1184}
1185
1186
1187void InstructionSelector::VisitBranch(Node* branch, BasicBlock* tbranch,
1188 BasicBlock* fbranch) {
1189 FlagsContinuation cont(kNotEqual, tbranch, fbranch);
1190 VisitWordCompareZero(this, branch, branch->InputAt(0), &cont);
1191}
1192
1193
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001194void InstructionSelector::VisitSwitch(Node* node, const SwitchInfo& sw) {
1195 MipsOperandGenerator g(this);
1196 InstructionOperand value_operand = g.UseRegister(node->InputAt(0));
1197
1198 // Emit either ArchTableSwitch or ArchLookupSwitch.
1199 size_t table_space_cost = 9 + sw.value_range;
1200 size_t table_time_cost = 3;
1201 size_t lookup_space_cost = 2 + 2 * sw.case_count;
1202 size_t lookup_time_cost = sw.case_count;
1203 if (sw.case_count > 0 &&
1204 table_space_cost + 3 * table_time_cost <=
1205 lookup_space_cost + 3 * lookup_time_cost &&
1206 sw.min_value > std::numeric_limits<int32_t>::min()) {
1207 InstructionOperand index_operand = value_operand;
1208 if (sw.min_value) {
1209 index_operand = g.TempRegister();
1210 Emit(kMipsSub, index_operand, value_operand,
1211 g.TempImmediate(sw.min_value));
1212 }
1213 // Generate a table lookup.
1214 return EmitTableSwitch(sw, index_operand);
1215 }
1216
1217 // Generate a sequence of conditional jumps.
1218 return EmitLookupSwitch(sw, value_operand);
1219}
1220
1221
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001222void InstructionSelector::VisitWord32Equal(Node* const node) {
1223 FlagsContinuation cont(kEqual, node);
1224 Int32BinopMatcher m(node);
1225 if (m.right().Is(0)) {
1226 return VisitWordCompareZero(this, m.node(), m.left().node(), &cont);
1227 }
1228 VisitWordCompare(this, node, &cont);
1229}
1230
1231
1232void InstructionSelector::VisitInt32LessThan(Node* node) {
1233 FlagsContinuation cont(kSignedLessThan, node);
1234 VisitWordCompare(this, node, &cont);
1235}
1236
1237
1238void InstructionSelector::VisitInt32LessThanOrEqual(Node* node) {
1239 FlagsContinuation cont(kSignedLessThanOrEqual, node);
1240 VisitWordCompare(this, node, &cont);
1241}
1242
1243
1244void InstructionSelector::VisitUint32LessThan(Node* node) {
1245 FlagsContinuation cont(kUnsignedLessThan, node);
1246 VisitWordCompare(this, node, &cont);
1247}
1248
1249
1250void InstructionSelector::VisitUint32LessThanOrEqual(Node* node) {
1251 FlagsContinuation cont(kUnsignedLessThanOrEqual, node);
1252 VisitWordCompare(this, node, &cont);
1253}
1254
1255
1256void InstructionSelector::VisitInt32AddWithOverflow(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001257 if (Node* ovf = NodeProperties::FindProjection(node, 1)) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001258 FlagsContinuation cont(kOverflow, ovf);
1259 return VisitBinop(this, node, kMipsAddOvf, &cont);
1260 }
1261 FlagsContinuation cont;
1262 VisitBinop(this, node, kMipsAddOvf, &cont);
1263}
1264
1265
1266void InstructionSelector::VisitInt32SubWithOverflow(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001267 if (Node* ovf = NodeProperties::FindProjection(node, 1)) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001268 FlagsContinuation cont(kOverflow, ovf);
1269 return VisitBinop(this, node, kMipsSubOvf, &cont);
1270 }
1271 FlagsContinuation cont;
1272 VisitBinop(this, node, kMipsSubOvf, &cont);
1273}
1274
1275
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001276void InstructionSelector::VisitFloat32Equal(Node* node) {
1277 FlagsContinuation cont(kEqual, node);
1278 VisitFloat32Compare(this, node, &cont);
1279}
1280
1281
1282void InstructionSelector::VisitFloat32LessThan(Node* node) {
1283 FlagsContinuation cont(kUnsignedLessThan, node);
1284 VisitFloat32Compare(this, node, &cont);
1285}
1286
1287
1288void InstructionSelector::VisitFloat32LessThanOrEqual(Node* node) {
1289 FlagsContinuation cont(kUnsignedLessThanOrEqual, node);
1290 VisitFloat32Compare(this, node, &cont);
1291}
1292
1293
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001294void InstructionSelector::VisitFloat64Equal(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001295 FlagsContinuation cont(kEqual, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001296 VisitFloat64Compare(this, node, &cont);
1297}
1298
1299
1300void InstructionSelector::VisitFloat64LessThan(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001301 FlagsContinuation cont(kUnsignedLessThan, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001302 VisitFloat64Compare(this, node, &cont);
1303}
1304
1305
1306void InstructionSelector::VisitFloat64LessThanOrEqual(Node* node) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001307 FlagsContinuation cont(kUnsignedLessThanOrEqual, node);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001308 VisitFloat64Compare(this, node, &cont);
1309}
1310
1311
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001312void InstructionSelector::VisitFloat64ExtractLowWord32(Node* node) {
1313 MipsOperandGenerator g(this);
1314 Emit(kMipsFloat64ExtractLowWord32, g.DefineAsRegister(node),
1315 g.UseRegister(node->InputAt(0)));
1316}
1317
1318
1319void InstructionSelector::VisitFloat64ExtractHighWord32(Node* node) {
1320 MipsOperandGenerator g(this);
1321 Emit(kMipsFloat64ExtractHighWord32, g.DefineAsRegister(node),
1322 g.UseRegister(node->InputAt(0)));
1323}
1324
1325
1326void InstructionSelector::VisitFloat64InsertLowWord32(Node* node) {
1327 MipsOperandGenerator g(this);
1328 Node* left = node->InputAt(0);
1329 Node* right = node->InputAt(1);
1330 Emit(kMipsFloat64InsertLowWord32, g.DefineSameAsFirst(node),
1331 g.UseRegister(left), g.UseRegister(right));
1332}
1333
1334
1335void InstructionSelector::VisitFloat64InsertHighWord32(Node* node) {
1336 MipsOperandGenerator g(this);
1337 Node* left = node->InputAt(0);
1338 Node* right = node->InputAt(1);
1339 Emit(kMipsFloat64InsertHighWord32, g.DefineSameAsFirst(node),
1340 g.UseRegister(left), g.UseRegister(right));
1341}
1342
1343
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001344// static
1345MachineOperatorBuilder::Flags
1346InstructionSelector::SupportedMachineOperatorFlags() {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001347 MachineOperatorBuilder::Flags flags = MachineOperatorBuilder::kNoFlags;
1348 if ((IsMipsArchVariant(kMips32r2) || IsMipsArchVariant(kMips32r6)) &&
1349 IsFp64Mode()) {
1350 flags |= MachineOperatorBuilder::kFloat64RoundDown |
1351 MachineOperatorBuilder::kFloat64RoundUp |
1352 MachineOperatorBuilder::kFloat64RoundTruncate |
1353 MachineOperatorBuilder::kFloat64RoundTiesEven;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001354 }
Ben Murdoch097c5b22016-05-18 11:27:45 +01001355 return flags | MachineOperatorBuilder::kWord32Ctz |
1356 MachineOperatorBuilder::kWord32Popcnt |
1357 MachineOperatorBuilder::kInt32DivIsSafe |
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001358 MachineOperatorBuilder::kUint32DivIsSafe |
1359 MachineOperatorBuilder::kWord32ShiftIsSafe |
1360 MachineOperatorBuilder::kFloat64Min |
1361 MachineOperatorBuilder::kFloat64Max |
1362 MachineOperatorBuilder::kFloat32Min |
1363 MachineOperatorBuilder::kFloat32Max |
1364 MachineOperatorBuilder::kFloat32RoundDown |
1365 MachineOperatorBuilder::kFloat32RoundUp |
1366 MachineOperatorBuilder::kFloat32RoundTruncate |
1367 MachineOperatorBuilder::kFloat32RoundTiesEven;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001368}
1369
1370} // namespace compiler
1371} // namespace internal
1372} // namespace v8