| // Copyright 2015 the V8 project authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #ifndef V8_WASM_WASM_RESULT_H_ |
| #define V8_WASM_WASM_RESULT_H_ |
| |
| #if !V8_ENABLE_WEBASSEMBLY |
| #error This header should only be included if WebAssembly is enabled. |
| #endif // !V8_ENABLE_WEBASSEMBLY |
| |
| #include <cstdarg> |
| #include <memory> |
| |
| #include "src/base/compiler-specific.h" |
| #include "src/base/macros.h" |
| #include "src/base/platform/platform.h" |
| |
| #include "src/common/globals.h" |
| |
| namespace v8 { |
| namespace internal { |
| |
| namespace wasm { |
| |
| class V8_EXPORT_PRIVATE WasmError { |
| public: |
| WasmError() = default; |
| |
| WasmError(uint32_t offset, std::string message) |
| : offset_(offset), message_(std::move(message)) { |
| DCHECK_NE(kNoErrorOffset, offset); |
| DCHECK(!message_.empty()); |
| } |
| |
| PRINTF_FORMAT(3, 4) |
| WasmError(uint32_t offset, const char* format, ...) : offset_(offset) { |
| DCHECK_NE(kNoErrorOffset, offset); |
| va_list args; |
| va_start(args, format); |
| message_ = FormatError(format, args); |
| va_end(args); |
| DCHECK(!message_.empty()); |
| } |
| |
| bool has_error() const { |
| DCHECK_EQ(offset_ == kNoErrorOffset, message_.empty()); |
| return offset_ != kNoErrorOffset; |
| } |
| |
| operator bool() const { return has_error(); } |
| |
| uint32_t offset() const { return offset_; } |
| const std::string& message() const& { return message_; } |
| std::string&& message() && { return std::move(message_); } |
| |
| protected: |
| static std::string FormatError(const char* format, va_list args); |
| |
| private: |
| static constexpr uint32_t kNoErrorOffset = kMaxUInt32; |
| uint32_t offset_ = kNoErrorOffset; |
| std::string message_; |
| }; |
| |
| // Either a result of type T, or a WasmError. |
| template <typename T> |
| class Result { |
| public: |
| static_assert(!std::is_same<T, WasmError>::value); |
| static_assert(!std::is_reference<T>::value, |
| "Holding a reference in a Result looks like a mistake; remove " |
| "this assertion if you know what you are doing"); |
| |
| Result() = default; |
| // Allow moving. |
| Result(Result<T>&&) = default; |
| Result& operator=(Result<T>&&) = default; |
| // Disallow copying. |
| Result& operator=(const Result<T>&) = delete; |
| Result(const Result&) = delete; |
| |
| // Construct a Result from anything that can be used to construct a T value. |
| template <typename U> |
| explicit Result(U&& value) : value_(std::forward<U>(value)) {} |
| |
| explicit Result(WasmError error) : error_(std::move(error)) {} |
| |
| // Implicitly convert a Result<T> to Result<U> if T implicitly converts to U. |
| // Only provide that for r-value references (i.e. temporary objects) though, |
| // to be used if passing or returning a result by value. |
| template <typename U> |
| operator Result<U>() const&& |
| requires(std::is_assignable_v<U, T &&>) |
| { |
| return ok() ? Result<U>{std::move(value_)} : Result<U>{error_}; |
| } |
| |
| bool ok() const { return !failed(); } |
| bool failed() const { return error_.has_error(); } |
| const WasmError& error() const& { return error_; } |
| WasmError&& error() && { return std::move(error_); } |
| |
| // Accessor for the value. Returns const reference if {this} is l-value or |
| // const, and returns r-value reference if {this} is r-value. This allows to |
| // extract non-copyable values like {std::unique_ptr} by using |
| // {std::move(result).value()}. |
| const T& value() const & { |
| DCHECK(ok()); |
| return value_; |
| } |
| T&& value() && { |
| DCHECK(ok()); |
| return std::move(value_); |
| } |
| |
| private: |
| T value_ = T{}; |
| WasmError error_; |
| }; |
| |
| // A helper for generating error messages that bubble up to JS exceptions. |
| class V8_EXPORT_PRIVATE ErrorThrower { |
| public: |
| ErrorThrower(Isolate* isolate, const char* context) |
| : isolate_(isolate), context_(context) {} |
| // Disallow copy. |
| ErrorThrower(const ErrorThrower&) = delete; |
| ErrorThrower& operator=(const ErrorThrower&) = delete; |
| ~ErrorThrower(); |
| |
| PRINTF_FORMAT(2, 3) void TypeError(const char* fmt, ...); |
| PRINTF_FORMAT(2, 3) void RangeError(const char* fmt, ...); |
| PRINTF_FORMAT(2, 3) void CompileError(const char* fmt, ...); |
| PRINTF_FORMAT(2, 3) void LinkError(const char* fmt, ...); |
| PRINTF_FORMAT(2, 3) void RuntimeError(const char* fmt, ...); |
| |
| void CompileFailed(const WasmError& error) { |
| DCHECK(error.has_error()); |
| CompileError("%s @+%u", error.message().c_str(), error.offset()); |
| } |
| |
| // Create and return exception object. |
| V8_WARN_UNUSED_RESULT DirectHandle<Object> Reify(); |
| |
| // Reset any error which was set on this thrower. |
| void Reset(); |
| |
| bool error() const { return error_type_ != kNone; } |
| bool wasm_error() { return error_type_ >= kFirstWasmError; } |
| const char* error_msg() { return error_msg_.c_str(); } |
| |
| Isolate* isolate() const { return isolate_; } |
| |
| constexpr const char* context_name() const { return context_; } |
| |
| private: |
| enum ErrorType { |
| kNone, |
| // General errors. |
| kTypeError, |
| kRangeError, |
| // Wasm errors. |
| kCompileError, |
| kLinkError, |
| kRuntimeError, |
| |
| // Marker. |
| kFirstWasmError = kCompileError |
| }; |
| |
| void Format(ErrorType error_type_, const char* fmt, va_list); |
| |
| Isolate* const isolate_; |
| const char* const context_; |
| ErrorType error_type_ = kNone; |
| std::string error_msg_; |
| |
| // ErrorThrower should always be stack-allocated, since it constitutes a scope |
| // (things happen in the destructor). |
| DISALLOW_NEW_AND_DELETE() |
| }; |
| |
| // Use {nullptr_t} as data value to indicate that this only stores the error, |
| // but no result value (the only valid value is {nullptr}). |
| // [Storing {void} would require template specialization.] |
| using VoidResult = Result<std::nullptr_t>; |
| |
| } // namespace wasm |
| } // namespace internal |
| } // namespace v8 |
| |
| #endif // V8_WASM_WASM_RESULT_H_ |