This is an archive of the discontinued LLVM Phabricator instance.

Differential D41024

[WebAssembly] Improve wasm test cases
ClosedPublic

Authored by sbc100 on Dec 8 2017, 10:27 AM.

Details

Reviewers
ruiu
ncw
Commits
rG2e25e896fb67: [WebAssembly] Improve wasm test cases
rLLD320172: [WebAssembly] Improve wasm test cases
rL320172: [WebAssembly] Improve wasm test cases
Summary

Add test for weakly defined symbols with the same name

Improve test for call-indirect to include the same call in two different.
objects. This lays the ground work to improve the output via
de-duplicating the indirect call table: https://reviews.llvm.org/D40989

Also make all tests consistently pass -mtriple rather than
declaring in the sources.

Diff Detail

Repository
rL LLVM

Event Timeline

sbc100 created this revision.Dec 8 2017, 10:27 AM
Herald added subscribers: llvm-commits, sunfish, aheejin and 3 others. · View Herald TranscriptDec 8 2017, 10:27 AM
Harbormaster completed remote builds in B12916: Diff 126178.Dec 8 2017, 10:27 AM
sbc100 updated this revision to Diff 126179.Dec 8 2017, 10:31 AM
  • call indirect test
sbc100 retitled this revision from [WebAssembly] Add test for weakly defined symbols to [WebAssembly] Improve wasm test cases.Dec 8 2017, 10:34 AM
sbc100 edited the summary of this revision. (Show Details)
sbc100 added reviewers: ruiu, ncw.
Closed by commit rL320172: [WebAssembly] Improve wasm test cases (authored by sbc). · Explain WhyDec 8 2017, 10:38 AM
This revision was automatically updated to reflect the committed changes.
ruiu edited edge metadata.Dec 8 2017, 11:26 AM

LGTM, but please submit this as two separate patches -- one for weak symbols and the other to fix -mtriple.

sbc100 added a comment.Dec 8 2017, 11:29 AM
In D41024#949863, @ruiu wrote:

LGTM, but please submit this as two separate patches -- one for weak symbols and the other to fix -mtriple.

Sorry landed already. Will wait next time.

Revision Contents

Diff 126182

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

target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" @indirect_bar = internal local_unnamed_addr global i32 ()* @bar, align 4
target triple = "wasm32-unknown-unknown-wasm" @indirect_foo = internal local_unnamed_addr global i32 ()* @foo, align 4
@indirect_bar = hidden local_unnamed_addr global i32 ()* @bar, align 4 declare i32 @foo() local_unnamed_addr
; Function Attrs: norecurse nounwind readnone define i32 @bar() {
define i32 @bar() #0 {
entry: entry:
ret i32 1 ret i32 1
} }
; Function Attrs: nounwind
define void @call_bar_indirect() local_unnamed_addr #1 { define void @call_bar_indirect() local_unnamed_addr #1 {
entry: entry:
%0 = load i32 ()*, i32 ()** @indirect_bar, align 4 %0 = load i32 ()*, i32 ()** @indirect_bar, align 4
%1 = load i32 ()*, i32 ()** @indirect_foo, align 4
%call = tail call i32 %0() #2 %call = tail call i32 %0() #2
ret void ret void
} }

lld/trunk/test/wasm/Inputs/hello.ll

; Wasm module generated from the following C code: ; Wasm module generated from the following C code:
; void puts(const char*); ; void puts(const char*);
; void hello() { puts("hello\n"); } ; void hello() { puts("hello\n"); }
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
@hello_str = unnamed_addr constant [7 x i8] c"hello\0A\00", align 1 @hello_str = unnamed_addr constant [7 x i8] c"hello\0A\00", align 1
; Function Attrs: nounwind ; Function Attrs: nounwind
define hidden void @hello() local_unnamed_addr #0 { define hidden void @hello() local_unnamed_addr #0 {
entry: entry:
tail call void @puts(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @hello_str, i32 0, i32 0)) tail call void @puts(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @hello_str, i32 0, i32 0))
ret void ret void
} }
; Function Attrs: nounwind ; Function Attrs: nounwind
declare void @puts(i8* nocapture readonly) local_unnamed_addr #1 declare void @puts(i8* nocapture readonly) local_unnamed_addr #1

