diff --git a/lld/test/wasm/debuginfo-undefined-global.s b/lld/test/wasm/debuginfo-undefined-global.s new file mode 100644 --- /dev/null +++ b/lld/test/wasm/debuginfo-undefined-global.s @@ -0,0 +1,23 @@ +# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s +# RUN: wasm-ld -o %t.wasm %t.o +# RUN: obj2yaml %t.wasm | FileCheck %s + +# Debug sections are allowed to contains references to non-live symbols that +# then get GC'd. In this test the .debug_info seciton contains a reference to +# foo which is not otherwise used and will not be marked a live in the output. +# Verify the tombstone value is written to debug_info section. + +.globl _start +_start: + .functype _start () -> () + end_function + +.section .debug_info,"",@ + .int32 foo + +.globaltype foo, i32 +foo: + +# CHECK: - Type: CUSTOM +# CHECK-NEXT: Name: .debug_info +# CHECK-NEXT: Payload: FFFFFFFF diff --git a/lld/test/wasm/globals.s b/lld/test/wasm/globals.s --- a/lld/test/wasm/globals.s +++ b/lld/test/wasm/globals.s @@ -1,4 +1,4 @@ -# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s +mm# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s # RUN: wasm-ld %t.o -o %t.wasm # RUN: obj2yaml %t.wasm | FileCheck %s diff --git a/lld/wasm/InputFiles.cpp b/lld/wasm/InputFiles.cpp --- a/lld/wasm/InputFiles.cpp +++ b/lld/wasm/InputFiles.cpp @@ -212,7 +212,7 @@ // so this will not produce a valid range conflicting with ranges of actual // code. In other sections we return reloc.Addend. - if ((isa(sym) || isa(sym)) && !sym->isLive()) + if (!isa(sym) && !sym->isLive()) return tombstone ? tombstone : reloc.Addend; }