This is an archive of the discontinued LLVM Phabricator instance.

Differential D56339

[WebAssembly] Instruction renaming
ClosedPublic

Authored by tlively on Jan 4 2019, 3:45 PM.

Details

Reviewers
aheejin
sbc100
aardappel
Commits
rG25ff8937126e: [WebAssembly] Instruction renaming
rLLD350610: [WebAssembly] Instruction renaming
rL350610: [WebAssembly] Instruction renaming
Summary

Associated with D56338.

Diff Detail

Repository
rL LLVM

Event Timeline

tlively created this revision.Jan 4 2019, 3:45 PM
Herald added subscribers: llvm-commits, sunfish, jgravelle-google and 2 others. · View Herald TranscriptJan 4 2019, 3:45 PM
Harbormaster completed remote builds in B26415: Diff 180337.Jan 4 2019, 3:45 PM
tlively edited reviewers, added: sbc100; removed: aardappel.Jan 5 2019, 2:08 PM
aardappel accepted this revision.Jan 7 2019, 9:30 AM
aardappel added a subscriber: aardappel.

Same comment as on https://reviews.llvm.org/D56338

This revision is now accepted and ready to land.Jan 7 2019, 9:30 AM
Closed by commit rL350610: [WebAssembly] Instruction renaming (authored by tlively). · Explain WhyJan 7 2019, 10:31 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents

Diff 180614

lld/trunk/test/wasm/alias.ll

