函式

函式是一段執行特定功能的指令集合,WebAssembly 的函式可以傳入若干個數值當作區域變數、定義屬於函式自己的區域變數,以及在結束時傳回一個數值。尤其在瀏覽器上更是 WebAssembly 和網頁的 JavaScript 程式碼互動的重要角色

函式的運作機制和 block 差不多,會在堆疊裡放進一個框架 (Frame),這個 frame 會記錄目前在哪個模組,以及函式的區域變數。同樣的,frame 會像遮罩一樣把先前的數值和 label 遮住,讓函式裏面的指令看不到先前的數值和 label,等到函式結束的時候再把 frame 取出,回到先前的狀態

函式執行的時候自帶一個 block,所以也會有和 block 差不多的行為,結束時一樣要把堆疊清空,或是在有指定回傳值的情況下剩下一個相對應的回傳值

宣告函式

函式的宣告非常簡單,像全域變數和記憶體一樣宣告在模組裡,裏面放入要在函式裡執行的指令

(module
(func
i32.const 3
drop
)
(start 0)
)

可以幫函式加上名稱,像之前的範例就有幫函式加上 $main

(module
(func $main
i32.const 3
drop
)
(start $main)
)

函式和全域變數一樣會有一個從 0 開始的編號,因此在 module 裡從上到下分別是 0, 1, 2 ...,之後呼叫函式的時候也是用編號來區分

呼叫函式

  • call

    • 後面接編號。呼叫之後會執行被呼叫的函式,直到被呼叫的函式返回之後,才會繼續執行接下來的指令

(module
(func
i32.const 2
unreachable
)
(func $main
call 0
i32.const 3
unreachable
)
(start $main)
)

參數 (Parameter)

如果要傳遞一些數值到函式裡,可以用 param 加上參數,參數會被當作函式的區域變數

有寫在 start 裡的函式不能加參數,在模組章節會有詳細說明

(module
(func $aaa (param i32 f32 i32)
get_local 0
get_local 2
i32.add
get_local 1
unreachable
)
(func $main
i32.const 5
f32.const 3.14
i32.const 8
call $aaa
i32.const 3
unreachable
)
(start $main)
)

執行結果

Values in the stack:
Type: f32, Value: 3.14
Type: i32, Value: 13
Values in the stack:
Type: i32, Value: 3

和區域變數一樣,可以幫參數加上名稱,不過也是一樣要分開寫

(module
(func $aaa (param $a i32) (param f32) (param $b i32)
get_local $a
get_local $b
i32.add
get_local 1
unreachable
)
(func $main
i32.const 5
f32.const 3.14
i32.const 8
call $aaa
i32.const 3
unreachable
)
(start $main)
)

同時使用 param 和 local 時,local 必須在 param 之後,當然區域變數的編號也會排在 param 的後面

(module
(func $aaa (param $a i32) (local $b i32)
get_local $a
i32.const 8
set_local 1
get_local $b
i32.add
unreachable
)
(func $main
i32.const 5
call $aaa
i32.const 3
unreachable
)
(start $main)
)

回傳值 (Return value)

如果要在函式結束時傳遞數值給上一層函式,可以用 result 加上一個回傳值。這樣在函式結束的時候會從堆疊拿出一個對應的數值,在回到上一層函數時放回堆疊裡

有寫在 start 裡的函式不能加回傳值,在模組章節會有詳細說明

(module
(func $add (param $a i32) (param $b i32) (result i32)
get_local $a
get_local $b
i32.add
)
(func $main
i32.const 5
i32.const 4
call $add
unreachable
)
(start $main)
)

執行結果

Values in the stack:
Type: i32, Value: 9

使用 param、result 和 local 時,必須按照 param \rightarrow result \rightarrow local 的順序排列