-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Expand file tree
/
Copy pathWasmExceptionType.h
More file actions
153 lines (140 loc) · 6.78 KB
/
WasmExceptionType.h
File metadata and controls
153 lines (140 loc) · 6.78 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
149
150
151
152
153
/*
* 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/Platform.h>
#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(UnalignedMemoryAccess, "Unaligned 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(NullExnrefReference, "throw_ref on 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(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(NullAccess, "access 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(TypeErrorInvalidValueUse, "an exported wasm function cannot contain an invalid parameter or return value"_s) \
macro(TypeErrorV128TagAccessInJS, "a v128 parameter of a tag may not be accessed from JS"_s) \
macro(TypeErrorUnexpectedNullReference, "Host function incorrectly returned null for a nonnullable reference type"_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) \
macro(OutOfMemory, "Out of memory"_s) \
macro(IllegalArgument, "Illegal argument"_s) \
macro(Termination, "Termination"_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::UnalignedMemoryAccess:
case ExceptionType::OutOfBoundsTableAccess:
case ExceptionType::OutOfBoundsDataSegmentAccess:
case ExceptionType::OutOfBoundsElementSegmentAccess:
case ExceptionType::OutOfBoundsCallIndirect:
case ExceptionType::NullTableEntry:
case ExceptionType::NullReference:
case ExceptionType::NullExnrefReference:
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::NullAccess:
case ExceptionType::NullArrayFill:
case ExceptionType::NullArrayCopy:
case ExceptionType::NullArrayInitElem:
case ExceptionType::NullArrayInitData:
case ExceptionType::NullRefAsNonNull:
case ExceptionType::CastFailure:
case ExceptionType::OutOfMemory:
case ExceptionType::IllegalArgument:
case ExceptionType::Termination:
return false;
case ExceptionType::InvalidGCTypeUse:
case ExceptionType::TypeErrorInvalidValueUse:
case ExceptionType::TypeErrorV128TagAccessInJS:
case ExceptionType::TypeErrorUnexpectedNullReference:
return true;
}
return false;
}
} } // namespace JSC::Wasm
#endif // ENABLE(WEBASSEMBLY)