1; RUN: llc -relocation-model=pic -filetype=obj %s -o %t.o
2; RUN: wasm-ld --no-gc-sections --allow-undefined -pie -o %t.wasm %t.o
3; RUN: obj2yaml %t.wasm | FileCheck %s
4
5target triple = "wasm32-unknown-emscripten"
6
7@data = global i32 2, align 4
8@data_external = external global i32
9@indirect_func = local_unnamed_addr global i32 ()* @foo, align 4
10
11@data_addr = local_unnamed_addr global i32* @data, align 4
12@data_addr_external = local_unnamed_addr global i32* @data_external, align 4
13
14define hidden i32 @foo() {
15entry:
16  ; To ensure we use __stack_pointer
17  %ptr = alloca i32
18  %0 = load i32, i32* @data, align 4
19  %1 = load i32 ()*, i32 ()** @indirect_func, align 4
20  call i32 %1()
21  ret i32 %0
22}
23
24define default i32** @get_data_address() {
25entry:
26  ret i32** @data_addr_external
27}
28
29define void @_start() {
30  ret void
31}
32
33; CHECK:        - Type:            IMPORT
34; CHECK-NEXT:     Imports:
35; CHECK-NEXT:       - Module:          env
36; CHECK-NEXT:         Field:           __indirect_function_table
37; CHECK-NEXT:         Kind:            TABLE
38; CHECK-NEXT:         Table:
39; CHECK-NEXT:           ElemType:        FUNCREF
40; CHECK-NEXT:           Limits:
41; CHECK-NEXT:             Initial:         0x00000001
42; CHECK-NEXT:       - Module:          env
43; CHECK-NEXT:         Field:           __stack_pointer
44; CHECK-NEXT:         Kind:            GLOBAL
45; CHECK-NEXT:         GlobalType:      I32
46; CHECK-NEXT:         GlobalMutable:   true
47; CHECK-NEXT:       - Module:          env
48; CHECK-NEXT:         Field:           __memory_base
49; CHECK-NEXT:         Kind:            GLOBAL
50; CHECK-NEXT:         GlobalType:      I32
51; CHECK-NEXT:         GlobalMutable:   false
52; CHECK-NEXT:       - Module:          env
53; CHECK-NEXT:         Field:           __table_base
54; CHECK-NEXT:         Kind:            GLOBAL
55; CHECK-NEXT:         GlobalType:      I32
56; CHECK-NEXT:         GlobalMutable:   false
57
58
59