67 lines · plain
1; RUN: llc -filetype=obj %s -o - | obj2yaml | FileCheck %s2 3target triple = "wasm32-unknown-unknown"4 5; Verify that addresses of external functions generate correctly typed6; imports and relocations of type R_TABLE_INDEX_I32.7 8declare void @f0(i32) #09@ptr_to_f0 = hidden global ptr @f0, align 410 11attributes #0 = { "wasm-import-module"="somewhere" "wasm-import-name"="something" }12 13declare void @f1(i32) #114@ptr_to_f1 = hidden global ptr @f1, align 415 16; Check that varargs functions have correctly typed imports17declare i32 @varargs(i32, i32, ...)18define void @call(i32) {19 %a = call i32 (i32, i32, ...) @varargs(i32 0, i32 0)20 ret void21}22 23; CHECK: --- !WASM24; CHECK-NEXT: FileHeader:25; CHECK-NEXT: Version: 0x126; CHECK-NEXT: Sections:27; CHECK-NEXT: - Type: TYPE28; CHECK-NEXT: Signatures:29; CHECK-NEXT: - Index: 030; CHECK-NEXT: ParamTypes:31; CHECK-NEXT: - I3232; CHECK-NEXT: ReturnTypes: []33; CHECK-NEXT: - Index: 134; CHECK-NEXT: ParamTypes:35; CHECK-NEXT: - I3236; CHECK-NEXT: - I3237; CHECK-NEXT: - I3238; CHECK-NEXT: ReturnTypes:39; CHECK-NEXT: - I3240; CHECK: - Type: IMPORT41; CHECK-NEXT: Imports:42; CHECK: - Module: env43; CHECK-NEXT: Field: __linear_memory44; CHECK: - Module: env45; CHECK-NEXT: Field: varargs46; CHECK-NEXT: Kind: FUNCTION47; CHECK-NEXT: SigIndex: 148; CHECK: - Module: somewhere49; CHECK-NEXT: Field: something50; CHECK: - Module: env51; CHECK-NEXT: Field: f152; CHECK-NEXT: Kind: FUNCTION53; CHECK-NEXT: SigIndex: 054; CHECK: - Module: env55; CHECK-NEXT: Field: __indirect_function_table56; CHECK: - Type: ELEM57; CHECK-NEXT: Segments:58; CHECK-NEXT: - Offset:59; CHECK-NEXT: Opcode: I32_CONST60; CHECK-NEXT: Value: 161; CHECK-NEXT: Functions: [ 1, 2 ]62; CHECK: - Type: DATA{{$}}63; CHECK-NEXT: Relocations:64; CHECK-NEXT: - Type: R_WASM_TABLE_INDEX_I3265; CHECK-NEXT: Index: 366; CHECK-NEXT: Offset: 0x667