OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #include <math.h> // for isnan. | 5 #include <math.h> // for isnan. |
6 #include <setjmp.h> | 6 #include <setjmp.h> |
7 #include <stdlib.h> | 7 #include <stdlib.h> |
8 | 8 |
9 #include "vm/globals.h" | 9 #include "vm/globals.h" |
10 #if defined(TARGET_ARCH_ARM) | 10 #if defined(TARGET_ARCH_ARM) |
(...skipping 2925 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2936 } | 2936 } |
2937 } | 2937 } |
2938 } else { | 2938 } else { |
2939 UnimplementedInstruction(instr); | 2939 UnimplementedInstruction(instr); |
2940 } | 2940 } |
2941 } | 2941 } |
2942 | 2942 |
2943 | 2943 |
2944 static float arm_reciprocal_sqrt_estimate(float a) { | 2944 static float arm_reciprocal_sqrt_estimate(float a) { |
2945 // From the ARM Architecture Reference Manual A2-87. | 2945 // From the ARM Architecture Reference Manual A2-87. |
2946 if (isinf(a) || (abs(a) >= exp2f(126))) return 0.0; | 2946 if (isinf(a) || (fabs(a) >= exp2f(126))) return 0.0; |
2947 else if (a == 0.0) return INFINITY; | 2947 else if (a == 0.0) return INFINITY; |
2948 else if (isnan(a)) return a; | 2948 else if (isnan(a)) return a; |
2949 | 2949 |
2950 uint32_t a_bits = bit_cast<uint32_t, float>(a); | 2950 uint32_t a_bits = bit_cast<uint32_t, float>(a); |
2951 uint64_t scaled; | 2951 uint64_t scaled; |
2952 if (((a_bits >> 23) & 1) != 0) { | 2952 if (((a_bits >> 23) & 1) != 0) { |
2953 // scaled = '0 01111111101' : operand<22:0> : Zeros(29) | 2953 // scaled = '0 01111111101' : operand<22:0> : Zeros(29) |
2954 scaled = (static_cast<uint64_t>(0x3fd) << 52) | | 2954 scaled = (static_cast<uint64_t>(0x3fd) << 52) | |
2955 ((static_cast<uint64_t>(a_bits) & 0x7fffff) << 29); | 2955 ((static_cast<uint64_t>(a_bits) & 0x7fffff) << 29); |
2956 } else { | 2956 } else { |
(...skipping 30 matching lines...) Expand all Loading... |
2987 | 2987 |
2988 // result = 0 : result_exp<7:0> : estimate<51:29> | 2988 // result = 0 : result_exp<7:0> : estimate<51:29> |
2989 int32_t result_bits = ((result_exp & 0xff) << 23) | | 2989 int32_t result_bits = ((result_exp & 0xff) << 23) | |
2990 ((bit_cast<uint64_t, double>(estimate) >> 29) & 0x7fffff); | 2990 ((bit_cast<uint64_t, double>(estimate) >> 29) & 0x7fffff); |
2991 return bit_cast<float, int32_t>(result_bits); | 2991 return bit_cast<float, int32_t>(result_bits); |
2992 } | 2992 } |
2993 | 2993 |
2994 | 2994 |
2995 static float arm_recip_estimate(float a) { | 2995 static float arm_recip_estimate(float a) { |
2996 // From the ARM Architecture Reference Manual A2-85. | 2996 // From the ARM Architecture Reference Manual A2-85. |
2997 if (isinf(a) || (abs(a) >= exp2f(126))) return 0.0; | 2997 if (isinf(a) || (fabs(a) >= exp2f(126))) return 0.0; |
2998 else if (a == 0.0) return INFINITY; | 2998 else if (a == 0.0) return INFINITY; |
2999 else if (isnan(a)) return a; | 2999 else if (isnan(a)) return a; |
3000 | 3000 |
3001 uint32_t a_bits = bit_cast<uint32_t, float>(a); | 3001 uint32_t a_bits = bit_cast<uint32_t, float>(a); |
3002 // scaled = '0011 1111 1110' : a<22:0> : Zeros(29) | 3002 // scaled = '0011 1111 1110' : a<22:0> : Zeros(29) |
3003 uint64_t scaled = (static_cast<uint64_t>(0x3fe) << 52) | | 3003 uint64_t scaled = (static_cast<uint64_t>(0x3fe) << 52) | |
3004 ((static_cast<uint64_t>(a_bits) & 0x7fffff) << 29); | 3004 ((static_cast<uint64_t>(a_bits) & 0x7fffff) << 29); |
3005 // result_exp = 253 - UInt(a<30:23>) | 3005 // result_exp = 253 - UInt(a<30:23>) |
3006 int32_t result_exp = 253 - ((a_bits >> 23) & 0xff); | 3006 int32_t result_exp = 253 - ((a_bits >> 23) & 0xff); |
3007 ASSERT((result_exp >= 1) && (result_exp <= 252)); | 3007 ASSERT((result_exp >= 1) && (result_exp <= 252)); |
(...skipping 716 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3724 set_register(kExceptionObjectReg, bit_cast<int32_t>(raw_exception)); | 3724 set_register(kExceptionObjectReg, bit_cast<int32_t>(raw_exception)); |
3725 set_register(kStackTraceObjectReg, bit_cast<int32_t>(raw_stacktrace)); | 3725 set_register(kStackTraceObjectReg, bit_cast<int32_t>(raw_stacktrace)); |
3726 buf->Longjmp(); | 3726 buf->Longjmp(); |
3727 } | 3727 } |
3728 | 3728 |
3729 } // namespace dart | 3729 } // namespace dart |
3730 | 3730 |
3731 #endif // !defined(HOST_ARCH_ARM) | 3731 #endif // !defined(HOST_ARCH_ARM) |
3732 | 3732 |
3733 #endif // defined TARGET_ARCH_ARM | 3733 #endif // defined TARGET_ARCH_ARM |
OLD | NEW |