llvm-project

1
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
2
# RUN: wasm-ld --experimental-pic -shared -o %t.wasm %t.o
3
# RUN: obj2yaml %t.wasm | FileCheck %s
4
# RUN: llvm-objdump -d %t.wasm | FileCheck %s -check-prefix=ASM
5

6
# Run the same test but include a definition of ret32 in a library file.
7
# This verifies that LazySymbols (those found in library archives) are correctly
8
# demoted to undefined symbols in the final link when they are only weakly
9
# referenced.
10
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.ret32.o %p/Inputs/ret32.s
11
# RUN: rm -f %T/libret32.a
12
# RUN: llvm-ar cru %T/libret32.a %t.ret32.o
13
# RUN: wasm-ld --experimental-pic -shared -o %t.ret32.wasm %t.o %T/libret32.a
14
# RUN: obj2yaml %t.wasm | FileCheck %s
15
# RUN: llvm-objdump -d %t.wasm | FileCheck %s -check-prefix=ASM
16

17
# Verify the weak undefined symbols are marked as such in the
18
# dylink section.
19

20
.weak weak_func
21
.functype weak_func () -> (i32)
22
.weak ret32
23
.functype ret32 (f32) -> (i32)
24

25
.globl call_weak
26
call_weak:
27
# ASM: <call_weak>:
28
  .functype call_weak () -> (i32)
29
  call weak_func
30
# ASM:           10 80 80 80 80 00      call  0
31
  end_function
32
# ASM-NEXT:      0b                     end
33

34
# This function is defined in library archive, but since our reference to it
35
# is weak we don't expect this definition to be used.  Instead we expect it to
36
# act like an undefined reference and result in an imported function.
37
.globl call_weak_libfunc
38
call_weak_libfunc:
39
# ASM: <call_weak_libfunc>:
40
  .functype call_weak_libfunc () -> (i32)
41
  f32.const 1.0
42
  call ret32
43
# ASM:           10 81 80 80 80 00 call 1
44
  end_function
45
# ASM-NEXT:      0b                     end
46

47
#      CHECK: Sections:
48
# CHECK-NEXT:   - Type:            CUSTOM
49
# CHECK-NEXT:     Name:            dylink.0
50
# CHECK-NEXT:     MemorySize:      0
51
# CHECK-NEXT:     MemoryAlignment: 0
52
# CHECK-NEXT:     TableSize:       0
53
# CHECK-NEXT:     TableAlignment:  0
54
# CHECK-NEXT:     Needed:          []
55
# CHECK-NEXT:     ImportInfo:
56
# CHECK-NEXT:       - Module:          env
57
# CHECK-NEXT:         Field:           weak_func
58
# CHECK-NEXT:         Flags:           [ BINDING_WEAK, UNDEFINED ]
59
# CHECK-NEXT:       - Module:          env
60
# CHECK-NEXT:         Field:           ret32
61
# CHECK-NEXT:         Flags:           [ BINDING_WEAK, UNDEFINED ]
62