llvm-project/lld/test/wasm/shared-weak-symbols.s at ff172dcbed3deadf1724283a6b34af60fc11b490 · llvm/llvm-project · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: wasm-ld --experimental-pic -shared -o %t.wasm %t.o
# RUN: obj2yaml %t.wasm | FileCheck %s
# RUN: llvm-objdump -d %t.wasm | FileCheck %s -check-prefix=ASM

# Verify the weakly defined fuctions (weak_func) are both imported and exported,
# and that internal usage (direct call) always uses the imported version.
# Hidden functions, even if weak, should not be imported or exported.

.globl weak_func
.weak weak_func
weak_func:
  .functype weak_func () -> (i32)
  i32.const 0
  end_function

.globl hidden_weak_func
.hidden hidden_weak_func
.weak hidden_weak_func
hidden_weak_func:
  .functype hidden_weak_func () -> (i32)
  i32.const 42
  end_function

.globl call_weak
call_weak:
# ASM: <call_weak>:
  .functype call_weak () -> (i32)
  call weak_func
# ASM:           10 80 80 80 80 00      call  0
  drop
  call hidden_weak_func
# ASM:           10 83 80 80 80 00      call  3
  end_function
# ASM-NEXT:      0b                     end

# CHECK:       - Type:            IMPORT
# CHECK-NEXT:    Imports:
# CHECK-NEXT:      - Module:          env
# CHECK-NEXT:        Field:           memory
# CHECK-NEXT:        Kind:            MEMORY
# CHECK-NEXT:        Memory:
# CHECK-NEXT:          Minimum:         0x0
# CHECK-NEXT:      - Module:          env
# CHECK-NEXT:        Field:           weak_func
# CHECK-NEXT:        Kind:            FUNCTION
# CHECK-NEXT:        SigIndex:        0
# CHECK-NEXT:      - Module:          env
# CHECK-NEXT:        Field:           __memory_base
# CHECK-NEXT:        Kind:            GLOBAL
# CHECK-NEXT:        GlobalType:      I32
# CHECK-NEXT:        GlobalMutable:   false
# CHECK-NEXT:      - Module:          env
# CHECK-NEXT:        Field:           __table_base
# CHECK-NEXT:        Kind:            GLOBAL
# CHECK-NEXT:        GlobalType:      I32
# CHECK-NEXT:        GlobalMutable:   false
# CHECK-NEXT:  - Type:            FUNCTION

# CHECK:        - Type:            EXPORT
# CHECK-NEXT:     Exports:
# CHECK-NEXT:       - Name:            __wasm_call_ctors
# CHECK-NEXT:         Kind:            FUNCTION
# CHECK-NEXT:         Index:           1
# CHECK-NEXT:       - Name:            weak_func
# CHECK-NEXT:         Kind:            FUNCTION
# CHECK-NEXT:         Index:           2
# CHECK-NEXT:       - Name:            call_weak
# CHECK-NEXT:         Kind:            FUNCTION
# CHECK-NEXT:         Index:           4
# CHECK-NEXT:   - Type:            CODE

#      CHECK:   - Type:            CUSTOM
# CHECK-NEXT:     Name:            name
# CHECK-NEXT:     FunctionNames:
# CHECK-NEXT:       - Index:           0
# CHECK-NEXT:         Name:            weak_func
# CHECK-NEXT:       - Index:           1
# CHECK-NEXT:         Name:            __wasm_call_ctors
# CHECK-NEXT:       - Index:           2
# CHECK-NEXT:         Name:            weak_func
# CHECK-NEXT:       - Index:           3
# CHECK-NEXT:         Name:            hidden_weak_func
# CHECK-NEXT:       - Index:           4
# CHECK-NEXT:         Name:            call_weak