This is an archive of the discontinued LLVM Phabricator instance.

Differential D41511

[WebAssembly] Increase test coverage for weak aliases
ClosedPublic

Authored by sbc100 on Dec 21 2017, 1:10 PM.

Details

Reviewers
ncw
ruiu
Commits
rG5cfffbc875de: [WebAssembly] Increase test coverage for weak aliases
rL321385: [WebAssembly] Increase test coverage for weak aliases
rLLD321385: [WebAssembly] Increase test coverage for weak aliases
Summary

Relies on llvm fix: https://reviews.llvm.org/D41510

Diff Detail

Repository
rLLD LLVM Linker

Event Timeline

sbc100 created this revision.Dec 21 2017, 1:10 PM
Herald added subscribers: llvm-commits, sunfish, aheejin and 3 others. · View Herald TranscriptDec 21 2017, 1:10 PM
sbc100 edited the summary of this revision. (Show Details)Dec 21 2017, 1:10 PM
sbc100 updated this revision to Diff 128051.Dec 22 2017, 12:33 PM
  • remove comment
Harbormaster completed remote builds in B13399: Diff 128051.Dec 22 2017, 12:33 PM
sbc100 added reviewers: ncw, ruiu.Dec 22 2017, 12:34 PM
This revision was not accepted when it landed; it landed in state Needs Review.Dec 22 2017, 12:36 PM
Closed by commit rLLD321385: [WebAssembly] Increase test coverage for weak aliases (authored by sbc). · Explain Why
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
test/
wasm/
Inputs/
14 lines
12 lines
12 lines

Diff 128052

test/wasm/Inputs/weak-alias.ll

Show All 14 Lines
define i32 @call_alias() #0 { define i32 @call_alias() #0 {
entry: entry:
%call = call i32 @alias_fn() %call = call i32 @alias_fn()
ret i32 %call ret i32 %call
} }
define i32 @call_alias_ptr() #0 { define i32 @call_alias_ptr() #0 {
entry: entry:
; TODO(sbc): This code currently causes linker failures: %fnptr = alloca i32 ()*, align 8
; LLVM ERROR: symbol not found table index space: alias_fn store i32 ()* @alias_fn, i32 ()** %fnptr, align 8
; See: https://github.com/WebAssembly/tool-conventions/issues/34# %0 = load i32 ()*, i32 ()** %fnptr, align 8
; %fnptr = alloca i32 ()*, align 8 %call = call i32 %0()
; store i32 ()* @alias_fn, i32 ()** %fnptr, align 8 ret i32 %call
; %0 = load i32 ()*, i32 ()** %fnptr, align 8
; %call = call i32 %0()
; ret i32 %call
ret i32 1
} }
define i32 @call_direct_ptr() #0 { define i32 @call_direct_ptr() #0 {
entry: entry:
%fnptr = alloca i32 ()*, align 8 %fnptr = alloca i32 ()*, align 8
store i32 ()* @direct_fn, i32 ()** %fnptr, align 8 store i32 ()* @direct_fn, i32 ()** %fnptr, align 8
%0 = load i32 ()*, i32 ()** %fnptr, align 8 %0 = load i32 ()*, i32 ()** %fnptr, align 8
%call = call i32 %0() %call = call i32 %0()
ret i32 %call ret i32 %call
} }

test/wasm/weak-alias-overide.ll

Show All 30 Lines
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 1, 0, 0, 0, 0, 0 ] ; CHECK-NEXT: FunctionTypes: [ 0, 1, 0, 0, 0, 0, 0 ]
; 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: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000002 ; CHECK-NEXT: Initial: 0x00000003
; CHECK-NEXT: Maximum: 0x00000002 ; CHECK-NEXT: Maximum: 0x00000003
; 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:
Show All 25 Lines
; CHECK-NEXT: - Name: call_direct_ptr ; CHECK-NEXT: - Name: call_direct_ptr
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 6 ; CHECK-NEXT: Index: 6
; CHECK-NEXT: - Type: ELEM ; CHECK-NEXT: - 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: [ 2 ] ; CHECK-NEXT: Functions: [ 0, 2 ]
; CHECK-NEXT: - Type: CODE ; CHECK-NEXT: - Type: CODE
; CHECK-NEXT: Functions: ; CHECK-NEXT: Functions:
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 41010B ; CHECK-NEXT: Body: 41010B
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 1080808080001A0B ; CHECK-NEXT: Body: 1080808080001A0B
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 41000B ; CHECK-NEXT: Body: 41000B
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 1082808080000B ; CHECK-NEXT: Body: 1082808080000B
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 1080808080000B ; CHECK-NEXT: Body: 1080808080000B
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 41010B ; CHECK-NEXT: - Type: I32
; CHECK-NEXT: Count: 2
; CHECK-NEXT: Body: 23808080800041106B220024808080800020004181808080003602081080808080002101200041106A24808080800020010B
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: - Type: I32 ; CHECK-NEXT: - Type: I32
; CHECK-NEXT: Count: 2 ; CHECK-NEXT: Count: 2
; CHECK-NEXT: Body: 23808080800041106B220024808080800020004181808080003602081082808080002101200041106A24808080800020010B ; CHECK-NEXT: Body: 23808080800041106B220024808080800020004182808080003602081082808080002101200041106A24808080800020010B
; CHECK-NEXT: - Type: CUSTOM ; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: linking ; CHECK-NEXT: Name: linking
; CHECK-NEXT: DataSize: 0 ; CHECK-NEXT: DataSize: 0
; 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: alias_fn ; CHECK-NEXT: Name: alias_fn
Show All 13 Lines

test/wasm/weak-alias.ll

Show All 24 Lines
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 0, 0, 0, 0, 0 ] ; CHECK-NEXT: FunctionTypes: [ 0, 0, 0, 0, 0, 0 ]
; 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: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000002 ; CHECK-NEXT: Initial: 0x00000003
; CHECK-NEXT: Maximum: 0x00000002 ; CHECK-NEXT: Maximum: 0x00000003
; 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:
Show All 25 Lines
; CHECK-NEXT: - Name: call_direct_ptr ; CHECK-NEXT: - Name: call_direct_ptr
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 5 ; CHECK-NEXT: Index: 5
; CHECK-NEXT: - Type: ELEM ; CHECK-NEXT: - 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: [ 1 ] ; CHECK-NEXT: Functions: [ 1, 1 ]
; CHECK-NEXT: - Type: CODE ; CHECK-NEXT: - Type: CODE
; CHECK-NEXT: Functions: ; CHECK-NEXT: Functions:
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 1081808080000B ; CHECK-NEXT: Body: 1081808080000B
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 41000B ; CHECK-NEXT: Body: 41000B
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 1081808080000B ; CHECK-NEXT: Body: 1081808080000B
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 1081808080000B ; CHECK-NEXT: Body: 1081808080000B
; CHECK-NEXT: - Locals: ; CHECK-NEXT: - Locals:
; CHECK-NEXT: Body: 41010B
; CHECK-NEXT: - Locals:
; CHECK-NEXT: - Type: I32 ; CHECK-NEXT: - Type: I32
; CHECK-NEXT: Count: 2 ; CHECK-NEXT: Count: 2
; CHECK-NEXT: Body: 23808080800041106B220024808080800020004181808080003602081081808080002101200041106A24808080800020010B ; CHECK-NEXT: Body: 23808080800041106B220024808080800020004181808080003602081081808080002101200041106A24808080800020010B
; CHECK-NEXT: - Locals:
; CHECK-NEXT: - Type: I32
; CHECK-NEXT: Count: 2
; CHECK-NEXT: Body: 23808080800041106B220024808080800020004182808080003602081081808080002101200041106A24808080800020010B
; CHECK-NEXT: - Type: CUSTOM ; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: linking ; CHECK-NEXT: Name: linking
; CHECK-NEXT: DataSize: 0 ; CHECK-NEXT: DataSize: 0
; 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: _start ; CHECK-NEXT: Name: _start
Show All 11 Lines