--- /dev/null
+; RUN: llc -filetype=obj %s -o %t.o
+; RUN: yaml2obj %S/Inputs/undefined-globals.yaml -o %t_globals.o
+; RUN: wasm-ld -print-gc-sections --allow-undefined -o %t1.wasm %t.o %t_globals.o
+
+target triple = "wasm32-unknown-unknown-wasm"
+
+declare hidden i64 @unused_undef_function(i64 %arg)
+
+declare hidden i32 @used_undef_function()
+
+declare i64 @use_undef_global()
+
+define hidden void @_start() {
+entry:
+ call i32 @used_undef_function()
+ call i64 @use_undef_global()
+ ret void
+}
+
+; RUN: obj2yaml %t1.wasm | FileCheck %s
+
+; CHECK: - Type: TYPE
+; CHECK-NEXT: Signatures:
+; CHECK-NEXT: - Index: 0
+; CHECK-NEXT: ReturnType: I32
+; CHECK-NEXT: ParamTypes:
+; CHECK-NEXT: - Index: 1
+; CHECK-NEXT: ReturnType: NORESULT
+; CHECK-NEXT: ParamTypes:
+; CHECK-NEXT: - Index: 2
+; CHECK-NEXT: ReturnType: I64
+; CHECK-NEXT: ParamTypes:
+; CHECK-NEXT: - Type: IMPORT
+; CHECK-NEXT: Imports:
+; CHECK-NEXT: - Module: env
+; CHECK-NEXT: Field: used_undef_function
+; CHECK-NEXT: Kind: FUNCTION
+; CHECK-NEXT: SigIndex: 0
+; CHECK-NEXT: - Module: env
+; CHECK-NEXT: Field: used_undef_global
+; CHECK-NEXT: Kind: GLOBAL
+; CHECK-NEXT: GlobalType: I64
+; CHECK-NEXT: GlobalMutable: true
+; CHECK-NEXT: - Type:
+; CHECK: - Type: CUSTOM
+; CHECK-NEXT: Name: name
+; CHECK-NEXT: FunctionNames:
+; CHECK-NEXT: - Index: 0
+; CHECK-NEXT: Name: used_undef_function
+; CHECK-NEXT: - Index: 1
+; CHECK-NEXT: Name: __wasm_call_ctors
+; CHECK-NEXT: - Index: 2
+; CHECK-NEXT: Name: _start
+; CHECK-NEXT: - Index: 3
+; CHECK-NEXT: Name: use_undef_global
+; CHECK-NEXT: ...
+
+; RUN: wasm-ld -print-gc-sections --no-gc-sections --allow-undefined \
+; RUN: -o %t1.no-gc.wasm %t.o %t_globals.o
+; RUN: obj2yaml %t1.no-gc.wasm | FileCheck %s -check-prefix=NO-GC
+
+; NO-GC: - Type: TYPE
+; NO-GC-NEXT: Signatures:
+; NO-GC-NEXT: - Index: 0
+; NO-GC-NEXT: ReturnType: I32
+; NO-GC-NEXT: ParamTypes:
+; NO-GC-NEXT: - Index: 1
+; NO-GC-NEXT: ReturnType: I64
+; NO-GC-NEXT: ParamTypes:
+; NO-GC-NEXT: - I64
+; NO-GC-NEXT: - Index: 2
+; NO-GC-NEXT: ReturnType: NORESULT
+; NO-GC-NEXT: ParamTypes:
+; NO-GC-NEXT: - Index: 3
+; NO-GC-NEXT: ReturnType: I64
+; NO-GC-NEXT: ParamTypes:
+; NO-GC-NEXT: - Type: IMPORT
+; NO-GC-NEXT: Imports:
+; NO-GC-NEXT: - Module: env
+; NO-GC-NEXT: Field: used_undef_function
+; NO-GC-NEXT: Kind: FUNCTION
+; NO-GC-NEXT: SigIndex: 0
+; NO-GC-NEXT: - Module: env
+; NO-GC-NEXT: Field: unused_undef_function
+; NO-GC-NEXT: Kind: FUNCTION
+; NO-GC-NEXT: SigIndex: 1
+; NO-GC-NEXT: - Module: env
+; NO-GC-NEXT: Field: unused_undef_global
+; NO-GC-NEXT: Kind: GLOBAL
+; NO-GC-NEXT: GlobalType: I64
+; NO-GC-NEXT: GlobalMutable: true
+; NO-GC-NEXT: - Module: env
+; NO-GC-NEXT: Field: used_undef_global
+; NO-GC-NEXT: Kind: GLOBAL
+; NO-GC-NEXT: GlobalType: I64
+; NO-GC-NEXT: GlobalMutable: true
+; NO-GC-NEXT: - Type:
+; NO-GC: - Type: CUSTOM
+; NO-GC-NEXT: Name: name
+; NO-GC-NEXT: FunctionNames:
+; NO-GC-NEXT: - Index: 0
+; NO-GC-NEXT: Name: used_undef_function
+; NO-GC-NEXT: - Index: 1
+; NO-GC-NEXT: Name: unused_undef_function
+; NO-GC-NEXT: - Index: 2
+; NO-GC-NEXT: Name: __wasm_call_ctors
+; NO-GC-NEXT: - Index: 3
+; NO-GC-NEXT: Name: _start
+; NO-GC-NEXT: - Index: 4
+; NO-GC-NEXT: Name: use_undef_global
+; NO-GC-NEXT: ...
#ifndef LLD_WASM_SYMBOLS_H
#define LLD_WASM_SYMBOLS_H
+#include "Config.h"
#include "lld/Common/LLVM.h"
#include "llvm/Object/Archive.h"
#include "llvm/Object/Wasm.h"
InputChunk *getChunk() const;
- // Indicates that this symbol will be included in the final image.
+ // Indicates that the section or import for this symbol will be included in
+ // the final image.
bool isLive() const;
+ // Marks the symbol's InputChunk as Live, so that it will be included in the
+ // final image.
+ void markLive();
+
void setHidden(bool IsHidden);
// Get/set the index in the output symbol table. This is only used for
protected:
Symbol(StringRef Name, Kind K, uint32_t Flags, InputFile *F)
- : Name(Name), SymbolKind(K), Flags(Flags), File(F) {}
+ : Name(Name), SymbolKind(K), Flags(Flags), File(F),
+ Referenced(!Config->GcSections) {}
StringRef Name;
Kind SymbolKind;
uint32_t Flags;
InputFile *File;
uint32_t OutputSymbolIndex = INVALID_INDEX;
+ bool Referenced = false;
};
class FunctionSymbol : public Symbol {