forked from WebKit/WebKit
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathWasmExceptionType.h
More file actions
148 lines (135 loc) · 6.47 KB
/
WasmExceptionType.h
File metadata and controls
148 lines (135 loc) · 6.47 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
/*
* Copyright (C) 2016 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
* OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#pragma once
#include <wtf/text/ASCIILiteral.h>
#if ENABLE(WEBASSEMBLY)
namespace JSC {
namespace Wasm {
#define FOR_EACH_EXCEPTION(macro) \
macro(OutOfBoundsMemoryAccess, "Out of bounds memory access"_s) \
macro(OutOfBoundsTableAccess, "Out of bounds table access"_s) \
macro(OutOfBoundsCallIndirect, "Out of bounds call_indirect"_s) \
macro(NullTableEntry, "call_indirect to a null table entry"_s) \
macro(NullReference, "call_ref to a null reference"_s) \
macro(NullI31Get, "i31.get_<sx> to a null reference"_s) \
macro(BadSignature, "call_indirect to a signature that does not match"_s) \
macro(OutOfBoundsTrunc, "Out of bounds Trunc operation"_s) \
macro(Unreachable, "Unreachable code should not be executed"_s) \
macro(DivisionByZero, "Division by zero"_s) \
macro(IntegerOverflow, "Integer overflow"_s) \
macro(StackOverflow, "Stack overflow"_s) \
macro(FuncrefNotWasm, "Funcref must be an exported wasm function"_s) \
macro(InvalidGCTypeUse, "Unsupported use of struct or array type"_s) \
macro(OutOfBoundsArrayGet, "Out of bounds array.get"_s) \
macro(OutOfBoundsArraySet, "Out of bounds array.set"_s) \
macro(OutOfBoundsArrayFill, "Out of bounds array.fill"_s) \
macro(OutOfBoundsArrayCopy, "Out of bounds array.copy"_s) \
macro(OutOfBoundsArrayInitElem, "Out of bounds array.init_elem"_s) \
macro(OutOfBoundsArrayInitData, "Out of bounds array.init_data"_s) \
macro(BadStructNew, "Failed to allocate new struct"_s) \
macro(BadArrayNew, "Failed to allocate new array"_s) \
macro(BadArrayNewInitElem, "Out of bounds or failed to allocate in array.new_elem"_s) \
macro(BadArrayNewInitData, "Out of bounds or failed to allocate in array.new_data"_s) \
macro(NullArrayGet, "array.get to a null reference"_s) \
macro(NullArraySet, "array.set to a null reference"_s) \
macro(NullArrayLen, "array.len to a null reference"_s) \
macro(NullArrayFill, "array.fill to a null reference"_s) \
macro(NullArrayCopy, "array.copy to a null reference"_s) \
macro(NullArrayInitElem, "array.init_elem to a null reference"_s) \
macro(NullArrayInitData, "array.init_data to a null reference"_s) \
macro(NullStructGet, "struct.get to a null reference"_s) \
macro(NullStructSet, "struct.set to a null reference"_s) \
macro(TypeErrorInvalidV128Use, "an exported wasm function cannot contain a v128 parameter or return value"_s) \
macro(NullRefAsNonNull, "ref.as_non_null to a null reference"_s) \
macro(CastFailure, "ref.cast failed to cast reference to target heap type"_s) \
macro(OutOfBoundsDataSegmentAccess, "Offset + array length would exceed the size of a data segment"_s) \
macro(OutOfBoundsElementSegmentAccess, "Offset + array length would exceed the length of an element segment"_s)
enum class ExceptionType : uint32_t {
#define MAKE_ENUM(enumName, error) enumName,
FOR_EACH_EXCEPTION(MAKE_ENUM)
#undef MAKE_ENUM
};
#define JSC_COUNT_EXCEPTION_TYPES(name, message) + 1
static constexpr unsigned numberOfExceptionTypes = 0 FOR_EACH_EXCEPTION(JSC_COUNT_EXCEPTION_TYPES);
#undef JSC_COUNT_EXCEPTION_TYPES
ALWAYS_INLINE ASCIILiteral errorMessageForExceptionType(ExceptionType type)
{
switch (type) {
#define SWITCH_CASE(enumName, error) \
case ExceptionType::enumName: return error;
FOR_EACH_EXCEPTION(SWITCH_CASE)
#undef SWITCH_CASE
}
ASSERT_NOT_REACHED();
return ""_s;
}
ALWAYS_INLINE bool isTypeErrorExceptionType(ExceptionType type)
{
switch (type) {
case ExceptionType::OutOfBoundsMemoryAccess:
case ExceptionType::OutOfBoundsTableAccess:
case ExceptionType::OutOfBoundsDataSegmentAccess:
case ExceptionType::OutOfBoundsElementSegmentAccess:
case ExceptionType::OutOfBoundsCallIndirect:
case ExceptionType::NullTableEntry:
case ExceptionType::NullReference:
case ExceptionType::NullI31Get:
case ExceptionType::BadSignature:
case ExceptionType::OutOfBoundsTrunc:
case ExceptionType::Unreachable:
case ExceptionType::DivisionByZero:
case ExceptionType::IntegerOverflow:
case ExceptionType::StackOverflow:
case ExceptionType::OutOfBoundsArrayGet:
case ExceptionType::OutOfBoundsArraySet:
case ExceptionType::OutOfBoundsArrayFill:
case ExceptionType::OutOfBoundsArrayCopy:
case ExceptionType::OutOfBoundsArrayInitElem:
case ExceptionType::OutOfBoundsArrayInitData:
case ExceptionType::BadStructNew:
case ExceptionType::BadArrayNew:
case ExceptionType::BadArrayNewInitElem:
case ExceptionType::BadArrayNewInitData:
case ExceptionType::NullArrayGet:
case ExceptionType::NullArraySet:
case ExceptionType::NullArrayLen:
case ExceptionType::NullArrayFill:
case ExceptionType::NullArrayCopy:
case ExceptionType::NullArrayInitElem:
case ExceptionType::NullArrayInitData:
case ExceptionType::NullStructGet:
case ExceptionType::NullStructSet:
case ExceptionType::NullRefAsNonNull:
case ExceptionType::CastFailure:
return false;
case ExceptionType::FuncrefNotWasm:
case ExceptionType::InvalidGCTypeUse:
case ExceptionType::TypeErrorInvalidV128Use:
return true;
}
return false;
}
} } // namespace JSC::Wasm
#endif // ENABLE(WEBASSEMBLY)