; 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: ]