webassembly学习——文本格式

一、文本格式

WASM有两种格式，今天讲供看的文本格式（以.wat后缀结尾）。这个格式一般是将其抽象语法呈现为S-expressions，也就是常说的S表达式语法。它同样由一系列的属性构成，允许线性的表示函数体。这种文本的格式是一般是UTF-8格式的。为了能够将文本格式和前面提到的二进制格式对应上，就需要一系列的给定来实现这种格式。

二、文本格式的表达

S表达式，这个如果有编译器的相关经验或者说看过编译器原理实现相关的书籍的话，应该没有什么难度。但是对于没有此类经验的，也可以忽略过去，或者走马观花的看看即可不必非得弄懂。
下面是相关的语法：

看一个具体的例子：

(module
  (func (result i32)
    (i32.const 33)
  )
  (export "OK" (func 0))
)

这个是一个普通的函数，返回一个值33。

三、线性指令

对函数来说，所谓线性指令其实就是按照顺序翻译成文本格式即可，看一个具体的函数的例子：

struct Test
{
  int d;
  char *p;
};
int GetData(int d)
{
  int tmp = d + 100;
  return d;
}
int main() { 
  struct Test t;
  t.d = GetData(33);
  t.p = "abcd";
  return 0;
}

编译成的二进制形式：

编译成的文本格式：

(module
 (table 0 anyfunc)
 (memory $0 1)
 (export "memory" (memory $0))
 (export "GetData" (func $GetData))
 (export "main" (func $main))
 (func $GetData (; 0 ;) (param $0 i32) (result i32)
  (get_local $0)
 )
 (func $main (; 1 ;) (result i32)
  (i32.const 0)
 )
)

看到这个，再对应着源码，应该不明白怎么回事儿了。

四、总结

仍然是前文那句话，这个不是写具体的格式说明的，如果有需要可以直接去官网上看，很清晰。重要的是从上向下看这个格式，更容易知道其有何用，为什么用？这才是重点。