| OLD | NEW |
| 1 // Copyright 2016 the V8 project authors. All rights reserved. | 1 // Copyright 2016 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 #include "src/wasm/wasm-interpreter.h" | 5 #include "src/wasm/wasm-interpreter.h" |
| 6 |
| 7 #include "src/utils.h" |
| 6 #include "src/wasm/ast-decoder.h" | 8 #include "src/wasm/ast-decoder.h" |
| 7 #include "src/wasm/decoder.h" | 9 #include "src/wasm/decoder.h" |
| 8 #include "src/wasm/wasm-external-refs.h" | 10 #include "src/wasm/wasm-external-refs.h" |
| 9 #include "src/wasm/wasm-module.h" | 11 #include "src/wasm/wasm-module.h" |
| 10 | 12 |
| 11 #include "src/base/accounting-allocator.h" | 13 #include "src/base/accounting-allocator.h" |
| 12 #include "src/zone-containers.h" | 14 #include "src/zone-containers.h" |
| 13 | 15 |
| 14 namespace v8 { | 16 namespace v8 { |
| 15 namespace internal { | 17 namespace internal { |
| (...skipping 300 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 316 // Some architectures (e.g. MIPS) need extra checking to preserve the payload | 318 // Some architectures (e.g. MIPS) need extra checking to preserve the payload |
| 317 // of a NaN operand. | 319 // of a NaN operand. |
| 318 if (result - result != 0) { | 320 if (result - result != 0) { |
| 319 if (std::isnan(a)) return quiet(a); | 321 if (std::isnan(a)) return quiet(a); |
| 320 if (std::isnan(b)) return quiet(b); | 322 if (std::isnan(b)) return quiet(b); |
| 321 } | 323 } |
| 322 return result; | 324 return result; |
| 323 } | 325 } |
| 324 | 326 |
| 325 static inline float ExecuteF32Min(float a, float b, TrapReason* trap) { | 327 static inline float ExecuteF32Min(float a, float b, TrapReason* trap) { |
| 326 if (std::isnan(a)) return quiet(a); | 328 return JSMin(a, b); |
| 327 if (std::isnan(b)) return quiet(b); | |
| 328 return std::min(a, b); | |
| 329 } | 329 } |
| 330 | 330 |
| 331 static inline float ExecuteF32Max(float a, float b, TrapReason* trap) { | 331 static inline float ExecuteF32Max(float a, float b, TrapReason* trap) { |
| 332 if (std::isnan(a)) return quiet(a); | 332 return JSMax(a, b); |
| 333 if (std::isnan(b)) return quiet(b); | |
| 334 return std::max(a, b); | |
| 335 } | 333 } |
| 336 | 334 |
| 337 static inline float ExecuteF32CopySign(float a, float b, TrapReason* trap) { | 335 static inline float ExecuteF32CopySign(float a, float b, TrapReason* trap) { |
| 338 return copysignf(a, b); | 336 return copysignf(a, b); |
| 339 } | 337 } |
| 340 | 338 |
| 341 static inline double ExecuteF64Sub(double a, double b, TrapReason* trap) { | 339 static inline double ExecuteF64Sub(double a, double b, TrapReason* trap) { |
| 342 double result = a - b; | 340 double result = a - b; |
| 343 // Some architectures (e.g. MIPS) need extra checking to preserve the payload | 341 // Some architectures (e.g. MIPS) need extra checking to preserve the payload |
| 344 // of a NaN operand. | 342 // of a NaN operand. |
| 345 if (result - result != 0) { | 343 if (result - result != 0) { |
| 346 if (std::isnan(a)) return quiet(a); | 344 if (std::isnan(a)) return quiet(a); |
| 347 if (std::isnan(b)) return quiet(b); | 345 if (std::isnan(b)) return quiet(b); |
| 348 } | 346 } |
| 349 return result; | 347 return result; |
| 350 } | 348 } |
| 351 | 349 |
| 352 static inline double ExecuteF64Min(double a, double b, TrapReason* trap) { | 350 static inline double ExecuteF64Min(double a, double b, TrapReason* trap) { |
| 353 if (std::isnan(a)) return quiet(a); | 351 return JSMin(a, b); |
| 354 if (std::isnan(b)) return quiet(b); | |
| 355 if ((a == 0.0) && (b == 0.0) && (copysign(1.0, a) != copysign(1.0, b))) { | |
| 356 // a and b are zero, and the sign differs: return -0.0. | |
| 357 return -0.0; | |
| 358 } else { | |
| 359 return (a < b) ? a : b; | |
| 360 } | |
| 361 } | 352 } |
| 362 | 353 |
| 363 static inline double ExecuteF64Max(double a, double b, TrapReason* trap) { | 354 static inline double ExecuteF64Max(double a, double b, TrapReason* trap) { |
| 364 if (std::isnan(a)) return quiet(a); | 355 return JSMax(a, b); |
| 365 if (std::isnan(b)) return quiet(b); | |
| 366 if ((a == 0.0) && (b == 0.0) && (copysign(1.0, a) != copysign(1.0, b))) { | |
| 367 // a and b are zero, and the sign differs: return 0.0. | |
| 368 return 0.0; | |
| 369 } else { | |
| 370 return (a > b) ? a : b; | |
| 371 } | |
| 372 } | 356 } |
| 373 | 357 |
| 374 static inline double ExecuteF64CopySign(double a, double b, TrapReason* trap) { | 358 static inline double ExecuteF64CopySign(double a, double b, TrapReason* trap) { |
| 375 return copysign(a, b); | 359 return copysign(a, b); |
| 376 } | 360 } |
| 377 | 361 |
| 378 static inline int32_t ExecuteI32AsmjsDivS(int32_t a, int32_t b, | 362 static inline int32_t ExecuteI32AsmjsDivS(int32_t a, int32_t b, |
| 379 TrapReason* trap) { | 363 TrapReason* trap) { |
| 380 if (b == 0) return 0; | 364 if (b == 0) return 0; |
| 381 if (b == -1 && a == std::numeric_limits<int32_t>::min()) { | 365 if (b == -1 && a == std::numeric_limits<int32_t>::min()) { |
| (...skipping 1438 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1820 | 1804 |
| 1821 ControlTransferMap WasmInterpreter::ComputeControlTransfersForTesting( | 1805 ControlTransferMap WasmInterpreter::ComputeControlTransfersForTesting( |
| 1822 Zone* zone, const byte* start, const byte* end) { | 1806 Zone* zone, const byte* start, const byte* end) { |
| 1823 ControlTransfers targets(zone, 0, start, end); | 1807 ControlTransfers targets(zone, 0, start, end); |
| 1824 return targets.map_; | 1808 return targets.map_; |
| 1825 } | 1809 } |
| 1826 | 1810 |
| 1827 } // namespace wasm | 1811 } // namespace wasm |
| 1828 } // namespace internal | 1812 } // namespace internal |
| 1829 } // namespace v8 | 1813 } // namespace v8 |
| OLD | NEW |