1cc1b9b68SWouter van Oortmerssen; RUN: llc < %s -asm-verbose=false -O2 | FileCheck %s 2cc1b9b68SWouter van Oortmerssen; RUN: llc < %s -asm-verbose=false -O2 --filetype=obj | obj2yaml | FileCheck --check-prefix=YAML %s 3cc1b9b68SWouter van Oortmerssen 4cc1b9b68SWouter van Oortmerssen; This tests pointer features that may codegen differently in wasm64. 5cc1b9b68SWouter van Oortmerssen 6cc1b9b68SWouter van Oortmerssentarget datalayout = "e-m:e-p:64:64-i64:64-n32:64-S128" 7cc1b9b68SWouter van Oortmerssentarget triple = "wasm64-unknown-unknown" 8cc1b9b68SWouter van Oortmerssen 9cc1b9b68SWouter van Oortmerssendefine void @bar(i32 %n) { 10cc1b9b68SWouter van Oortmerssenentry: 11cc1b9b68SWouter van Oortmerssen ret void 12cc1b9b68SWouter van Oortmerssen} 13cc1b9b68SWouter van Oortmerssen 14cc1b9b68SWouter van Oortmerssendefine void @foo(void (i32)* %fp) { 15cc1b9b68SWouter van Oortmerssenentry: 16cc1b9b68SWouter van Oortmerssen call void %fp(i32 1) 17cc1b9b68SWouter van Oortmerssen ret void 18cc1b9b68SWouter van Oortmerssen} 19cc1b9b68SWouter van Oortmerssen 20cc1b9b68SWouter van Oortmerssendefine void @test() { 21cc1b9b68SWouter van Oortmerssenentry: 22cc1b9b68SWouter van Oortmerssen call void @foo(void (i32)* @bar) 23cc1b9b68SWouter van Oortmerssen store void (i32)* @bar, void (i32)** @fptr 24cc1b9b68SWouter van Oortmerssen ret void 25cc1b9b68SWouter van Oortmerssen} 26cc1b9b68SWouter van Oortmerssen 27cc1b9b68SWouter van Oortmerssen@fptr = global void (i32)* @bar 28cc1b9b68SWouter van Oortmerssen 29cc1b9b68SWouter van Oortmerssen; For simplicity (and compatibility with UB C/C++ code) we keep all types 30cc1b9b68SWouter van Oortmerssen; of pointers the same size, so function pointers (which are 32-bit indices 31cc1b9b68SWouter van Oortmerssen; in Wasm) are represented as 64-bit until called. 32cc1b9b68SWouter van Oortmerssen 33cc1b9b68SWouter van Oortmerssen; CHECK: .functype foo (i64) -> () 34cc1b9b68SWouter van Oortmerssen; CHECK-NEXT: i32.const 1 35cc1b9b68SWouter van Oortmerssen; CHECK-NEXT: local.get 0 36cc1b9b68SWouter van Oortmerssen; CHECK-NEXT: i32.wrap_i64 37*96ef4f30SSam Clegg; CHECK-NEXT: call_indirect (i32) -> () 38cc1b9b68SWouter van Oortmerssen 39cc1b9b68SWouter van Oortmerssen; CHECK: .functype test () -> () 40cc1b9b68SWouter van Oortmerssen; CHECK-NEXT: i64.const bar 41cc1b9b68SWouter van Oortmerssen; CHECK-NEXT: call foo 42cc1b9b68SWouter van Oortmerssen 43cc1b9b68SWouter van Oortmerssen 44*96ef4f30SSam Clegg; Check we're emitting a 64-bit reloc for `i64.const bar` and the global. 45cc1b9b68SWouter van Oortmerssen 46cc1b9b68SWouter van Oortmerssen; YAML: Memory: 47cc1b9b68SWouter van Oortmerssen; YAML-NEXT: Flags: [ IS_64 ] 489aa78982SGeorgii Rymar; YAML-NEXT: Initial: 0x1 49cc1b9b68SWouter van Oortmerssen 50cc1b9b68SWouter van Oortmerssen; YAML: - Type: CODE 51cc1b9b68SWouter van Oortmerssen; YAML: - Type: R_WASM_TABLE_INDEX_SLEB64 52cc1b9b68SWouter van Oortmerssen; YAML-NEXT: Index: 0 53*96ef4f30SSam Clegg; YAML-NEXT: Offset: 0x16 54cc1b9b68SWouter van Oortmerssen 55cc1b9b68SWouter van Oortmerssen; YAML: - Type: DATA 56cc1b9b68SWouter van Oortmerssen; YAML: - Type: R_WASM_TABLE_INDEX_I64 57cc1b9b68SWouter van Oortmerssen; YAML-NEXT: Index: 0 589aa78982SGeorgii Rymar; YAML-NEXT: Offset: 0x6 59