maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/lld/test/wasm/shared.ll

112 lines
3.9 KiB
LLVM
Raw Normal View History

[WebAssembly] Initial implementation of PIC code generation This change implements lowering of references global symbols in PIC mode. This change implements lowering of global references in PIC mode using a new @GOT reference type. @GOT references can be used with function or data symbol names combined with the get_global instruction. In this case the linker will insert the wasm global that stores the address of the symbol (either in memory for data symbols or in the wasm table for function symbols). For now I'm continuing to use the R_WASM_GLOBAL_INDEX_LEB relocation type for this type of reference which means that this relocation type can refer to either a global or a function or data symbol. We could choose to introduce specific relocation types for GOT entries in the future. See the current dynamic linking proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md Differential Revision: https://reviews.llvm.org/D54647 llvm-svn: 357022
2019-03-27 03:46:15 +08:00
; RUN: llc -relocation-model=pic -filetype=obj %s -o %t.o
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; RUN: wasm-ld -shared -o %t.wasm %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s
target triple = "wasm32-unknown-unknown"
[WebAssembly] Allow undefined symbols when building shared libraries Differential Revision: https://reviews.llvm.org/D55043 llvm-svn: 347909
2018-11-30 04:07:13 +08:00
@data = hidden global i32 2, align 4
[WebAssembly] Initial implementation of PIC code generation This change implements lowering of references global symbols in PIC mode. This change implements lowering of global references in PIC mode using a new @GOT reference type. @GOT references can be used with function or data symbol names combined with the get_global instruction. In this case the linker will insert the wasm global that stores the address of the symbol (either in memory for data symbols or in the wasm table for function symbols). For now I'm continuing to use the R_WASM_GLOBAL_INDEX_LEB relocation type for this type of reference which means that this relocation type can refer to either a global or a function or data symbol. We could choose to introduce specific relocation types for GOT entries in the future. See the current dynamic linking proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md Differential Revision: https://reviews.llvm.org/D54647 llvm-svn: 357022
2019-03-27 03:46:15 +08:00
@data_external = external global i32
[WebAssembly] Handle undefined data symbols in shared libraries When linking shared libraries, we import a mutable wasm global to represent the address of each undefined data symbol. This is a step towards supporting dynamic linking and shared libraries. Differential Revision: https://reviews.llvm.org/D59270 llvm-svn: 355988
2019-03-13 05:53:23 +08:00
@indirect_func = local_unnamed_addr global i32 ()* @foo, align 4
[WebAssembly] Allow undefined symbols when building shared libraries Differential Revision: https://reviews.llvm.org/D55043 llvm-svn: 347909
2018-11-30 04:07:13 +08:00
@indirect_func_external = local_unnamed_addr global void ()* @func_external, align 4
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
[WebAssembly] Handle undefined data symbols in shared libraries When linking shared libraries, we import a mutable wasm global to represent the address of each undefined data symbol. This is a step towards supporting dynamic linking and shared libraries. Differential Revision: https://reviews.llvm.org/D59270 llvm-svn: 355988
2019-03-13 05:53:23 +08:00
define default i32 @foo() {
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
entry:
[WebAssembly] Import the stack pointer when building shared libraries Differential Revision: https://reviews.llvm.org/D54558 llvm-svn: 346974
2018-11-16 02:15:54 +08:00
; To ensure we use __stack_pointer
%ptr = alloca i32
[WebAssembly] Allow undefined symbols when building shared libraries Differential Revision: https://reviews.llvm.org/D55043 llvm-svn: 347909
2018-11-30 04:07:13 +08:00
%0 = load i32, i32* @data, align 4
[WebAssembly] Error on R_WASM_MEMORY_ADDR relocations against undefined data symbols. For these types of relocations an absolute memory address is required which is not possible for undefined data symbols. For symbols that can be undefined at link time (i.e. external data symbols in shared libraries) a different type of relocation (i.e. via a GOT) will be needed. Differential Revision: https://reviews.llvm.org/D59337 llvm-svn: 356310
2019-03-16 09:18:12 +08:00
%1 = load i32 ()*, i32 ()** @indirect_func, align 4
call i32 %1()
ret i32 %0
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
}
[WebAssembly] Initial implementation of PIC code generation This change implements lowering of references global symbols in PIC mode. This change implements lowering of global references in PIC mode using a new @GOT reference type. @GOT references can be used with function or data symbol names combined with the get_global instruction. In this case the linker will insert the wasm global that stores the address of the symbol (either in memory for data symbols or in the wasm table for function symbols). For now I'm continuing to use the R_WASM_GLOBAL_INDEX_LEB relocation type for this type of reference which means that this relocation type can refer to either a global or a function or data symbol. We could choose to introduce specific relocation types for GOT entries in the future. See the current dynamic linking proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md Differential Revision: https://reviews.llvm.org/D54647 llvm-svn: 357022
2019-03-27 03:46:15 +08:00
define default i32* @get_data_address() {
entry:
ret i32* @data_external
}
[WebAssembly] Allow undefined symbols when building shared libraries Differential Revision: https://reviews.llvm.org/D55043 llvm-svn: 347909
2018-11-30 04:07:13 +08:00
[WebAssembly] Initial implementation of PIC code generation This change implements lowering of references global symbols in PIC mode. This change implements lowering of global references in PIC mode using a new @GOT reference type. @GOT references can be used with function or data symbol names combined with the get_global instruction. In this case the linker will insert the wasm global that stores the address of the symbol (either in memory for data symbols or in the wasm table for function symbols). For now I'm continuing to use the R_WASM_GLOBAL_INDEX_LEB relocation type for this type of reference which means that this relocation type can refer to either a global or a function or data symbol. We could choose to introduce specific relocation types for GOT entries in the future. See the current dynamic linking proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md Differential Revision: https://reviews.llvm.org/D54647 llvm-svn: 357022
2019-03-27 03:46:15 +08:00
define default i8* @get_func_address() {
entry:
ret i8* bitcast (void ()* @func_external to i8*)
}
[WebAssembly] Allow undefined symbols when building shared libraries Differential Revision: https://reviews.llvm.org/D55043 llvm-svn: 347909
2018-11-30 04:07:13 +08:00
[WebAssembly] Initial implementation of PIC code generation This change implements lowering of references global symbols in PIC mode. This change implements lowering of global references in PIC mode using a new @GOT reference type. @GOT references can be used with function or data symbol names combined with the get_global instruction. In this case the linker will insert the wasm global that stores the address of the symbol (either in memory for data symbols or in the wasm table for function symbols). For now I'm continuing to use the R_WASM_GLOBAL_INDEX_LEB relocation type for this type of reference which means that this relocation type can refer to either a global or a function or data symbol. We could choose to introduce specific relocation types for GOT entries in the future. See the current dynamic linking proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md Differential Revision: https://reviews.llvm.org/D54647 llvm-svn: 357022
2019-03-27 03:46:15 +08:00
declare void @func_external()
[WebAssembly] Allow undefined symbols when building shared libraries Differential Revision: https://reviews.llvm.org/D55043 llvm-svn: 347909
2018-11-30 04:07:13 +08:00
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; check for dylink section at start
; CHECK: Sections:
; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: dylink
[WebAssembly] Error on R_WASM_MEMORY_ADDR relocations against undefined data symbols. For these types of relocations an absolute memory address is required which is not possible for undefined data symbols. For symbols that can be undefined at link time (i.e. external data symbols in shared libraries) a different type of relocation (i.e. via a GOT) will be needed. Differential Revision: https://reviews.llvm.org/D59337 llvm-svn: 356310
2019-03-16 09:18:12 +08:00
; CHECK-NEXT: MemorySize: 12
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; CHECK-NEXT: MemoryAlignment: 2
[WebAssembly] Allow undefined symbols when building shared libraries Differential Revision: https://reviews.llvm.org/D55043 llvm-svn: 347909
2018-11-30 04:07:13 +08:00
; CHECK-NEXT: TableSize: 2
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; CHECK-NEXT: TableAlignment: 0
[WebAssembly] Improve support for "needed" list in dylink section This change adds basic support for shared library dependencies via the dylink section. See https://github.com/WebAssembly/tool-conventions/pull/77 Differential Revision: https://reviews.llvm.org/D59237 llvm-svn: 356102
2019-03-14 05:29:20 +08:00
; CHECK-NEXT: Needed: []
; CHECK-NEXT: - Type: TYPE
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; check for import of __table_base and __memory_base globals
; CHECK: - Type: IMPORT
; CHECK-NEXT: Imports:
; CHECK-NEXT: - Module: env
[WebAssembly] Initial implementation of PIC code generation This change implements lowering of references global symbols in PIC mode. This change implements lowering of global references in PIC mode using a new @GOT reference type. @GOT references can be used with function or data symbol names combined with the get_global instruction. In this case the linker will insert the wasm global that stores the address of the symbol (either in memory for data symbols or in the wasm table for function symbols). For now I'm continuing to use the R_WASM_GLOBAL_INDEX_LEB relocation type for this type of reference which means that this relocation type can refer to either a global or a function or data symbol. We could choose to introduce specific relocation types for GOT entries in the future. See the current dynamic linking proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md Differential Revision: https://reviews.llvm.org/D54647 llvm-svn: 357022
2019-03-27 03:46:15 +08:00
; CHECK-NEXT: Field: memory
; CHECK-NEXT: Kind: MEMORY
; CHECK-NEXT: Memory:
; CHECK-NEXT: Initial: 0x0000000
; CHECK-NEXT: - Module: env
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; CHECK-NEXT: Field: __indirect_function_table
; CHECK-NEXT: Kind: TABLE
; CHECK-NEXT: Table:
[WebAssembly] Instruction renaming Summary: Associated with D56338. Reviewers: aheejin, aardappel Subscribers: dschuff, sbc100, jgravelle-google, sunfish, llvm-commits Differential Revision: https://reviews.llvm.org/D56339 llvm-svn: 350610
2019-01-08 14:25:55 +08:00
; CHECK-NEXT: ElemType: FUNCREF
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; CHECK-NEXT: Limits:
[WebAssembly] Allow undefined symbols when building shared libraries Differential Revision: https://reviews.llvm.org/D55043 llvm-svn: 347909
2018-11-30 04:07:13 +08:00
; CHECK-NEXT: Initial: 0x00000002
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; CHECK-NEXT: - Module: env
[WebAssembly] Import the stack pointer when building shared libraries Differential Revision: https://reviews.llvm.org/D54558 llvm-svn: 346974
2018-11-16 02:15:54 +08:00
; CHECK-NEXT: Field: __stack_pointer
; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: GlobalType: I32
; CHECK-NEXT: GlobalMutable: true
; CHECK-NEXT: - Module: env
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; 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
[WebAssembly] Handle undefined data symbols in shared libraries When linking shared libraries, we import a mutable wasm global to represent the address of each undefined data symbol. This is a step towards supporting dynamic linking and shared libraries. Differential Revision: https://reviews.llvm.org/D59270 llvm-svn: 355988
2019-03-13 05:53:23 +08:00
; CHECK-NEXT: - Module: env
; CHECK-NEXT: Field: func_external
; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: SigIndex: 1
[WebAssembly] Initial implementation of PIC code generation This change implements lowering of references global symbols in PIC mode. This change implements lowering of global references in PIC mode using a new @GOT reference type. @GOT references can be used with function or data symbol names combined with the get_global instruction. In this case the linker will insert the wasm global that stores the address of the symbol (either in memory for data symbols or in the wasm table for function symbols). For now I'm continuing to use the R_WASM_GLOBAL_INDEX_LEB relocation type for this type of reference which means that this relocation type can refer to either a global or a function or data symbol. We could choose to introduce specific relocation types for GOT entries in the future. See the current dynamic linking proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md Differential Revision: https://reviews.llvm.org/D54647 llvm-svn: 357022
2019-03-27 03:46:15 +08:00
; CHECK-NEXT: - Module: GOT.mem
; CHECK-NEXT: Field: data_external
; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: GlobalType: I32
; CHECK-NEXT: GlobalMutable: true
; CHECK-NEXT: - Module: GOT.func
; CHECK-NEXT: Field: func_external
; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: GlobalType: I32
; CHECK-NEXT: GlobalMutable: true
; CHECK-NEXT: - Type: FUNCTION
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; check for elem segment initialized with __table_base global as offset
; CHECK: - Type: ELEM
; CHECK-NEXT: Segments:
; CHECK-NEXT: - Offset:
[WebAssembly] Instruction renaming Summary: Associated with D56338. Reviewers: aheejin, aardappel Subscribers: dschuff, sbc100, jgravelle-google, sunfish, llvm-commits Differential Revision: https://reviews.llvm.org/D56339 llvm-svn: 350610
2019-01-08 14:25:55 +08:00
; CHECK-NEXT: Opcode: GLOBAL_GET
[WebAssembly] Import the stack pointer when building shared libraries Differential Revision: https://reviews.llvm.org/D54558 llvm-svn: 346974
2018-11-16 02:15:54 +08:00
; CHECK-NEXT: Index: 2
[WebAssebmly] Allow __wasm_call_ctors to be GC'ed Differential Revision: https://reviews.llvm.org/D58806 llvm-svn: 355240
2019-03-02 06:35:47 +08:00
; CHECK-NEXT: Functions: [ 1, 0 ]
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; check the data segment initialized with __memory_base global as offset
; CHECK: - Type: DATA
; CHECK-NEXT: Segments:
; CHECK-NEXT: - SectionOffset: 6
[WebAssembly] Update MC for bulk memory Summary: Rename MemoryIndex to InitFlags and implement logic for determining data segment layout in ObjectYAML and MC. Also adds a "passive" flag for the .section assembler directive although this cannot be assembled yet because the assembler does not support data sections. Reviewers: sbc100, aardappel, aheejin, dschuff Subscribers: jgravelle-google, hiraditya, sunfish, rupprecht, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D57938 llvm-svn: 354397
2019-02-20 06:56:19 +08:00
; CHECK-NEXT: InitFlags: 0
[WebAssembly] Initial support for shared objects (-shared) Based on the initial spec proposal: https://github.com/WebAssembly/tool-conventions/blob/master/DynamicLinking.md The llvm/codegen side of this is still missing but I believe this change is still worth landing as an incremental step Differential Revision: https://reviews.llvm.org/D54249 llvm-svn: 346918
2018-11-15 08:37:21 +08:00
; CHECK-NEXT: Offset:
[WebAssembly] Instruction renaming Summary: Associated with D56338. Reviewers: aheejin, aardappel Subscribers: dschuff, sbc100, jgravelle-google, sunfish, llvm-commits Differential Revision: https://reviews.llvm.org/D56339 llvm-svn: 350610
2019-01-08 14:25:55 +08:00
; CHECK-NEXT: Opcode: GLOBAL_GET
[WebAssembly] Import the stack pointer when building shared libraries Differential Revision: https://reviews.llvm.org/D54558 llvm-svn: 346974
2018-11-16 02:15:54 +08:00
; CHECK-NEXT: Index: 1
[WebAssembly] Error on R_WASM_MEMORY_ADDR relocations against undefined data symbols. For these types of relocations an absolute memory address is required which is not possible for undefined data symbols. For symbols that can be undefined at link time (i.e. external data symbols in shared libraries) a different type of relocation (i.e. via a GOT) will be needed. Differential Revision: https://reviews.llvm.org/D59337 llvm-svn: 356310
2019-03-16 09:18:12 +08:00
; CHECK-NEXT: Content: '020000000000000001000000'