| ; RUN: llc -O0 -filetype=obj %s -o - | llvm-readobj -r --expand-relocs - | FileCheck %s |
| |
| target triple = "wasm32-unknown-unknown" |
| |
| ; foo and bar are external and internal symbols. a and b are pointers |
| ; initialized to these locations offset by 2 and -2 elements respecitively. |
| |
| @foo = external global i32, align 4 |
| @bar = global i64 7, align 4 |
| @a = global ptr getelementptr (i32, ptr @foo, i32 2), align 8 |
| @b = global ptr getelementptr (i64, ptr @bar, i64 -2), align 8 |
| @c = global [3 x ptr] [ptr @foo, ptr @foo, ptr @foo], align 16 |
| |
| ; CHECK: Format: WASM |
| ; CHECK: Relocations [ |
| ; CHECK-NEXT: Section (3) DATA { |
| ; CHECK-NEXT: Relocation { |
| ; CHECK-NEXT: Type: R_WASM_MEMORY_ADDR_I32 (5) |
| ; CHECK-NEXT: Offset: 0x13 |
| ; CHECK-NEXT: Symbol: foo |
| ; CHECK-NEXT: Addend: 8 |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: Relocation { |
| ; CHECK-NEXT: Type: R_WASM_MEMORY_ADDR_I32 (5) |
| ; CHECK-NEXT: Offset: 0x1C |
| ; CHECK-NEXT: Symbol: bar |
| ; CHECK-NEXT: Addend: -16 |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: Relocation { |
| ; CHECK-NEXT: Type: R_WASM_MEMORY_ADDR_I32 (5) |
| ; CHECK-NEXT: Offset: 0x25 |
| ; CHECK-NEXT: Symbol: foo |
| ; CHECK-NEXT: Addend: 0 |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: Relocation { |
| ; CHECK-NEXT: Type: R_WASM_MEMORY_ADDR_I32 (5) |
| ; CHECK-NEXT: Offset: 0x29 |
| ; CHECK-NEXT: Symbol: foo |
| ; CHECK-NEXT: Addend: 0 |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: Relocation { |
| ; CHECK-NEXT: Type: R_WASM_MEMORY_ADDR_I32 (5) |
| ; CHECK-NEXT: Offset: 0x2D |
| ; CHECK-NEXT: Symbol: foo |
| ; CHECK-NEXT: Addend: 0 |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: } |
| ; CHECK-NEXT: ] |
