diff options
| author | Ben Smith <binjimin@gmail.com> | 2017-05-15 10:07:21 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-15 10:07:21 -0700 |
| commit | f1031e8ac4a4eb2ec886c03fa432d5b5b3cc56a0 (patch) | |
| tree | 1c2144a7c8acadf0850ad183920d0b247ddc501c /src/type-checker.h | |
| parent | 5d10e89b5d796edc62cfb6bc3f806d8a1b1272c0 (diff) | |
| download | wabt-f1031e8ac4a4eb2ec886c03fa432d5b5b3cc56a0.tar.gz wabt-f1031e8ac4a4eb2ec886c03fa432d5b5b3cc56a0.tar.bz2 wabt-f1031e8ac4a4eb2ec886c03fa432d5b5b3cc56a0.zip | |
Use Index/Address/Offset instead of uint32_t (#433)
An `Index` is an index into one of the WebAssembly index spaces. It also
is used for counts for these spaces, as well as parameter counts and
result counts.
An `Address` is an index into linear memory, or the size of a data
region in linear memory.
An `Offset` is an offset into the host's file or memory buffer.
This fixes issue #322.
Diffstat (limited to 'src/type-checker.h')
| -rw-r--r-- | src/type-checker.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/type-checker.h b/src/type-checker.h index 31547dac..483293da 100644 --- a/src/type-checker.h +++ b/src/type-checker.h @@ -51,16 +51,16 @@ struct TypeChecker { bool typechecker_is_unreachable(TypeChecker* tc); Result typechecker_get_label(TypeChecker* tc, - size_t depth, + Index depth, TypeCheckerLabel** out_label); Result typechecker_begin_function(TypeChecker*, const TypeVector* sig); Result typechecker_on_binary(TypeChecker*, Opcode); Result typechecker_on_block(TypeChecker*, const TypeVector* sig); -Result typechecker_on_br(TypeChecker*, size_t depth); -Result typechecker_on_br_if(TypeChecker*, size_t depth); +Result typechecker_on_br(TypeChecker*, Index depth); +Result typechecker_on_br_if(TypeChecker*, Index depth); Result typechecker_begin_br_table(TypeChecker*); -Result typechecker_on_br_table_target(TypeChecker*, size_t depth); +Result typechecker_on_br_table_target(TypeChecker*, Index depth); Result typechecker_end_br_table(TypeChecker*); Result typechecker_on_call(TypeChecker*, const TypeVector* param_types, |