[PATCH] D43264: [WebAssembly] Add explicit symbol table

Rui Ueyama via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 15 16:56:25 PST 2018


ruiu added a comment.

I read the documentation of wasm to understand its model better. Here is my observation (some of them are very obvious to you guys though)

- Wasm has linear memory (which is basically a contiguous byte-addressable memory), functions (that don't exist in the linear memory space but you can call them by their indices) and global variables (that live in their own addressing space)
- Globals variables basically consists of types and indices

It looks more and more like global variables are just symbols with indices. Do you agree? I believe it can naturally be modeled as a symbol.

That makes me wonder what the current DefinedGlobal represents. Is this a symbol that lives in the linear memory or global variable?


Repository:
  rLLD LLVM Linker

https://reviews.llvm.org/D43264





More information about the llvm-commits mailing list