llvm-project

1
; Test that internal symbols can still be GC'd when with --export-dynamic.
2
; RUN: llc -mcpu=mvp -filetype=obj %s -o %t.o
3
; RUN: wasm-ld --export-dynamic -o %t.wasm %t.o
4
; RUN: obj2yaml %t.wasm | FileCheck %s
5

6
target triple = "wasm32-unknown-unknown"
7

8
@foo = default global i32 1, align 4
9
@bar = internal default global i32 3, align 4
10

11
define internal i32 @baz() local_unnamed_addr {
12
entry:
13
  %0 = load i32, ptr @bar, align 4
14
  ret i32 %0
15
}
16

17
define void @_start() local_unnamed_addr {
18
entry:
19
  call i32 @baz()
20
  ret void
21
}
22

23
; CHECK:      --- !WASM
24
; CHECK-NEXT: FileHeader:
25
; CHECK-NEXT:   Version:         0x1
26
; CHECK-NEXT: Sections:
27
; CHECK-NEXT:   - Type:            TYPE
28
; CHECK-NEXT:     Signatures:
29
; CHECK-NEXT:       - Index:           0
30
; CHECK-NEXT:         ParamTypes:
31
; CHECK-NEXT:         ReturnTypes:
32
; CHECK-NEXT:           - I32
33
; CHECK-NEXT:       - Index:           1
34
; CHECK-NEXT:         ParamTypes:
35
; CHECK-NEXT:         ReturnTypes:     []
36
; CHECK-NEXT:   - Type:            FUNCTION
37
; CHECK-NEXT:     FunctionTypes:   [ 0, 1 ]
38
; CHECK-NEXT:   - Type:            MEMORY
39
; CHECK-NEXT:     Memories:
40
; CHECK-NEXT:       - Minimum:         0x2
41
; CHECK-NEXT:   - Type:            GLOBAL
42
; CHECK-NEXT:     Globals:
43
; CHECK-NEXT:       - Index:           0
44
; CHECK-NEXT:         Type:            I32
45
; CHECK-NEXT:         Mutable:         true
46
; CHECK-NEXT:         InitExpr:
47
; CHECK-NEXT:           Opcode:          I32_CONST
48
; CHECK-NEXT:           Value:           66576
49
; CHECK-NEXT:       - Index:           1
50
; CHECK-NEXT:         Type:            I32
51
; CHECK-NEXT:         Mutable:         false
52
; CHECK-NEXT:         InitExpr:
53
; CHECK-NEXT:           Opcode:          I32_CONST
54
; CHECK-NEXT:           Value:           1024
55
; CHECK-NEXT:   - Type:            EXPORT
56
; CHECK-NEXT:     Exports:
57
; CHECK-NEXT:       - Name:            memory
58
; CHECK-NEXT:         Kind:            MEMORY
59
; CHECK-NEXT:         Index:           0
60
; CHECK-NEXT:       - Name:            _start
61
; CHECK-NEXT:         Kind:            FUNCTION
62
; CHECK-NEXT:         Index:           1
63
; CHECK-NEXT:       - Name:            foo
64
; CHECK-NEXT:         Kind:            GLOBAL
65
; CHECK-NEXT:         Index:           1
66
; CHECK-NEXT:   - Type:            CODE
67
; CHECK-NEXT:     Functions:
68
; CHECK-NEXT:       - Index:           0
69
; CHECK-NEXT:         Locals:
70
; CHECK-NEXT:         Body:            4100280284888080000B
71
; CHECK-NEXT:       - Index:           1
72
; CHECK-NEXT:         Locals:
73
; CHECK-NEXT:         Body:            1080808080001A0B
74
; CHECK-NEXT:   - Type:            DATA
75
; CHECK-NEXT:     Segments:
76
; CHECK-NEXT:       - SectionOffset:   7
77
; CHECK-NEXT:         InitFlags:       0
78
; CHECK-NEXT:         Offset:
79
; CHECK-NEXT:           Opcode:          I32_CONST
80
; CHECK-NEXT:           Value:           1024
81
; CHECK-NEXT:         Content:         '0100000003000000'
82
; CHECK-NEXT:   - Type:            CUSTOM
83
; CHECK-NEXT:     Name:            name
84
; CHECK-NEXT:     FunctionNames:
85
; CHECK-NEXT:       - Index:           0
86
; CHECK-NEXT:         Name:            baz
87
; CHECK-NEXT:       - Index:           1
88
; CHECK-NEXT:         Name:            _start
89
; CHECK-NEXT:     GlobalNames:
90
; CHECK-NEXT:       - Index:           0
91
; CHECK-NEXT:         Name:            __stack_pointer
92
; CHECK-NEXT:     DataSegmentNames:
93
; CHECK-NEXT:       - Index:           0
94
; CHECK-NEXT:         Name:            .data
95
; CHECK-NEXT: ...
96