This is an archive of the discontinued LLVM Phabricator instance.

Differential D80361

[lld][WebAssembly] Convert some lld tests to assembly
ClosedPublic

Authored by sbc100 on May 20 2020, 10:57 PM.

Details

Reviewers
aardappel
tlively
dschuff
Commits
rGfd1c894a4a36: [lld][WebAssembly] Convert some lld tests to assembly
Summary

When we originally wrote these tests we didn't have a stable and
fleshed out assembly format. Now we do so we should prefer that
over llvm ir for lld tests to avoid including more part of llvm
than necessary in order to run the test.

This change converts just 30 out of about 130 test files. More to
come when I have some more time.

Diff Detail

Unit TestsFailed

TimeTest
220 msClang.CodeGen::Unknown Unit Message ("")
770 msClang.CodeGen::Unknown Unit Message ("")

Event Timeline

sbc100 created this revision.May 20 2020, 10:57 PM
Herald added a project: Restricted Project. · View Herald TranscriptMay 20 2020, 10:57 PM
Herald added subscribers: llvm-commits, jfb, arphaman and 4 others. · View Herald Transcript
sbc100 edited the summary of this revision. (Show Details)May 20 2020, 11:00 PM
sbc100 edited the summary of this revision. (Show Details)
sbc100 added a reviewer: aardappel.
Harbormaster failed remote builds in B57491: Diff 265427!May 20 2020, 11:25 PM
sbc100 updated this revision to Diff 265539.May 21 2020, 10:32 AM

More!

sbc100 edited the summary of this revision. (Show Details)May 21 2020, 11:44 AM
Harbormaster failed remote builds in B57548: Diff 265539!May 21 2020, 11:54 AM
sbc100 added a reviewer: tlively.May 21 2020, 12:17 PM
sbc100 updated this revision to Diff 265576.May 21 2020, 12:21 PM

.

aardappel accepted this revision.May 21 2020, 12:26 PM

Wow, impressive! Not sure if I am the best person to guarantee this tests the same things as the IR tests did, though.

This revision is now accepted and ready to land.May 21 2020, 12:26 PM
dschuff added inline comments.May 21 2020, 12:52 PM
llvm/test/MC/WebAssembly/blockaddress.ll
7 ↗(On Diff #265576)

do we have any tests that test the lowering of the blockaddress IR instruction?

dschuff added inline comments.May 21 2020, 12:57 PM
lld/test/wasm/optional-symbol.s
3

pre-exsting issue, but should this test have an expectation?

lld/test/wasm/signature-mismatch.ll
79

is this change in expectation intended?

dschuff accepted this revision.May 21 2020, 1:09 PM
tlively added a comment.May 21 2020, 1:18 PM

What is good documentation to read to become familiar with all the generic assembly directives? I could write a .ll test from scratch by hand, but I don't know the .s format well enough to write an assembly test from scratch. I would like to avoid my workflow becoming 1) write test as .ll then 2) run llc to get .s and commit the output.

lld/test/wasm/Inputs/call-indirect.s
29

Do I understand correctly that the .int32 foo declares a symbol foo and .functype foo () -> (i32) makes it a function symbol with that type?

Harbormaster failed remote builds in B57571: Diff 265576!May 21 2020, 1:33 PM
dschuff added a comment.May 21 2020, 1:40 PM

https://sourceware.org/binutils/docs/as/ is my go-to reference for assembly.

sbc100 marked 3 inline comments as done.May 21 2020, 2:09 PM
In D80361#2049868, @tlively wrote:

What is good documentation to read to become familiar with all the generic assembly directives? I could write a .ll test from scratch by hand, but I don't know the .s format well enough to write an assembly test from scratch. I would like to avoid my workflow becoming 1) write test as .ll then 2) run llc to get .s and commit the output.

I don't know if there is any specific docs for this format. Its shared a *lot* of code with the gerneric asm parser / printer so a lot of the format matches what you might see in any .s file (e.g. x86).

I'm afraid that the technique of running llc to discover the format is probably the best way to go today. At least then its guaranteed to be current. Sorry I don't have a better answer.

lld/test/wasm/optional-symbol.s
3

I think its just here to ensure that the __dso_symbol get successfully created by the linker. I'll look into adding something though.

lld/test/wasm/signature-mismatch.ll
79

Its not relevant to the test, and its one less line of boilerplate in the .s file.

llvm/test/MC/WebAssembly/blockaddress.ll
7 ↗(On Diff #265576)

Thats a good question. I was in the process of converting these MC tests when I realized they might also be testing codegen by accident.

Perhaps the best thing to do is to revert all the MC tests here, and consider them separately? (Since the coverage reduction risk only applies to the MC tests not the lld ones).

aardappel added inline comments.May 21 2020, 2:10 PM
lld/test/wasm/Inputs/call-indirect.s
29

.int32 doesn't declare anything, it simply adds static data to the current segment, in this case a relocatable index to foo.

.functype associates signature information with an existing (or new) symbol/label (since signatures are not traditionally part of asm).

sbc100 marked an inline comment as done.May 21 2020, 2:12 PM
sbc100 added inline comments.
lld/test/wasm/Inputs/call-indirect.s
29

The functype is what declares the functions.

.int32 is a data directive. .int32 <symbolname> means insert the 32-bit address of the symbol.

So .int32 foo is effectively taking the address (table offset) of function foo and storing it in static/global data.

The result will be an object file with a relocation of type R_WASM_TABLE_INDEX_I32 pointing to this location in the data section.

sbc100 updated this revision to Diff 267023.May 28 2020, 1:37 PM

More tests ..revert MC tests

sbc100 retitled this revision from [WebAssembly] Convert more lld and MC tests to assembly to [lld][WebAssembly] Convert some lld tests to assembly.May 28 2020, 1:38 PM
sbc100 edited the summary of this revision. (Show Details)
sbc100 edited the summary of this revision. (Show Details)

OK , this is just LLD tests now so should be less controversial. PTAL.

sbc100 edited the summary of this revision. (Show Details)May 28 2020, 1:39 PM
sbc100 edited the summary of this revision. (Show Details)
Harbormaster failed remote builds in B58321: Diff 267023!May 28 2020, 3:25 PM
dschuff accepted this revision.May 28 2020, 3:52 PM
Closed by commit rGfd1c894a4a36: [lld][WebAssembly] Convert some lld tests to assembly (authored by sbc100). · Explain WhyMay 28 2020, 5:05 PM
This revision was automatically updated to reflect the committed changes.
sbc100 mentioned this in D97651: [lld][WebAssembly] Convert lld/test/wasm/data-layout.ll to asm. NFC..Feb 28 2021, 6:17 PM
sbc100 mentioned this in rG74ca5c2c1e02: [lld][WebAssembly] Convert lld/test/wasm/data-layout.ll to asm. NFC..Mar 1 2021, 4:16 PM

Revision Contents

PathSize
lld/
test/
wasm/
Inputs/
28 lines
16 lines
18 lines
12 lines
8 lines
7 lines
6 lines
6 lines
4 lines
6 lines
17 lines
17 lines
64 lines
2 lines
14 lines
4 lines
2 lines
43 lines
6 lines
6 lines
2 lines
2 lines
18 lines
2 lines
2 lines
8 lines
2 lines
18 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
16 lines
2 lines
2 lines
2 lines
2 lines
6 lines
48 lines
13 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
4 lines
6 lines
2 lines
2 lines
2 lines
9 lines
2 lines
2 lines
2 lines
13 lines
2 lines
4 lines
4 lines

Diff 267023

lld/test/wasm/Inputs/call-indirect.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
@indirect_bar = internal local_unnamed_addr global i64 ()* @bar, align 4
@indirect_foo = internal local_unnamed_addr global i32 ()* @foo, align 4
declare i32 @foo() local_unnamed_addr
define i64 @bar() {
entry:
ret i64 1
}
define void @call_bar_indirect() local_unnamed_addr #1 {
entry:
%0 = load i64 ()*, i64 ()** @indirect_bar, align 4
%1 = load i32 ()*, i32 ()** @indirect_foo, align 4
%call0 = tail call i64 %0() #2
%call1 = tail call i32 %1() #2
ret void
}

lld/test/wasm/Inputs/call-indirect.s

  • This file was added.
.globl bar
bar:
.functype bar () -> (i64)
i64.const 1
end_function
.globl call_bar_indirect
call_bar_indirect:
.functype call_bar_indirect () -> ()
i32.load indirect_bar
call_indirect () -> (i64)
drop
i32.load indirect_foo
call_indirect () -> (i32)
drop
end_function
.section .data.indirect_bar,"",@
indirect_bar:
.int32 bar
.size indirect_bar, 4
.section .data.indirect_foo,"",@
indirect_foo:
.int32 foo
.size indirect_foo, 4
.functype foo () -> (i32)
tlivelyUnsubmitted
Not Done
ReplyInline Actions

Do I understand correctly that the .int32 foo declares a symbol foo and .functype foo () -> (i32) makes it a function symbol with that type?

tlively: Do I understand correctly that the `.int32 foo` declares a symbol `foo` and `.functype foo ()…
aardappelUnsubmitted
Not Done
ReplyInline Actions

.int32 doesn't declare anything, it simply adds static data to the current segment, in this case a relocatable index to foo.

.functype associates signature information with an existing (or new) symbol/label (since signatures are not traditionally part of asm).

aardappel: `.int32` doesn't declare anything, it simply adds static data to the current segment, in this…
sbc100AuthorUnsubmitted
Done
ReplyInline Actions

The functype is what declares the functions.

.int32 is a data directive. .int32 <symbolname> means insert the 32-bit address of the symbol.

So .int32 foo is effectively taking the address (table offset) of function foo and storing it in static/global data.

The result will be an object file with a relocation of type R_WASM_TABLE_INDEX_I32 pointing to this location in the data section.

sbc100: The functype is what declares the functions. `.int32` is a data directive. `.int32…

lld/test/wasm/Inputs/call-ret32.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
@ret32_address = global i32 (float)* @ret32, align 4
define hidden i32* @call_ret32() {
entry:
%call1 = call i32 @ret32(float 0.000000e+00)
ret i32* bitcast (i32 (float)** @ret32_address to i32*)
}
declare i32 @ret32(float)

lld/test/wasm/Inputs/call-ret32.s

  • This file was added.
.globl call_ret32
call_ret32:
.functype call_ret32 () -> (i32)
f32.const 0x0p0
call ret32
drop
i32.const ret32_address
end_function
.section .data.ret32_address,"",@
.globl ret32_address
ret32_address:
.int32 ret32
.size ret32_address, 4
.functype ret32 (f32) -> (i32)

lld/test/wasm/Inputs/hello.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
; Wasm module generated from the following C code:
; void puts(const char*);
; void hello() { puts("hello\n"); }
@hello_str = unnamed_addr constant [7 x i8] c"hello\0A\00", align 1
; Function Attrs: nounwind
define hidden void @hello() local_unnamed_addr #0 {
entry:
tail call void @puts(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @hello_str, i32 0, i32 0))
ret void
}
; Function Attrs: nounwind
declare void @puts(i8* nocapture readonly) local_unnamed_addr #1

