llvm-project

1
# Unresolve data symbols are allowing under import-dynamic when GOT
2
# relocations are used
3
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %s -o %t-dynamic.o
4
# RUN: wasm-ld %t-dynamic.o -o %t.wasm --unresolved-symbols=import-dynamic 2>&1 | FileCheck -check-prefix=WARN %s
5
# WARN: wasm-ld: warning: dynamic imports are not yet stable (--unresolved-symbols=import-dynamic)
6
# RUN: obj2yaml %t.wasm | FileCheck %s
7

8
.functype undef () -> ()
9

10
.globl get_data_addr
11
get_data_addr:
12
    .functype get_data_addr () -> (i32)
13
    global.get undef_data@GOT
14
    return
15
    end_function
16

17
.globl get_func_addr
18
get_func_addr:
19
    .functype get_func_addr () -> (i32)
20
    global.get undef@GOT
21
    return
22
    end_function
23

24
.globl _start
25
_start:
26
    .functype _start () -> ()
27
    call undef
28
    call get_func_addr
29
    drop
30
    call get_data_addr
31
    i32.load data_ptr
32
    drop
33
    end_function
34

35
.section  .data.data_ptr,"",@
36
data_ptr:
37
  .int32  data_external+42
38
  .size data_ptr, 4
39

40
.size data_external, 4
41

42
#      CHECK:  - Type:            IMPORT
43
# CHECK-NEXT:    Imports:
44
# CHECK-NEXT:      - Module:          env
45
# CHECK-NEXT:        Field:           undef
46
# CHECK-NEXT:        Kind:            FUNCTION
47
# CHECK-NEXT:        SigIndex:        0
48
# CHECK-NEXT:      - Module:          GOT.mem
49
# CHECK-NEXT:        Field:           undef_data
50
# CHECK-NEXT:        Kind:            GLOBAL
51
# CHECK-NEXT:        GlobalType:      I32
52
# CHECK-NEXT:        GlobalMutable:   true
53
# CHECK-NEXT:      - Module:          GOT.func
54
# CHECK-NEXT:        Field:           undef
55
# CHECK-NEXT:        Kind:            GLOBAL
56
# CHECK-NEXT:        GlobalType:      I32
57
# CHECK-NEXT:        GlobalMutable:   true
58

59
#      CHECK:  - Type:            CUSTOM
60
# CHECK-NEXT:    Name:            name
61
# CHECK-NEXT:    FunctionNames:
62
# CHECK-NEXT:      - Index:           0
63
# CHECK-NEXT:        Name:            undef
64
# CHECK-NEXT:      - Index:           1
65
# CHECK-NEXT:        Name:            __wasm_apply_data_relocs
66
# CHECK-NEXT:      - Index:           2
67
# CHECK-NEXT:        Name:            get_data_addr
68
# CHECK-NEXT:      - Index:           3
69
# CHECK-NEXT:        Name:            get_func_addr
70
# CHECK-NEXT:      - Index:           4
71
# CHECK-NEXT:        Name:            _start
72
# CHECK-NEXT:    GlobalNames:
73
# CHECK-NEXT:      - Index:           0
74
# CHECK-NEXT:        Name:            undef_data
75
# CHECK-NEXT:      - Index:           1
76
# CHECK-NEXT:        Name:            undef
77
# CHECK-NEXT:      - Index:           2
78
# CHECK-NEXT:        Name:            data_external
79
# CHECK-NEXT:      - Index:           3
80
# CHECK-NEXT:        Name:            __stack_pointer
81
# CHECK-NEXT:    DataSegmentNames:
82
# CHECK-NEXT:      - Index:           0
83
# CHECK-NEXT:        Name:            .data
84
# CHECK-NEXT:...
85