1; RUN: llc < %s -asm-verbose=false -mattr=-reference-types,-call-indirect-overlong -O2 | FileCheck %s 2; RUN: llc < %s -asm-verbose=false -mattr=+reference-types -O2 | FileCheck --check-prefix=REF %s 3; RUN: llc < %s -asm-verbose=false -mattr=-reference-types,-call-indirect-overlong -O2 --filetype=obj | obj2yaml | FileCheck --check-prefix=YAML %s 4 5; This tests pointer features that may codegen differently in wasm64. 6 7target triple = "wasm64-unknown-unknown" 8 9define void @bar(i32 %n) { 10entry: 11 ret void 12} 13 14define void @foo(ptr %fp) { 15entry: 16 call void %fp(i32 1) 17 ret void 18} 19 20define void @test() { 21entry: 22 call void @foo(ptr @bar) 23 store ptr @bar, ptr @fptr 24 ret void 25} 26 27@fptr = global ptr @bar 28 29; For simplicity (and compatibility with UB C/C++ code) we keep all types 30; of pointers the same size, so function pointers (which are 32-bit indices 31; in Wasm) are represented as 64-bit until called. 32 33; CHECK-LABEL: foo: 34; CHECK: .functype foo (i64) -> () 35; CHECK-NEXT: i32.const 1 36; CHECK-NEXT: local.get 0 37; CHECK-NEXT: call_indirect (i32) -> () 38; REF: call_indirect __indirect_function_table, (i32) -> () 39 40; CHECK: .functype test () -> () 41; CHECK-NEXT: i64.const bar 42; CHECK-NEXT: call foo 43 44 45; Check we're emitting a 64-bit relocs for the call_indirect, the 46; `i64.const bar` reference in code, and the global. 47 48; YAML: Memory: 49; YAML-NEXT: Flags: [ IS_64 ] 50; YAML-NEXT: Minimum: 0x1 51 52; YAML: - Type: CODE 53; YAML: - Type: R_WASM_TABLE_INDEX_SLEB64 54; YAML-NEXT: Index: 0 55; YAML-NEXT: Offset: 0x15 56; YAML: - Type: R_WASM_TABLE_INDEX_SLEB64 57; YAML-NEXT: Index: 0 58; YAML-NEXT: Offset: 0x28 59 60; YAML: - Type: DATA 61; YAML: - Type: R_WASM_TABLE_INDEX_I64 62; YAML-NEXT: Index: 0 63; YAML-NEXT: Offset: 0x6 64