lld/test/wasm/Inputs/hello.s

  • This file was added.
# asm generated by clang from the following C code:
# void puts(const char*);
# void hello() { puts("hello\n"); }
.globl hello
hello:
.functype hello () -> ()
i32.const hello_str
call puts
end_function
.section .rodata.hello_str,"",@
.globl hello_str
hello_str:
.asciz "hello\n"
.size hello_str, 7
.functype puts (i32) -> ()

lld/test/wasm/Inputs/hidden.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
; Function Attrs: norecurse nounwind readnone
define hidden i32 @archiveHidden() #0 {
entry:
ret i32 0
}
; Function Attrs: norecurse nounwind readnone
define i32 @archiveDefault() #1 {
entry:
ret i32 0
}

lld/test/wasm/Inputs/hidden.s

  • This file was added.
.hidden archiveHidden
.globl archiveHidden
archiveHidden:
.functype archiveHidden () -> (i32)
i32.const 0
end_function
.globl archiveDefault
archiveDefault:
.functype archiveDefault () -> (i32)
i32.const 0
end_function

lld/test/wasm/Inputs/import-attributes.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
define void @call_foo() {
call void @foo();
ret void
}
declare void @foo() #0
attributes #0 = { "wasm-import-module"="baz" }

lld/test/wasm/Inputs/import-attributes.s

  • This file was added.
.globl call_foo
call_foo:
.functype call_foo () -> ()
call foo
end_function
.functype foo () -> ()
.import_module foo, baz

lld/test/wasm/Inputs/optional-symbol.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
@__dso_handle = external global i8*
define i8** @get_optional() {
ret i8** @__dso_handle
}

lld/test/wasm/Inputs/optional-symbol.s

  • This file was added.
# __dso_handle is an linker-generated symbol that is included only when needed.
.globl get_optional
get_optional:
.functype get_optional () -> (i32)
i32.const __dso_handle
end_function

lld/test/wasm/Inputs/ret32.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
define hidden i32 @ret32(float %arg) {
entry:
ret i32 0
}

lld/test/wasm/Inputs/ret32.s

  • This file was added.
.hidden ret32
.globl ret32
ret32:
.functype ret32 (f32) -> (i32)
i32.const 0
end_function

lld/test/wasm/Inputs/ret64.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
define hidden i64 @ret64(double %arg) {
entry:
ret i64 1
}

lld/test/wasm/Inputs/ret64.s

  • This file was added.
.hidden ret64
.globl ret64
ret64:
.functype ret64 (f64) -> (i64)
i64.const 1
end_function

lld/test/wasm/Inputs/start.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
define void @_start() local_unnamed_addr {
entry:
ret void
}

lld/test/wasm/Inputs/start.s

  • This file was added.
.globl _start
_start:
.functype _start () -> ()
end_function

lld/test/wasm/Inputs/strong-symbol.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
define i64 @weakFn() #0 {
entry:
ret i64 1
}

lld/test/wasm/Inputs/strong-symbol.s

  • This file was added.
.globl weakFn
.type weakFn,@function
weakFn:
.functype weakFn () -> (i64)
i64.const 1
end_function

lld/test/wasm/Inputs/weak-symbol1.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
define weak i32 @weakFn() #0 {
entry:
ret i32 1
}
define i32 @exportWeak1() {
entry:
ret i32 ptrtoint (i32 ()* @weakFn to i32)
}
@weakGlobal = weak global i32 1

lld/test/wasm/Inputs/weak-symbol1.s

  • This file was added.
.weak weakFn
weakFn:
.functype weakFn () -> (i32)
i32.const 1
end_function
.globl exportWeak1
exportWeak1:
.functype exportWeak1 () -> (i32)
i32.const weakFn
end_function
.section .data.weakGlobal,"",@
.weak weakGlobal
weakGlobal:
.int32 1
.size weakGlobal, 4

lld/test/wasm/Inputs/weak-symbol2.ll

  • This file was deleted.
target triple = "wasm32-unknown-unknown"
define weak i32 @weakFn() #0 {
entry:
ret i32 2
}
define i32 @exportWeak2() {
entry:
ret i32 ptrtoint (i32 ()* @weakFn to i32)
}
@weakGlobal = weak global i32 2

lld/test/wasm/Inputs/weak-symbol2.s

  • This file was added.
.weak weakFn
weakFn:
.functype weakFn () -> (i32)
i32.const 2
end_function
.globl exportWeak2
exportWeak2:
.functype exportWeak2 () -> (i32)
i32.const weakFn
end_function
.section .data.weakGlobal,"",@
.weak weakGlobal
weakGlobal:
.int32 2
.size weakGlobal, 4

lld/test/wasm/alias.ll

  • This file was deleted.
; RUN: llc -filetype=obj -o %t.o %s
; RUN: wasm-ld --export=start_alias %t.o -o %t.wasm
; RUN: obj2yaml %t.wasm | FileCheck %s
target triple = "wasm32-unknown-unknown"
@start_alias = alias void (), void ()* @_start
; Function Attrs: nounwind uwtable
define void @_start() local_unnamed_addr #1 {
entry:
ret void
}
; CHECK: --- !WASM
; CHECK-NEXT: FileHeader:
; CHECK-NEXT: Version: 0x00000001
; CHECK-NEXT: Sections:
; CHECK-NEXT: - Type: TYPE
; CHECK-NEXT: Signatures:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: ReturnTypes: []
; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0 ]
; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000001
; CHECK-NEXT: Maximum: 0x00000001
; CHECK-NEXT: - Type: MEMORY
; CHECK-NEXT: Memories:
; CHECK-NEXT: - Initial: 0x00000002
; CHECK-NEXT: - Type: GLOBAL
; CHECK-NEXT: Globals:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Type: I32
; CHECK-NEXT: Mutable: true
; CHECK-NEXT: InitExpr:
; CHECK-NEXT: Opcode: I32_CONST
; CHECK-NEXT: Value: 66560
; CHECK-NEXT: - Type: EXPORT
; CHECK-NEXT: Exports:
; CHECK-NEXT: - Name: memory
; CHECK-NEXT: Kind: MEMORY
; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Name: start_alias
; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Type: CODE
; CHECK-NEXT: Functions:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 0B
; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: name
; CHECK-NEXT: FunctionNames:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: _start
; CHECK-NEXT: ...

lld/test/wasm/alias.s

  • This file was added.
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: wasm-ld --export=start_alias %t.o -o %t.wasm
# RUN: obj2yaml %t.wasm | FileCheck %s
.globl _start
_start:
.functype _start () -> ()
end_function
.globl start_alias
.type start_alias,@function
.set start_alias, _start
# CHECK: --- !WASM
# CHECK-NEXT: FileHeader:
# CHECK-NEXT: Version: 0x00000001
# CHECK-NEXT: Sections:
# CHECK-NEXT: - Type: TYPE
# CHECK-NEXT: Signatures:
# CHECK-NEXT: - Index: 0
# CHECK-NEXT: ParamTypes:
# CHECK-NEXT: ReturnTypes: []
# CHECK-NEXT: - Type: FUNCTION
# CHECK-NEXT: FunctionTypes: [ 0 ]
# CHECK-NEXT: - Type: TABLE
# CHECK-NEXT: Tables:
# CHECK-NEXT: - ElemType: FUNCREF
# CHECK-NEXT: Limits:
# CHECK-NEXT: Flags: [ HAS_MAX ]
# CHECK-NEXT: Initial: 0x00000001
# CHECK-NEXT: Maximum: 0x00000001
# CHECK-NEXT: - Type: MEMORY
# CHECK-NEXT: Memories:
# CHECK-NEXT: - Initial: 0x00000002
# CHECK-NEXT: - Type: GLOBAL
# CHECK-NEXT: Globals:
# CHECK-NEXT: - Index: 0
# CHECK-NEXT: Type: I32
# CHECK-NEXT: Mutable: true
# CHECK-NEXT: InitExpr:
# CHECK-NEXT: Opcode: I32_CONST
# CHECK-NEXT: Value: 66560
# CHECK-NEXT: - Type: EXPORT
# CHECK-NEXT: Exports:
# CHECK-NEXT: - Name: memory
# CHECK-NEXT: Kind: MEMORY
# CHECK-NEXT: Index: 0
# CHECK-NEXT: - Name: _start
# CHECK-NEXT: Kind: FUNCTION
# CHECK-NEXT: Index: 0
# CHECK-NEXT: - Name: start_alias
# CHECK-NEXT: Kind: FUNCTION
# CHECK-NEXT: Index: 0
# CHECK-NEXT: - Type: CODE
# CHECK-NEXT: Functions:
# CHECK-NEXT: - Index: 0
# CHECK-NEXT: Locals:
# CHECK-NEXT: Body: 0B
# CHECK-NEXT: - Type: CUSTOM
# CHECK-NEXT: Name: name
# CHECK-NEXT: FunctionNames:
# CHECK-NEXT: - Index: 0
# CHECK-NEXT: Name: _start
# CHECK-NEXT: ...