Show All 19 Lines
; CHECK-NEXT: Signatures: ; CHECK-NEXT: Signatures:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: ReturnType: NORESULT ; CHECK-NEXT: ReturnType: NORESULT
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 0 ] ; CHECK-NEXT: FunctionTypes: [ 0, 0 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000001 ; CHECK-NEXT: Initial: 0x00000001
; CHECK-NEXT: Maximum: 0x00000001 ; CHECK-NEXT: Maximum: 0x00000001
; 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
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines

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

Show First 20 Lines • Show All 54 Lines • ▼ Show 20 Lines
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 4
; CHECK-NEXT: ReturnType: NORESULT ; CHECK-NEXT: ReturnType: NORESULT
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - I32 ; CHECK-NEXT: - I32
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 3, 0, 3, 1, 3, 4 ] ; CHECK-NEXT: FunctionTypes: [ 3, 0, 3, 1, 3, 4 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000003 ; CHECK-NEXT: Initial: 0x00000003
; CHECK-NEXT: Maximum: 0x00000003 ; 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
▲ Show 20 Lines • Show All 106 Lines • Show Last 20 Lines

lld/trunk/test/wasm/export-table.test

# RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.start.o # RUN: llc -filetype=obj %p/Inputs/start.ll -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: ANYFUNC # CHECK-NEXT: - ElemType: FUNCREF
# CHECK-NEXT: Limits: # CHECK-NEXT: Limits:
# CHECK-NEXT: Flags: [ HAS_MAX ] # CHECK-NEXT: Flags: [ HAS_MAX ]
# CHECK-NEXT: Initial: 0x00000001 # CHECK-NEXT: Initial: 0x00000001
# CHECK-NEXT: Maximum: 0x00000001 # CHECK-NEXT: Maximum: 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/trunk/test/wasm/import-table.test

# RUN: llc -filetype=obj %p/Inputs/start.ll -o %t.start.o # RUN: llc -filetype=obj %p/Inputs/start.ll -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: ANYFUNC # CHECK-NEXT: ElemType: FUNCREF
# CHECK-NEXT: Limits: # CHECK-NEXT: Limits:
# CHECK-NEXT: Initial: 0x00000001 # CHECK-NEXT: Initial: 0x00000001

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

Show All 30 Lines
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 1, 0 ] ; CHECK-NEXT: FunctionTypes: [ 0, 1, 0 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000001 ; CHECK-NEXT: Initial: 0x00000001
; CHECK-NEXT: Maximum: 0x00000001 ; CHECK-NEXT: Maximum: 0x00000001
; 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
▲ Show 20 Lines • Show All 71 Lines • Show Last 20 Lines

lld/trunk/test/wasm/locals-duplicate.test

Show All 14 Lines
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, ; CHECK-NEXT: FunctionTypes: [ 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
; CHECK-NEXT: 1, 1, 1 ] ; CHECK-NEXT: 1, 1, 1 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000007 ; CHECK-NEXT: Initial: 0x00000007
; CHECK-NEXT: Maximum: 0x00000007 ; CHECK-NEXT: Maximum: 0x00000007
; 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
▲ Show 20 Lines • Show All 216 Lines • ▼ Show 20 Lines
; RELOC-NEXT: - Index: 0 ; RELOC-NEXT: - Index: 0
; RELOC-NEXT: ReturnType: I32 ; RELOC-NEXT: ReturnType: I32
; RELOC-NEXT: ParamTypes: ; RELOC-NEXT: ParamTypes:
; RELOC-NEXT: - Type: FUNCTION ; RELOC-NEXT: - Type: FUNCTION
; RELOC-NEXT: FunctionTypes: [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ; RELOC-NEXT: FunctionTypes: [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
; RELOC-NEXT: 0, 0 ] ; RELOC-NEXT: 0, 0 ]
; RELOC-NEXT: - Type: TABLE ; RELOC-NEXT: - Type: TABLE
; RELOC-NEXT: Tables: ; RELOC-NEXT: Tables:
; RELOC-NEXT: - ElemType: ANYFUNC ; RELOC-NEXT: - ElemType: FUNCREF
; RELOC-NEXT: Limits: ; RELOC-NEXT: Limits:
; RELOC-NEXT: Flags: [ HAS_MAX ] ; RELOC-NEXT: Flags: [ HAS_MAX ]
; RELOC-NEXT: Initial: 0x00000007 ; RELOC-NEXT: Initial: 0x00000007
; RELOC-NEXT: Maximum: 0x00000007 ; RELOC-NEXT: Maximum: 0x00000007
; RELOC-NEXT: - Type: MEMORY ; RELOC-NEXT: - Type: MEMORY
; RELOC-NEXT: Memories: ; RELOC-NEXT: Memories:
; RELOC-NEXT: - Initial: 0x00000001 ; RELOC-NEXT: - Initial: 0x00000001
; RELOC-NEXT: - Type: ELEM ; RELOC-NEXT: - Type: ELEM
▲ Show 20 Lines • Show All 304 Lines • Show Last 20 Lines

lld/trunk/test/wasm/relocatable.ll

Show First 20 Lines • Show All 57 Lines • ▼ Show 20 Lines
; CHECK-NEXT: - Module: env ; CHECK-NEXT: - Module: env
; CHECK-NEXT: Field: bar_import ; CHECK-NEXT: Field: bar_import
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: SigIndex: 1 ; CHECK-NEXT: SigIndex: 1
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 2, 1, 1 ] ; CHECK-NEXT: FunctionTypes: [ 2, 1, 1 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000004 ; CHECK-NEXT: Initial: 0x00000004
; CHECK-NEXT: Maximum: 0x00000004 ; CHECK-NEXT: Maximum: 0x00000004
; CHECK-NEXT: - Type: MEMORY ; CHECK-NEXT: - Type: MEMORY
; CHECK-NEXT: Memories: ; CHECK-NEXT: Memories:
; CHECK-NEXT: - Initial: 0x00000001 ; CHECK-NEXT: - Initial: 0x00000001
; CHECK-NEXT: - Type: ELEM ; CHECK-NEXT: - Type: ELEM
▲ Show 20 Lines • Show All 205 Lines • Show Last 20 Lines

lld/trunk/test/wasm/shared.ll

Show All 36 Lines
; check for import of __table_base and __memory_base globals ; check for import of __table_base and __memory_base globals
; 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: ANYFUNC ; CHECK-NEXT: ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Initial: 0x00000002 ; CHECK-NEXT: Initial: 0x00000002
; CHECK-NEXT: - Module: env ; CHECK-NEXT: - Module: env
; CHECK-NEXT: Field: __stack_pointer ; CHECK-NEXT: Field: __stack_pointer
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: GlobalType: I32 ; CHECK-NEXT: GlobalType: I32
; CHECK-NEXT: GlobalMutable: true ; CHECK-NEXT: GlobalMutable: true
; CHECK-NEXT: - Module: env ; CHECK-NEXT: - Module: env
; CHECK-NEXT: Field: __memory_base ; CHECK-NEXT: Field: __memory_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: GlobalType: I32 ; CHECK-NEXT: GlobalType: I32
; CHECK-NEXT: GlobalMutable: false ; CHECK-NEXT: GlobalMutable: false
; CHECK-NEXT: - Module: env ; CHECK-NEXT: - Module: env
; CHECK-NEXT: Field: __table_base ; CHECK-NEXT: Field: __table_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: GlobalType: I32 ; CHECK-NEXT: GlobalType: I32
; CHECK-NEXT: GlobalMutable: false ; CHECK-NEXT: GlobalMutable: false
; check for elem segment initialized with __table_base global as offset ; check for elem segment initialized with __table_base global as offset
; CHECK: - Type: ELEM ; CHECK: - Type: ELEM
; CHECK-NEXT: Segments: ; CHECK-NEXT: Segments:
; CHECK-NEXT: - Offset: ; CHECK-NEXT: - Offset:
; CHECK-NEXT: Opcode: GET_GLOBAL ; CHECK-NEXT: Opcode: GLOBAL_GET
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: Functions: [ 2, 0 ] ; CHECK-NEXT: Functions: [ 2, 0 ]
; check the data segment initialized with __memory_base global as offset ; check the data segment initialized with __memory_base global as offset
; CHECK: - Type: DATA ; CHECK: - Type: DATA
; CHECK-NEXT: Segments: ; CHECK-NEXT: Segments:
; CHECK-NEXT: - SectionOffset: 6 ; CHECK-NEXT: - SectionOffset: 6
; CHECK-NEXT: MemoryIndex: 0 ; CHECK-NEXT: MemoryIndex: 0
; CHECK-NEXT: Offset: ; CHECK-NEXT: Offset:
; CHECK-NEXT: Opcode: GET_GLOBAL ; CHECK-NEXT: Opcode: GLOBAL_GET
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: Content: '0000000001000000' ; CHECK-NEXT: Content: '0000000001000000'

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

Show All 25 Lines
; CHECK-NEXT: Field: __stack_pointer ; CHECK-NEXT: Field: __stack_pointer
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: GlobalType: I32 ; CHECK-NEXT: GlobalType: I32
; CHECK-NEXT: GlobalMutable: true ; CHECK-NEXT: GlobalMutable: true
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0 ] ; CHECK-NEXT: FunctionTypes: [ 0 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000001 ; CHECK-NEXT: Initial: 0x00000001
; CHECK-NEXT: Maximum: 0x00000001 ; CHECK-NEXT: Maximum: 0x00000001
; CHECK-NEXT: - Type: MEMORY ; CHECK-NEXT: - Type: MEMORY
; CHECK-NEXT: Memories: ; CHECK-NEXT: Memories:
; CHECK-NEXT: - Initial: 0x00000000 ; CHECK-NEXT: - Initial: 0x00000000
; CHECK-NEXT: - Type: CODE ; CHECK-NEXT: - Type: CODE
Show All 28 Lines

lld/trunk/test/wasm/undefined-weak-call.ll

Show All 39 Lines
; CHECK-NEXT: - I32 ; CHECK-NEXT: - I32
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 0, 0, 1, 2 ] ; CHECK-NEXT: FunctionTypes: [ 0, 0, 0, 1, 2 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000001 ; CHECK-NEXT: Initial: 0x00000001
; CHECK-NEXT: Maximum: 0x00000001 ; CHECK-NEXT: Maximum: 0x00000001
; 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
▲ Show 20 Lines • Show All 64 Lines • Show Last 20 Lines

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

Show All 29 Lines
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 1, 0, 1, 1, 1, 1, 1 ] ; CHECK-NEXT: FunctionTypes: [ 0, 1, 0, 1, 1, 1, 1, 1 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000003 ; CHECK-NEXT: Initial: 0x00000003
; CHECK-NEXT: Maximum: 0x00000003 ; 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
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

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

Show All 26 Lines
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 0, 1, 1, 1, 1, 1 ] ; CHECK-NEXT: FunctionTypes: [ 0, 0, 1, 1, 1, 1, 1 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000002 ; CHECK-NEXT: Initial: 0x00000002
; CHECK-NEXT: Maximum: 0x00000002 ; CHECK-NEXT: Maximum: 0x00000002
; 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
▲ Show 20 Lines • Show All 121 Lines • ▼ Show 20 Lines
; RELOC-NEXT: Field: __stack_pointer ; RELOC-NEXT: Field: __stack_pointer
; RELOC-NEXT: Kind: GLOBAL ; RELOC-NEXT: Kind: GLOBAL
; RELOC-NEXT: GlobalType: I32 ; RELOC-NEXT: GlobalType: I32
; RELOC-NEXT: GlobalMutable: true ; RELOC-NEXT: GlobalMutable: true
; RELOC-NEXT: - Type: FUNCTION ; RELOC-NEXT: - Type: FUNCTION
; RELOC-NEXT: FunctionTypes: [ 0, 1, 1, 1, 1, 1 ] ; RELOC-NEXT: FunctionTypes: [ 0, 1, 1, 1, 1, 1 ]
; RELOC-NEXT: - Type: TABLE ; RELOC-NEXT: - Type: TABLE
; RELOC-NEXT: Tables: ; RELOC-NEXT: Tables:
; RELOC-NEXT: - ElemType: ANYFUNC ; RELOC-NEXT: - ElemType: FUNCREF
; RELOC-NEXT: Limits: ; RELOC-NEXT: Limits:
; RELOC-NEXT: Flags: [ HAS_MAX ] ; RELOC-NEXT: Flags: [ HAS_MAX ]
; RELOC-NEXT: Initial: 0x00000002 ; RELOC-NEXT: Initial: 0x00000002
; RELOC-NEXT: Maximum: 0x00000002 ; RELOC-NEXT: Maximum: 0x00000002
; RELOC-NEXT: - Type: MEMORY ; RELOC-NEXT: - Type: MEMORY
; RELOC-NEXT: Memories: ; RELOC-NEXT: Memories:
; RELOC-NEXT: - Initial: 0x00000000 ; RELOC-NEXT: - Initial: 0x00000000
; RELOC-NEXT: - Type: ELEM ; RELOC-NEXT: - Type: ELEM
▲ Show 20 Lines • Show All 129 Lines • Show Last 20 Lines

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

Show All 26 Lines
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 0, 1, 1, 1 ] ; CHECK-NEXT: FunctionTypes: [ 0, 0, 1, 1, 1 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000002 ; CHECK-NEXT: Initial: 0x00000002
; CHECK-NEXT: Maximum: 0x00000002 ; CHECK-NEXT: Maximum: 0x00000002
; 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
▲ Show 20 Lines • Show All 96 Lines • Show Last 20 Lines

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

Show All 37 Lines
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 1, 1, 0 ] ; CHECK-NEXT: FunctionTypes: [ 0, 1, 1, 0 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: ANYFUNC ; CHECK-NEXT: - ElemType: FUNCREF
; CHECK-NEXT: Limits: ; CHECK-NEXT: Limits:
; CHECK-NEXT: Flags: [ HAS_MAX ] ; CHECK-NEXT: Flags: [ HAS_MAX ]
; CHECK-NEXT: Initial: 0x00000001 ; CHECK-NEXT: Initial: 0x00000001
; CHECK-NEXT: Maximum: 0x00000001 ; CHECK-NEXT: Maximum: 0x00000001
; 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
▲ Show 20 Lines • Show All 48 Lines • Show Last 20 Lines

lld/trunk/wasm/OutputSections.cpp

Show First 20 Lines • Show All 136 Lines • ▼ Show 20 LinesDataSection::DataSection(ArrayRef<OutputSegment *> Segments)
for (OutputSegment *Segment : Segments) { for (OutputSegment *Segment : Segments) {
raw_string_ostream OS(Segment->Header); raw_string_ostream OS(Segment->Header);
writeUleb128(OS, 0, "memory index"); writeUleb128(OS, 0, "memory index");
WasmInitExpr InitExpr; WasmInitExpr InitExpr;
if (Config->Pic) { if (Config->Pic) {
assert(Segments.size() <= 1 && assert(Segments.size() <= 1 &&
"Currenly only a single data segment is supported in PIC mode"); "Currenly only a single data segment is supported in PIC mode");
InitExpr.Opcode = WASM_OPCODE_GET_GLOBAL; InitExpr.Opcode = WASM_OPCODE_GLOBAL_GET;
InitExpr.Value.Global = WasmSym::MemoryBase->getGlobalIndex(); InitExpr.Value.Global = WasmSym::MemoryBase->getGlobalIndex();
} else { } else {
InitExpr.Opcode = WASM_OPCODE_I32_CONST; InitExpr.Opcode = WASM_OPCODE_I32_CONST;
InitExpr.Value.Int32 = Segment->StartVA; InitExpr.Value.Int32 = Segment->StartVA;
} }
writeInitExpr(OS, InitExpr); writeInitExpr(OS, InitExpr);
writeUleb128(OS, Segment->Size, "segment size"); writeUleb128(OS, Segment->Size, "segment size");
OS.flush(); OS.flush();
▲ Show 20 Lines • Show All 96 Lines • Show Last 20 Lines

lld/trunk/wasm/Writer.cpp

Show First 20 Lines • Show All 169 Lines • ▼ Show 20 Linesvoid Writer::createImportSection() {
} }
if (Config->ImportTable) { if (Config->ImportTable) {
uint32_t TableSize = TableBase + IndirectFunctions.size(); uint32_t TableSize = TableBase + IndirectFunctions.size();
WasmImport Import; WasmImport Import;
Import.Module = "env"; Import.Module = "env";
Import.Field = kFunctionTableName; Import.Field = kFunctionTableName;
Import.Kind = WASM_EXTERNAL_TABLE; Import.Kind = WASM_EXTERNAL_TABLE;
Import.Table.ElemType = WASM_TYPE_ANYFUNC; Import.Table.ElemType = WASM_TYPE_FUNCREF;
Import.Table.Limits = {0, TableSize, 0}; Import.Table.Limits = {0, TableSize, 0};
writeImport(OS, Import); writeImport(OS, Import);
} }
for (const Symbol *Sym : ImportedSymbols) { for (const Symbol *Sym : ImportedSymbols) {
WasmImport Import; WasmImport Import;
Import.Module = "env"; Import.Module = "env";
Import.Field = Sym->getName(); Import.Field = Sym->getName();
▲ Show 20 Lines • Show All 112 Lines • ▼ Show 20 Linesvoid Writer::createTableSection() {
// is not table. // is not table.
uint32_t TableSize = TableBase + IndirectFunctions.size(); uint32_t TableSize = TableBase + IndirectFunctions.size();
SyntheticSection *Section = createSyntheticSection(WASM_SEC_TABLE); SyntheticSection *Section = createSyntheticSection(WASM_SEC_TABLE);
raw_ostream &OS = Section->getStream(); raw_ostream &OS = Section->getStream();
writeUleb128(OS, 1, "table count"); writeUleb128(OS, 1, "table count");
WasmLimits Limits = {WASM_LIMITS_FLAG_HAS_MAX, TableSize, TableSize}; WasmLimits Limits = {WASM_LIMITS_FLAG_HAS_MAX, TableSize, TableSize};
writeTableType(OS, WasmTable{WASM_TYPE_ANYFUNC, Limits}); writeTableType(OS, WasmTable{WASM_TYPE_FUNCREF, Limits});
} }
void Writer::createExportSection() { void Writer::createExportSection() {
if (!Exports.size()) if (!Exports.size())
return; return;
SyntheticSection *Section = createSyntheticSection(WASM_SEC_EXPORT); SyntheticSection *Section = createSyntheticSection(WASM_SEC_EXPORT);
raw_ostream &OS = Section->getStream(); raw_ostream &OS = Section->getStream();
▲ Show 20 Lines • Show All 43 Lines • ▼ Show 20 Linesvoid Writer::createElemSection() {
SyntheticSection *Section = createSyntheticSection(WASM_SEC_ELEM); SyntheticSection *Section = createSyntheticSection(WASM_SEC_ELEM);
raw_ostream &OS = Section->getStream(); raw_ostream &OS = Section->getStream();
writeUleb128(OS, 1, "segment count"); writeUleb128(OS, 1, "segment count");
writeUleb128(OS, 0, "table index"); writeUleb128(OS, 0, "table index");
WasmInitExpr InitExpr; WasmInitExpr InitExpr;
if (Config->Pic) { if (Config->Pic) {
InitExpr.Opcode = WASM_OPCODE_GET_GLOBAL; InitExpr.Opcode = WASM_OPCODE_GLOBAL_GET;
InitExpr.Value.Global = WasmSym::TableBase->getGlobalIndex(); InitExpr.Value.Global = WasmSym::TableBase->getGlobalIndex();
} else { } else {
InitExpr.Opcode = WASM_OPCODE_I32_CONST; InitExpr.Opcode = WASM_OPCODE_I32_CONST;
InitExpr.Value.Int32 = TableBase; InitExpr.Value.Int32 = TableBase;
} }
writeInitExpr(OS, InitExpr); writeInitExpr(OS, InitExpr);
writeUleb128(OS, IndirectFunctions.size(), "elem count"); writeUleb128(OS, IndirectFunctions.size(), "elem count");
▲ Show 20 Lines • Show All 826 Lines • Show Last 20 Lines

lld/trunk/wasm/WriterUtils.cpp

Show First 20 Lines • Show All 77 Lines • ▼ Show 20 Linesvoid wasm::writeInitExpr(raw_ostream &OS, const WasmInitExpr &InitExpr) {
writeU8(OS, InitExpr.Opcode, "opcode"); writeU8(OS, InitExpr.Opcode, "opcode");
switch (InitExpr.Opcode) { switch (InitExpr.Opcode) {
case WASM_OPCODE_I32_CONST: case WASM_OPCODE_I32_CONST:
writeSleb128(OS, InitExpr.Value.Int32, "literal (i32)"); writeSleb128(OS, InitExpr.Value.Int32, "literal (i32)");
break; break;
case WASM_OPCODE_I64_CONST: case WASM_OPCODE_I64_CONST:
writeSleb128(OS, InitExpr.Value.Int64, "literal (i64)"); writeSleb128(OS, InitExpr.Value.Int64, "literal (i64)");
break; break;
case WASM_OPCODE_GET_GLOBAL: case WASM_OPCODE_GLOBAL_GET:
writeUleb128(OS, InitExpr.Value.Global, "literal (global index)"); writeUleb128(OS, InitExpr.Value.Global, "literal (global index)");
break; break;
default: default:
fatal("unknown opcode in init expr: " + Twine(InitExpr.Opcode)); fatal("unknown opcode in init expr: " + Twine(InitExpr.Opcode));
} }
writeU8(OS, WASM_OPCODE_END, "opcode:end"); writeU8(OS, WASM_OPCODE_END, "opcode:end");
} }
Show All 20 Linesvoid wasm::writeEventType(raw_ostream &OS, const WasmEventType &Type) {
writeUleb128(OS, Type.SigIndex, "sig index"); writeUleb128(OS, Type.SigIndex, "sig index");
} }
void wasm::writeEvent(raw_ostream &OS, const WasmEvent &Event) { void wasm::writeEvent(raw_ostream &OS, const WasmEvent &Event) {
writeEventType(OS, Event.Type); writeEventType(OS, Event.Type);
} }
void wasm::writeTableType(raw_ostream &OS, const llvm::wasm::WasmTable &Type) { void wasm::writeTableType(raw_ostream &OS, const llvm::wasm::WasmTable &Type) {
writeU8(OS, WASM_TYPE_ANYFUNC, "table type"); writeU8(OS, WASM_TYPE_FUNCREF, "table type");
writeLimits(OS, Type.Limits); writeLimits(OS, Type.Limits);
} }
void wasm::writeImport(raw_ostream &OS, const WasmImport &Import) { void wasm::writeImport(raw_ostream &OS, const WasmImport &Import) {
writeStr(OS, Import.Module, "import module name"); writeStr(OS, Import.Module, "import module name");
writeStr(OS, Import.Field, "import field name"); writeStr(OS, Import.Field, "import field name");
writeU8(OS, Import.Kind, "import kind"); writeU8(OS, Import.Kind, "import kind");
switch (Import.Kind) { switch (Import.Kind) {
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines