]>
Commit | Line | Data |
---|---|---|
abe05a73 XL |
1 | /* |
2 | * Copyright 2017 WebAssembly Community Group participants | |
3 | * | |
4 | * Licensed under the Apache License, Version 2.0 (the "License"); | |
5 | * you may not use this file except in compliance with the License. | |
6 | * You may obtain a copy of the License at | |
7 | * | |
8 | * http://www.apache.org/licenses/LICENSE-2.0 | |
9 | * | |
10 | * Unless required by applicable law or agreed to in writing, software | |
11 | * distributed under the License is distributed on an "AS IS" BASIS, | |
12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
13 | * See the License for the specific language governing permissions and | |
14 | * limitations under the License. | |
15 | */ | |
16 | ||
17 | #ifndef wasm_wasm_type_h | |
18 | #define wasm_wasm_type_h | |
19 | ||
20 | namespace wasm { | |
21 | ||
22 | enum WasmType { | |
23 | none, | |
24 | i32, | |
25 | i64, | |
26 | f32, | |
27 | f64, | |
28 | unreachable // none means no type, e.g. a block can have no return type. but | |
29 | // unreachable is different, as it can be "ignored" when doing | |
30 | // type checking across branches | |
31 | }; | |
32 | ||
33 | const char* printWasmType(WasmType type); | |
34 | unsigned getWasmTypeSize(WasmType type); | |
35 | bool isWasmTypeFloat(WasmType type); | |
36 | WasmType getWasmType(unsigned size, bool float_); | |
37 | WasmType getReachableWasmType(WasmType a, WasmType b); | |
38 | bool isConcreteWasmType(WasmType type); | |
39 | ||
40 | } // namespace wasm | |
41 | ||
42 | #endif // wasm_wasm_type_h |