lld/test/wasm/archive-export.ll

Test that --export will also fetch lazy symbols from archives Test that --export will also fetch lazy symbols from archives
RUN: llc -filetype=obj %S/Inputs/start.ll -o %t.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.o
RUN: llc -filetype=obj %S/Inputs/archive1.ll -o %t.a1.o RUN: llc -filetype=obj %S/Inputs/archive1.ll -o %t.a1.o
RUN: llc -filetype=obj %S/Inputs/archive2.ll -o %t.a2.o RUN: llc -filetype=obj %S/Inputs/archive2.ll -o %t.a2.o
RUN: rm -f %t.a RUN: rm -f %t.a
RUN: llvm-ar rcs %t.a %t.a1.o %t.a2.o RUN: llvm-ar rcs %t.a %t.a1.o %t.a2.o
RUN: wasm-ld --export-dynamic --export=archive2_symbol -o %t.wasm %t.a %t.o RUN: wasm-ld --export-dynamic --export=archive2_symbol -o %t.wasm %t.a %t.o
RUN: obj2yaml %t.wasm | FileCheck %s RUN: obj2yaml %t.wasm | FileCheck %s
RUN: wasm-ld --export-dynamic -o %t.wasm %t.a %t.o RUN: wasm-ld --export-dynamic -o %t.wasm %t.a %t.o
RUN: obj2yaml %t.wasm | FileCheck %s -check-prefix=NOEXPORT RUN: obj2yaml %t.wasm | FileCheck %s -check-prefix=NOEXPORT
Show All 27 Lines

lld/test/wasm/archive-no-index.ll

  • This file was deleted.
; Tests error on archive file without a symbol table
; RUN: llvm-as -o %t.o %s
; RUN: llvm-as -o %t.archive.o %S/Inputs/archive1.ll
; RUN: rm -f %t.a
; RUN: llvm-ar crS %t.a %t.archive.o
; RUN: not wasm-ld -o out.wasm %t.o %t.a 2>&1 | FileCheck %s
define i32 @_start() {
ret i32 0
}
; CHECK: archive has no index; run ranlib to add one

lld/test/wasm/archive-no-index.s

  • This file was added.
# Tests error on archive file without a symbol table
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: llvm-as -o %t.archive.o %S/Inputs/archive1.ll
# RUN: rm -f %t.a
# RUN: llvm-ar crS %t.a %t.archive.o
# RUN: not wasm-ld -o out.wasm %t.o %t.a 2>&1 | FileCheck %s
.globl _start
_start:
.functype _start () -> ()
end_function
# CHECK: archive has no index; run ranlib to add one

lld/test/wasm/archive-weak-undefined.ll

; Test that weak undefined symbols do not fetch members from archive files. ; Test that weak undefined symbols do not fetch members from archive files.
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: llc -filetype=obj %S/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: llc -filetype=obj %S/Inputs/hello.ll -o %t.hello.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/hello.s -o %t.hello.o
; RUN: rm -f %t.a ; RUN: rm -f %t.a
; RUN: llvm-ar rcs %t.a %t.ret32.o %t.hello.o ; RUN: llvm-ar rcs %t.a %t.ret32.o %t.hello.o
; RUN: wasm-ld %t.o %t.a -o %t.wasm ; RUN: wasm-ld %t.o %t.a -o %t.wasm
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
; RUN: wasm-ld -u hello_str %t.o %t.a -o %t2.wasm ; RUN: wasm-ld -u hello_str %t.o %t.a -o %t2.wasm
; RUN: obj2yaml %t2.wasm | FileCheck %s -check-prefix=CHECK-DATA ; RUN: obj2yaml %t2.wasm | FileCheck %s -check-prefix=CHECK-DATA
Show All 27 Lines

lld/test/wasm/archive.ll

; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: llc -filetype=obj %S/Inputs/archive1.ll -o %t.a1.o ; RUN: llc -filetype=obj %S/Inputs/archive1.ll -o %t.a1.o
; RUN: llc -filetype=obj %S/Inputs/archive2.ll -o %t.a2.o ; RUN: llc -filetype=obj %S/Inputs/archive2.ll -o %t.a2.o
; RUN: llc -filetype=obj %S/Inputs/archive3.ll -o %t.a3.o ; RUN: llc -filetype=obj %S/Inputs/archive3.ll -o %t.a3.o
; RUN: llc -filetype=obj %S/Inputs/hello.ll -o %t.hello.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/hello.s -o %t.hello.o
; RUN: rm -f %t.a ; RUN: rm -f %t.a
; RUN: llvm-ar rcs %t.a %t.a1.o %t.a2.o %t.a3.o %t.hello.o ; RUN: llvm-ar rcs %t.a %t.a1.o %t.a2.o %t.a3.o %t.hello.o
; RUN: rm -f %t.imports ; RUN: rm -f %t.imports
; RUN: not wasm-ld %t.a %t.o -o %t.wasm 2>&1 | FileCheck -check-prefix=CHECK-UNDEFINED %s ; RUN: not wasm-ld %t.a %t.o -o %t.wasm 2>&1 | FileCheck -check-prefix=CHECK-UNDEFINED %s
; CHECK-UNDEFINED: undefined symbol: missing_func ; CHECK-UNDEFINED: undefined symbol: missing_func
; RUN: echo 'missing_func' > %t.imports ; RUN: echo 'missing_func' > %t.imports
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

lld/test/wasm/bss-only.ll

  • This file was deleted.
; RUN: llc -filetype=obj %s -o %t.o
; RUN: wasm-ld -no-gc-sections --no-entry %t.o -o %t.wasm
; RUN: obj2yaml %t.wasm | FileCheck %s
; Test that the data section is skipped entirely when there are only
; bss segments
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown"
@a = global [1000 x i8] zeroinitializer, align 1
@b = global i32 0
; CHECK-NOT: - Type: DATA

lld/test/wasm/bss-only.s

  • This file was added.
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: wasm-ld -no-gc-sections --no-entry --export=__data_end %t.o -o %t.wasm
# RUN: obj2yaml %t.wasm | FileCheck %s
# Test that the data section is skipped entirely when there are only
# bss segments
.section .bss.a,"",@
.globl a
a:
.skip 1000
.size a, 1000
.section .bss.b,"",@
.globl b
b:
.int32 0
.size b, 4
# CHECK-NOT: - Type: DATA
# CHECK: - Type: GLOBAL
# CHECK-NEXT: Globals:
# CHECK-NEXT: - Index: 0
# CHECK-NEXT: Type: I32
# CHECK-NEXT: Mutable: true
# CHECK-NEXT: InitExpr:
# CHECK-NEXT: Opcode: I32_CONST
# CHECK-NEXT: Value: 67568
# CHECK-NEXT: - Index: 1
# CHECK-NEXT: Type: I32
# CHECK-NEXT: Mutable: false
# CHECK-NEXT: InitExpr:
# CHECK-NEXT: Opcode: I32_CONST
# CHECK-NEXT: Value: 2028
# CHECK-NEXT: - Type: EXPORT
# CHECK-NEXT: Exports:
# CHECK-NEXT: - Name: memory
# CHECK-NEXT: Kind: MEMORY
# CHECK-NEXT: Index: 0
# CHECK-NEXT: - Name: __data_end
# CHECK-NEXT: Kind: GLOBAL
# CHECK-NEXT: Index: 1

lld/test/wasm/call-indirect.ll

; RUN: llc -filetype=obj %p/Inputs/call-indirect.ll -o %t2.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/call-indirect.s -o %t2.o
; RUN: wasm-ld --export-dynamic -o %t.wasm %t2.o %t.o ; RUN: wasm-ld --export-dynamic -o %t.wasm %t2.o %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
; bitcode generated from the following C code: ; bitcode generated from the following C code:
; int foo(void) { return 1; } ; int foo(void) { return 1; }
; int (*indirect_func)(void) = &foo; ; int (*indirect_func)(void) = &foo;
; void _start(void) { indirect_func(); } ; void _start(void) { indirect_func(); }
▲ Show 20 Lines • Show All 105 Lines • ▼ Show 20 Lines
; CHECK-NEXT: Functions: [ 0, 2 ] ; CHECK-NEXT: Functions: [ 0, 2 ]
; CHECK-NEXT: - Type: CODE ; CHECK-NEXT: - Type: CODE
; CHECK-NEXT: Functions: ; CHECK-NEXT: Functions:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 42010B ; CHECK-NEXT: Body: 42010B
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: - Type: I32 ; CHECK-NEXT: Body: 28028088808000118080808000001A28028488808000118180808000001A0B
; CHECK-NEXT: Count: 1
; CHECK-NEXT: Body: 4100280284888080002100410028028088808000118080808000001A2000118180808000001A0B
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 41020B ; CHECK-NEXT: Body: 41020B
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 410028028888808000118180808000001A0B ; CHECK-NEXT: Body: 410028028888808000118180808000001A0B
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
Show All 23 Lines

