| ; RUN: llc -relocation-model=pic -filetype=obj %s -o %t.o |
| ; RUN: wasm-ld -shared -o %t.wasm %t.o |
| ; RUN: obj2yaml %t.wasm | FileCheck %s |
| |
| target triple = "wasm32-unknown-unknown" |
| |
| @data = hidden global i32 2, align 4 |
| @data_external = external global i32 |
| @indirect_func = local_unnamed_addr global i32 ()* @foo, align 4 |
| @indirect_func_external = local_unnamed_addr global void ()* @func_external, align 4 |
| |
| @data_addr = local_unnamed_addr global i32* @data, align 4 |
| @data_addr_external = local_unnamed_addr global i32* @data_external, align 4 |
| |
| define hidden i32 @foo() { |
| entry: |
| ; To ensure we use __stack_pointer |
| %ptr = alloca i32 |
| %0 = load i32, i32* @data, align 4 |
| %1 = load i32 ()*, i32 ()** @indirect_func, align 4 |
| call i32 %1() |
| ret i32 %0 |
| } |
| |
| define default i32* @get_data_address() { |
| entry: |
| ret i32* @data_external |
| } |
| |
| define default i8* @get_func_address() { |
| entry: |
| ret i8* bitcast (void ()* @func_external to i8*) |
| } |
| |
| define default i8* @get_local_func_address() { |
| entry: |
| ; Verify that a function which is otherwise not address taken *is* added to |
| ; the wasm table with referenced via R_WASM_TABLE_INDEX_REL_SLEB |
| ret i8* bitcast (i8* ()* @get_func_address to i8*) |
| } |
| |
| declare void @func_external() |
| |
| ; check for dylink section at start |
| |
| ; CHECK: Sections: |
| ; CHECK-NEXT: - Type: CUSTOM |
| ; CHECK-NEXT: Name: dylink |
| ; CHECK-NEXT: MemorySize: 20 |
| ; CHECK-NEXT: MemoryAlignment: 2 |
| ; CHECK-NEXT: TableSize: 3 |
| ; CHECK-NEXT: TableAlignment: 0 |
| ; CHECK-NEXT: Needed: [] |
| ; CHECK-NEXT: - Type: TYPE |
| |
| ; check for import of __table_base and __memory_base globals |
| |
| ; CHECK: - Type: IMPORT |
| ; CHECK-NEXT: Imports: |
| ; CHECK-NEXT: - Module: env |
| ; CHECK-NEXT: Field: memory |
| ; CHECK-NEXT: Kind: MEMORY |
| ; CHECK-NEXT: Memory: |
| ; CHECK-NEXT: Initial: 0x0000000 |
| ; CHECK-NEXT: - Module: env |
| ; CHECK-NEXT: Field: __indirect_function_table |
| ; CHECK-NEXT: Kind: TABLE |
| ; CHECK-NEXT: Table: |
| ; CHECK-NEXT: ElemType: FUNCREF |
| ; CHECK-NEXT: Limits: |
| ; CHECK-NEXT: Initial: 0x00000003 |
| ; CHECK-NEXT: - Module: env |
| ; CHECK-NEXT: Field: __stack_pointer |
| ; CHECK-NEXT: Kind: GLOBAL |
| ; CHECK-NEXT: GlobalType: I32 |
| ; CHECK-NEXT: GlobalMutable: true |
| ; 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: - Module: env |
| ; CHECK-NEXT: Field: func_external |
| ; CHECK-NEXT: Kind: FUNCTION |
| ; CHECK-NEXT: SigIndex: 1 |
| ; 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 |
| |
| ; CHECK: - Type: EXPORT |
| ; CHECK-NEXT: Exports: |
| ; CHECK-NEXT: - Name: __wasm_call_ctors |
| ; CHECK-NEXT: Kind: FUNCTION |
| ; CHECK-NEXT: Index: 1 |
| |
| ; check for elem segment initialized with __table_base global as offset |
| |
| ; CHECK: - Type: ELEM |
| ; CHECK-NEXT: Segments: |
| ; CHECK-NEXT: - Offset: |
| ; CHECK-NEXT: Opcode: GLOBAL_GET |
| ; CHECK-NEXT: Index: 2 |
| ; CHECK-NEXT: Functions: [ 5, 3, 0 ] |
| |
| ; check the generated code in __wasm_call_ctors and __wasm_apply_relocs functions |
| ; TODO(sbc): Disassemble and verify instructions. |
| |
| ; CHECK: - Type: CODE |
| ; CHECK-NEXT: Functions: |
| ; CHECK-NEXT: - Index: 1 |
| ; CHECK-NEXT: Locals: [] |
| ; CHECK-NEXT: Body: 10020B |
| ; CHECK-NEXT: - Index: 2 |
| ; CHECK-NEXT: Locals: [] |
| ; CHECK-NEXT: Body: 230141046A230241016A360200230141086A230241026A3602002301410C6A230141006A360200230141106A23033602000B |
| |
| ; check the data segment initialized with __memory_base global as offset |
| |
| ; CHECK: - Type: DATA |
| ; CHECK-NEXT: Segments: |
| ; CHECK-NEXT: - SectionOffset: 6 |
| ; CHECK-NEXT: InitFlags: 0 |
| ; CHECK-NEXT: Offset: |
| ; CHECK-NEXT: Opcode: GLOBAL_GET |
| ; CHECK-NEXT: Index: 1 |
| ; CHECK-NEXT: Content: '0200000001000000020000000000000000000000' |