lld/trunk/test/wasm/Inputs/hidden.ll

target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
; Function Attrs: norecurse nounwind readnone ; Function Attrs: norecurse nounwind readnone
define hidden i32 @archiveHidden() #0 { define hidden i32 @archiveHidden() #0 {
entry: entry:
ret i32 0 ret i32 0
} }
; Function Attrs: norecurse nounwind readnone ; Function Attrs: norecurse nounwind readnone
define i32 @archiveDefault() #1 { define i32 @archiveDefault() #1 {
entry: entry:
ret i32 0 ret i32 0
} }

lld/trunk/test/wasm/Inputs/many-funcs.ll

target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
@g0 = global i32 1, align 4 @g0 = global i32 1, align 4
@foo = global i32 1, align 4 @foo = global i32 1, align 4
define i32 @f1() { define i32 @f1() {
entry: entry:
%0 = load i32, i32* @foo, align 4 %0 = load i32, i32* @foo, align 4
ret i32 %0 ret i32 %0
} }
▲ Show 20 Lines • Show All 768 Lines • Show Last 20 Lines

lld/trunk/test/wasm/Inputs/ret32.ll

target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
; Function Attrs: norecurse nounwind readnone ; Function Attrs: norecurse nounwind readnone
define i32 @ret32(float %arg) #0 { define i32 @ret32(float %arg) #0 {
entry: entry:
ret i32 0 ret i32 0
; ptrtoint (i32 (float)* @ret32 to i32) ; ptrtoint (i32 (float)* @ret32 to i32)
} }

lld/trunk/test/wasm/Inputs/ret64.ll

target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
define i64 @ret64(double %arg) local_unnamed_addr #0 { define i64 @ret64(double %arg) local_unnamed_addr #0 {
entry: entry:
ret i64 1 ret i64 1
} }

lld/trunk/test/wasm/Inputs/weak-alias.ll

; Function Attrs: norecurse nounwind readnone
define i32 @foo() #0 { define i32 @foo() #0 {
entry: entry:
ret i32 0 ret i32 0
} }
@bar = weak alias i32 (), i32 ()* @foo @bar = weak alias i32 (), i32 ()* @foo
define i32 @call_bar() #0 { define i32 @call_bar() #0 {
entry: entry:
%call = call i32 @bar() %call = call i32 @bar()
ret i32 %call ret i32 %call
} }

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

define weak i32 @weakFn() #0 {
entry:
ret i32 1
}
define i32 @exportWeak1() {
entry:
ret i32 ptrtoint (i32 ()* @weakFn to i32)
}

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

define weak i32 @weakFn() #0 {
entry:
ret i32 2
}
define i32 @exportWeak2() {
entry:
ret i32 ptrtoint (i32 ()* @weakFn to i32)
}

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

