1; RUN: llc -filetype=asm -asm-verbose=false %s -o %t.s 2; RUN: FileCheck -check-prefix=ASM -input-file %t.s %s 3; RUN: llvm-mc -triple=wasm32-unknown-unknown -filetype=asm %t.s -o - | FileCheck -check-prefix=ASM %s 4; RUN: llc -filetype=obj %s -o - | obj2yaml | FileCheck %s 5; RUN: llvm-mc -triple=wasm32-unknown-unknown -filetype=obj %t.s -o - | obj2yaml | FileCheck %s 6 7; This specifically tests that we can generate a binary from the assembler 8; that produces the same binary as the backend would. 9 10target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" 11target triple = "wasm32-unknown-unknown" 12 13declare void @bar() 14 15define void @foo(i32 %n) { 16entry: 17 call void @bar() 18 ret void 19} 20 21; Checking assembly is not the point of this test, but if something breaks 22; it is easier to spot it here than in the yaml output. 23 24; ASM: .text 25; ASM: .file "assembler-binary.ll" 26; ASM: .globl foo 27; ASM: foo: 28; ASM-NEXT: .functype foo (i32) -> () 29; ASM-NEXT: call bar@FUNCTION 30; ASM-NEXT: end_function 31; ASM-NEXT: .Lfunc_end0: 32; ASM-NEXT: .size foo, .Lfunc_end0-foo 33; ASM: .functype bar () -> () 34 35 36; CHECK: --- !WASM 37; CHECK-NEXT: FileHeader: 38; CHECK-NEXT: Version: 0x00000001 39; CHECK-NEXT: Sections: 40; CHECK-NEXT: - Type: TYPE 41; CHECK-NEXT: Signatures: 42; CHECK-NEXT: - Index: 0 43; CHECK-NEXT: ReturnType: NORESULT 44; CHECK-NEXT: ParamTypes: 45; CHECK-NEXT: - I32 46; CHECK-NEXT: - Index: 1 47; CHECK-NEXT: ReturnType: NORESULT 48; CHECK-NEXT: ParamTypes: [] 49; CHECK-NEXT: - Type: IMPORT 50; CHECK-NEXT: Imports: 51; CHECK-NEXT: - Module: env 52; CHECK-NEXT: Field: __linear_memory 53; CHECK-NEXT: Kind: MEMORY 54; CHECK-NEXT: Memory: 55; CHECK-NEXT: Initial: 0x00000000 56; CHECK-NEXT: - Module: env 57; CHECK-NEXT: Field: __indirect_function_table 58; CHECK-NEXT: Kind: TABLE 59; CHECK-NEXT: Table: 60; CHECK-NEXT: ElemType: FUNCREF 61; CHECK-NEXT: Limits: 62; CHECK-NEXT: Initial: 0x00000000 63; CHECK-NEXT: - Module: env 64; CHECK-NEXT: Field: bar 65; CHECK-NEXT: Kind: FUNCTION 66; CHECK-NEXT: SigIndex: 1 67; CHECK-NEXT: - Type: FUNCTION 68; CHECK-NEXT: FunctionTypes: [ 0 ] 69; CHECK-NEXT: - Type: CODE 70; CHECK-NEXT: Relocations: 71; CHECK-NEXT: - Type: R_WEBASSEMBLY_FUNCTION_INDEX_LEB 72; CHECK-NEXT: Index: 1 73; CHECK-NEXT: Offset: 0x00000004 74; CHECK-NEXT: Functions: 75; CHECK-NEXT: - Index: 1 76; CHECK-NEXT: Locals: [] 77; CHECK-NEXT: Body: 1080808080000B 78; CHECK-NEXT: - Type: CUSTOM 79; CHECK-NEXT: Name: linking 80; CHECK-NEXT: Version: 2 81; CHECK-NEXT: SymbolTable: 82; CHECK-NEXT: - Index: 0 83; CHECK-NEXT: Kind: FUNCTION 84; CHECK-NEXT: Name: foo 85; CHECK-NEXT: Flags: [ ] 86; CHECK-NEXT: Function: 1 87; CHECK-NEXT: - Index: 1 88; CHECK-NEXT: Kind: FUNCTION 89; CHECK-NEXT: Name: bar 90; CHECK-NEXT: Flags: [ UNDEFINED ] 91; CHECK-NEXT: Function: 0 92; CHECK-NEXT: ... 93