| ; RUN: llc -filetype=obj %s -o %t.o |
| ; RUN: wasm-ld -o %t.wasm %t.o |
| ; RUN: obj2yaml %t.wasm | FileCheck %s |
| |
| target triple = "wasm32-unknown-unknown" |
| |
| @foo = default global i32 1, align 4 |
| @bar = internal default global i32 3, align 4 |
| |
| define internal i32 @baz() local_unnamed_addr { |
| entry: |
| %0 = load i32, i32* @bar, align 4 |
| ret i32 %0 |
| } |
| |
| define void @_start() local_unnamed_addr { |
| entry: |
| call i32 @baz() |
| ret void |
| } |
| |
| ; CHECK: --- !WASM |
| ; CHECK-NEXT: FileHeader: |
| ; CHECK-NEXT: Version: 0x00000001 |
| ; CHECK-NEXT: Sections: |
| ; CHECK-NEXT: - Type: TYPE |
| ; CHECK-NEXT: Signatures: |
| ; CHECK-NEXT: - Index: 0 |
| ; CHECK-NEXT: ReturnType: NORESULT |
| ; CHECK-NEXT: ParamTypes: |
| ; CHECK-NEXT: - Index: 1 |
| ; CHECK-NEXT: ReturnType: I32 |
| ; CHECK-NEXT: ParamTypes: |
| ; CHECK-NEXT: - Type: FUNCTION |
| ; CHECK-NEXT: FunctionTypes: [ 0, 1, 0 ] |
| ; CHECK-NEXT: - Type: TABLE |
| ; CHECK-NEXT: Tables: |
| ; CHECK-NEXT: - ElemType: ANYFUNC |
| ; CHECK-NEXT: Limits: |
| ; CHECK-NEXT: Flags: [ HAS_MAX ] |
| ; CHECK-NEXT: Initial: 0x00000001 |
| ; CHECK-NEXT: Maximum: 0x00000001 |
| ; CHECK-NEXT: - Type: MEMORY |
| ; CHECK-NEXT: Memories: |
| ; CHECK-NEXT: - Initial: 0x00000002 |
| ; CHECK-NEXT: - Type: GLOBAL |
| ; CHECK-NEXT: Globals: |
| ; CHECK-NEXT: - Index: 0 |
| ; CHECK-NEXT: Type: I32 |
| ; CHECK-NEXT: Mutable: true |
| ; CHECK-NEXT: InitExpr: |
| ; CHECK-NEXT: Opcode: I32_CONST |
| ; CHECK-NEXT: Value: 66576 |
| ; CHECK-NEXT: - Index: 1 |
| ; CHECK-NEXT: Type: I32 |
| ; CHECK-NEXT: Mutable: false |
| ; CHECK-NEXT: InitExpr: |
| ; CHECK-NEXT: Opcode: I32_CONST |
| ; CHECK-NEXT: Value: 66576 |
| ; CHECK-NEXT: - Index: 2 |
| ; CHECK-NEXT: Type: I32 |
| ; CHECK-NEXT: Mutable: false |
| ; CHECK-NEXT: InitExpr: |
| ; CHECK-NEXT: Opcode: I32_CONST |
| ; CHECK-NEXT: Value: 1032 |
| ; CHECK-NEXT: - Index: 3 |
| ; CHECK-NEXT: Type: I32 |
| ; CHECK-NEXT: Mutable: false |
| ; CHECK-NEXT: InitExpr: |
| ; CHECK-NEXT: Opcode: I32_CONST |
| ; CHECK-NEXT: Value: 1024 |
| ; CHECK-NEXT: - Type: EXPORT |
| ; CHECK-NEXT: Exports: |
| ; CHECK-NEXT: - Name: memory |
| ; CHECK-NEXT: Kind: MEMORY |
| ; CHECK-NEXT: Index: 0 |
| ; CHECK-NEXT: - Name: __heap_base |
| ; CHECK-NEXT: Kind: GLOBAL |
| ; CHECK-NEXT: Index: 1 |
| ; CHECK-NEXT: - Name: __data_end |
| ; CHECK-NEXT: Kind: GLOBAL |
| ; CHECK-NEXT: Index: 2 |
| ; CHECK-NEXT: - Name: _start |
| ; CHECK-NEXT: Kind: FUNCTION |
| ; CHECK-NEXT: Index: 2 |
| ; CHECK-NEXT: - Name: foo |
| ; CHECK-NEXT: Kind: GLOBAL |
| ; CHECK-NEXT: Index: 3 |
| ; CHECK-NEXT: - Type: CODE |
| ; CHECK-NEXT: Functions: |
| ; CHECK-NEXT: - Index: 0 |
| ; CHECK-NEXT: Locals: |
| ; CHECK-NEXT: Body: 0B |
| ; CHECK-NEXT: - Index: 1 |
| ; CHECK-NEXT: Locals: |
| ; CHECK-NEXT: Body: 4100280284888080000B |
| ; CHECK-NEXT: - Index: 2 |
| ; CHECK-NEXT: Locals: |
| ; CHECK-NEXT: Body: 1081808080001A0B |
| ; CHECK-NEXT: - Type: DATA |
| ; CHECK-NEXT: Segments: |
| ; CHECK-NEXT: - SectionOffset: 7 |
| ; CHECK-NEXT: MemoryIndex: 0 |
| ; CHECK-NEXT: Offset: |
| ; CHECK-NEXT: Opcode: I32_CONST |
| ; CHECK-NEXT: Value: 1024 |
| ; CHECK-NEXT: Content: '0100000003000000' |
| ; CHECK-NEXT: - Type: CUSTOM |
| ; CHECK-NEXT: Name: name |
| ; CHECK-NEXT: FunctionNames: |
| ; CHECK-NEXT: - Index: 0 |
| ; CHECK-NEXT: Name: __wasm_call_ctors |
| ; CHECK-NEXT: - Index: 1 |
| ; CHECK-NEXT: Name: baz |
| ; CHECK-NEXT: - Index: 2 |
| ; CHECK-NEXT: Name: _start |
| ; CHECK-NEXT: ... |