; RUN: llc -filetype=obj %p/Inputs/call-indirect.ll -o %t2.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/call-indirect.ll -o %t2.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm -o %t.wasm %t2.o %t.o ; RUN: lld -flavor wasm -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(); }
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
@indirect_func = local_unnamed_addr global i32 ()* @foo, align 4 @indirect_func = local_unnamed_addr global i32 ()* @foo, align 4
; Function Attrs: norecurse nounwind readnone ; Function Attrs: norecurse nounwind readnone
define i32 @foo() #0 { define i32 @foo() #0 {
entry: entry:
ret i32 1 ret i32 1
} }
Show All 19 Lines
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 1, 0, 1 ] ; CHECK-NEXT: FunctionTypes: [ 0, 1, 0, 1 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: ANYFUNC
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: 0x00000001 ; CHECK-NEXT: Flags: 0x00000001
; CHECK-NEXT: Initial: 0x00000003 ; CHECK-NEXT: Initial: 0x00000004
; CHECK-NEXT: Maximum: 0x00000003 ; CHECK-NEXT: Maximum: 0x00000004
; CHECK-NEXT: - Type: MEMORY ; CHECK-NEXT: - Type: MEMORY
; CHECK-NEXT: Memories: ; CHECK-NEXT: Memories:
; CHECK-NEXT: - Initial: 0x00000002 ; CHECK-NEXT: - Initial: 0x00000002
; CHECK-NEXT: - Type: GLOBAL ; CHECK-NEXT: - Type: GLOBAL
; CHECK-NEXT: Globals: ; CHECK-NEXT: Globals:
; CHECK-NEXT: - Type: I32 ; CHECK-NEXT: - Type: I32
; CHECK-NEXT: Mutable: true ; CHECK-NEXT: Mutable: true
; CHECK-NEXT: InitExpr: ; CHECK-NEXT: InitExpr:
; CHECK-NEXT: Opcode: I32_CONST ; CHECK-NEXT: Opcode: I32_CONST
; CHECK-NEXT: Value: 66576 ; CHECK-NEXT: Value: 66576
; CHECK-NEXT: - Type: EXPORT ; CHECK-NEXT: - Type: EXPORT
; CHECK-NEXT: Exports: ; CHECK-NEXT: Exports:
; CHECK-NEXT: - Name: memory ; CHECK-NEXT: - Name: memory
; CHECK-NEXT: Kind: MEMORY ; CHECK-NEXT: Kind: MEMORY
; CHECK-NEXT: Index: 0 ; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 3
; CHECK-NEXT: - Name: foo
; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: bar ; CHECK-NEXT: - Name: bar
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 0 ; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Name: call_bar_indirect ; CHECK-NEXT: - Name: call_bar_indirect
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: foo
; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2
; CHECK: - Type: ELEM ; CHECK: - Type: ELEM
; CHECK-NEXT: Segments: ; CHECK-NEXT: Segments:
; CHECK-NEXT: - Offset: ; CHECK-NEXT: - Offset:
; CHECK-NEXT: Opcode: I32_CONST ; CHECK-NEXT: Opcode: I32_CONST
; CHECK-NEXT: Value: 1 ; CHECK-NEXT: Value: 1
; CHECK-NEXT: Functions: [ 0, 2 ] ; CHECK-NEXT: Functions: [ 0, 2, 2 ]
; CHECK-NEXT: - Type: CODE ; CHECK-NEXT: - Type: CODE
; CHECK-NEXT: Functions: ; CHECK-NEXT: Functions:
; CHECK: - Locals: ; CHECK: - Locals:
; CHECK: - Locals: ; CHECK: - Locals:
; CHECK: - Locals: ; CHECK: - Locals:
; CHECK: - Type: DATA ; CHECK: - Type: DATA
; CHECK-NEXT: Segments: ; CHECK-NEXT: Segments:
; CHECK-NEXT: - SectionOffset: 7 ; CHECK-NEXT: - SectionOffset: 7
; CHECK-NEXT: MemoryIndex: 0 ; CHECK-NEXT: MemoryIndex: 0
; CHECK-NEXT: Offset: ; CHECK-NEXT: Offset:
; CHECK-NEXT: Opcode: I32_CONST ; CHECK-NEXT: Opcode: I32_CONST
; CHECK-NEXT: Value: 1024 ; CHECK-NEXT: Value: 1024
; CHECK-NEXT: Content: '0100000002000000' ; CHECK-NEXT: Content: '010000000200000003000000'
; CHECK-NEXT: - Type: CUSTOM ; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: linking ; CHECK-NEXT: Name: linking
; CHECK-NEXT: DataSize: 8 ; CHECK-NEXT: DataSize: 12
; CHECK-NEXT: - Type: CUSTOM ; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: name ; CHECK-NEXT: Name: name
; CHECK-NEXT: FunctionNames: ; CHECK-NEXT: FunctionNames:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: bar ; CHECK-NEXT: Name: bar
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: call_bar_indirect ; CHECK-NEXT: Name: call_bar_indirect
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: foo ; CHECK-NEXT: Name: foo
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start

lld/trunk/test/wasm/conflict.test

# RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o # RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/ret32.ll -o %t.ret32.o
# RUN: not lld -flavor wasm -o %t.wasm %t.ret32.o %t.ret32.o 2>&1 | FileCheck %s # RUN: not lld -flavor wasm -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/trunk/test/wasm/data-layout.ll

; RUN: llc -filetype=obj %p/Inputs/hello.ll -o %t.hello.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/hello.ll -o %t.hello.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm --emit-relocs --allow-undefined --no-entry -o %t.wasm %t.o %t.hello.o ; RUN: lld -flavor wasm --emit-relocs --allow-undefined --no-entry -o %t.wasm %t.o %t.hello.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
@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*
@external_ref = global i8** @hello_str, align 8 @external_ref = global i8** @hello_str, align 8
; CHECK: - Type: GLOBAL ; CHECK: - Type: GLOBAL
; CHECK-NEXT: Globals: ; CHECK-NEXT: Globals:
▲ Show 20 Lines • Show All 48 Lines • Show Last 20 Lines

lld/trunk/test/wasm/entry.ll

; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm -e entry -o %t.wasm %t.o ; RUN: lld -flavor wasm -e entry -o %t.wasm %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
; RUN: lld -flavor wasm --entry=entry -o %t.wasm %t.o ; RUN: lld -flavor wasm --entry=entry -o %t.wasm %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
define void @entry() local_unnamed_addr #0 { define void @entry() local_unnamed_addr #0 {
entry: entry:
ret void ret void
} }
; CHECK: - Type: EXPORT ; CHECK: - Type: EXPORT
; CHECK: Exports: ; CHECK: Exports:
; CHECK: - Name: memory ; CHECK: - Name: memory
; CHECK: Kind: MEMORY ; CHECK: Kind: MEMORY
; CHECK: Index: 0 ; CHECK: Index: 0
; CHECK: - Name: entry ; CHECK: - Name: entry
; CHECK: Kind: FUNCTION ; CHECK: Kind: FUNCTION
; CHECK: Index: 0 ; CHECK: Index: 0

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

; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/ret32.ll -o %t.ret32.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm -o %t.wasm %t.o %t.ret32.o ; RUN: lld -flavor wasm -o %t.wasm %t.o %t.ret32.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
; Function Attrs: nounwind ; Function Attrs: nounwind
define hidden void @_start() local_unnamed_addr #0 { define hidden void @_start() local_unnamed_addr #0 {
entry: entry:
%call = tail call i32 @ret32(float 0.000000e+00) #2 %call = tail call i32 @ret32(float 0.000000e+00) #2
ret void ret void
} }
declare i32 @ret32(float) local_unnamed_addr #1 declare i32 @ret32(float) local_unnamed_addr #1
Show All 29 Lines

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

; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/ret32.ll -o %t.ret32.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm -o %t.wasm %t.ret32.o %t.o ; RUN: lld -flavor wasm -o %t.wasm %t.ret32.o %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
; Function Attrs: nounwind ; Function Attrs: nounwind
define hidden void @_start() local_unnamed_addr #0 { define hidden void @_start() local_unnamed_addr #0 {
entry: entry:
%call = tail call i32 @ret32(float 0.000000e+00) #2 %call = tail call i32 @ret32(float 0.000000e+00) #2
ret void ret void
} }
declare i32 @ret32(float) local_unnamed_addr #1 declare i32 @ret32(float) local_unnamed_addr #1
Show All 24 Lines

lld/trunk/test/wasm/function-index.test

# RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o # RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/ret32.ll -o %t.ret32.o
# RUN: llc -filetype=obj %p/Inputs/ret64.ll -o %t.ret64.o # RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/ret64.ll -o %t.ret64.o
# RUN: lld -flavor wasm -r -o %t.wasm %t.ret32.o %t.ret64.o # RUN: lld -flavor wasm -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: ReturnType: I32 CHECK: ReturnType: I32
CHECK: ParamTypes: CHECK: ParamTypes:
CHECK: - F32 CHECK: - F32
CHECK: - Index: 1 CHECK: - Index: 1
CHECK: ReturnType: I64 CHECK: ReturnType: I64
CHECK: ParamTypes: CHECK: ParamTypes:
CHECK: - F64 CHECK: - F64
CHECK: - Type: FUNCTION CHECK: - Type: FUNCTION
CHECK: FunctionTypes: [ 0, 1 ] CHECK: FunctionTypes: [ 0, 1 ]

