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

Side by Side Diff: src/ia32/lithium-ia32.h

Issue 275433004: Require SSE2 support for the ia32 port. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Created 6 years, 7 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 | Annotate | Revision Log
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #ifndef V8_IA32_LITHIUM_IA32_H_ 5 #ifndef V8_IA32_LITHIUM_IA32_H_
6 #define V8_IA32_LITHIUM_IA32_H_ 6 #define V8_IA32_LITHIUM_IA32_H_
7 7
8 #include "hydrogen.h" 8 #include "hydrogen.h"
9 #include "lithium-allocator.h" 9 #include "lithium-allocator.h"
10 #include "lithium.h" 10 #include "lithium.h"
(...skipping 27 matching lines...) Expand all
38 V(CallStub) \ 38 V(CallStub) \
39 V(CheckInstanceType) \ 39 V(CheckInstanceType) \
40 V(CheckMaps) \ 40 V(CheckMaps) \
41 V(CheckMapValue) \ 41 V(CheckMapValue) \
42 V(CheckNonSmi) \ 42 V(CheckNonSmi) \
43 V(CheckSmi) \ 43 V(CheckSmi) \
44 V(CheckValue) \ 44 V(CheckValue) \
45 V(ClampDToUint8) \ 45 V(ClampDToUint8) \
46 V(ClampIToUint8) \ 46 V(ClampIToUint8) \
47 V(ClampTToUint8) \ 47 V(ClampTToUint8) \
48 V(ClampTToUint8NoSSE2) \
49 V(ClassOfTestAndBranch) \ 48 V(ClassOfTestAndBranch) \
50 V(ClobberDoubles) \
51 V(CompareMinusZeroAndBranch) \ 49 V(CompareMinusZeroAndBranch) \
52 V(CompareNumericAndBranch) \ 50 V(CompareNumericAndBranch) \
53 V(CmpObjectEqAndBranch) \ 51 V(CmpObjectEqAndBranch) \
54 V(CmpHoleAndBranch) \ 52 V(CmpHoleAndBranch) \
55 V(CmpMapAndBranch) \ 53 V(CmpMapAndBranch) \
56 V(CmpT) \ 54 V(CmpT) \
57 V(ConstantD) \ 55 V(ConstantD) \
58 V(ConstantE) \ 56 V(ConstantE) \
59 V(ConstantI) \ 57 V(ConstantI) \
60 V(ConstantS) \ 58 V(ConstantS) \
(...skipping 171 matching lines...) Expand 10 before | Expand all | Expand 10 after
232 230
233 virtual void SetDeferredLazyDeoptimizationEnvironment(LEnvironment* env) { } 231 virtual void SetDeferredLazyDeoptimizationEnvironment(LEnvironment* env) { }
234 232
235 void MarkAsCall() { bit_field_ = IsCallBits::update(bit_field_, true); } 233 void MarkAsCall() { bit_field_ = IsCallBits::update(bit_field_, true); }
236 bool IsCall() const { return IsCallBits::decode(bit_field_); } 234 bool IsCall() const { return IsCallBits::decode(bit_field_); }
237 235
238 // Interface to the register allocator and iterators. 236 // Interface to the register allocator and iterators.
239 bool ClobbersTemps() const { return IsCall(); } 237 bool ClobbersTemps() const { return IsCall(); }
240 bool ClobbersRegisters() const { return IsCall(); } 238 bool ClobbersRegisters() const { return IsCall(); }
241 virtual bool ClobbersDoubleRegisters(Isolate* isolate) const { 239 virtual bool ClobbersDoubleRegisters(Isolate* isolate) const {
242 return IsCall() || 240 return IsCall();
243 // We only have rudimentary X87Stack tracking, thus in general
244 // cannot handle phi-nodes.
245 (!CpuFeatures::IsSafeForSnapshot(isolate, SSE2) && IsControl());
246 } 241 }
247 242
248 virtual bool HasResult() const = 0; 243 virtual bool HasResult() const = 0;
249 virtual LOperand* result() const = 0; 244 virtual LOperand* result() const = 0;
250 245
251 bool HasDoubleRegisterResult(); 246 bool HasDoubleRegisterResult();
252 bool HasDoubleRegisterInput(); 247 bool HasDoubleRegisterInput();
253 bool IsDoubleInput(X87Register reg, LCodeGen* cgen);
254 248
255 LOperand* FirstInput() { return InputAt(0); } 249 LOperand* FirstInput() { return InputAt(0); }
256 LOperand* Output() { return HasResult() ? result() : NULL; } 250 LOperand* Output() { return HasResult() ? result() : NULL; }
257 251
258 virtual bool HasInterestingComment(LCodeGen* gen) const { return true; } 252 virtual bool HasInterestingComment(LCodeGen* gen) const { return true; }
259 253
260 #ifdef DEBUG 254 #ifdef DEBUG
261 void VerifyCall(); 255 void VerifyCall();
262 #endif 256 #endif
263 257
(...skipping 104 matching lines...) Expand 10 before | Expand all | Expand 10 after
368 explicit LInstructionGap(HBasicBlock* block) : LGap(block) { } 362 explicit LInstructionGap(HBasicBlock* block) : LGap(block) { }
369 363
370 virtual bool HasInterestingComment(LCodeGen* gen) const V8_OVERRIDE { 364 virtual bool HasInterestingComment(LCodeGen* gen) const V8_OVERRIDE {
371 return !IsRedundant(); 365 return !IsRedundant();
372 } 366 }
373 367
374 DECLARE_CONCRETE_INSTRUCTION(InstructionGap, "gap") 368 DECLARE_CONCRETE_INSTRUCTION(InstructionGap, "gap")
375 }; 369 };
376 370
377 371
378 class LClobberDoubles V8_FINAL : public LTemplateInstruction<0, 0, 0> {
379 public:
380 explicit LClobberDoubles(Isolate* isolate) {
381 ASSERT(!CpuFeatures::IsSafeForSnapshot(isolate, SSE2));
382 }
383
384 virtual bool ClobbersDoubleRegisters(Isolate* isolate) const V8_OVERRIDE {
385 return true;
386 }
387
388 DECLARE_CONCRETE_INSTRUCTION(ClobberDoubles, "clobber-d")
389 };
390
391
392 class LGoto V8_FINAL : public LTemplateInstruction<0, 0, 0> { 372 class LGoto V8_FINAL : public LTemplateInstruction<0, 0, 0> {
393 public: 373 public:
394 explicit LGoto(HBasicBlock* block) : block_(block) { } 374 explicit LGoto(HBasicBlock* block) : block_(block) { }
395 375
396 virtual bool HasInterestingComment(LCodeGen* gen) const V8_OVERRIDE; 376 virtual bool HasInterestingComment(LCodeGen* gen) const V8_OVERRIDE;
397 DECLARE_CONCRETE_INSTRUCTION(Goto, "goto") 377 DECLARE_CONCRETE_INSTRUCTION(Goto, "goto")
398 virtual void PrintDataTo(StringStream* stream) V8_OVERRIDE; 378 virtual void PrintDataTo(StringStream* stream) V8_OVERRIDE;
399 virtual bool IsControl() const V8_OVERRIDE { return true; } 379 virtual bool IsControl() const V8_OVERRIDE { return true; }
400 380
401 int block_id() const { return block_->block_id(); } 381 int block_id() const { return block_->block_id(); }
(...skipping 2051 matching lines...) Expand 10 before | Expand all | Expand 10 after
2453 temps_[0] = temp_xmm; 2433 temps_[0] = temp_xmm;
2454 } 2434 }
2455 2435
2456 LOperand* unclamped() { return inputs_[0]; } 2436 LOperand* unclamped() { return inputs_[0]; }
2457 LOperand* temp_xmm() { return temps_[0]; } 2437 LOperand* temp_xmm() { return temps_[0]; }
2458 2438
2459 DECLARE_CONCRETE_INSTRUCTION(ClampTToUint8, "clamp-t-to-uint8") 2439 DECLARE_CONCRETE_INSTRUCTION(ClampTToUint8, "clamp-t-to-uint8")
2460 }; 2440 };
2461 2441
2462 2442
2463 // Truncating conversion from a tagged value to an int32.
2464 class LClampTToUint8NoSSE2 V8_FINAL : public LTemplateInstruction<1, 1, 3> {
2465 public:
2466 LClampTToUint8NoSSE2(LOperand* unclamped,
2467 LOperand* temp1,
2468 LOperand* temp2,
2469 LOperand* temp3) {
2470 inputs_[0] = unclamped;
2471 temps_[0] = temp1;
2472 temps_[1] = temp2;
2473 temps_[2] = temp3;
2474 }
2475
2476 LOperand* unclamped() { return inputs_[0]; }
2477 LOperand* scratch() { return temps_[0]; }
2478 LOperand* scratch2() { return temps_[1]; }
2479 LOperand* scratch3() { return temps_[2]; }
2480
2481 DECLARE_CONCRETE_INSTRUCTION(ClampTToUint8NoSSE2,
2482 "clamp-t-to-uint8-nosse2")
2483 DECLARE_HYDROGEN_ACCESSOR(UnaryOperation)
2484 };
2485
2486
2487 class LCheckNonSmi V8_FINAL : public LTemplateInstruction<0, 1, 0> { 2443 class LCheckNonSmi V8_FINAL : public LTemplateInstruction<0, 1, 0> {
2488 public: 2444 public:
2489 explicit LCheckNonSmi(LOperand* value) { 2445 explicit LCheckNonSmi(LOperand* value) {
2490 inputs_[0] = value; 2446 inputs_[0] = value;
2491 } 2447 }
2492 2448
2493 LOperand* value() { return inputs_[0]; } 2449 LOperand* value() { return inputs_[0]; }
2494 2450
2495 DECLARE_CONCRETE_INSTRUCTION(CheckNonSmi, "check-non-smi") 2451 DECLARE_CONCRETE_INSTRUCTION(CheckNonSmi, "check-non-smi")
2496 DECLARE_HYDROGEN_ACCESSOR(CheckHeapObject) 2452 DECLARE_HYDROGEN_ACCESSOR(CheckHeapObject)
(...skipping 274 matching lines...) Expand 10 before | Expand all | Expand 10 after
2771 bool is_unused() const { return status_ == UNUSED; } 2727 bool is_unused() const { return status_ == UNUSED; }
2772 bool is_building() const { return status_ == BUILDING; } 2728 bool is_building() const { return status_ == BUILDING; }
2773 bool is_done() const { return status_ == DONE; } 2729 bool is_done() const { return status_ == DONE; }
2774 bool is_aborted() const { return status_ == ABORTED; } 2730 bool is_aborted() const { return status_ == ABORTED; }
2775 2731
2776 void Abort(BailoutReason reason); 2732 void Abort(BailoutReason reason);
2777 2733
2778 // Methods for getting operands for Use / Define / Temp. 2734 // Methods for getting operands for Use / Define / Temp.
2779 LUnallocated* ToUnallocated(Register reg); 2735 LUnallocated* ToUnallocated(Register reg);
2780 LUnallocated* ToUnallocated(XMMRegister reg); 2736 LUnallocated* ToUnallocated(XMMRegister reg);
2781 LUnallocated* ToUnallocated(X87Register reg);
2782 2737
2783 // Methods for setting up define-use relationships. 2738 // Methods for setting up define-use relationships.
2784 MUST_USE_RESULT LOperand* Use(HValue* value, LUnallocated* operand); 2739 MUST_USE_RESULT LOperand* Use(HValue* value, LUnallocated* operand);
2785 MUST_USE_RESULT LOperand* UseFixed(HValue* value, Register fixed_register); 2740 MUST_USE_RESULT LOperand* UseFixed(HValue* value, Register fixed_register);
2786 MUST_USE_RESULT LOperand* UseFixedDouble(HValue* value, 2741 MUST_USE_RESULT LOperand* UseFixedDouble(HValue* value,
2787 XMMRegister fixed_register); 2742 XMMRegister fixed_register);
2788 2743
2789 // A value that is guaranteed to be allocated to a register. 2744 // A value that is guaranteed to be allocated to a register.
2790 // Operand created by UseRegister is guaranteed to be live until the end of 2745 // Operand created by UseRegister is guaranteed to be live until the end of
2791 // instruction. This means that register allocator will not reuse it's 2746 // instruction. This means that register allocator will not reuse it's
(...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after
2833 LInstruction* Define(LTemplateResultInstruction<1>* instr, 2788 LInstruction* Define(LTemplateResultInstruction<1>* instr,
2834 LUnallocated* result); 2789 LUnallocated* result);
2835 LInstruction* DefineAsRegister(LTemplateResultInstruction<1>* instr); 2790 LInstruction* DefineAsRegister(LTemplateResultInstruction<1>* instr);
2836 LInstruction* DefineAsSpilled(LTemplateResultInstruction<1>* instr, 2791 LInstruction* DefineAsSpilled(LTemplateResultInstruction<1>* instr,
2837 int index); 2792 int index);
2838 LInstruction* DefineSameAsFirst(LTemplateResultInstruction<1>* instr); 2793 LInstruction* DefineSameAsFirst(LTemplateResultInstruction<1>* instr);
2839 LInstruction* DefineFixed(LTemplateResultInstruction<1>* instr, 2794 LInstruction* DefineFixed(LTemplateResultInstruction<1>* instr,
2840 Register reg); 2795 Register reg);
2841 LInstruction* DefineFixedDouble(LTemplateResultInstruction<1>* instr, 2796 LInstruction* DefineFixedDouble(LTemplateResultInstruction<1>* instr,
2842 XMMRegister reg); 2797 XMMRegister reg);
2843 LInstruction* DefineX87TOS(LTemplateResultInstruction<1>* instr);
2844 // Assigns an environment to an instruction. An instruction which can 2798 // Assigns an environment to an instruction. An instruction which can
2845 // deoptimize must have an environment. 2799 // deoptimize must have an environment.
2846 LInstruction* AssignEnvironment(LInstruction* instr); 2800 LInstruction* AssignEnvironment(LInstruction* instr);
2847 // Assigns a pointer map to an instruction. An instruction which can 2801 // Assigns a pointer map to an instruction. An instruction which can
2848 // trigger a GC or a lazy deoptimization must have a pointer map. 2802 // trigger a GC or a lazy deoptimization must have a pointer map.
2849 LInstruction* AssignPointerMap(LInstruction* instr); 2803 LInstruction* AssignPointerMap(LInstruction* instr);
2850 2804
2851 enum CanDeoptimize { CAN_DEOPTIMIZE_EAGERLY, CANNOT_DEOPTIMIZE_EAGERLY }; 2805 enum CanDeoptimize { CAN_DEOPTIMIZE_EAGERLY, CANNOT_DEOPTIMIZE_EAGERLY };
2852 2806
2853 LOperand* GetSeqStringSetCharOperand(HSeqStringSetChar* instr); 2807 LOperand* GetSeqStringSetCharOperand(HSeqStringSetChar* instr);
(...skipping 28 matching lines...) Expand all
2882 2836
2883 DISALLOW_COPY_AND_ASSIGN(LChunkBuilder); 2837 DISALLOW_COPY_AND_ASSIGN(LChunkBuilder);
2884 }; 2838 };
2885 2839
2886 #undef DECLARE_HYDROGEN_ACCESSOR 2840 #undef DECLARE_HYDROGEN_ACCESSOR
2887 #undef DECLARE_CONCRETE_INSTRUCTION 2841 #undef DECLARE_CONCRETE_INSTRUCTION
2888 2842
2889 } } // namespace v8::internal 2843 } } // namespace v8::internal
2890 2844
2891 #endif // V8_IA32_LITHIUM_IA32_H_ 2845 #endif // V8_IA32_LITHIUM_IA32_H_
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698