Represent dylink section in IR, so we can update it. (#2715)

Update it from wasm-emscripten-finalize when we append
to the table.

1 files changed, 69 insertions, 32 deletions

diff --git a/test/dylib.wasm.fromBinary b/test/dylib.wasm.fromBinary
index 45d64fb67..23db9fe85 100644
--- a/test/dylib.wasm.fromBinary
+++ b/test/dylib.wasm.fromBinary
@@ -1,50 +1,87 @@
 (module
- (type $none_=>_none (func))
  (type $none_=>_i32 (func (result i32)))
+ (type $none_=>_none (func))
  (type $i32_=>_i32 (func (param i32) (result i32)))
- (import "env" "memory" (memory $2 256))
- (data (global.get $gimport$0) "hello, world!")
- (import "env" "table" (table $timport$3 0 funcref))
- (import "env" "memoryBase" (global $gimport$0 i32))
- (import "env" "tableBase" (global $gimport$4 i32))
- (import "env" "_puts" (func $fimport$1 (param i32) (result i32)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (import "env" "memory" (memory $5 0))
+ (data (global.get $gimport$4) "*\00\00\00")
+ (import "env" "__memory_base" (global $gimport$4 i32))
+ (import "env" "g$waka_mine" (func $fimport$0 (result i32)))
+ (import "env" "g$waka_others" (func $fimport$1 (result i32)))
+ (import "env" "fp$_Z16waka_func_theirsi$ii" (func $fimport$2 (result i32)))
+ (import "env" "fp$_Z14waka_func_minei$ii" (func $fimport$3 (result i32)))
  (global $global$0 (mut i32) (i32.const 0))
  (global $global$1 (mut i32) (i32.const 0))
- (global $global$2 i32 (i32.const 0))
- (export "__post_instantiate" (func $2))
- (export "_main" (func $0))
- (export "runPostSets" (func $1))
- (export "_str" (global $global$2))
- (func $0 (; 1 ;) (result i32)
-  (block $label$1 (result i32)
-   (drop
-    (call $fimport$1
-     (global.get $gimport$0)
-    )
-   )
-   (i32.const 0)
-  )
- )
- (func $1 (; 2 ;)
+ (global $global$2 (mut i32) (i32.const 0))
+ (global $global$3 (mut i32) (i32.const 0))
+ (global $global$4 i32 (i32.const 0))
+ (global $global$5 i32 (i32.const 0))
+ (export "__wasm_apply_relocs" (func $0))
+ (export "_Z14waka_func_minei" (func $1))
+ (export "__original_main" (func $2))
+ (export "waka_mine" (global $global$4))
+ (export "main" (func $3))
+ (export "__dso_handle" (global $global$5))
+ (export "__post_instantiate" (func $4))
+ (func $0 (; 4 ;)
   (nop)
  )
- (func $2 (; 3 ;)
-  (block $label$1
-   (global.set $global$0
+ (func $1 (; 5 ;) (param $0 i32) (result i32)
+  (i32.add
+   (local.get $0)
+   (i32.const 1)
+  )
+ )
+ (func $2 (; 6 ;) (result i32)
+  (i32.add
+   (i32.load
+    (global.get $global$3)
+   )
+   (i32.add
+    (i32.load
+     (global.get $global$2)
+    )
     (i32.add
-     (global.get $gimport$0)
-     (i32.const 16)
+     (global.get $global$0)
+     (global.get $global$1)
     )
    )
-   (global.set $global$1
+  )
+ )
+ (func $3 (; 7 ;) (param $0 i32) (param $1 i32) (result i32)
+  (i32.add
+   (i32.load
+    (global.get $global$3)
+   )
+   (i32.add
+    (i32.load
+     (global.get $global$2)
+    )
     (i32.add
      (global.get $global$0)
-     (i32.const 5242880)
+     (global.get $global$1)
     )
    )
-   (call $1)
   )
  )
- ;; custom section "dylink", size 5
+ (func $4 (; 8 ;)
+  (global.set $global$2
+   (call $fimport$0)
+  )
+  (global.set $global$3
+   (call $fimport$1)
+  )
+  (global.set $global$0
+   (call $fimport$2)
+  )
+  (global.set $global$1
+   (call $fimport$3)
+  )
+ )
+ ;; dylink section
+ ;;   memorysize: 4
+ ;;   memoryalignment: 2
+ ;;   tablesize: 0
+ ;;   tablealignment: 0
 )