lld/trunk/test/wasm/import-memory.test

# RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o # RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/ret32.ll -o %t.ret32.o
# RUN: lld -flavor wasm -entry ret32 --import-memory -o %t.wasm %t.ret32.o # RUN: lld -flavor wasm -entry ret32 --import-memory -o %t.wasm %t.ret32.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
# CHECK-NEXT: Field: memory # CHECK-NEXT: Field: memory
# CHECK-NEXT: Kind: MEMORY # CHECK-NEXT: Kind: MEMORY
# CHECK-NEXT: Memory: # CHECK-NEXT: Memory:
# CHECK-NEXT: Initial: 0x00000002 # CHECK-NEXT: Initial: 0x00000002

lld/trunk/test/wasm/local-symbols.ll

; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm -o %t.wasm %t.o ; RUN: lld -flavor wasm -o %t.wasm %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
@foo = default global i32 1, align 4 @foo = default global i32 1, align 4
@bar = internal default global i32 3, align 4 @bar = internal default global i32 3, align 4
define internal i32 @baz() local_unnamed_addr { define internal i32 @baz() local_unnamed_addr {
entry: entry:
ret i32 2 ret i32 2
} }
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

lld/trunk/test/wasm/many-functions.ll

; RUN: llc -filetype=obj %p/Inputs/many-funcs.ll -o %t.many.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/many-funcs.ll -o %t.many.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm -r -o %t.wasm %t.many.o %t.o ; RUN: lld -flavor wasm -r -o %t.wasm %t.many.o %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
; Test that relocations within the CODE section correctly handle ; Test that relocations within the CODE section correctly handle
; linking object with different header sizes. many-funcs.ll has ; linking object with different header sizes. many-funcs.ll has
; 128 function and so the final output requires a 2-byte LEB in ; 128 function and so the final output requires a 2-byte LEB in
; the CODE section header to store the function count. ; the CODE section header to store the function count.
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
define i32 @func() { define i32 @func() {
entry: entry:
%call = tail call i32 @func() %call = tail call i32 @func()
ret i32 %call ret i32 %call
} }
; CHECK: - Type: CODE ; CHECK: - Type: CODE
; CHECK-NEXT: Relocations: ; CHECK-NEXT: Relocations:
▲ Show 20 Lines • Show All 678 Lines • Show Last 20 Lines

lld/trunk/test/wasm/relocatable.ll

; RUN: llc -filetype=obj %p/Inputs/hello.ll -o %t.hello.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/hello.ll -o %t.hello.o
; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm -r -o %t.wasm %t.hello.o %t.o ; RUN: lld -flavor wasm -r -o %t.wasm %t.hello.o %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
; Function Attrs: nounwind ; Function Attrs: nounwind
define hidden i32 @my_func() local_unnamed_addr { define hidden i32 @my_func() local_unnamed_addr {
entry: entry:
%call = tail call i32 @foo_import() %call = tail call i32 @foo_import()
ret i32 1 ret i32 1
} }
declare i32 @foo_import() local_unnamed_addr declare i32 @foo_import() local_unnamed_addr
▲ Show 20 Lines • Show All 181 Lines • Show Last 20 Lines

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

; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/ret32.ll -o %t.ret32.o
; RUN: llc -filetype=obj %s -o %t.main.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.main.o
; RUN: not lld -flavor wasm --check-signatures -o %t.wasm %t.main.o %t.ret32.o 2>&1 | FileCheck %s ; RUN: not lld -flavor wasm --check-signatures -o %t.wasm %t.main.o %t.ret32.o 2>&1 | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
; Function Attrs: nounwind ; Function Attrs: nounwind
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
; CHECK: error: function signature mismatch: ret32 ; CHECK: error: function signature mismatch: ret32
; CHECK-NEXT: >>> defined as (I32, I64, I32) -> I32 in {{.*}}.main.o ; CHECK-NEXT: >>> defined as (I32, I64, I32) -> I32 in {{.*}}.main.o
; CHECK-NEXT: >>> defined as (F32) -> I32 in {{.*}}.ret32.o ; CHECK-NEXT: >>> defined as (F32) -> I32 in {{.*}}.ret32.o

