This is an archive of the discontinued LLVM Phabricator instance.

Differential D58806

[WebAssebmly] Allow __wasm_call_ctors to be GCed
ClosedPublic

Authored by sbc100 on Feb 28 2019, 5:45 PM.

Details

Reviewers
ruiu
Commits
rG0e6b42f5ebd4: [WebAssebmly] Allow __wasm_call_ctors to be GC'ed
rLLD355240: [WebAssebmly] Allow __wasm_call_ctors to be GC'ed
rL355240: [WebAssebmly] Allow __wasm_call_ctors to be GC'ed

Diff Detail

Event Timeline

sbc100 created this revision.Feb 28 2019, 5:45 PM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 28 2019, 5:45 PM
Herald added subscribers: llvm-commits, dexonsmith, steven_wu and 3 others. · View Herald Transcript
Harbormaster completed remote builds in B28656: Diff 188827.Feb 28 2019, 5:46 PM
sbc100 updated this revision to Diff 188832.Feb 28 2019, 6:25 PM
  • update tests
Harbormaster completed remote builds in B28657: Diff 188832.Feb 28 2019, 6:26 PM
sbc100 added a reviewer: ruiu.Feb 28 2019, 6:30 PM
sbc100 updated this revision to Diff 188833.Feb 28 2019, 6:30 PM
  • update comment
Harbormaster completed remote builds in B28658: Diff 188833.Feb 28 2019, 6:30 PM
ruiu accepted this revision.Feb 28 2019, 7:46 PM

LGTM

This revision is now accepted and ready to land.Feb 28 2019, 7:46 PM
Closed by commit rL355240: [WebAssebmly] Allow __wasm_call_ctors to be GC'ed (authored by sbc). · Explain WhyMar 1 2019, 2:39 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents

Diff 188827

test/wasm/alias.ll

Show All 16 Lines
; CHECK-NEXT: Version: 0x00000001 ; CHECK-NEXT: Version: 0x00000001
; CHECK-NEXT: Sections: ; CHECK-NEXT: Sections:
; CHECK-NEXT: - Type: TYPE ; CHECK-NEXT: - Type: TYPE
; 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 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: FUNCREF ; 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
Show All 27 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Name: start_alias ; CHECK-NEXT: - Name: start_alias
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 0
; 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: 0B ; CHECK-NEXT: Body: 0B
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 0B
; 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: ... ; CHECK-NEXT: ...

test/wasm/archive-export.ll

Show All 16 Lines
CHECK-NEXT: - Name: __heap_base CHECK-NEXT: - Name: __heap_base
CHECK-NEXT: Kind: GLOBAL CHECK-NEXT: Kind: GLOBAL
CHECK-NEXT: Index: 1 CHECK-NEXT: Index: 1
CHECK-NEXT: - Name: __data_end CHECK-NEXT: - Name: __data_end
CHECK-NEXT: Kind: GLOBAL CHECK-NEXT: Kind: GLOBAL
CHECK-NEXT: Index: 2 CHECK-NEXT: Index: 2
CHECK-NEXT: - Name: foo CHECK-NEXT: - Name: foo
CHECK-NEXT: Kind: FUNCTION CHECK-NEXT: Kind: FUNCTION
CHECK-NEXT: Index: 2 CHECK-NEXT: Index: 1
CHECK-NEXT: - Name: bar CHECK-NEXT: - Name: bar
CHECK-NEXT: Kind: FUNCTION CHECK-NEXT: Kind: FUNCTION
CHECK-NEXT: Index: 3 CHECK-NEXT: Index: 2
CHECK-NEXT: - Name: archive2_symbol CHECK-NEXT: - Name: archive2_symbol
CHECK-NEXT: Kind: FUNCTION CHECK-NEXT: Kind: FUNCTION
CHECK-NEXT: Index: 4 CHECK-NEXT: Index: 3
CHECK-NEXT: - Name: _start CHECK-NEXT: - Name: _start
CHECK-NEXT: Kind: FUNCTION CHECK-NEXT: Kind: FUNCTION
CHECK-NEXT: Index: 1 CHECK-NEXT: Index: 0
CHECK-NEXT: - Type: CODE CHECK-NEXT: - Type: CODE
NOEXPORT: Exports: NOEXPORT: Exports:
NOEXPORT-NEXT: - Name: memory NOEXPORT-NEXT: - Name: memory
NOEXPORT-NEXT: Kind: MEMORY NOEXPORT-NEXT: Kind: MEMORY
NOEXPORT-NEXT: Index: 0 NOEXPORT-NEXT: Index: 0
NOEXPORT-NEXT: - Name: __heap_base NOEXPORT-NEXT: - Name: __heap_base
NOEXPORT-NEXT: Kind: GLOBAL NOEXPORT-NEXT: Kind: GLOBAL
NOEXPORT-NEXT: Index: 1 NOEXPORT-NEXT: Index: 1
NOEXPORT-NEXT: - Name: __data_end NOEXPORT-NEXT: - Name: __data_end
NOEXPORT-NEXT: Kind: GLOBAL NOEXPORT-NEXT: Kind: GLOBAL
NOEXPORT-NEXT: Index: 2 NOEXPORT-NEXT: Index: 2
NOEXPORT-NEXT: - Name: _start NOEXPORT-NEXT: - Name: _start
NOEXPORT-NEXT: Kind: FUNCTION NOEXPORT-NEXT: Kind: FUNCTION
NOEXPORT-NEXT: Index: 1 NOEXPORT-NEXT: Index: 0
NOEXPORT-NEXT: - Type: CODE NOEXPORT-NEXT: - Type: CODE

test/wasm/call-indirect.ll

Show First 20 Lines • Show All 51 Lines • ▼ Show 20 Lines
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: ReturnType: NORESULT ; CHECK-NEXT: ReturnType: NORESULT
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; 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: [ 0, 3, 1, 3, 4 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: FUNCREF ; 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
Show All 33 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: bar ; CHECK-NEXT: - Name: bar
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 1 ; 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: 2 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: foo ; CHECK-NEXT: - Name: foo
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 4 ; CHECK-NEXT: Index: 3
; CHECK-NEXT: - Name: indirect_func ; CHECK-NEXT: - Name: indirect_func
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 3
; CHECK-NEXT: - Name: call_ptr ; CHECK-NEXT: - Name: call_ptr
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 5 ; CHECK-NEXT: Index: 4
; 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, 3 ] ; 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: 0B
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 42010B ; CHECK-NEXT: Body: 42010B
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: - Type: I32 ; CHECK-NEXT: - Type: I32
; CHECK-NEXT: Count: 1 ; CHECK-NEXT: Count: 1
; CHECK-NEXT: Body: 4100280284888080002100410028028088808000118080808000001A2000118180808000001A0B ; CHECK-NEXT: Body: 4100280284888080002100410028028088808000118080808000001A2000118180808000001A0B
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 41020B ; CHECK-NEXT: Body: 41020B
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 410028028888808000118180808000001A0B ; CHECK-NEXT: Body: 410028028888808000118180808000001A0B
; CHECK-NEXT: - Index: 5 ; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 42012000118280808000001A0B ; CHECK-NEXT: Body: 42012000118280808000001A0B
; CHECK-NEXT: - Type: DATA ; CHECK-NEXT: - Type: DATA
; CHECK-NEXT: Segments: ; CHECK-NEXT: Segments:
; CHECK-NEXT: - SectionOffset: 7 ; CHECK-NEXT: - SectionOffset: 7
; CHECK-NEXT: InitFlags: 0 ; CHECK-NEXT: InitFlags: 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: '010000000200000002000000' ; CHECK-NEXT: Content: '010000000200000002000000'
; 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: bar ; CHECK-NEXT: Name: bar
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: call_bar_indirect ; CHECK-NEXT: Name: call_bar_indirect
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: foo ; CHECK-NEXT: Name: foo
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: - Index: 5 ; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Name: call_ptr ; CHECK-NEXT: Name: call_ptr
; CHECK-NEXT: ... ; CHECK-NEXT: ...