lld/test/wasm/compress-relocs.ll

; RUN: llc -filetype=obj %p/Inputs/call-indirect.ll -o %t2.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/call-indirect.s -o %t2.o
; RUN: wasm-ld --export-dynamic -o %t.wasm %t2.o %t.o ; RUN: wasm-ld --export-dynamic -o %t.wasm %t2.o %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
; RUN: wasm-ld --export-dynamic -O2 -o %t-opt.wasm %t2.o %t.o ; RUN: wasm-ld --export-dynamic -O2 -o %t-opt.wasm %t2.o %t.o
; RUN: obj2yaml %t-opt.wasm | FileCheck %s ; RUN: obj2yaml %t-opt.wasm | FileCheck %s
; RUN: not wasm-ld --compress-relocations -o %t-compressed.wasm %t2.o %t.o 2>&1 | FileCheck %s -check-prefix=ERROR ; RUN: not wasm-ld --compress-relocations -o %t-compressed.wasm %t2.o %t.o 2>&1 | FileCheck %s -check-prefix=ERROR
; RUN: wasm-ld --export-dynamic --strip-debug --compress-relocations -o %t-compressed.wasm %t2.o %t.o ; RUN: wasm-ld --export-dynamic --strip-debug --compress-relocations -o %t-compressed.wasm %t2.o %t.o
; RUN: obj2yaml %t-compressed.wasm | FileCheck %s -check-prefix=COMPRESS ; RUN: obj2yaml %t-compressed.wasm | FileCheck %s -check-prefix=COMPRESS
target triple = "wasm32-unknown-unknown-wasm" target triple = "wasm32-unknown-unknown-wasm"
define i32 @foo() { define i32 @foo() {
entry: entry:
ret i32 2 ret i32 2
} }
define void @_start() local_unnamed_addr { define void @_start() local_unnamed_addr {
entry: entry:
ret void ret void
} }
; ERROR: wasm-ld: error: --compress-relocations is incompatible with output debug information. Please pass --strip-debug or --strip-all ; ERROR: wasm-ld: error: --compress-relocations is incompatible with output debug information. Please pass --strip-debug or --strip-all
; CHECK: Body: 4100280284888080002100410028028088808000118080808000001A2000118180808000001A0B ; CHECK: Body: 28028088808000118080808000001A28028488808000118180808000001A0B
; COMPRESS: Body: 41002802840821004100280280081100001A20001101001A0B ; COMPRESS: Body: 280280081100001A280284081101001A0B

lld/test/wasm/conflict.test

# RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o # RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
# RUN: not wasm-ld -o %t.wasm %t.ret32.o %t.ret32.o 2>&1 | FileCheck %s # RUN: not wasm-ld -o %t.wasm %t.ret32.o %t.ret32.o 2>&1 | FileCheck %s
# CHECK: duplicate symbol: ret32 # CHECK: duplicate symbol: ret32
# CHECK-NEXT: >>> defined in {{.*}}conflict.test.tmp.ret32.o # CHECK-NEXT: >>> defined in {{.*}}conflict.test.tmp.ret32.o
# CHECK-NEXT: >>> defined in {{.*}}conflict.test.tmp.ret32.o # CHECK-NEXT: >>> defined in {{.*}}conflict.test.tmp.ret32.o

lld/test/wasm/data-layout.ll

; RUN: llc -filetype=obj %p/Inputs/hello.ll -o %t.hello.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/hello.s -o %t.hello.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
@foo = hidden global i32 1, align 4 @foo = hidden global i32 1, align 4
@aligned_bar = hidden global i32 3, align 16 @aligned_bar = hidden global i32 3, align 16
@hello_str = external global i8* @hello_str = external global i8*
▲ Show 20 Lines • Show All 147 Lines • Show Last 20 Lines

lld/test/wasm/demangle.ll

  • This file was deleted.
; RUN: llc -filetype=obj %s -o %t.o
; RUN: not wasm-ld -o %t.wasm %t.o 2>&1 | FileCheck %s
; CHECK: error: {{.*}}.o: undefined symbol: foo(int)
; RUN: not wasm-ld --no-demangle \
; RUN: -o %t.wasm %t.o 2>&1 | FileCheck -check-prefix=CHECK-NODEMANGLE %s
; CHECK-NODEMANGLE: error: {{.*}}.o: undefined symbol: _Z3fooi
target triple = "wasm32-unknown-unknown"
declare void @_Z3fooi(i32);
define hidden void @_start() local_unnamed_addr {
entry:
call void @_Z3fooi(i32 1)
ret void
}

lld/test/wasm/demangle.s

  • This file was added.
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: not wasm-ld -o %t.wasm %t.o 2>&1 | FileCheck %s
# CHECK: error: {{.*}}.o: undefined symbol: foo(int)
# RUN: not wasm-ld --no-demangle \
# RUN: -o %t.wasm %t.o 2>&1 | FileCheck -check-prefix=CHECK-NODEMANGLE %s
# CHECK-NODEMANGLE: error: {{.*}}.o: undefined symbol: _Z3fooi
.globl _start
_start:
.functype _start () -> ()
i32.const 1
call _Z3fooi
end_function
.functype _Z3fooi (i32) -> ()

lld/test/wasm/emit-relocs-fpic.s

# RUN: llvm-mc -triple=wasm32-unknown-unknown -filetype=obj -o %t.o < %s # RUN: llvm-mc -triple=wasm32-unknown-unknown -filetype=obj -o %t.o < %s
# RUN: llc --relocation-model=pic -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o # RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
# RUN: wasm-ld -pie --export-all --no-gc-sections --no-entry --emit-relocs -o %t.wasm %t.o %t.ret32.o # RUN: wasm-ld -pie --export-all --no-gc-sections --no-entry --emit-relocs -o %t.wasm %t.o %t.ret32.o
# RUN: obj2yaml %t.wasm | FileCheck %s # RUN: obj2yaml %t.wasm | FileCheck %s
load_hidden_data: load_hidden_data:
.functype load_hidden_data () -> (i32) .functype load_hidden_data () -> (i32)
i32.const .L.hidden_data@MBREL i32.const .L.hidden_data@MBREL
end_function end_function
Show All 10 Lines

lld/test/wasm/emit-relocs.ll

; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: wasm-ld --emit-relocs -o %t.wasm %t.o %t.ret32.o ; RUN: wasm-ld --emit-relocs -o %t.wasm %t.o %t.ret32.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
declare i32 @ret32(float) declare i32 @ret32(float)
define void @unused_function() { define void @unused_function() {
Show All 29 Lines

lld/test/wasm/entry-signature.ll

  • This file was deleted.
; Verify that the entry point signature can be flexible.
; RUN: llc -filetype=obj %s -o %t.o
; RUN: wasm-ld -o %t1.wasm %t.o
target triple = "wasm32-unknown-unknown-wasm"
define hidden i32 @_start(i32, i64) local_unnamed_addr #0 {
entry:
ret i32 0
}

lld/test/wasm/entry-signature.s

  • This file was added.
# Verify that the entry point signature can be flexible.
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: wasm-ld -o %t1.wasm %t.o
.globl _start
_start:
.functype _start (i64) -> (f32)
end_function

lld/test/wasm/export-empty.test

RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.o
RUN: not wasm-ld --export "" %t.o -o %t.wasm 2>&1 | FileCheck --match-full-lines %s RUN: not wasm-ld --export "" %t.o -o %t.wasm 2>&1 | FileCheck --match-full-lines %s
CHECK: wasm-ld: error: symbol exported via --export not found: CHECK: wasm-ld: error: symbol exported via --export not found:

lld/test/wasm/export-optional-lazy.ll

  • This file was deleted.
; Optional linker-synthetic symbols are only created if they are undefined
; in the final output.
; This test is for a regression where an explicit --export of an lazy archive
; symbol caused an undefined reference to an optional symbol to occur *after*
; the optional symbols were created.
; RUN: llc -filetype=obj %s -o %t.o
; RUN: llc -filetype=obj %S/Inputs/optional-symbol.ll -o %t.a1.o
; RUN: rm -f %t.a
; RUN: llvm-ar rcs %t.a %t.a1.o
; RUN: wasm-ld --export=get_optional %t.o %t.a -o %t.wasm
; RUN: obj2yaml %t.wasm | FileCheck %s
target triple = "wasm32-unknown-unknown"
define void @_start() {
entry:
ret void
}
; CHECK: FunctionNames:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: _start
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: get_optional

lld/test/wasm/export-optional-lazy.test

  • This file was added.
Optional linker-synthetic symbols are only created if they are undefined
in the final output.
This test is for a regression where an explicit --export of an lazy archive
symbol caused an undefined reference to an optional symbol to occur *after*
the optional symbols were created.
RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.o
RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/optional-symbol.s -o %t.a1.o
RUN: rm -f %t.a
RUN: llvm-ar rcs %t.a %t.a1.o
RUN: wasm-ld --export=get_optional %t.o %t.a -o %t.wasm
RUN: obj2yaml %t.wasm | FileCheck %s
CHECK: FunctionNames:
CHECK-NEXT: - Index: 0
CHECK-NEXT: Name: _start
CHECK-NEXT: - Index: 1
CHECK-NEXT: Name: get_optional

lld/test/wasm/export-table.test

# RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.start.o # RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.start.o
# RUN: wasm-ld --export-table -o %t.wasm %t.start.o # RUN: wasm-ld --export-table -o %t.wasm %t.start.o
# RUN: obj2yaml %t.wasm | FileCheck %s # RUN: obj2yaml %t.wasm | FileCheck %s
# Verify the --export-table flag creates a table export # Verify the --export-table flag creates a table export
# CHECK: - Type: TABLE # CHECK: - Type: TABLE
# CHECK-NEXT: Tables: # CHECK-NEXT: Tables:
# CHECK-NEXT: - ElemType: FUNCREF # CHECK-NEXT: - ElemType: FUNCREF
Show All 10 Lines

lld/test/wasm/fatal-warnings.ll

; RUN: llc -filetype=obj %s -o %t.main.o ; RUN: llc -filetype=obj %s -o %t.main.o
; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: wasm-ld -o %t.wasm %t.main.o %t.ret32.o 2>&1 | FileCheck %s -check-prefix=CHECK-WARN ; RUN: wasm-ld -o %t.wasm %t.main.o %t.ret32.o 2>&1 | FileCheck %s -check-prefix=CHECK-WARN
; RUN: not wasm-ld --fatal-warnings -o %t.wasm %t.main.o %t.ret32.o 2>&1 | FileCheck %s -check-prefix=CHECK-FATAL ; RUN: not wasm-ld --fatal-warnings -o %t.wasm %t.main.o %t.ret32.o 2>&1 | FileCheck %s -check-prefix=CHECK-FATAL
; CHECK-WARN: warning: function signature mismatch: ret32 ; CHECK-WARN: warning: function signature mismatch: ret32
; CHECK-FATAL: error: function signature mismatch: ret32 ; CHECK-FATAL: error: function signature mismatch: ret32
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
define hidden void @_start() local_unnamed_addr #0 { define hidden void @_start() local_unnamed_addr #0 {
entry: entry:
%call = tail call i32 @ret32(i32 1, i64 2, i32 3) #2 %call = tail call i32 @ret32(i32 1, i64 2, i32 3) #2
ret void ret void
} }
declare i32 @ret32(i32, i64, i32) local_unnamed_addr #1 declare i32 @ret32(i32, i64, i32) local_unnamed_addr #1

lld/test/wasm/function-imports-first.ll

; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: wasm-ld -o %t.wasm %t.o %t.ret32.o ; RUN: wasm-ld -o %t.wasm %t.o %t.ret32.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
; Function Attrs: nounwind ; Function Attrs: nounwind
define hidden void @_start() local_unnamed_addr #0 { define hidden void @_start() local_unnamed_addr #0 {
Show All 35 Lines

lld/test/wasm/function-imports.ll

; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: wasm-ld -o %t.wasm %t.ret32.o %t.o ; RUN: wasm-ld -o %t.wasm %t.ret32.o %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
; Function Attrs: nounwind ; Function Attrs: nounwind
define hidden void @_start() local_unnamed_addr #0 { define hidden void @_start() local_unnamed_addr #0 {
Show All 31 Lines

lld/test/wasm/function-index.test

# RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o # RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
# RUN: llc -filetype=obj %p/Inputs/ret64.ll -o %t.ret64.o # RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret64.s -o %t.ret64.o
# RUN: wasm-ld -r -o %t.wasm %t.ret32.o %t.ret64.o # RUN: wasm-ld -r -o %t.wasm %t.ret32.o %t.ret64.o
# RUN: obj2yaml %t.wasm | FileCheck %s # RUN: obj2yaml %t.wasm | FileCheck %s
CHECK: Sections: CHECK: Sections:
CHECK: - Type: TYPE CHECK: - Type: TYPE
CHECK: Signatures: CHECK: Signatures:
CHECK: - Index: 0 CHECK: - Index: 0
CHECK: ParamTypes: CHECK: ParamTypes:
Show All 10 Lines

lld/test/wasm/global-base.test

RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.o
RUN: wasm-ld --export=__global_base --export=__data_end --allow-undefined -o %t.wasm %t.o RUN: wasm-ld --export=__global_base --export=__data_end --allow-undefined -o %t.wasm %t.o
RUN: obj2yaml %t.wasm | FileCheck %s -check-prefix=CHECK-1024 RUN: obj2yaml %t.wasm | FileCheck %s -check-prefix=CHECK-1024
CHECK-1024: - Type: GLOBAL CHECK-1024: - Type: GLOBAL
CHECK-1024-NEXT: Globals: CHECK-1024-NEXT: Globals:
CHECK-1024-NEXT: - Index: 0 CHECK-1024-NEXT: - Index: 0
CHECK-1024-NEXT: Type: I32 CHECK-1024-NEXT: Type: I32
CHECK-1024-NEXT: Mutable: true CHECK-1024-NEXT: Mutable: true
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

lld/test/wasm/growable-table.test

# RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.start.o # RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.start.o
# RUN: wasm-ld --export-table --growable-table -o %t.wasm %t.start.o # RUN: wasm-ld --export-table --growable-table -o %t.wasm %t.start.o
# RUN: obj2yaml %t.wasm | FileCheck %s # RUN: obj2yaml %t.wasm | FileCheck %s
# Verify the --growable-table flag creates a growable table # Verify the --growable-table flag creates a growable table
# CHECK: - Type: TABLE # CHECK: - Type: TABLE
# CHECK-NEXT: Tables: # CHECK-NEXT: Tables:
# CHECK-NEXT: - ElemType: FUNCREF # CHECK-NEXT: - ElemType: FUNCREF
# CHECK-NEXT: Limits: # CHECK-NEXT: Limits:
# CHECK-NEXT: Initial: 0x00000001 # CHECK-NEXT: Initial: 0x00000001
# CHECK-NEXT: - Type: # CHECK-NEXT: - Type:
# CHECK: - Type: EXPORT # CHECK: - Type: EXPORT
# CHECK-NEXT: Exports: # CHECK-NEXT: Exports:
# CHECK: - Name: __indirect_function_table # CHECK: - Name: __indirect_function_table
# CHECK-NEXT: Kind: TABLE # CHECK-NEXT: Kind: TABLE
# CHECK-NEXT: Index: 0 # CHECK-NEXT: Index: 0

lld/test/wasm/import-attribute-mismatch.ll

  • This file was deleted.
; RUN: llc -filetype=obj %s -o %t1.o
; RUN: llc -filetype=obj %S/Inputs/import-attributes.ll -o %t2.o
; RUN: not wasm-ld --export call_foo --allow-undefined -o %t.wasm %t1.o %t2.o 2>&1 | FileCheck %s
target triple = "wasm32-unknown-unknown-wasm"
define void @_start() {
call void @foo();
ret void
}
declare void @foo() #0
attributes #0 = { "wasm-import-module"="bar" }
; CHECK: wasm-ld: error: import module mismatch for symbol: foo
; CHECK: >>> defined as bar in {{.*}}1.o
; CHECK: >>> defined as baz in {{.*}}2.o

lld/test/wasm/import-attribute-mismatch.s

  • This file was added.
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t1.o %s
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %S/Inputs/import-attributes.s -o %t2.o
# RUN: not wasm-ld --export call_foo --allow-undefined -o %t.wasm %t1.o %t2.o 2>&1 | FileCheck %s
.globl _start
_start:
.functype _start () -> ()
call foo
end_function
.functype foo () -> ()
.import_module foo, bar
# CHECK: wasm-ld: error: import module mismatch for symbol: foo
# CHECK: >>> defined as bar in {{.*}}1.o
# CHECK: >>> defined as baz in {{.*}}2.o

lld/test/wasm/import-memory.test

# RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.start.o # RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.start.o
# RUN: wasm-ld --import-memory -o %t.wasm %t.start.o # RUN: wasm-ld --import-memory -o %t.wasm %t.start.o
# RUN: obj2yaml %t.wasm | FileCheck %s # RUN: obj2yaml %t.wasm | FileCheck %s
# Verify the --import-memory flag creates a memory import # Verify the --import-memory flag creates a memory import
# CHECK: - Type: IMPORT # CHECK: - Type: IMPORT
# CHECK-NEXT: Imports: # CHECK-NEXT: Imports:
# CHECK-NEXT: - Module: env # CHECK-NEXT: - Module: env
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

lld/test/wasm/import-table.test

# RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.start.o # RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.start.o
# RUN: wasm-ld --import-table -o %t.wasm %t.start.o # RUN: wasm-ld --import-table -o %t.wasm %t.start.o
# RUN: obj2yaml %t.wasm | FileCheck %s # RUN: obj2yaml %t.wasm | FileCheck %s
# Verify the --import-table flag creates a table import # Verify the --import-table flag creates a table import
# CHECK: - Type: IMPORT # CHECK: - Type: IMPORT
# CHECK-NEXT: Imports: # CHECK-NEXT: Imports:
# CHECK-NEXT: - Module: env # CHECK-NEXT: - Module: env
# CHECK-NEXT: Field: __indirect_function_table # CHECK-NEXT: Field: __indirect_function_table
# CHECK-NEXT: Kind: TABLE # CHECK-NEXT: Kind: TABLE
# CHECK-NEXT: Table: # CHECK-NEXT: Table:
# CHECK-NEXT: ElemType: FUNCREF # CHECK-NEXT: ElemType: FUNCREF
# CHECK-NEXT: Limits: # CHECK-NEXT: Limits:
# CHECK-NEXT: Initial: 0x00000001 # CHECK-NEXT: Initial: 0x00000001

lld/test/wasm/invalid-stack-size.test

; RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.o
; RUN: not wasm-ld -o %t.wasm -z stack-size=1 %t.o 2>&1 | FileCheck %s ; RUN: not wasm-ld -o %t.wasm -z stack-size=1 %t.o 2>&1 | FileCheck %s
; CHECK: error: stack size must be 16-byte aligned ; CHECK: error: stack size must be 16-byte aligned

lld/test/wasm/large-memory.test

RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.o
; Verify we can parse large integers such as when we ask for 2G of total ; Verify we can parse large integers such as when we ask for 2G of total
; memory. ; memory.
RUN: wasm-ld %t.o -o %t1.wasm --max-memory=2147483648 RUN: wasm-ld %t.o -o %t1.wasm --max-memory=2147483648
RUN: obj2yaml %t1.wasm | FileCheck %s --check-prefixes=CHECK,CHECK-2G RUN: obj2yaml %t1.wasm | FileCheck %s --check-prefixes=CHECK,CHECK-2G
; And also 4G of total memory ; And also 4G of total memory
RUN: wasm-ld %t.o -o %t2.wasm --max-memory=4294967296 RUN: wasm-ld %t.o -o %t2.wasm --max-memory=4294967296
Show All 15 Lines

lld/test/wasm/load-undefined.test

; Verify that the -u / --undefined option is able to pull in symbols from ; Verify that the -u / --undefined option is able to pull in symbols from
; an archive, and doesn't error when uses to pull in a symbol already loaded. ; an archive, and doesn't error when uses to pull in a symbol already loaded.
; ;
; RUN: llc -filetype=obj %S/Inputs/ret64.ll -o %t.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret64.s -o %t.o
; RUN: llc -filetype=obj %S/Inputs/ret32.ll -o %t2.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t2.o
; RUN: llc -filetype=obj %S/Inputs/start.ll -o %t.start.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.start.o
; RUN: rm -f %t2.a ; RUN: rm -f %t2.a
; RUN: llvm-ar rcs %t2.a %t2.o ; RUN: llvm-ar rcs %t2.a %t2.o
; RUN: wasm-ld %t.start.o --no-gc-sections %t2.a %t.o -o %t.wasm -u ret32 --undefined ret64 ; RUN: wasm-ld %t.start.o --no-gc-sections %t2.a %t.o -o %t.wasm -u ret32 --undefined ret64
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
; RUN: wasm-ld %t.start.o --no-gc-sections %t2.a %t.o -o %t2.wasm ; RUN: wasm-ld %t.start.o --no-gc-sections %t2.a %t.o -o %t2.wasm
; RUN: obj2yaml %t2.wasm | FileCheck %s -check-prefix=NO-LOAD ; RUN: obj2yaml %t2.wasm | FileCheck %s -check-prefix=NO-LOAD
; CHECK: Name: name ; CHECK: Name: name
Show All 24 Lines

lld/test/wasm/no-tls.ll

  • This file was added.
; Testing that __tls_size and __tls_align are correctly emitted when there are
; no thread_local variables.
; RUN: llc -mattr=+bulk-memory,+atomics -filetype=obj %s -o %t.o
target triple = "wasm32-unknown-unknown"
define void @_start() local_unnamed_addr {
entry:
ret void
}
; RUN: wasm-ld -no-gc-sections --shared-memory --max-memory=131072 --allow-undefined -o %t.wasm %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s
; CHECK: - Type: GLOBAL
; CHECK-NEXT: Globals:
; __stack_pointer
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Type: I32
; CHECK-NEXT: Mutable: true
; CHECK-NEXT: InitExpr:
; CHECK-NEXT: Opcode: I32_CONST
; CHECK-NEXT: Value: 66576
; __tls_base
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Type: I32
; CHECK-NEXT: Mutable: true
; CHECK-NEXT: InitExpr:
; CHECK-NEXT: Opcode: I32_CONST
; CHECK-NEXT: Value: 0
; __tls_size
; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Type: I32
; CHECK-NEXT: Mutable: false
; CHECK-NEXT: InitExpr:
; CHECK-NEXT: Opcode: I32_CONST
; CHECK-NEXT: Value: 0
; __tls_align
; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Type: I32
; CHECK-NEXT: Mutable: false
; CHECK-NEXT: InitExpr:
; CHECK-NEXT: Opcode: I32_CONST
; CHECK-NEXT: Value: 1

lld/test/wasm/no-tls.test

  • This file was deleted.
; Testing that __tls_size and __tls_align are correctly emitted when there are
; no thread_local variables.
RUN: llc -mattr=+bulk-memory,+atomics -filetype=obj %p/Inputs/start.ll -o %t.o
RUN: wasm-ld -no-gc-sections --shared-memory --max-memory=131072 --allow-undefined -o %t.wasm %t.o
RUN: obj2yaml %t.wasm | FileCheck %s
CHECK: - Type: GLOBAL
CHECK-NEXT: Globals:
; __stack_pointer
CHECK-NEXT: - Index: 0
CHECK-NEXT: Type: I32
CHECK-NEXT: Mutable: true
CHECK-NEXT: InitExpr:
CHECK-NEXT: Opcode: I32_CONST
CHECK-NEXT: Value: 66576
; __tls_base
CHECK-NEXT: - Index: 1
CHECK-NEXT: Type: I32
CHECK-NEXT: Mutable: true
CHECK-NEXT: InitExpr:
CHECK-NEXT: Opcode: I32_CONST
CHECK-NEXT: Value: 0
; __tls_size
CHECK-NEXT: - Index: 2
CHECK-NEXT: Type: I32
CHECK-NEXT: Mutable: false
CHECK-NEXT: InitExpr:
CHECK-NEXT: Opcode: I32_CONST
CHECK-NEXT: Value: 0
; __tls_align
CHECK-NEXT: - Index: 3
CHECK-NEXT: Type: I32
CHECK-NEXT: Mutable: false
CHECK-NEXT: InitExpr:
CHECK-NEXT: Opcode: I32_CONST
CHECK-NEXT: Value: 1

lld/test/wasm/optional-symbol.ll

  • This file was deleted.
; RUN: llc -filetype=obj -o %t.o %s
; RUN: wasm-ld --export=get_handle %t.o -o %t.wasm
target triple = "wasm32-unknown-unknown"
@__dso_handle = external global i8*
define i8** @get_handle() {
ret i8** @__dso_handle
}
define void @_start() {
ret void
}

lld/test/wasm/optional-symbol.s

  • This file was added.
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: wasm-ld --export=get_handle %t.o -o %t.wasm
dschuffUnsubmitted
Not Done
ReplyInline Actions

pre-exsting issue, but should this test have an expectation?

dschuff: pre-exsting issue, but should this test have an expectation?
sbc100AuthorUnsubmitted
Done
ReplyInline Actions

I think its just here to ensure that the __dso_symbol get successfully created by the linker. I'll look into adding something though.

sbc100: I think its just here to ensure that the __dso_symbol get successfully created by the linker.
.globl get_handle
get_handle:
.functype get_handle () -> (i32)
i32.const __dso_handle
end_function
.globl _start
_start:
.functype _start () -> ()
end_function

lld/test/wasm/pic-static.ll

; Test that PIC code can be linked into static binaries. ; Test that PIC code can be linked into static binaries.
; In this case the GOT entries will end up as internalized wasm globals with ; In this case the GOT entries will end up as internalized wasm globals with
; fixed values. ; fixed values.
; RUN: llc -relocation-model=pic -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: llc -relocation-model=pic -filetype=obj %s -o %t.o ; RUN: llc -relocation-model=pic -filetype=obj %s -o %t.o
; RUN: wasm-ld --allow-undefined --export-all -o %t.wasm %t.o %t.ret32.o ; RUN: wasm-ld --allow-undefined --export-all -o %t.wasm %t.o %t.ret32.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target triple = "wasm32-unknown-emscripten" target triple = "wasm32-unknown-emscripten"
declare i32 @ret32(float) declare i32 @ret32(float)
declare i32 @missing_function(float) declare i32 @missing_function(float)
▲ Show 20 Lines • Show All 109 Lines • Show Last 20 Lines

lld/test/wasm/relocatable.ll