lld/trunk/test/wasm/stack-pointer.ll

; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm --emit-relocs -o %t.wasm %t.o ; RUN: lld -flavor wasm --emit-relocs -o %t.wasm %t.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
; Function Attrs: nounwind ; Function Attrs: nounwind
define hidden i32 @_start() local_unnamed_addr { define hidden i32 @_start() local_unnamed_addr {
entry: entry:
%retval = alloca i32, align 4 %retval = alloca i32, align 4
ret i32 0 ret i32 0
} }
; CHECK: --- !WASM ; CHECK: --- !WASM
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines

lld/trunk/test/wasm/strip-debug.test

RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/ret32.ll -o %t.ret32.o
RUN: lld -flavor wasm --strip-debug --entry=ret32 -o %t.wasm %t.ret32.o RUN: lld -flavor wasm --strip-debug --entry=ret32 -o %t.wasm %t.ret32.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/trunk/test/wasm/symbol-type-mismatch.ll

; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/ret32.ll -o %t.ret32.o
; RUN: not lld -flavor wasm -o %t.wasm %t.o %t.ret32.o 2>&1 | FileCheck %s ; RUN: not lld -flavor wasm -o %t.wasm %t.o %t.ret32.o 2>&1 | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
@ret32 = extern_weak global i32, align 4 @ret32 = extern_weak global i32, align 4
; CHECK: error: symbol type mismatch: ret32 ; CHECK: error: symbol type mismatch: ret32
; CHECK: >>> defined as Global in {{.*}}symbol-type-mismatch.ll.tmp.o ; CHECK: >>> defined as Global in {{.*}}symbol-type-mismatch.ll.tmp.o
; CHECK: >>> defined as Function in {{.*}}.ret32.o ; CHECK: >>> defined as Function in {{.*}}.ret32.o

lld/trunk/test/wasm/undefined-entry.test

RUN: llc -filetype=obj %p/Inputs/ret32.ll -o %t.ret32.o RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/ret32.ll -o %t.ret32.o
RUN: not lld -flavor wasm -o %t.wasm %t.ret32.o 2>&1 | FileCheck %s RUN: not lld -flavor wasm -o %t.wasm %t.ret32.o 2>&1 | FileCheck %s
CHECK: error: undefined symbol: _start CHECK: error: undefined symbol: _start

lld/trunk/test/wasm/undefined.ll

; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm --allow-undefined -o %t.wasm %t.o ; RUN: lld -flavor wasm --allow-undefined -o %t.wasm %t.o
; Fails due to undefined 'foo' ; Fails due to undefined 'foo'
; RUN: not lld -flavor wasm -o %t.wasm %t.o 2>&1 | FileCheck %s ; RUN: not lld -flavor wasm -o %t.wasm %t.o 2>&1 | FileCheck %s
; CHECK: error: {{.*}}.o: undefined symbol: foo ; CHECK: error: {{.*}}.o: undefined symbol: foo
; But succeeds if we pass a file containing 'foo' as --allow-undefined-file. ; But succeeds if we pass a file containing 'foo' as --allow-undefined-file.
; RUN: echo 'foo' > %t.txt ; RUN: echo 'foo' > %t.txt
; RUN: lld -flavor wasm --allow-undefined-file=%t.txt -o %t.wasm %t.o ; RUN: lld -flavor wasm --allow-undefined-file=%t.txt -o %t.wasm %t.o
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
; Takes the address of the external foo() resulting in undefined external ; Takes the address of the external foo() resulting in undefined external
@bar = hidden local_unnamed_addr global i8* bitcast (i32 ()* @foo to i8*), align 4 @bar = hidden local_unnamed_addr global i8* bitcast (i32 ()* @foo to i8*), align 4
declare i32 @foo() #0 declare i32 @foo() #0
define hidden void @_start() local_unnamed_addr #0 { define hidden void @_start() local_unnamed_addr #0 {
entry: entry:
ret void ret void
} }