test/wasm/comdats.ll

Show First 20 Lines • Show All 47 Lines • ▼ Show 20 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Name: inlineFn ; CHECK-NEXT: - Name: inlineFn
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: constantData ; CHECK-NEXT: - Name: constantData
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 3
; CHECK-NEXT: - Name: callInline1 ; CHECK-NEXT: - Name: callInline1
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: callInline2 ; CHECK-NEXT: - Name: callInline2
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 4 ; CHECK-NEXT: Index: 3
; 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: [ 1 ]
; 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: 0B ; CHECK-NEXT: Body: 1081808080001A0B
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 1082808080001A0B
; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4180888080000B ; CHECK-NEXT: Body: 4180888080000B
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4181808080000B ; CHECK-NEXT: Body: 4181808080000B
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4181808080000B ; CHECK-NEXT: Body: 4181808080000B
; CHECK-NEXT: - Type: DATA ; CHECK-NEXT: - Type: DATA
; CHECK-NEXT: Segments: ; CHECK-NEXT: Segments:
; CHECK-NEXT: - SectionOffset: 7 ; CHECK-NEXT: - SectionOffset: 7
; CHECK-NEXT: InitFlags: 0 ; CHECK-NEXT: InitFlags: 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: '616263' ; CHECK-NEXT: Content: '616263'

test/wasm/cxx-mangling.ll

Show All 28 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: _Z3fooi ; CHECK-NEXT: - Name: _Z3fooi
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 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: 0B
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 000B ; CHECK-NEXT: Body: 000B
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 0B ; CHECK-NEXT: Body: 0B
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 410110828080800041011081808080000B ; CHECK-NEXT: Body: 410110818080800041011080808080000B
; 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; DEMANGLE-NEXT: Name: 'undefined:bar(int)' ; DEMANGLE-NEXT: Name: 'undefined:bar(int)'
; MANGLE-NEXT: Name: 'undefined:_Z3bari' ; MANGLE-NEXT: Name: 'undefined:_Z3bari'
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; DEMANGLE-NEXT: Name: 'foo(int)' ; DEMANGLE-NEXT: Name: 'foo(int)'
; MANGLE-NEXT: Name: _Z3fooi ; MANGLE-NEXT: Name: _Z3fooi
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: ... ; CHECK-NEXT: ...

test/wasm/entry.ll

Show All 19 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: entry ; CHECK-NEXT: - Name: entry
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Type: ; CHECK-NEXT: - Type:
; The __wasm_call_ctors is somewhat special since its created by the linker. ; The __wasm_call_ctors is somewhat special since its created by the linker.
; Make sure we can use it as the entry point if we choose ; Make sure we can use it as the entry point if we choose
; RUN: wasm-ld --entry=__wasm_call_ctors -o %t3.wasm %t.o ; RUN: wasm-ld --entry=__wasm_call_ctors -o %t3.wasm %t.o
; RUN: obj2yaml %t3.wasm | FileCheck %s -check-prefix=CHECK-CTOR ; RUN: obj2yaml %t3.wasm | FileCheck %s -check-prefix=CHECK-CTOR
; CHECK-CTOR: - Type: EXPORT ; CHECK-CTOR: - Type: EXPORT
Show All 14 Lines

test/wasm/function-imports-first.ll

Show All 18 Lines
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: ReturnType: NORESULT ; CHECK-NEXT: ReturnType: NORESULT
; 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: - F32 ; CHECK-NEXT: - F32
; CHECK: - Type: FUNCTION ; CHECK: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 0, 1 ] ; CHECK-NEXT: FunctionTypes: [ 0, 1 ]
; CHECK: - Type: CODE ; CHECK: - 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: 0B ; CHECK-NEXT: Body: 43000000001081808080001A0B
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 43000000001082808080001A0B
; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 41000B ; CHECK-NEXT: Body: 41000B
; 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: ret32 ; CHECK-NEXT: Name: ret32
; CHECK-NEXT: ... ; CHECK-NEXT: ...

test/wasm/function-imports.ll

Show All 12 Lines
} }
declare i32 @ret32(float) local_unnamed_addr #1 declare i32 @ret32(float) local_unnamed_addr #1
; CHECK: Sections: ; CHECK: Sections:
; CHECK: - Type: TYPE ; CHECK: - Type: TYPE
; CHECK-NEXT: Signatures: ; CHECK-NEXT: Signatures:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: ReturnType: NORESULT
; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - F32 ; CHECK-NEXT: - F32
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: NORESULT
; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK-NEXT: FunctionTypes: [ 0, 1, 0 ] ; CHECK-NEXT: FunctionTypes: [ 0, 1 ]
; CHECK: - Type: CODE ; CHECK: - Type: CODE
; CHECK-NEXT: Functions: ; CHECK-NEXT: Functions:
; CHECK: - Index: 0 ; CHECK: - Index: 0
; CHECK: - Index: 1 ; CHECK: - Index: 1
; CHECK: - Index: 2
; CHECK: Name: name ; CHECK: Name: name
; CHECK-NEXT: FunctionNames: ; CHECK-NEXT: FunctionNames:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: ret32 ; CHECK-NEXT: Name: ret32
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: ... ; CHECK-NEXT: ...

test/wasm/gc-imports.ll

Show All 37 Lines
; CHECK-NEXT: GlobalMutable: true ; CHECK-NEXT: GlobalMutable: true
; CHECK-NEXT: - Type: ; CHECK-NEXT: - Type:
; CHECK: - Type: CUSTOM ; CHECK: - 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: used_undef_function ; CHECK-NEXT: Name: used_undef_function
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: __wasm_call_ctors
; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: use_undef_global ; CHECK-NEXT: Name: use_undef_global
; CHECK-NEXT: ... ; CHECK-NEXT: ...
; RUN: wasm-ld --no-gc-sections --allow-undefined \ ; RUN: wasm-ld --no-gc-sections --allow-undefined \
; RUN: -o %t1.no-gc.wasm %t.o %t_globals.o ; RUN: -o %t1.no-gc.wasm %t.o %t_globals.o
; RUN: obj2yaml %t1.no-gc.wasm | FileCheck %s -check-prefix=NO-GC ; RUN: obj2yaml %t1.no-gc.wasm | FileCheck %s -check-prefix=NO-GC
; NO-GC: - Type: IMPORT ; NO-GC: - Type: IMPORT
Show All 36 Lines

test/wasm/gc-sections.ll

Show All 32 Linesentry:
ret void ret void
} }
; RUN: obj2yaml %t1.wasm | FileCheck %s ; RUN: obj2yaml %t1.wasm | FileCheck %s
; CHECK: - Type: TYPE ; CHECK: - Type: TYPE
; CHECK-NEXT: Signatures: ; CHECK-NEXT: Signatures:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: ReturnType: NORESULT ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: NORESULT
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: ReturnType: I64 ; CHECK-NEXT: ReturnType: I64
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Type: FUNCTION ; CHECK-NEXT: - Type: FUNCTION
; CHECK: - Type: GLOBAL ; CHECK: - Type: GLOBAL
; CHECK-NEXT: Globals: ; CHECK-NEXT: Globals:
Show All 17 Lines
; 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: '02000000' ; CHECK-NEXT: Content: '02000000'
; 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: used_function ; CHECK-NEXT: Name: used_function
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: use_global ; CHECK-NEXT: Name: use_global
; CHECK-NEXT: ... ; CHECK-NEXT: ...
; RUN: wasm-ld -print-gc-sections --no-gc-sections -o %t1.no-gc.wasm \ ; RUN: wasm-ld -print-gc-sections --no-gc-sections -o %t1.no-gc.wasm \
; RUN: %t.o %t_globals.o ; RUN: %t.o %t_globals.o
; RUN: obj2yaml %t1.no-gc.wasm | FileCheck %s -check-prefix=NO-GC ; RUN: obj2yaml %t1.no-gc.wasm | FileCheck %s -check-prefix=NO-GC
; NO-GC: - Type: TYPE ; NO-GC: - Type: TYPE
▲ Show 20 Lines • Show All 62 Lines • Show Last 20 Lines

test/wasm/init-fini.ll

Show All 19 Lines
define hidden void @func4() { define hidden void @func4() {
entry: entry:
ret void ret void
} }
declare hidden void @externCtor() declare hidden void @externCtor()
declare hidden void @externDtor() declare hidden void @externDtor()
declare hidden void @__wasm_call_ctors()
define i32 @__cxa_atexit(i32 %func, i32 %arg, i32 %dso_handle) { define i32 @__cxa_atexit(i32 %func, i32 %arg, i32 %dso_handle) {
ret i32 0 ret i32 0
} }
define hidden void @_start() { define hidden void @_start() {
entry: entry:
call void @__wasm_call_ctors();
ret void ret void
} }
@llvm.global_ctors = appending global [4 x { i32, void ()*, i8* }] [ @llvm.global_ctors = appending global [4 x { i32, void ()*, i8* }] [
{ i32, void ()*, i8* } { i32 1001, void ()* @func1, i8* null }, { i32, void ()*, i8* } { i32 1001, void ()* @func1, i8* null },
{ i32, void ()*, i8* } { i32 101, void ()* @func1, i8* null }, { i32, void ()*, i8* } { i32 101, void ()* @func1, i8* null },
{ i32, void ()*, i8* } { i32 101, void ()* @func2, i8* null }, { i32, void ()*, i8* } { i32 101, void ()* @func2, i8* null },
{ i32, void ()*, i8* } { i32 4000, void ()* @externCtor, i8* null } { i32, void ()*, i8* } { i32 4000, void ()* @externCtor, i8* null }
▲ Show 20 Lines • Show All 79 Lines • ▼ Show 20 Lines
; CHECK-NEXT: - Index: 20 ; CHECK-NEXT: - Index: 20
; CHECK-NEXT: Name: .Lregister_call_dtors.202 ; CHECK-NEXT: Name: .Lregister_call_dtors.202
; CHECK-NEXT: - Index: 21 ; CHECK-NEXT: - Index: 21
; CHECK-NEXT: Name: .Lcall_dtors.2002 ; CHECK-NEXT: Name: .Lcall_dtors.2002
; CHECK-NEXT: - Index: 22 ; CHECK-NEXT: - Index: 22
; CHECK-NEXT: Name: .Lregister_call_dtors.2002 ; CHECK-NEXT: Name: .Lregister_call_dtors.2002
; CHECK-NEXT: ... ; CHECK-NEXT: ...
; RUN: wasm-ld -r %t.o %t.global-ctor-dtor.o -o %t.reloc.wasm ; RUN: wasm-ld -r %t.o %t.global-ctor-dtor.o -o %t.reloc.wasm
; RUN: obj2yaml %t.reloc.wasm | FileCheck -check-prefix=RELOC %s ; RUN: llvm-readobj --symbols --sections %t.reloc.wasm | FileCheck -check-prefix=RELOC %s
; RELOC: Name: linking
; RELOC-NEXT: InitFunctions [
; RELOC-NEXT: 0 (priority=101)
; RELOC-NEXT: 1 (priority=101)
; RELOC-NEXT: 8 (priority=101)
; RELOC-NEXT: 16 (priority=101)
; RELOC-NEXT: 20 (priority=101)
; RELOC-NEXT: 16 (priority=202)
; RELOC-NEXT: 22 (priority=202)
; RELOC-NEXT: 0 (priority=1001)
; RELOC-NEXT: 11 (priority=1001)
; RELOC-NEXT: 16 (priority=2002)
; RELOC-NEXT: 24 (priority=2002)
; RELOC-NEXT: 15 (priority=4000)
; RELOC-NEXT: 14 (priority=4000)
; RELOC-NEXT: ]
; RELOC: SymbolTable: ; RELOC: Symbols [
; RELOC-NEXT: - Index: 0 ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: func1 ; RELOC-NEXT: Name: func1
; RELOC-NEXT: Flags: [ VISIBILITY_HIDDEN ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 2 ; RELOC-NEXT: Flags: 0x4
; RELOC-NEXT: - Index: 1 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: func2 ; RELOC-NEXT: Name: func2
; RELOC-NEXT: Flags: [ VISIBILITY_HIDDEN ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 3 ; RELOC-NEXT: Flags: 0x4
; RELOC-NEXT: - Index: 2 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: func3 ; RELOC-NEXT: Name: func3
; RELOC-NEXT: Flags: [ VISIBILITY_HIDDEN ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 4 ; RELOC-NEXT: Flags: 0x4
; RELOC-NEXT: - Index: 3 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: func4 ; RELOC-NEXT: Name: func4
; RELOC-NEXT: Flags: [ VISIBILITY_HIDDEN ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 5 ; RELOC-NEXT: Flags: 0x4
; RELOC-NEXT: - Index: 4 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: __cxa_atexit ; RELOC-NEXT: Name: __cxa_atexit
; RELOC-NEXT: Flags: [ ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 6 ; RELOC-NEXT: Flags: 0x0
; RELOC-NEXT: - Index: 5 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: _start ; RELOC-NEXT: Name: _start
; RELOC-NEXT: Flags: [ VISIBILITY_HIDDEN ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 7 ; RELOC-NEXT: Flags: 0x4
; RELOC-NEXT: - Index: 6 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: DATA ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: __dso_handle ; RELOC-NEXT: Name: __wasm_call_ctors
; RELOC-NEXT: Flags: [ BINDING_WEAK, VISIBILITY_HIDDEN, UNDEFINED ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: - Index: 7 ; RELOC-NEXT: Flags: 0x14
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: }
; RELOC-NEXT: Name: externDtor ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Flags: [ VISIBILITY_HIDDEN, UNDEFINED ]
; RELOC-NEXT: Function: 0
; RELOC-NEXT: - Index: 8
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: externCtor
; RELOC-NEXT: Flags: [ VISIBILITY_HIDDEN, UNDEFINED ]
; RELOC-NEXT: Function: 1
; RELOC-NEXT: - Index: 9
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: myctor
; RELOC-NEXT: Flags: [ VISIBILITY_HIDDEN ]
; RELOC-NEXT: Function: 14
; RELOC-NEXT: - Index: 10
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: mydtor
; RELOC-NEXT: Flags: [ VISIBILITY_HIDDEN ]
; RELOC-NEXT: Function: 15
; RELOC-NEXT: - Index: 11
; RELOC-NEXT: Kind: GLOBAL
; RELOC-NEXT: Name: __stack_pointer
; RELOC-NEXT: Flags: [ UNDEFINED ]
; RELOC-NEXT: Global: 0
; RELOC-NEXT: - Index: 12
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: .Lcall_dtors.101 ; RELOC-NEXT: Name: .Lcall_dtors.101
; RELOC-NEXT: Flags: [ BINDING_LOCAL ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 8 ; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: - Index: 13 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lregister_call_dtors.101 ; RELOC-NEXT: Name: .Lregister_call_dtors.101
; RELOC-NEXT: Flags: [ BINDING_LOCAL ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 9 ; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: - Index: 14 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: __dso_handle
; RELOC-NEXT: Type: DATA (0x1)
; RELOC-NEXT: Flags: 0x15
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lcall_dtors.1001 ; RELOC-NEXT: Name: .Lcall_dtors.1001
; RELOC-NEXT: Flags: [ BINDING_LOCAL ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 10 ; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: - Index: 15 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lregister_call_dtors.1001 ; RELOC-NEXT: Name: .Lregister_call_dtors.1001
; RELOC-NEXT: Flags: [ BINDING_LOCAL ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 11 ; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: - Index: 16 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lcall_dtors.4000 ; RELOC-NEXT: Name: .Lcall_dtors.4000
; RELOC-NEXT: Flags: [ BINDING_LOCAL ] ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Function: 12 ; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: - Index: 17 ; RELOC-NEXT: }
; RELOC-NEXT: Kind: FUNCTION ; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lregister_call_dtors.4000
; RELOC-NEXT: Flags: [ BINDING_LOCAL ]
; RELOC-NEXT: Function: 13
; RELOC-NEXT: - Index: 18
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: .Lcall_dtors.101
; RELOC-NEXT: Flags: [ BINDING_LOCAL ]
; RELOC-NEXT: Function: 16
; RELOC-NEXT: - Index: 19
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: .Lregister_call_dtors.101
; RELOC-NEXT: Flags: [ BINDING_LOCAL ]
; RELOC-NEXT: Function: 17
; RELOC-NEXT: - Index: 20
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: .Lcall_dtors.202
; RELOC-NEXT: Flags: [ BINDING_LOCAL ]
; RELOC-NEXT: Function: 18
; RELOC-NEXT: - Index: 21
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: .Lregister_call_dtors.202
; RELOC-NEXT: Flags: [ BINDING_LOCAL ]
; RELOC-NEXT: Function: 19
; RELOC-NEXT: - Index: 22
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: .Lcall_dtors.2002
; RELOC-NEXT: Flags: [ BINDING_LOCAL ]
; RELOC-NEXT: Function: 20
; RELOC-NEXT: - Index: 23
; RELOC-NEXT: Kind: FUNCTION
; RELOC-NEXT: Name: .Lregister_call_dtors.2002
; RELOC-NEXT: Flags: [ BINDING_LOCAL ]
; RELOC-NEXT: Function: 21
; RELOC-NEXT: InitFunctions:
; RELOC-NEXT: - Priority: 101
; RELOC-NEXT: Symbol: 0
; RELOC-NEXT: - Priority: 101
; RELOC-NEXT: Symbol: 1
; RELOC-NEXT: - Priority: 101
; RELOC-NEXT: Symbol: 13
; RELOC-NEXT: - Priority: 101
; RELOC-NEXT: Symbol: 9
; RELOC-NEXT: - Priority: 101
; RELOC-NEXT: Symbol: 19
; RELOC-NEXT: - Priority: 202
; RELOC-NEXT: Symbol: 9
; RELOC-NEXT: - Priority: 202
; RELOC-NEXT: Symbol: 21
; RELOC-NEXT: - Priority: 1001
; RELOC-NEXT: Symbol: 0
; RELOC-NEXT: - Priority: 1001
; RELOC-NEXT: Symbol: 15
; RELOC-NEXT: - Priority: 2002
; RELOC-NEXT: Symbol: 9
; RELOC-NEXT: - Priority: 2002
; RELOC-NEXT: Symbol: 23
; RELOC-NEXT: - Priority: 4000
; RELOC-NEXT: Symbol: 8
; RELOC-NEXT: - Priority: 4000
; RELOC-NEXT: Symbol: 17
; RELOC-NEXT: - Type: CUSTOM
; RELOC-NEXT: Name: name
; RELOC-NEXT: FunctionNames:
; RELOC-NEXT: - Index: 0
; RELOC-NEXT: Name: externDtor ; RELOC-NEXT: Name: externDtor
; RELOC-NEXT: - Index: 1 ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Name: externCtor ; RELOC-NEXT: Flags: 0x14
; RELOC-NEXT: - Index: 2 ; RELOC-NEXT: }
; RELOC-NEXT: Name: func1 ; RELOC-NEXT: Symbol {
; RELOC-NEXT: - Index: 3
; RELOC-NEXT: Name: func2
; RELOC-NEXT: - Index: 4
; RELOC-NEXT: Name: func3
; RELOC-NEXT: - Index: 5
; RELOC-NEXT: Name: func4
; RELOC-NEXT: - Index: 6
; RELOC-NEXT: Name: __cxa_atexit
; RELOC-NEXT: - Index: 7
; RELOC-NEXT: Name: _start
; RELOC-NEXT: - Index: 8
; RELOC-NEXT: Name: .Lcall_dtors.101
; RELOC-NEXT: - Index: 9
; RELOC-NEXT: Name: .Lregister_call_dtors.101
; RELOC-NEXT: - Index: 10
; RELOC-NEXT: Name: .Lcall_dtors.1001
; RELOC-NEXT: - Index: 11
; RELOC-NEXT: Name: .Lregister_call_dtors.1001
; RELOC-NEXT: - Index: 12
; RELOC-NEXT: Name: .Lcall_dtors.4000
; RELOC-NEXT: - Index: 13
; RELOC-NEXT: Name: .Lregister_call_dtors.4000 ; RELOC-NEXT: Name: .Lregister_call_dtors.4000
; RELOC-NEXT: - Index: 14 ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: externCtor
; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Flags: 0x14
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: myctor ; RELOC-NEXT: Name: myctor
; RELOC-NEXT: - Index: 15 ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Flags: 0x4
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: mydtor ; RELOC-NEXT: Name: mydtor
; RELOC-NEXT: - Index: 16 ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Flags: 0x4
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: __stack_pointer
; RELOC-NEXT: Type: GLOBAL (0x2)
; RELOC-NEXT: Flags: 0x10
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lcall_dtors.101 ; RELOC-NEXT: Name: .Lcall_dtors.101
; RELOC-NEXT: - Index: 17 ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lregister_call_dtors.101 ; RELOC-NEXT: Name: .Lregister_call_dtors.101
; RELOC-NEXT: - Index: 18 ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lcall_dtors.202 ; RELOC-NEXT: Name: .Lcall_dtors.202
; RELOC-NEXT: - Index: 19 ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lregister_call_dtors.202 ; RELOC-NEXT: Name: .Lregister_call_dtors.202
; RELOC-NEXT: - Index: 20 ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lcall_dtors.2002 ; RELOC-NEXT: Name: .Lcall_dtors.2002
; RELOC-NEXT: - Index: 21 ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: }
; RELOC-NEXT: Symbol {
; RELOC-NEXT: Name: .Lregister_call_dtors.2002 ; RELOC-NEXT: Name: .Lregister_call_dtors.2002
; RELOC-NEXT: ... ; RELOC-NEXT: Type: FUNCTION (0x0)
; RELOC-NEXT: Flags: 0x2
; RELOC-NEXT: }

test/wasm/local-symbols.ll

Show All 21 Lines
; CHECK: --- !WASM ; CHECK: --- !WASM
; CHECK-NEXT: FileHeader: ; CHECK-NEXT: FileHeader:
; CHECK-NEXT: Version: 0x00000001 ; CHECK-NEXT: Version: 0x00000001
; CHECK-NEXT: Sections: ; CHECK-NEXT: Sections:
; CHECK-NEXT: - Type: TYPE ; CHECK-NEXT: - Type: TYPE
; CHECK-NEXT: Signatures: ; CHECK-NEXT: Signatures:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: ReturnType: NORESULT ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: NORESULT
; 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 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: FUNCREF ; 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
Show All 33 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: foo ; CHECK-NEXT: - Name: foo
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 3
; 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: 0B
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4100280284888080000B ; CHECK-NEXT: Body: 4100280284888080000B
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 1081808080001A0B ; CHECK-NEXT: Body: 1080808080001A0B
; CHECK-NEXT: - Type: DATA ; CHECK-NEXT: - Type: DATA
; CHECK-NEXT: Segments: ; CHECK-NEXT: Segments:
; CHECK-NEXT: - SectionOffset: 7 ; CHECK-NEXT: - SectionOffset: 7
; CHECK-NEXT: InitFlags: 0 ; CHECK-NEXT: InitFlags: 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: '0100000003000000' ; CHECK-NEXT: Content: '0100000003000000'
; 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: baz ; CHECK-NEXT: Name: baz
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: ... ; CHECK-NEXT: ...

test/wasm/locals-duplicate.test

; RUN: llc -filetype=obj %p/Inputs/locals-duplicate1.ll -o %t1.o ; RUN: llc -filetype=obj %p/Inputs/locals-duplicate1.ll -o %t1.o
; RUN: llc -filetype=obj %p/Inputs/locals-duplicate2.ll -o %t2.o ; RUN: llc -filetype=obj %p/Inputs/locals-duplicate2.ll -o %t2.o
; RUN: wasm-ld --export-dynamic --no-entry -o %t.wasm %t1.o %t2.o ; RUN: wasm-ld --export-dynamic --no-entry -o %t.wasm %t1.o %t2.o
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
; CHECK: --- !WASM ; CHECK: --- !WASM
; CHECK-NEXT: FileHeader: ; CHECK-NEXT: FileHeader:
; CHECK-NEXT: Version: 0x00000001 ; CHECK-NEXT: Version: 0x00000001
; CHECK-NEXT: Sections: ; CHECK-NEXT: Sections:
; CHECK-NEXT: - Type: TYPE ; CHECK-NEXT: - Type: TYPE
; CHECK-NEXT: Signatures: ; CHECK-NEXT: Signatures:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: ReturnType: NORESULT
; CHECK-NEXT: ParamTypes:
; 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
; CHECK-NEXT: 1, 1, 1 ] ; CHECK-NEXT: 0, 0 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: FUNCREF ; 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
Show All 39 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: colliding_func2 ; CHECK-NEXT: - Name: colliding_func2
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: get_global1A ; CHECK-NEXT: - Name: get_global1A
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 4 ; CHECK-NEXT: Index: 3
; CHECK-NEXT: - Name: get_global2A ; CHECK-NEXT: - Name: get_global2A
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 5 ; CHECK-NEXT: Index: 4
; CHECK-NEXT: - Name: colliding_global2 ; CHECK-NEXT: - Name: colliding_global2
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 3
; CHECK-NEXT: - Name: get_global3A ; CHECK-NEXT: - Name: get_global3A
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 6 ; CHECK-NEXT: Index: 5
; CHECK-NEXT: - Name: get_func1A ; CHECK-NEXT: - Name: get_func1A
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 7 ; CHECK-NEXT: Index: 6
; CHECK-NEXT: - Name: get_func2A ; CHECK-NEXT: - Name: get_func2A
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 8 ; CHECK-NEXT: Index: 7
; CHECK-NEXT: - Name: get_func3A ; CHECK-NEXT: - Name: get_func3A
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 9 ; CHECK-NEXT: Index: 8
; CHECK-NEXT: - Name: colliding_func1 ; CHECK-NEXT: - Name: colliding_func1
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 10 ; CHECK-NEXT: Index: 9
; CHECK-NEXT: - Name: get_global1B ; CHECK-NEXT: - Name: get_global1B
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 13 ; CHECK-NEXT: Index: 12
; CHECK-NEXT: - Name: colliding_global1 ; CHECK-NEXT: - Name: colliding_global1
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 4 ; CHECK-NEXT: Index: 4
; CHECK-NEXT: - Name: get_global2B ; CHECK-NEXT: - Name: get_global2B
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 14 ; CHECK-NEXT: Index: 13
; CHECK-NEXT: - Name: get_global3B ; CHECK-NEXT: - Name: get_global3B
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 15 ; CHECK-NEXT: Index: 14
; CHECK-NEXT: - Name: get_func1B ; CHECK-NEXT: - Name: get_func1B
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 16 ; CHECK-NEXT: Index: 15
; CHECK-NEXT: - Name: get_func2B ; CHECK-NEXT: - Name: get_func2B
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 17 ; CHECK-NEXT: Index: 16
; CHECK-NEXT: - Name: get_func3B ; CHECK-NEXT: - Name: get_func3B
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 18 ; CHECK-NEXT: Index: 17
; 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, 2, 3, 10, 11, 12 ] ; CHECK-NEXT: Functions: [ 0, 1, 2, 9, 10, 11 ]
; 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: 0B ; CHECK-NEXT: Body: 41020B
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 41020B ; CHECK-NEXT: Body: 41020B
; 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: 41020B ; CHECK-NEXT: Body: 4180888080000B
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4180888080000B ; CHECK-NEXT: Body: 4184888080000B
; CHECK-NEXT: - Index: 5 ; CHECK-NEXT: - Index: 5
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4184888080000B ; CHECK-NEXT: Body: 4188888080000B
; CHECK-NEXT: - Index: 6 ; CHECK-NEXT: - Index: 6
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4188888080000B ; CHECK-NEXT: Body: 4181808080000B
; CHECK-NEXT: - Index: 7 ; CHECK-NEXT: - Index: 7
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4181808080000B ; CHECK-NEXT: Body: 4182808080000B
; CHECK-NEXT: - Index: 8 ; CHECK-NEXT: - Index: 8
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4182808080000B ; CHECK-NEXT: Body: 4183808080000B
; CHECK-NEXT: - Index: 9 ; CHECK-NEXT: - Index: 9
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4183808080000B ; CHECK-NEXT: Body: 41020B
; CHECK-NEXT: - Index: 10 ; CHECK-NEXT: - Index: 10
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 41020B ; CHECK-NEXT: Body: 41020B
; CHECK-NEXT: - Index: 11 ; CHECK-NEXT: - Index: 11
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 41020B ; CHECK-NEXT: Body: 41020B
; CHECK-NEXT: - Index: 12 ; CHECK-NEXT: - Index: 12
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 41020B
; CHECK-NEXT: - Index: 13
; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 418C888080000B ; CHECK-NEXT: Body: 418C888080000B
; CHECK-NEXT: - Index: 14 ; CHECK-NEXT: - Index: 13
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4190888080000B ; CHECK-NEXT: Body: 4190888080000B
; CHECK-NEXT: - Index: 15 ; CHECK-NEXT: - Index: 14
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4194888080000B ; CHECK-NEXT: Body: 4194888080000B
; CHECK-NEXT: - Index: 16 ; CHECK-NEXT: - Index: 15
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4184808080000B ; CHECK-NEXT: Body: 4184808080000B
; CHECK-NEXT: - Index: 17 ; CHECK-NEXT: - Index: 16
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4185808080000B ; CHECK-NEXT: Body: 4185808080000B
; CHECK-NEXT: - Index: 18 ; CHECK-NEXT: - Index: 17
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4186808080000B ; CHECK-NEXT: Body: 4186808080000B
; CHECK-NEXT: - Type: DATA ; CHECK-NEXT: - Type: DATA
; CHECK-NEXT: Segments: ; CHECK-NEXT: Segments:
; CHECK-NEXT: - SectionOffset: 7 ; CHECK-NEXT: - SectionOffset: 7
; CHECK-NEXT: InitFlags: 0 ; CHECK-NEXT: InitFlags: 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: '000000000000000000000000000000000000000000000000' ; CHECK-NEXT: Content: '000000000000000000000000000000000000000000000000'
; 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: colliding_func1 ; CHECK-NEXT: Name: colliding_func1
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: colliding_func2 ; CHECK-NEXT: Name: colliding_func2
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: colliding_func3 ; CHECK-NEXT: Name: colliding_func3
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Name: get_global1A ; CHECK-NEXT: Name: get_global1A
; CHECK-NEXT: - Index: 5 ; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Name: get_global2A ; CHECK-NEXT: Name: get_global2A
; CHECK-NEXT: - Index: 6 ; CHECK-NEXT: - Index: 5
; CHECK-NEXT: Name: get_global3A ; CHECK-NEXT: Name: get_global3A
; CHECK-NEXT: - Index: 7 ; CHECK-NEXT: - Index: 6
; CHECK-NEXT: Name: get_func1A ; CHECK-NEXT: Name: get_func1A
; CHECK-NEXT: - Index: 8 ; CHECK-NEXT: - Index: 7
; CHECK-NEXT: Name: get_func2A ; CHECK-NEXT: Name: get_func2A
; CHECK-NEXT: - Index: 9 ; CHECK-NEXT: - Index: 8
; CHECK-NEXT: Name: get_func3A ; CHECK-NEXT: Name: get_func3A
; CHECK-NEXT: - Index: 10 ; CHECK-NEXT: - Index: 9
; CHECK-NEXT: Name: colliding_func1 ; CHECK-NEXT: Name: colliding_func1
; CHECK-NEXT: - Index: 11 ; CHECK-NEXT: - Index: 10
; CHECK-NEXT: Name: colliding_func2 ; CHECK-NEXT: Name: colliding_func2
; CHECK-NEXT: - Index: 12 ; CHECK-NEXT: - Index: 11
; CHECK-NEXT: Name: colliding_func3 ; CHECK-NEXT: Name: colliding_func3
; CHECK-NEXT: - Index: 13 ; CHECK-NEXT: - Index: 12
; CHECK-NEXT: Name: get_global1B ; CHECK-NEXT: Name: get_global1B
; CHECK-NEXT: - Index: 14 ; CHECK-NEXT: - Index: 13
; CHECK-NEXT: Name: get_global2B ; CHECK-NEXT: Name: get_global2B
; CHECK-NEXT: - Index: 15 ; CHECK-NEXT: - Index: 14
; CHECK-NEXT: Name: get_global3B ; CHECK-NEXT: Name: get_global3B
; CHECK-NEXT: - Index: 16 ; CHECK-NEXT: - Index: 15
; CHECK-NEXT: Name: get_func1B ; CHECK-NEXT: Name: get_func1B
; CHECK-NEXT: - Index: 17 ; CHECK-NEXT: - Index: 16
; CHECK-NEXT: Name: get_func2B ; CHECK-NEXT: Name: get_func2B
; CHECK-NEXT: - Index: 18 ; CHECK-NEXT: - Index: 17
; CHECK-NEXT: Name: get_func3B ; CHECK-NEXT: Name: get_func3B
; CHECK-NEXT: ... ; CHECK-NEXT: ...
; RUN: wasm-ld -r --no-entry -o %t.reloc.wasm %t1.o %t2.o ; RUN: wasm-ld -r --no-entry -o %t.reloc.wasm %t1.o %t2.o
; RUN: obj2yaml %t.reloc.wasm | FileCheck -check-prefix=RELOC %s ; RUN: obj2yaml %t.reloc.wasm | FileCheck -check-prefix=RELOC %s
; RELOC: --- !WASM ; RELOC: --- !WASM
▲ Show 20 Lines • Show All 326 Lines • Show Last 20 Lines

test/wasm/lto/archive.ll

Show All 12 Linesdefine void @_start() {
ret void ret void
} }
declare void @f() declare void @f()
; CHECK: Name: name ; CHECK: Name: name
; CHECK-NEXT: FunctionNames: ; CHECK-NEXT: FunctionNames:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: f ; CHECK-NEXT: Name: f

test/wasm/lto/export.ll

Show All 25 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: hidden_function ; CHECK-NEXT: - Name: hidden_function
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Type: CODE ; CHECK-NEXT: - Type: CODE

test/wasm/lto/lto-start.ll

; RUN: llvm-as %s -o %t.o ; RUN: llvm-as %s -o %t.o
; RUN: wasm-ld %t.o -o %t.wasm ; RUN: wasm-ld %t.o -o %t.wasm
; RUN: obj2yaml %t.wasm | FileCheck %s ; RUN: obj2yaml %t.wasm | FileCheck %s
; CHECK: - Type: CUSTOM ; CHECK: - 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown-wasm" target triple = "wasm32-unknown-unknown-wasm"
define void @_start() { define void @_start() {
ret void ret void
} }

test/wasm/lto/used.ll

Show All 32 Lines
; CHECK-NEXT: Opcode: I32_CONST ; CHECK-NEXT: Opcode: I32_CONST
; CHECK-NEXT: Value: 1024 ; CHECK-NEXT: Value: 1024
; CHECK-NEXT: Content: '01000000' ; CHECK-NEXT: Content: '01000000'
; CHECK: - Type: CUSTOM ; CHECK: - 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: bar ; CHECK-NEXT: Name: bar

test/wasm/undefined-weak-call.ll

Show All 36 Lines
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: NORESULT ; CHECK-NEXT: ReturnType: NORESULT
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; 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, 1, 2 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: FUNCREF ; 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
Show All 27 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: callWeakFuncs ; CHECK-NEXT: - Name: callWeakFuncs
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 4 ; CHECK-NEXT: Index: 3
; 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: 0B ; CHECK-NEXT: Body: 000B
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 000B ; CHECK-NEXT: Body: 000B
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 000B ; CHECK-NEXT: Body: 000B
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 000B ; CHECK-NEXT: Body: 10808080800010818080800041021082808080004180808080004180808080006A0B
; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 10818080800010828080800041021083808080004180808080004180808080006A0B
; 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: 'undefined:weakFunc1' ; CHECK-NEXT: Name: 'undefined:weakFunc1'
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: 'undefined:weakFunc2' ; CHECK-NEXT: Name: 'undefined:weakFunc2'
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: 'undefined:weakFunc3' ; CHECK-NEXT: Name: 'undefined:weakFunc3'
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Name: callWeakFuncs ; CHECK-NEXT: Name: callWeakFuncs
; CHECK-NEXT: ... ; CHECK-NEXT: ...

test/wasm/visibility-hidden.ll

Show First 20 Lines • Show All 45 Lines • ▼ Show 20 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: objectDefault ; CHECK-NEXT: - Name: objectDefault
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: archiveDefault ; CHECK-NEXT: - Name: archiveDefault
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 5 ; CHECK-NEXT: Index: 4
; CHECK-NEXT: - Type: ; CHECK-NEXT: - Type:
; NO-DEFAULT: - Type: EXPORT ; NO-DEFAULT: - Type: EXPORT
; NO-DEFAULT-NEXT: Exports: ; NO-DEFAULT-NEXT: Exports:
; NO-DEFAULT-NEXT: - Name: memory ; NO-DEFAULT-NEXT: - Name: memory
; NO-DEFAULT-NEXT: Kind: MEMORY ; NO-DEFAULT-NEXT: Kind: MEMORY
; NO-DEFAULT-NEXT: Index: 0 ; NO-DEFAULT-NEXT: Index: 0
Show All 10 Lines

test/wasm/weak-alias-overide.ll

Show All 20 Lines
; CHECK: --- !WASM ; CHECK: --- !WASM
; CHECK-NEXT: FileHeader: ; CHECK-NEXT: FileHeader:
; CHECK-NEXT: Version: 0x00000001 ; CHECK-NEXT: Version: 0x00000001
; CHECK-NEXT: Sections: ; CHECK-NEXT: Sections:
; CHECK-NEXT: - Type: TYPE ; CHECK-NEXT: - Type: TYPE
; CHECK-NEXT: Signatures: ; CHECK-NEXT: Signatures:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: ReturnType: NORESULT ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: NORESULT
; 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, 0, 0, 0, 0 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: FUNCREF ; 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
Show All 27 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: alias_fn ; CHECK-NEXT: - Name: alias_fn
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: direct_fn ; CHECK-NEXT: - Name: direct_fn
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: call_direct ; CHECK-NEXT: - Name: call_direct
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 4 ; CHECK-NEXT: Index: 3
; CHECK-NEXT: - Name: call_alias ; CHECK-NEXT: - Name: call_alias
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 5 ; CHECK-NEXT: Index: 4
; CHECK-NEXT: - Name: call_alias_ptr ; CHECK-NEXT: - Name: call_alias_ptr
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 6 ; CHECK-NEXT: Index: 5
; CHECK-NEXT: - Name: call_direct_ptr ; CHECK-NEXT: - Name: call_direct_ptr
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 7 ; 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: [ 1, 3 ] ; 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: 0B ; CHECK-NEXT: Body: 41010B
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 41010B ; CHECK-NEXT: Body: 1080808080001A0B
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 1081808080001A0B ; CHECK-NEXT: Body: 41000B
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 41000B ; CHECK-NEXT: Body: 1082808080000B
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 1083808080000B ; CHECK-NEXT: Body: 1080808080000B
; CHECK-NEXT: - Index: 5 ; CHECK-NEXT: - Index: 5
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 1081808080000B
; CHECK-NEXT: - Index: 6
; 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: 23808080800041106B220024808080800020004181808080003602081080808080002101200041106A24808080800020010B
; CHECK-NEXT: - Index: 7 ; CHECK-NEXT: - Index: 6
; 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: 23808080800041106B220024808080800020004182808080003602081083808080002101200041106A24808080800020010B ; CHECK-NEXT: Body: 23808080800041106B220024808080800020004182808080003602081082808080002101200041106A24808080800020010B
; 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: alias_fn ; CHECK-NEXT: Name: alias_fn
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: direct_fn ; CHECK-NEXT: Name: direct_fn
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Name: call_direct ; CHECK-NEXT: Name: call_direct
; CHECK-NEXT: - Index: 5 ; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Name: call_alias ; CHECK-NEXT: Name: call_alias
; CHECK-NEXT: - Index: 6 ; CHECK-NEXT: - Index: 5
; CHECK-NEXT: Name: call_alias_ptr ; CHECK-NEXT: Name: call_alias_ptr
; CHECK-NEXT: - Index: 7 ; CHECK-NEXT: - Index: 6
; CHECK-NEXT: Name: call_direct_ptr ; CHECK-NEXT: Name: call_direct_ptr
; CHECK-NEXT: ... ; CHECK-NEXT: ...

test/wasm/weak-alias.ll

Show All 23 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: - 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, 1, 1, 1, 1, 1 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: FUNCREF ; 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
Show All 27 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 0
; CHECK-NEXT: - Name: alias_fn ; CHECK-NEXT: - Name: alias_fn
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: direct_fn ; CHECK-NEXT: - Name: direct_fn
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: call_direct ; CHECK-NEXT: - Name: call_direct
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: call_alias ; CHECK-NEXT: - Name: call_alias
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 4 ; CHECK-NEXT: Index: 3
; CHECK-NEXT: - Name: call_alias_ptr ; CHECK-NEXT: - Name: call_alias_ptr
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 5 ; CHECK-NEXT: Index: 4
; 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: 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: [ 2 ] ; CHECK-NEXT: Functions: [ 1 ]
; 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: 0B ; CHECK-NEXT: Body: 1081808080001A0B
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 1082808080001A0B ; CHECK-NEXT: Body: 41000B
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 41000B ; CHECK-NEXT: Body: 1081808080000B
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 1082808080000B ; CHECK-NEXT: Body: 1081808080000B
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 1082808080000B
; CHECK-NEXT: - Index: 5
; 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: 23808080800041106B220024808080800020004181808080003602081081808080002101200041106A24808080800020010B
; CHECK-NEXT: - Index: 6 ; CHECK-NEXT: - Index: 5
; 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: 23808080800041106B220024808080800020004181808080003602081081808080002101200041106A24808080800020010B
; 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: __wasm_call_ctors
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: _start ; CHECK-NEXT: Name: _start
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: direct_fn ; CHECK-NEXT: Name: direct_fn
; CHECK-NEXT: - Index: 3 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: call_direct ; CHECK-NEXT: Name: call_direct
; CHECK-NEXT: - Index: 4 ; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Name: call_alias ; CHECK-NEXT: Name: call_alias
; CHECK-NEXT: - Index: 5 ; CHECK-NEXT: - Index: 4
; CHECK-NEXT: Name: call_alias_ptr ; CHECK-NEXT: Name: call_alias_ptr
; CHECK-NEXT: - Index: 6 ; CHECK-NEXT: - Index: 5
; CHECK-NEXT: Name: call_direct_ptr ; CHECK-NEXT: Name: call_direct_ptr
; CHECK-NEXT: ... ; CHECK-NEXT: ...
; RUN: wasm-ld --relocatable %t.o %t2.o -o %t.reloc.o ; RUN: wasm-ld --relocatable %t.o %t2.o -o %t.reloc.o
; RUN: obj2yaml %t.reloc.o | FileCheck %s -check-prefix=RELOC ; RUN: obj2yaml %t.reloc.o | FileCheck %s -check-prefix=RELOC
; RELOC: --- !WASM ; RELOC: --- !WASM
; RELOC-NEXT: FileHeader: ; RELOC-NEXT: FileHeader:
▲ Show 20 Lines • Show All 159 Lines • Show Last 20 Lines

test/wasm/weak-undefined.ll

Show All 28 Lines
; CHECK: --- !WASM ; CHECK: --- !WASM
; CHECK-NEXT: FileHeader: ; CHECK-NEXT: FileHeader:
; CHECK-NEXT: Version: 0x00000001 ; CHECK-NEXT: Version: 0x00000001
; CHECK-NEXT: Sections: ; CHECK-NEXT: Sections:
; CHECK-NEXT: - Type: TYPE ; CHECK-NEXT: - Type: TYPE
; CHECK-NEXT: Signatures: ; CHECK-NEXT: Signatures:
; CHECK-NEXT: - Index: 0 ; CHECK-NEXT: - Index: 0
; CHECK-NEXT: ReturnType: NORESULT ; CHECK-NEXT: ReturnType: I32
; CHECK-NEXT: ParamTypes: ; CHECK-NEXT: ParamTypes:
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: ReturnType: I32 ; CHECK-NEXT: ReturnType: NORESULT
; 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, 0, 1 ]
; CHECK-NEXT: - Type: TABLE ; CHECK-NEXT: - Type: TABLE
; CHECK-NEXT: Tables: ; CHECK-NEXT: Tables:
; CHECK-NEXT: - ElemType: FUNCREF ; 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
Show All 27 Lines
; CHECK-NEXT: - Name: __heap_base ; CHECK-NEXT: - Name: __heap_base
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 1 ; CHECK-NEXT: Index: 1
; CHECK-NEXT: - Name: __data_end ; CHECK-NEXT: - Name: __data_end
; CHECK-NEXT: Kind: GLOBAL ; CHECK-NEXT: Kind: GLOBAL
; CHECK-NEXT: Index: 2 ; CHECK-NEXT: Index: 2
; CHECK-NEXT: - Name: _start ; CHECK-NEXT: - Name: _start
; CHECK-NEXT: Kind: FUNCTION ; CHECK-NEXT: Kind: FUNCTION
; CHECK-NEXT: Index: 3 ; CHECK-NEXT: Index: 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: 0B ; CHECK-NEXT: Body: 4180808080000B
; CHECK-NEXT: - Index: 1 ; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4180808080000B ; CHECK-NEXT: Body: 4180808080000B
; CHECK-NEXT: - Index: 2 ; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Locals: ; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 4180808080000B
; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Locals:
; CHECK-NEXT: Body: 1082808080001A1081808080001A0B ; CHECK-NEXT: Body: 1082808080001A1081808080001A0B
; CHECK-NEXT: ... ; CHECK-NEXT: ...

wasm/Driver.cpp

Show First 20 Lines • Show All 586 Lines • ▼ Show 20 Linesvoid LinkerDriver::link(ArrayRef<const char *> ArgsArr) {
if (EntrySym) if (EntrySym)
EntrySym->setHidden(false); EntrySym->setHidden(false);
if (errorCount()) if (errorCount())
return; return;
// Do size optimizations: garbage collection // Do size optimizations: garbage collection
markLive(); markLive();
// Write the result to the file. // Write the result to the file.
writeResult(); writeResult();
} }

wasm/MarkLive.cpp

Show All 32 Lines
void lld::wasm::markLive() { void lld::wasm::markLive() {
if (!Config->GcSections) if (!Config->GcSections)
return; return;
LLVM_DEBUG(dbgs() << "markLive\n"); LLVM_DEBUG(dbgs() << "markLive\n");
SmallVector<InputChunk *, 256> Q; SmallVector<InputChunk *, 256> Q;
auto Enqueue = [&](Symbol *Sym) { std::function<void(Symbol*)> Enqueue = [&](Symbol *Sym) {
if (!Sym || Sym->isLive()) if (!Sym || Sym->isLive())
return; return;
LLVM_DEBUG(dbgs() << "markLive: " << Sym->getName() << "\n"); LLVM_DEBUG(dbgs() << "markLive: " << Sym->getName() << "\n");
Sym->markLive(); Sym->markLive();
if (InputChunk *Chunk = Sym->getChunk()) if (InputChunk *Chunk = Sym->getChunk())
Q.push_back(Chunk); Q.push_back(Chunk);
// The ctor functions are all used in the synthetic __wasm_call_ctors
// function, but since this function is created in-place it doesn't
// contain relocations which mean we have to manually mark the ctors.
if (Sym == WasmSym::CallCtors) {
for (const ObjFile *Obj : Symtab->ObjectFiles) {
const WasmLinkingData &L = Obj->getWasmObj()->linkingData();
for (const WasmInitFunc &F : L.InitFunctions)
Enqueue(Obj->getFunctionSymbol(F.Symbol));
}
}
}; };
// Add GC root symbols. // Add GC root symbols.
if (!Config->Entry.empty()) if (!Config->Entry.empty())
Enqueue(Symtab->find(Config->Entry)); Enqueue(Symtab->find(Config->Entry));
Enqueue(WasmSym::CallCtors);
// We need to preserve any exported symbol // We need to preserve any exported symbol
for (Symbol *Sym : Symtab->getSymbols()) for (Symbol *Sym : Symtab->getSymbols())
if (Sym->isExported()) if (Sym->isExported())
Enqueue(Sym); Enqueue(Sym);
// The ctor functions are all used in the synthetic __wasm_call_ctors // For relocatable output, we need to preserve all the ctor functions
// function, but since this function is created in-place it doesn't contain if (Config->Relocatable) {
// relocations which mean we have to manually mark the ctors.
for (const ObjFile *Obj : Symtab->ObjectFiles) { for (const ObjFile *Obj : Symtab->ObjectFiles) {
const WasmLinkingData &L = Obj->getWasmObj()->linkingData(); const WasmLinkingData &L = Obj->getWasmObj()->linkingData();
for (const WasmInitFunc &F : L.InitFunctions) for (const WasmInitFunc &F : L.InitFunctions)
Enqueue(Obj->getFunctionSymbol(F.Symbol)); Enqueue(Obj->getFunctionSymbol(F.Symbol));
} }
}
// Follow relocations to mark all reachable chunks. // Follow relocations to mark all reachable chunks.
while (!Q.empty()) { while (!Q.empty()) {
InputChunk *C = Q.pop_back_val(); InputChunk *C = Q.pop_back_val();
for (const WasmRelocation Reloc : C->getRelocations()) { for (const WasmRelocation Reloc : C->getRelocations()) {
if (Reloc.Type == R_WASM_TYPE_INDEX_LEB) if (Reloc.Type == R_WASM_TYPE_INDEX_LEB)
continue; continue;
▲ Show 20 Lines • Show All 44 Lines • Show Last 20 Lines

wasm/Writer.cpp

Show First 20 Lines • Show All 1,131 Lines • ▼ Show 20 Lines
} }
static const int OPCODE_CALL = 0x10; static const int OPCODE_CALL = 0x10;
static const int OPCODE_END = 0xb; static const int OPCODE_END = 0xb;
// Create synthetic "__wasm_call_ctors" function based on ctor functions // Create synthetic "__wasm_call_ctors" function based on ctor functions
// in input object. // in input object.
void Writer::createCtorFunction() { void Writer::createCtorFunction() {
if (!WasmSym::CallCtors->isLive())
return;
// First write the body's contents to a string. // First write the body's contents to a string.
std::string BodyContent; std::string BodyContent;
{ {
raw_string_ostream OS(BodyContent); raw_string_ostream OS(BodyContent);
writeUleb128(OS, 0, "num locals"); writeUleb128(OS, 0, "num locals");
for (const WasmInitEntry &F : InitFunctions) { for (const WasmInitEntry &F : InitFunctions) {
writeU8(OS, OPCODE_CALL, "CALL"); writeU8(OS, OPCODE_CALL, "CALL");
writeUleb128(OS, F.Sym->getFunctionIndex(), "function index"); writeUleb128(OS, F.Sym->getFunctionIndex(), "function index");
Show All 16 Lines
// Populate InitFunctions vector with init functions from all input objects. // Populate InitFunctions vector with init functions from all input objects.
// This is then used either when creating the output linking section or to // This is then used either when creating the output linking section or to
// synthesize the "__wasm_call_ctors" function. // synthesize the "__wasm_call_ctors" function.
void Writer::calculateInitFunctions() { void Writer::calculateInitFunctions() {
for (ObjFile *File : Symtab->ObjectFiles) { for (ObjFile *File : Symtab->ObjectFiles) {
const WasmLinkingData &L = File->getWasmObj()->linkingData(); const WasmLinkingData &L = File->getWasmObj()->linkingData();
for (const WasmInitFunc &F : L.InitFunctions) { for (const WasmInitFunc &F : L.InitFunctions) {
FunctionSymbol *Sym = File->getFunctionSymbol(F.Symbol); FunctionSymbol *Sym = File->getFunctionSymbol(F.Symbol);
assert(Sym->isLive());
if (*Sym->Signature != WasmSignature{{}, {}}) if (*Sym->Signature != WasmSignature{{}, {}})
error("invalid signature for init func: " + toString(*Sym)); error("invalid signature for init func: " + toString(*Sym));
InitFunctions.emplace_back(WasmInitEntry{Sym, F.Priority}); InitFunctions.emplace_back(WasmInitEntry{Sym, F.Priority});
} }
} }
// Sort in order of priority (lowest first) so that they are called // Sort in order of priority (lowest first) so that they are called
// in the correct order. // in the correct order.
▲ Show 20 Lines • Show All 89 Lines • Show Last 20 Lines