OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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 3736 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3747 void LCodeGen::DoCallConstantFunction(LCallConstantFunction* instr) { | 3747 void LCodeGen::DoCallConstantFunction(LCallConstantFunction* instr) { |
3748 ASSERT(ToRegister(instr->result()).is(r0)); | 3748 ASSERT(ToRegister(instr->result()).is(r0)); |
3749 CallKnownFunction(instr->function(), | 3749 CallKnownFunction(instr->function(), |
3750 instr->arity(), | 3750 instr->arity(), |
3751 instr, | 3751 instr, |
3752 CALL_AS_METHOD, | 3752 CALL_AS_METHOD, |
3753 R1_UNINITIALIZED); | 3753 R1_UNINITIALIZED); |
3754 } | 3754 } |
3755 | 3755 |
3756 | 3756 |
3757 void LCodeGen::DoDeferredMathAbsTaggedHeapNumber(LUnaryMathOperation* instr) { | 3757 void LCodeGen::DoDeferredMathAbsTaggedHeapNumber(LMathAbs* instr) { |
3758 Register input = ToRegister(instr->value()); | 3758 Register input = ToRegister(instr->value()); |
3759 Register result = ToRegister(instr->result()); | 3759 Register result = ToRegister(instr->result()); |
3760 Register scratch = scratch0(); | 3760 Register scratch = scratch0(); |
3761 | 3761 |
3762 // Deoptimize if not a heap number. | 3762 // Deoptimize if not a heap number. |
3763 __ ldr(scratch, FieldMemOperand(input, HeapObject::kMapOffset)); | 3763 __ ldr(scratch, FieldMemOperand(input, HeapObject::kMapOffset)); |
3764 __ LoadRoot(ip, Heap::kHeapNumberMapRootIndex); | 3764 __ LoadRoot(ip, Heap::kHeapNumberMapRootIndex); |
3765 __ cmp(scratch, Operand(ip)); | 3765 __ cmp(scratch, Operand(ip)); |
3766 DeoptimizeIf(ne, instr->environment()); | 3766 DeoptimizeIf(ne, instr->environment()); |
3767 | 3767 |
(...skipping 45 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3813 __ ldr(tmp2, FieldMemOperand(input, HeapNumber::kMantissaOffset)); | 3813 __ ldr(tmp2, FieldMemOperand(input, HeapNumber::kMantissaOffset)); |
3814 __ str(tmp2, FieldMemOperand(tmp1, HeapNumber::kMantissaOffset)); | 3814 __ str(tmp2, FieldMemOperand(tmp1, HeapNumber::kMantissaOffset)); |
3815 | 3815 |
3816 __ StoreToSafepointRegisterSlot(tmp1, result); | 3816 __ StoreToSafepointRegisterSlot(tmp1, result); |
3817 } | 3817 } |
3818 | 3818 |
3819 __ bind(&done); | 3819 __ bind(&done); |
3820 } | 3820 } |
3821 | 3821 |
3822 | 3822 |
3823 void LCodeGen::EmitIntegerMathAbs(LUnaryMathOperation* instr) { | 3823 void LCodeGen::EmitIntegerMathAbs(LMathAbs* instr) { |
3824 Register input = ToRegister(instr->value()); | 3824 Register input = ToRegister(instr->value()); |
3825 Register result = ToRegister(instr->result()); | 3825 Register result = ToRegister(instr->result()); |
3826 __ cmp(input, Operand::Zero()); | 3826 __ cmp(input, Operand::Zero()); |
3827 __ Move(result, input, pl); | 3827 __ Move(result, input, pl); |
3828 // We can make rsb conditional because the previous cmp instruction | 3828 // We can make rsb conditional because the previous cmp instruction |
3829 // will clear the V (overflow) flag and rsb won't set this flag | 3829 // will clear the V (overflow) flag and rsb won't set this flag |
3830 // if input is positive. | 3830 // if input is positive. |
3831 __ rsb(result, input, Operand::Zero(), SetCC, mi); | 3831 __ rsb(result, input, Operand::Zero(), SetCC, mi); |
3832 // Deoptimize on overflow. | 3832 // Deoptimize on overflow. |
3833 DeoptimizeIf(vs, instr->environment()); | 3833 DeoptimizeIf(vs, instr->environment()); |
3834 } | 3834 } |
3835 | 3835 |
3836 | 3836 |
3837 void LCodeGen::DoMathAbs(LUnaryMathOperation* instr) { | 3837 void LCodeGen::DoMathAbs(LMathAbs* instr) { |
3838 // Class for deferred case. | 3838 // Class for deferred case. |
3839 class DeferredMathAbsTaggedHeapNumber: public LDeferredCode { | 3839 class DeferredMathAbsTaggedHeapNumber: public LDeferredCode { |
3840 public: | 3840 public: |
3841 DeferredMathAbsTaggedHeapNumber(LCodeGen* codegen, | 3841 DeferredMathAbsTaggedHeapNumber(LCodeGen* codegen, LMathAbs* instr) |
3842 LUnaryMathOperation* instr) | |
3843 : LDeferredCode(codegen), instr_(instr) { } | 3842 : LDeferredCode(codegen), instr_(instr) { } |
3844 virtual void Generate() { | 3843 virtual void Generate() { |
3845 codegen()->DoDeferredMathAbsTaggedHeapNumber(instr_); | 3844 codegen()->DoDeferredMathAbsTaggedHeapNumber(instr_); |
3846 } | 3845 } |
3847 virtual LInstruction* instr() { return instr_; } | 3846 virtual LInstruction* instr() { return instr_; } |
3848 private: | 3847 private: |
3849 LUnaryMathOperation* instr_; | 3848 LMathAbs* instr_; |
3850 }; | 3849 }; |
3851 | 3850 |
3852 Representation r = instr->hydrogen()->value()->representation(); | 3851 Representation r = instr->hydrogen()->value()->representation(); |
3853 if (r.IsDouble()) { | 3852 if (r.IsDouble()) { |
3854 DwVfpRegister input = ToDoubleRegister(instr->value()); | 3853 DwVfpRegister input = ToDoubleRegister(instr->value()); |
3855 DwVfpRegister result = ToDoubleRegister(instr->result()); | 3854 DwVfpRegister result = ToDoubleRegister(instr->result()); |
3856 __ vabs(result, input); | 3855 __ vabs(result, input); |
3857 } else if (r.IsInteger32()) { | 3856 } else if (r.IsInteger32()) { |
3858 EmitIntegerMathAbs(instr); | 3857 EmitIntegerMathAbs(instr); |
3859 } else { | 3858 } else { |
3860 // Representation is tagged. | 3859 // Representation is tagged. |
3861 DeferredMathAbsTaggedHeapNumber* deferred = | 3860 DeferredMathAbsTaggedHeapNumber* deferred = |
3862 new(zone()) DeferredMathAbsTaggedHeapNumber(this, instr); | 3861 new(zone()) DeferredMathAbsTaggedHeapNumber(this, instr); |
3863 Register input = ToRegister(instr->value()); | 3862 Register input = ToRegister(instr->value()); |
3864 // Smi check. | 3863 // Smi check. |
3865 __ JumpIfNotSmi(input, deferred->entry()); | 3864 __ JumpIfNotSmi(input, deferred->entry()); |
3866 // If smi, handle it directly. | 3865 // If smi, handle it directly. |
3867 EmitIntegerMathAbs(instr); | 3866 EmitIntegerMathAbs(instr); |
3868 __ bind(deferred->exit()); | 3867 __ bind(deferred->exit()); |
3869 } | 3868 } |
3870 } | 3869 } |
3871 | 3870 |
3872 | 3871 |
3873 void LCodeGen::DoMathFloor(LUnaryMathOperation* instr) { | 3872 void LCodeGen::DoMathFloor(LMathFloor* instr) { |
3874 DwVfpRegister input = ToDoubleRegister(instr->value()); | 3873 DwVfpRegister input = ToDoubleRegister(instr->value()); |
3875 Register result = ToRegister(instr->result()); | 3874 Register result = ToRegister(instr->result()); |
3876 Register input_high = scratch0(); | 3875 Register input_high = scratch0(); |
3877 Label done, exact; | 3876 Label done, exact; |
3878 | 3877 |
3879 __ vmov(input_high, input.high()); | 3878 __ vmov(input_high, input.high()); |
3880 __ TryInt32Floor(result, input, input_high, double_scratch0(), &done, &exact); | 3879 __ TryInt32Floor(result, input, input_high, double_scratch0(), &done, &exact); |
3881 DeoptimizeIf(al, instr->environment()); | 3880 DeoptimizeIf(al, instr->environment()); |
3882 | 3881 |
3883 __ bind(&exact); | 3882 __ bind(&exact); |
3884 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { | 3883 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { |
3885 // Test for -0. | 3884 // Test for -0. |
3886 __ cmp(result, Operand::Zero()); | 3885 __ cmp(result, Operand::Zero()); |
3887 __ b(ne, &done); | 3886 __ b(ne, &done); |
3888 __ cmp(input_high, Operand::Zero()); | 3887 __ cmp(input_high, Operand::Zero()); |
3889 DeoptimizeIf(mi, instr->environment()); | 3888 DeoptimizeIf(mi, instr->environment()); |
3890 } | 3889 } |
3891 __ bind(&done); | 3890 __ bind(&done); |
3892 } | 3891 } |
3893 | 3892 |
3894 | 3893 |
3895 void LCodeGen::DoMathRound(LUnaryMathOperation* instr) { | 3894 void LCodeGen::DoMathRound(LMathRound* instr) { |
3896 DwVfpRegister input = ToDoubleRegister(instr->value()); | 3895 DwVfpRegister input = ToDoubleRegister(instr->value()); |
3897 Register result = ToRegister(instr->result()); | 3896 Register result = ToRegister(instr->result()); |
3898 DwVfpRegister double_scratch1 = ToDoubleRegister(instr->temp()); | 3897 DwVfpRegister double_scratch1 = ToDoubleRegister(instr->temp()); |
3899 DwVfpRegister input_plus_dot_five = double_scratch1; | 3898 DwVfpRegister input_plus_dot_five = double_scratch1; |
3900 Register input_high = scratch0(); | 3899 Register input_high = scratch0(); |
3901 DwVfpRegister dot_five = double_scratch0(); | 3900 DwVfpRegister dot_five = double_scratch0(); |
3902 Label convert, done; | 3901 Label convert, done; |
3903 | 3902 |
3904 __ Vmov(dot_five, 0.5, scratch0()); | 3903 __ Vmov(dot_five, 0.5, scratch0()); |
3905 __ vabs(double_scratch1, input); | 3904 __ vabs(double_scratch1, input); |
(...skipping 18 matching lines...) Expand all Loading... |
3924 __ vadd(input_plus_dot_five, input, dot_five); | 3923 __ vadd(input_plus_dot_five, input, dot_five); |
3925 __ vmov(input_high, input_plus_dot_five.high()); | 3924 __ vmov(input_high, input_plus_dot_five.high()); |
3926 // Reuse dot_five (double_scratch0) as we no longer need this value. | 3925 // Reuse dot_five (double_scratch0) as we no longer need this value. |
3927 __ TryInt32Floor(result, input_plus_dot_five, input_high, double_scratch0(), | 3926 __ TryInt32Floor(result, input_plus_dot_five, input_high, double_scratch0(), |
3928 &done, &done); | 3927 &done, &done); |
3929 DeoptimizeIf(al, instr->environment()); | 3928 DeoptimizeIf(al, instr->environment()); |
3930 __ bind(&done); | 3929 __ bind(&done); |
3931 } | 3930 } |
3932 | 3931 |
3933 | 3932 |
3934 void LCodeGen::DoMathSqrt(LUnaryMathOperation* instr) { | 3933 void LCodeGen::DoMathSqrt(LMathSqrt* instr) { |
3935 DwVfpRegister input = ToDoubleRegister(instr->value()); | 3934 DwVfpRegister input = ToDoubleRegister(instr->value()); |
3936 DwVfpRegister result = ToDoubleRegister(instr->result()); | 3935 DwVfpRegister result = ToDoubleRegister(instr->result()); |
3937 __ vsqrt(result, input); | 3936 __ vsqrt(result, input); |
3938 } | 3937 } |
3939 | 3938 |
3940 | 3939 |
3941 void LCodeGen::DoMathPowHalf(LUnaryMathOperation* instr) { | 3940 void LCodeGen::DoMathPowHalf(LMathPowHalf* instr) { |
3942 DwVfpRegister input = ToDoubleRegister(instr->value()); | 3941 DwVfpRegister input = ToDoubleRegister(instr->value()); |
3943 DwVfpRegister result = ToDoubleRegister(instr->result()); | 3942 DwVfpRegister result = ToDoubleRegister(instr->result()); |
3944 DwVfpRegister temp = ToDoubleRegister(instr->temp()); | 3943 DwVfpRegister temp = ToDoubleRegister(instr->temp()); |
3945 | 3944 |
3946 // Note that according to ECMA-262 15.8.2.13: | 3945 // Note that according to ECMA-262 15.8.2.13: |
3947 // Math.pow(-Infinity, 0.5) == Infinity | 3946 // Math.pow(-Infinity, 0.5) == Infinity |
3948 // Math.sqrt(-Infinity) == NaN | 3947 // Math.sqrt(-Infinity) == NaN |
3949 Label done; | 3948 Label done; |
3950 __ vmov(temp, -V8_INFINITY, scratch0()); | 3949 __ vmov(temp, -V8_INFINITY, scratch0()); |
3951 __ VFPCompareAndSetFlags(input, temp); | 3950 __ VFPCompareAndSetFlags(input, temp); |
(...skipping 124 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4076 DwVfpRegister double_scratch2 = double_scratch0(); | 4075 DwVfpRegister double_scratch2 = double_scratch0(); |
4077 Register temp1 = ToRegister(instr->temp1()); | 4076 Register temp1 = ToRegister(instr->temp1()); |
4078 Register temp2 = ToRegister(instr->temp2()); | 4077 Register temp2 = ToRegister(instr->temp2()); |
4079 | 4078 |
4080 MathExpGenerator::EmitMathExp( | 4079 MathExpGenerator::EmitMathExp( |
4081 masm(), input, result, double_scratch1, double_scratch2, | 4080 masm(), input, result, double_scratch1, double_scratch2, |
4082 temp1, temp2, scratch0()); | 4081 temp1, temp2, scratch0()); |
4083 } | 4082 } |
4084 | 4083 |
4085 | 4084 |
4086 void LCodeGen::DoMathLog(LUnaryMathOperation* instr) { | 4085 void LCodeGen::DoMathLog(LMathLog* instr) { |
4087 ASSERT(ToDoubleRegister(instr->result()).is(d2)); | 4086 ASSERT(ToDoubleRegister(instr->result()).is(d2)); |
4088 TranscendentalCacheStub stub(TranscendentalCache::LOG, | 4087 TranscendentalCacheStub stub(TranscendentalCache::LOG, |
4089 TranscendentalCacheStub::UNTAGGED); | 4088 TranscendentalCacheStub::UNTAGGED); |
4090 CallCode(stub.GetCode(isolate()), RelocInfo::CODE_TARGET, instr); | 4089 CallCode(stub.GetCode(isolate()), RelocInfo::CODE_TARGET, instr); |
4091 } | 4090 } |
4092 | 4091 |
4093 | 4092 |
4094 void LCodeGen::DoMathTan(LUnaryMathOperation* instr) { | 4093 void LCodeGen::DoMathTan(LMathTan* instr) { |
4095 ASSERT(ToDoubleRegister(instr->result()).is(d2)); | 4094 ASSERT(ToDoubleRegister(instr->result()).is(d2)); |
4096 TranscendentalCacheStub stub(TranscendentalCache::TAN, | 4095 TranscendentalCacheStub stub(TranscendentalCache::TAN, |
4097 TranscendentalCacheStub::UNTAGGED); | 4096 TranscendentalCacheStub::UNTAGGED); |
4098 CallCode(stub.GetCode(isolate()), RelocInfo::CODE_TARGET, instr); | 4097 CallCode(stub.GetCode(isolate()), RelocInfo::CODE_TARGET, instr); |
4099 } | 4098 } |
4100 | 4099 |
4101 | 4100 |
4102 void LCodeGen::DoMathCos(LUnaryMathOperation* instr) { | 4101 void LCodeGen::DoMathCos(LMathCos* instr) { |
4103 ASSERT(ToDoubleRegister(instr->result()).is(d2)); | 4102 ASSERT(ToDoubleRegister(instr->result()).is(d2)); |
4104 TranscendentalCacheStub stub(TranscendentalCache::COS, | 4103 TranscendentalCacheStub stub(TranscendentalCache::COS, |
4105 TranscendentalCacheStub::UNTAGGED); | 4104 TranscendentalCacheStub::UNTAGGED); |
4106 CallCode(stub.GetCode(isolate()), RelocInfo::CODE_TARGET, instr); | 4105 CallCode(stub.GetCode(isolate()), RelocInfo::CODE_TARGET, instr); |
4107 } | 4106 } |
4108 | 4107 |
4109 | 4108 |
4110 void LCodeGen::DoMathSin(LUnaryMathOperation* instr) { | 4109 void LCodeGen::DoMathSin(LMathSin* instr) { |
4111 ASSERT(ToDoubleRegister(instr->result()).is(d2)); | 4110 ASSERT(ToDoubleRegister(instr->result()).is(d2)); |
4112 TranscendentalCacheStub stub(TranscendentalCache::SIN, | 4111 TranscendentalCacheStub stub(TranscendentalCache::SIN, |
4113 TranscendentalCacheStub::UNTAGGED); | 4112 TranscendentalCacheStub::UNTAGGED); |
4114 CallCode(stub.GetCode(isolate()), RelocInfo::CODE_TARGET, instr); | 4113 CallCode(stub.GetCode(isolate()), RelocInfo::CODE_TARGET, instr); |
4115 } | 4114 } |
4116 | 4115 |
4117 | 4116 |
4118 void LCodeGen::DoUnaryMathOperation(LUnaryMathOperation* instr) { | |
4119 switch (instr->op()) { | |
4120 case kMathAbs: | |
4121 DoMathAbs(instr); | |
4122 break; | |
4123 case kMathFloor: | |
4124 DoMathFloor(instr); | |
4125 break; | |
4126 case kMathRound: | |
4127 DoMathRound(instr); | |
4128 break; | |
4129 case kMathSqrt: | |
4130 DoMathSqrt(instr); | |
4131 break; | |
4132 case kMathPowHalf: | |
4133 DoMathPowHalf(instr); | |
4134 break; | |
4135 case kMathCos: | |
4136 DoMathCos(instr); | |
4137 break; | |
4138 case kMathSin: | |
4139 DoMathSin(instr); | |
4140 break; | |
4141 case kMathTan: | |
4142 DoMathTan(instr); | |
4143 break; | |
4144 case kMathLog: | |
4145 DoMathLog(instr); | |
4146 break; | |
4147 default: | |
4148 Abort("Unimplemented type of LUnaryMathOperation."); | |
4149 UNREACHABLE(); | |
4150 } | |
4151 } | |
4152 | |
4153 | |
4154 void LCodeGen::DoInvokeFunction(LInvokeFunction* instr) { | 4117 void LCodeGen::DoInvokeFunction(LInvokeFunction* instr) { |
4155 ASSERT(ToRegister(instr->function()).is(r1)); | 4118 ASSERT(ToRegister(instr->function()).is(r1)); |
4156 ASSERT(instr->HasPointerMap()); | 4119 ASSERT(instr->HasPointerMap()); |
4157 | 4120 |
4158 if (instr->known_function().is_null()) { | 4121 if (instr->known_function().is_null()) { |
4159 LPointerMap* pointers = instr->pointer_map(); | 4122 LPointerMap* pointers = instr->pointer_map(); |
4160 RecordPosition(pointers->position()); | 4123 RecordPosition(pointers->position()); |
4161 SafepointGenerator generator(this, pointers, Safepoint::kLazyDeopt); | 4124 SafepointGenerator generator(this, pointers, Safepoint::kLazyDeopt); |
4162 ParameterCount count(instr->arity()); | 4125 ParameterCount count(instr->arity()); |
4163 __ InvokeFunction(r1, count, CALL_FUNCTION, generator, CALL_AS_METHOD); | 4126 __ InvokeFunction(r1, count, CALL_FUNCTION, generator, CALL_AS_METHOD); |
(...skipping 1878 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
6042 __ sub(scratch, result, Operand(index, LSL, kPointerSizeLog2 - kSmiTagSize)); | 6005 __ sub(scratch, result, Operand(index, LSL, kPointerSizeLog2 - kSmiTagSize)); |
6043 __ ldr(result, FieldMemOperand(scratch, | 6006 __ ldr(result, FieldMemOperand(scratch, |
6044 FixedArray::kHeaderSize - kPointerSize)); | 6007 FixedArray::kHeaderSize - kPointerSize)); |
6045 __ bind(&done); | 6008 __ bind(&done); |
6046 } | 6009 } |
6047 | 6010 |
6048 | 6011 |
6049 #undef __ | 6012 #undef __ |
6050 | 6013 |
6051 } } // namespace v8::internal | 6014 } } // namespace v8::internal |
OLD | NEW |