lld/trunk/test/wasm/version.ll

; RUN: llc -filetype=obj %s -o %t.o ; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm -o %t.wasm %t.o ; RUN: lld -flavor wasm -o %t.wasm %t.o
; RUN: llvm-readobj -file-headers %t.wasm | FileCheck %s ; RUN: llvm-readobj -file-headers %t.wasm | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm"
define hidden void @_start() local_unnamed_addr #0 { define hidden void @_start() local_unnamed_addr #0 {
entry: entry:
ret void ret void
} }
; CHECK: Format: WASM ; CHECK: Format: WASM
; CHECK: Arch: wasm32 ; CHECK: Arch: wasm32
; CHECK: AddressSize: 32bit ; CHECK: AddressSize: 32bit
; CHECK: Version: 0x1 ; CHECK: Version: 0x1

lld/trunk/test/wasm/visibility-hidden.ll

; RUN: llc -mtriple wasm32-unknown-unknown-wasm -filetype=obj -o %t.o %s ; RUN: llc -mtriple=wasm32-unknown-unknown-wasm -filetype=obj -o %t.o %s
; RUN: llc -mtriple=wasm32-unknown-unknown-wasm -filetype=obj %S/Inputs/hidden.ll -o %t2.o ; RUN: llc -mtriple=wasm32-unknown-unknown-wasm -filetype=obj %S/Inputs/hidden.ll -o %t2.o
; RUN: llvm-ar rcs %t2.a %t2.o ; RUN: llvm-ar rcs %t2.a %t2.o
; RUN: lld -flavor wasm %t.o %t2.a -o %t.wasm ; RUN: lld -flavor wasm %t.o %t2.a -o %t.wasm
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
; Test that hidden symbols are not exported, whether pulled in from an archive ; Test that hidden symbols are not exported, whether pulled in from an archive
; or directly. ; or directly.
Show All 37 Lines

lld/trunk/test/wasm/weak-symbols.ll

; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/weak-symbol1.ll -o %t1.o
; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %p/Inputs/weak-symbol2.ll -o %t2.o
; RUN: llc -filetype=obj -mtriple=wasm32-unknown-uknown-wasm %s -o %t.o
; RUN: lld -flavor wasm -o %t.wasm %t.o %t1.o %t2.o
; RUN: obj2yaml %t.wasm | FileCheck %s
declare i32 @weakFn() local_unnamed_addr
define void @_start() local_unnamed_addr {
entry:
%call = call i32 @weakFn()
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: ReturnType: NORESULT
; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 1, 1, 1, 1 ]
; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC
; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: 0x00000001
; CHECK-NEXT: Initial: 0x00000003
; CHECK-NEXT: Maximum: 0x00000003
; CHECK-NEXT: - Type: MEMORY
; CHECK-NEXT: Memories:
; CHECK-NEXT: - Initial: 0x00000002
; CHECK-NEXT: - Type: GLOBAL
; CHECK-NEXT: Globals:
; 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: weakFn
; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: exportWeak1
; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: exportWeak2
; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 4
; CHECK-NEXT: - Type: ELEM
; CHECK-NEXT: Segments:
; CHECK-NEXT: - Offset:
; CHECK-NEXT: Opcode: I32_CONST
; CHECK-NEXT: Value: 1
; CHECK-NEXT: Functions: [ 1, 1 ]
; CHECK-NEXT: - Type: CODE
; CHECK-NEXT: Functions:
; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 1081808080001A0B
; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 41010B
; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 4181808080000B
; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 41020B
; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 4182808080000B
; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: linking
; CHECK-NEXT: DataSize: 0
; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: name
; CHECK-NEXT: FunctionNames:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: _start
; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: exportWeak1
; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Name: exportWeak2
; CHECK-NEXT: ...