| 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 <stddef.h> |    5 #include <stddef.h> | 
|    6 #include <stdint.h> |    6 #include <stdint.h> | 
|    7  |    7  | 
|    8 #include "include/v8.h" |    8 #include "include/v8.h" | 
|    9 #include "src/isolate.h" |    9 #include "src/isolate.h" | 
|   10 #include "src/objects.h" |   10 #include "src/objects.h" | 
| (...skipping 147 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
|  158     CHECK(!instance.is_null()); |  158     CHECK(!instance.is_null()); | 
|  159   } else { |  159   } else { | 
|  160     return 0; |  160     return 0; | 
|  161   } |  161   } | 
|  162   int32_t result_compiled; |  162   int32_t result_compiled; | 
|  163   { |  163   { | 
|  164     result_compiled = testing::CallWasmFunctionForTesting( |  164     result_compiled = testing::CallWasmFunctionForTesting( | 
|  165         i_isolate, instance, &compiler_thrower, "main", argc, compiled_args, |  165         i_isolate, instance, &compiler_thrower, "main", argc, compiled_args, | 
|  166         v8::internal::wasm::ModuleOrigin::kWasmOrigin); |  166         v8::internal::wasm::ModuleOrigin::kWasmOrigin); | 
|  167   } |  167   } | 
|  168   if (result_interpreted == 0xdeadbeef) { |  168   if (result_interpreted == bit_cast<int32_t>(0xdeadbeef)) { | 
|  169     CHECK(i_isolate->has_pending_exception()); |  169     CHECK(i_isolate->has_pending_exception()); | 
|  170     i_isolate->clear_pending_exception(); |  170     i_isolate->clear_pending_exception(); | 
|  171   } else { |  171   } else { | 
|  172     // The WebAssembly spec allows the sign bit of NaN to be non-deterministic. |  172     // The WebAssembly spec allows the sign bit of NaN to be non-deterministic. | 
|  173     // This sign bit may cause result_interpreted to be different than |  173     // This sign bit may cause result_interpreted to be different than | 
|  174     // result_compiled. Therefore we do not check the equality of the results |  174     // result_compiled. Therefore we do not check the equality of the results | 
|  175     // if the execution may have produced a NaN at some point. |  175     // if the execution may have produced a NaN at some point. | 
|  176     if (!possible_nondeterminism && (result_interpreted != result_compiled)) { |  176     if (!possible_nondeterminism && (result_interpreted != result_compiled)) { | 
|  177       V8_Fatal(__FILE__, __LINE__, "WasmCodeFuzzerHash=%x", |  177       V8_Fatal(__FILE__, __LINE__, "WasmCodeFuzzerHash=%x", | 
|  178                v8::internal::StringHasher::HashSequentialString( |  178                v8::internal::StringHasher::HashSequentialString( | 
|  179                    data, static_cast<int>(size), WASM_CODE_FUZZER_HASH_SEED)); |  179                    data, static_cast<int>(size), WASM_CODE_FUZZER_HASH_SEED)); | 
|  180     } |  180     } | 
|  181   } |  181   } | 
|  182   return 0; |  182   return 0; | 
|  183 } |  183 } | 
| OLD | NEW |