llvm-project
95 строк · 3.3 Кб
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
6target triple = "wasm32-unknown-unknown"
7
8@foo = default global i32 1, align 4
9@bar = internal default global i32 3, align 4
10
11define internal i32 @baz() local_unnamed_addr {
12entry:
13%0 = load i32, ptr @bar, align 4
14ret i32 %0
15}
16
17define void @_start() local_unnamed_addr {
18entry:
19call i32 @baz()
20ret 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