; RUN: llc -filetype=obj %p/Inputs/hello.ll -o %t.hello.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/hello.s -o %t.hello.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: wasm-ld -r -o %t.wasm %t.hello.o %t.o ; RUN: wasm-ld -r -o %t.wasm %t.hello.o %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
; Function Attrs: nounwind ; Function Attrs: nounwind
define hidden i32 @my_func() local_unnamed_addr { define hidden i32 @my_func() local_unnamed_addr {
▲ Show 20 Lines • Show All 276 Lines • Show Last 20 Lines

lld/test/wasm/responsefile.test

RUN: llc -filetype=obj -o %t.o %p/Inputs/ret32.ll RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.o
RUN: echo "%/t.o -o %/t.wasm -e ret32" > %t.rsp RUN: echo "%/t.o -o %/t.wasm -e ret32" > %t.rsp
RUN: wasm-ld @%t.rsp --initial-memory=655360 RUN: wasm-ld @%t.rsp --initial-memory=655360
RUN: llvm-readobj --sections %t.wasm | FileCheck %s RUN: llvm-readobj --sections %t.wasm | FileCheck %s
CHECK: InitialPages: 10 CHECK: InitialPages: 10
RUN: not wasm-ld --rsp-quoting=foobar @%t.rsp 2>&1 | \ RUN: not wasm-ld --rsp-quoting=foobar @%t.rsp 2>&1 | \
RUN: FileCheck --check-prefix=INVRSP %s RUN: FileCheck --check-prefix=INVRSP %s
Show All 11 Lines

lld/test/wasm/shared-needed.ll

; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: wasm-ld -shared -o %t1.so %t.o ; RUN: wasm-ld -shared -o %t1.so %t.o
; RUN: obj2yaml %t1.so | FileCheck %s -check-prefix=SO1 ; RUN: obj2yaml %t1.so | FileCheck %s -check-prefix=SO1
; RUN: wasm-ld -shared -o %t2.so %t1.so %t.ret32.o ; RUN: wasm-ld -shared -o %t2.so %t1.so %t.ret32.o
; RUN: obj2yaml %t2.so | FileCheck %s -check-prefix=SO2 ; RUN: obj2yaml %t2.so | FileCheck %s -check-prefix=SO2
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
Show All 28 Lines

lld/test/wasm/signature-mismatch-export.ll

; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: llc -filetype=obj %s -o %t.main.o ; RUN: llc -filetype=obj %s -o %t.main.o
; RUN: wasm-ld --export=ret32 -o %t.wasm %t.main.o %t.ret32.o ; RUN: wasm-ld --export=ret32 -o %t.wasm %t.main.o %t.ret32.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
declare i32 @ret32(i32) declare i32 @ret32(i32)
Show All 21 Lines

lld/test/wasm/signature-mismatch-unknown.ll

; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: llc -filetype=obj %s -o %t.main.o ; RUN: llc -filetype=obj %s -o %t.main.o
; RUN: wasm-ld --fatal-warnings -o %t.wasm %t.ret32.o %t.main.o ; RUN: wasm-ld --fatal-warnings -o %t.wasm %t.ret32.o %t.main.o
; RUN: wasm-ld --fatal-warnings -o %t.wasm %t.main.o %t.ret32.o ; RUN: wasm-ld --fatal-warnings -o %t.wasm %t.main.o %t.ret32.o
; Also test the case where there are two different object files that contains ; Also test the case where there are two different object files that contains
; references ret32: ; references ret32:
; %t.main.o: Does not call ret32 directly; used the wrong signature. ; %t.main.o: Does not call ret32 directly; used the wrong signature.
; %t.call-ret32.o: Calls ret32 directly; uses the correct signature. ; %t.call-ret32.o: Calls ret32 directly; uses the correct signature.
; RUN: llc -filetype=obj %p/Inputs/call-ret32.ll -o %t.call-ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/call-ret32.s -o %t.call-ret32.o
; RUN: wasm-ld --export=call_ret32 --fatal-warnings -o %t.wasm %t.main.o %t.call-ret32.o %t.ret32.o ; RUN: wasm-ld --export=call_ret32 --fatal-warnings -o %t.wasm %t.main.o %t.call-ret32.o %t.ret32.o
; RUN: wasm-ld --export=call_ret32 --fatal-warnings -o %t.wasm %t.call-ret32.o %t.main.o %t.ret32.o ; RUN: wasm-ld --export=call_ret32 --fatal-warnings -o %t.wasm %t.call-ret32.o %t.main.o %t.ret32.o
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
; Function declaration with incorrect signature. ; Function declaration with incorrect signature.
declare dso_local void @ret32() declare dso_local void @ret32()
Show All 9 Lines

lld/test/wasm/signature-mismatch-weak.ll

; RUN: llc -filetype=obj %p/Inputs/weak-symbol1.ll -o %t.weak.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/weak-symbol1.s -o %t.weak.o
; RUN: llc -filetype=obj %p/Inputs/strong-symbol.ll -o %t.strong.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/strong-symbol.s -o %t.strong.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: wasm-ld -o %t.wasm %t.o %t.strong.o %t.weak.o 2>&1 | FileCheck %s ; RUN: wasm-ld -o %t.wasm %t.o %t.strong.o %t.weak.o 2>&1 | FileCheck %s
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
declare i32 @weakFn() local_unnamed_addr declare i32 @weakFn() local_unnamed_addr
define void @_start() local_unnamed_addr { define void @_start() local_unnamed_addr {
entry: entry:
%call = call i32 @weakFn() %call = call i32 @weakFn()
ret void ret void
} }
; CHECK: warning: function signature mismatch: weakFn ; CHECK: warning: function signature mismatch: weakFn
; CHECK-NEXT: >>> defined as () -> i32 in {{.*}}signature-mismatch-weak.ll.tmp.o ; CHECK-NEXT: >>> defined as () -> i32 in {{.*}}signature-mismatch-weak.ll.tmp.o
; CHECK-NEXT: >>> defined as () -> i64 in {{.*}}signature-mismatch-weak.ll.tmp.strong.o ; CHECK-NEXT: >>> defined as () -> i64 in {{.*}}signature-mismatch-weak.ll.tmp.strong.o

lld/test/wasm/signature-mismatch.ll

; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: llc -filetype=obj %p/Inputs/call-ret32.ll -o %t.call.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/call-ret32.s -o %t.call.o
; RUN: llc -filetype=obj %s -o %t.main.o ; RUN: llc -filetype=obj %s -o %t.main.o
; RUN: wasm-ld --export=call_ret32 --export=ret32 -o %t.wasm %t.main.o %t.ret32.o %t.call.o 2>&1 | FileCheck %s -check-prefix=WARN ; RUN: wasm-ld --export=call_ret32 --export=ret32 -o %t.wasm %t.main.o %t.ret32.o %t.call.o 2>&1 | FileCheck %s -check-prefix=WARN
; RUN: obj2yaml %t.wasm | FileCheck %s -check-prefix=YAML ; RUN: obj2yaml %t.wasm | FileCheck %s -check-prefix=YAML
; RUN: wasm-ld -r -o %t.reloc.o %t.main.o %t.ret32.o %t.call.o 2>&1 | FileCheck %s -check-prefix=WARN ; RUN: wasm-ld -r -o %t.reloc.o %t.main.o %t.ret32.o %t.call.o 2>&1 | FileCheck %s -check-prefix=WARN
; RUN: obj2yaml %t.reloc.o | FileCheck %s -check-prefix=RELOC ; RUN: obj2yaml %t.reloc.o | FileCheck %s -check-prefix=RELOC
▲ Show 20 Lines • Show All 60 Lines • ▼ Show 20 Lines
; RELOC-NEXT: Kind: DATA ; RELOC-NEXT: Kind: DATA
; RELOC-NEXT: Name: ret32_address_main ; RELOC-NEXT: Name: ret32_address_main
; RELOC-NEXT: Flags: [ ] ; RELOC-NEXT: Flags: [ ]
; RELOC-NEXT: Segment: 0 ; RELOC-NEXT: Segment: 0
; RELOC-NEXT: Size: 4 ; RELOC-NEXT: Size: 4
; RELOC-NEXT: - Index: 3 ; RELOC-NEXT: - Index: 3
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: call_ret32 ; RELOC-NEXT: Name: call_ret32
; RELOC-NEXT: Flags: [ VISIBILITY_HIDDEN ] ; RELOC-NEXT: Flags: [ ]
dschuffUnsubmitted
Not Done
ReplyInline Actions

is this change in expectation intended?

dschuff: is this change in expectation intended?
sbc100AuthorUnsubmitted
Done
ReplyInline Actions

Its not relevant to the test, and its one less line of boilerplate in the .s file.

sbc100: Its not relevant to the test, and its one less line of boilerplate in the .s file.
; RELOC-NEXT: Function: 3 ; RELOC-NEXT: Function: 3
; RELOC-NEXT: - Index: 4 ; RELOC-NEXT: - Index: 4
; RELOC-NEXT: Kind: DATA ; RELOC-NEXT: Kind: DATA
; RELOC-NEXT: Name: ret32_address ; RELOC-NEXT: Name: ret32_address
; RELOC-NEXT: Flags: [ ] ; RELOC-NEXT: Flags: [ ]
; RELOC-NEXT: Segment: 1 ; RELOC-NEXT: Segment: 1
; RELOC-NEXT: Size: 4 ; RELOC-NEXT: Size: 4
; RELOC-NEXT: - Index: 5 ; RELOC-NEXT: - Index: 5
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: 'signature_mismatch:ret32' ; RELOC-NEXT: Name: 'signature_mismatch:ret32'
; RELOC-NEXT: Flags: [ BINDING_LOCAL ] ; RELOC-NEXT: Flags: [ BINDING_LOCAL ]
; RELOC-NEXT: Function: 0 ; RELOC-NEXT: Function: 0

lld/test/wasm/stack-first.test

; Test that the --stack-first option places the stack at the start of linear ; Test that the --stack-first option places the stack at the start of linear
; memory. In this case the --stack-first option is being passed along with a ; memory. In this case the --stack-first option is being passed along with a
; stack size of 512. This means (since the stack grows down) the stack pointer ; stack size of 512. This means (since the stack grows down) the stack pointer
; global should be initialized to 512. ; global should be initialized to 512.
RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.o
RUN: wasm-ld -z stack-size=512 --stack-first --export=__data_end --export=__heap_base -o %t.wasm %t.o RUN: wasm-ld -z stack-size=512 --stack-first --export=__data_end --export=__heap_base -o %t.wasm %t.o
RUN: obj2yaml %t.wasm | FileCheck %s RUN: obj2yaml %t.wasm | FileCheck %s
CHECK: - Type: GLOBAL CHECK: - Type: GLOBAL
CHECK-NEXT: Globals: CHECK-NEXT: Globals:
CHECK-NEXT: - Index: 0 CHECK-NEXT: - Index: 0
CHECK-NEXT: Type: I32 CHECK-NEXT: Type: I32
CHECK-NEXT: Mutable: true CHECK-NEXT: Mutable: true
Show All 29 Lines

lld/test/wasm/strip-all.test

RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.start.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.start.o
RUN: wasm-ld --strip-all -o %t.wasm %t.start.o RUN: wasm-ld --strip-all -o %t.wasm %t.start.o
RUN: obj2yaml %t.wasm | FileCheck %s RUN: obj2yaml %t.wasm | FileCheck %s
# Test alias -s # Test alias -s
RUN: wasm-ld -s -o %t.wasm %t.start.o RUN: wasm-ld -s -o %t.wasm %t.start.o
RUN: obj2yaml %t.wasm | FileCheck %s RUN: obj2yaml %t.wasm | FileCheck %s
# Check that there is no name section # Check that there is no name section
CHECK-NOT: Name: name CHECK-NOT: Name: name

lld/test/wasm/strip-debug.test

RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.start.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.start.o
RUN: wasm-ld --strip-debug -o %t.wasm %t.start.o RUN: wasm-ld --strip-debug -o %t.wasm %t.start.o
RUN: obj2yaml %t.wasm | FileCheck %s RUN: obj2yaml %t.wasm | FileCheck %s
# Test alias -S # Test alias -S
RUN: wasm-ld -S -o %t.wasm %t.start.o RUN: wasm-ld -S -o %t.wasm %t.start.o
RUN: obj2yaml %t.wasm | FileCheck %s RUN: obj2yaml %t.wasm | FileCheck %s
# Check that there is no name section # Check that there is no name section
CHECK-NOT: Name: name CHECK-NOT: Name: name

lld/test/wasm/symbol-type-mismatch.ll

  • This file was deleted.
; RUN: llc -filetype=obj %s -o %t.o
; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o
; RUN: not wasm-ld -o %t.wasm %t.o %t.ret32.o 2>&1 | FileCheck %s
target triple = "wasm32-unknown-unknown"
@ret32 = extern_weak global i32, align 4
; CHECK: error: symbol type mismatch: ret32
; CHECK: >>> defined as WASM_SYMBOL_TYPE_DATA in {{.*}}symbol-type-mismatch.ll.tmp.o
; CHECK: >>> defined as WASM_SYMBOL_TYPE_FUNCTION in {{.*}}.ret32.o

lld/test/wasm/symbol-type-mismatch.s

  • This file was added.
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
# RUN: not wasm-ld -o %t.wasm %t.o %t.ret32.o 2>&1 | FileCheck %s
.weak ret32
# CHECK: error: symbol type mismatch: ret32
# CHECK: >>> defined as WASM_SYMBOL_TYPE_DATA in {{.*}}symbol-type-mismatch.s.tmp.o
# CHECK: >>> defined as WASM_SYMBOL_TYPE_FUNCTION in {{.*}}.ret32.o

lld/test/wasm/trace-symbol.ll

; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
; RUN: llc -filetype=obj -o %t.start.o %s ; RUN: llc -filetype=obj -o %t.start.o %s
; RUN: wasm-ld -o %t.wasm %t.start.o %t.ret32.o -y ret32 -y _start | FileCheck %s -check-prefix=BOTH ; RUN: wasm-ld -o %t.wasm %t.start.o %t.ret32.o -y ret32 -y _start | FileCheck %s -check-prefix=BOTH
; RUN: wasm-ld -o %t.wasm %t.ret32.o %t.start.o -y ret32 -y _start | FileCheck %s -check-prefix=REVERSED ; RUN: wasm-ld -o %t.wasm %t.ret32.o %t.start.o -y ret32 -y _start | FileCheck %s -check-prefix=REVERSED
; check alias ; check alias
; RUN: wasm-ld -o %t.wasm %t.start.o %t.ret32.o -trace-symbol=_start | FileCheck %s -check-prefixes=JUST-START ; RUN: wasm-ld -o %t.wasm %t.start.o %t.ret32.o -trace-symbol=_start | FileCheck %s -check-prefixes=JUST-START
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
Show All 19 Lines

lld/test/wasm/trace.test

RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.foo.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.foo.o
# Check -t # Check -t
RUN: wasm-ld %t.foo.o -o %t.t.out.wasm -t 2>&1 | FileCheck %s RUN: wasm-ld %t.foo.o -o %t.t.out.wasm -t 2>&1 | FileCheck %s
CHECK: {{.*}}.foo.o CHECK: {{.*}}.foo.o
# Check --trace alias # Check --trace alias
RUN: wasm-ld %t.foo.o -o %t.trace.out.wasm --trace 2>&1 | FileCheck %s RUN: wasm-ld %t.foo.o -o %t.trace.out.wasm --trace 2>&1 | FileCheck %s

lld/test/wasm/undefined-entry.test

RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
RUN: not wasm-ld -o %t.wasm %t.ret32.o 2>&1 | FileCheck %s RUN: not wasm-ld -o %t.wasm %t.ret32.o 2>&1 | FileCheck %s
RUN: not wasm-ld --allow-undefined -o %t.wasm %t.ret32.o 2>&1 | FileCheck %s RUN: not wasm-ld --allow-undefined -o %t.wasm %t.ret32.o 2>&1 | FileCheck %s
RUN: not wasm-ld -entry=foo -o %t.wasm %t.ret32.o 2>&1 | FileCheck %s -check-prefix=CHECK-CUSTOM RUN: not wasm-ld -entry=foo -o %t.wasm %t.ret32.o 2>&1 | FileCheck %s -check-prefix=CHECK-CUSTOM
CHECK: error: entry symbol not defined (pass --no-entry to suppress): _start CHECK: error: entry symbol not defined (pass --no-entry to suppress): _start
CHECK-CUSTOM: error: entry symbol not defined (pass --no-entry to suppress): foo CHECK-CUSTOM: error: entry symbol not defined (pass --no-entry to suppress): foo
RUN: wasm-ld --no-entry -o %t.wasm %t.ret32.o RUN: wasm-ld --no-entry -o %t.wasm %t.ret32.o

lld/test/wasm/version.ll

  • This file was deleted.
; RUN: llc -filetype=obj %s -o %t.o
; RUN: wasm-ld -o %t.wasm %t.o
; RUN: llvm-readobj --file-headers %t.wasm | FileCheck %s
target triple = "wasm32-unknown-unknown"
define hidden void @_start() local_unnamed_addr #0 {
entry:
ret void
}
; CHECK: Format: WASM
; CHECK: Arch: wasm32
; CHECK: AddressSize: 32bit
; CHECK: Version: 0x1

lld/test/wasm/version.s

  • This file was added.
# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: wasm-ld -o %t.wasm %t.o
# RUN: llvm-readobj --file-headers %t.wasm | FileCheck %s
.globl _start
_start:
.functype _start () -> ()
end_function
# CHECK: Format: WASM
# CHECK: Arch: wasm32
# CHECK: AddressSize: 32bit
# CHECK: Version: 0x1

lld/test/wasm/visibility-hidden.ll

; RUN: llc -filetype=obj -o %t.o %s ; RUN: llc -filetype=obj -o %t.o %s
; RUN: llc -filetype=obj %S/Inputs/hidden.ll -o %t2.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/hidden.s -o %t2.o
; RUN: rm -f %t2.a ; RUN: rm -f %t2.a
; RUN: llvm-ar rcs %t2.a %t2.o ; RUN: llvm-ar rcs %t2.a %t2.o
; Test that symbols with hidden visibility are not export, even with ; Test that symbols with hidden visibility are not export, even with
; --export-dynamic ; --export-dynamic
; RUN: wasm-ld --export-dynamic %t.o %t2.a -o %t.wasm ; RUN: wasm-ld --export-dynamic %t.o %t2.a -o %t.wasm
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

lld/test/wasm/weak-symbols.ll

; RUN: llc -filetype=obj %p/Inputs/weak-symbol1.ll -o %t1.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/weak-symbol1.s -o %t1.o
; RUN: llc -filetype=obj %p/Inputs/weak-symbol2.ll -o %t2.o ; RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/weak-symbol2.s -o %t2.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj %s -o %t.o
; RUN: wasm-ld --export-dynamic -o %t.wasm %t.o %t1.o %t2.o ; RUN: wasm-ld --export-dynamic -o %t.wasm %t.o %t1.o %t2.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target triple = "wasm32-unknown-unknown" target triple = "wasm32-unknown-unknown"
declare i32 @weakFn() local_unnamed_addr declare i32 @weakFn() local_unnamed_addr
@weakGlobal = external global i32 @weakGlobal = external global i32
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

lld/test/wasm/whole-archive.test

RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/start.s -o %t.o
RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown %p/Inputs/ret32.s -o %t.ret32.o
RUN: rm -f %t.a RUN: rm -f %t.a
RUN: llvm-ar rcs %t.a %t.ret32.o RUN: llvm-ar rcs %t.a %t.ret32.o
Should not add symbols from the archive by default as they are not required Should not add symbols from the archive by default as they are not required
RUN: wasm-ld --no-gc-sections -o %t.wasm %t.o %t.a RUN: wasm-ld --no-gc-sections -o %t.wasm %t.o %t.a
RUN: obj2yaml %t.wasm | FileCheck --check-prefix=NOTADDED %s RUN: obj2yaml %t.wasm | FileCheck --check-prefix=NOTADDED %s
NOTADDED: FunctionNames: NOTADDED: FunctionNames:
NOTADDED-NOT: Name: ret32 NOTADDED-NOT: Name: ret32
Show All 24 Lines
lld/test/wasm/trace.test