100 lines · c
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py2// RUN: %clang_cc1 -triple wasm32 -target-feature +reference-types -o - -emit-llvm %s | FileCheck %s3 4typedef void (*__funcref funcref_t)();5typedef int (*__funcref fn_funcref_t)(int);6typedef int (*fn_t)(int);7 8// Null funcref builtin call9// CHECK-LABEL: @get_null(10// CHECK-NEXT: entry:11// CHECK-NEXT: [[TMP0:%.*]] = call ptr addrspace(20) @llvm.wasm.ref.null.func()12// CHECK-NEXT: ret ptr addrspace(20) [[TMP0]]13//14funcref_t get_null() {15 return __builtin_wasm_ref_null_func();16}17 18// Call to null funcref builtin but requires cast since19// default return value for builtin is a funcref with function type () -> ().20// CHECK-LABEL: @get_null_ii(21// CHECK-NEXT: entry:22// CHECK-NEXT: [[TMP0:%.*]] = call ptr addrspace(20) @llvm.wasm.ref.null.func()23// CHECK-NEXT: ret ptr addrspace(20) [[TMP0]]24//25fn_funcref_t get_null_ii() {26 return (fn_funcref_t) __builtin_wasm_ref_null_func();27}28 29// Identity function for funcref.30// CHECK-LABEL: @identity(31// CHECK-NEXT: entry:32// CHECK-NEXT: [[FN_ADDR:%.*]] = alloca ptr addrspace(20), align 433// CHECK-NEXT: store ptr addrspace(20) [[FN:%.*]], ptr [[FN_ADDR]], align 434// CHECK-NEXT: [[TMP0:%.*]] = load ptr addrspace(20), ptr [[FN_ADDR]], align 435// CHECK-NEXT: ret ptr addrspace(20) [[TMP0]]36//37funcref_t identity(funcref_t fn) {38 return fn;39}40 41void helper(funcref_t);42 43// Pass funcref ref as an argument to a helper function.44// CHECK-LABEL: @handle(45// CHECK-NEXT: entry:46// CHECK-NEXT: [[FN_ADDR:%.*]] = alloca ptr addrspace(20), align 447// CHECK-NEXT: store ptr addrspace(20) [[FN:%.*]], ptr [[FN_ADDR]], align 448// CHECK-NEXT: [[TMP0:%.*]] = load ptr addrspace(20), ptr [[FN_ADDR]], align 449// CHECK-NEXT: call void @helper(ptr addrspace(20) noundef [[TMP0]])50// CHECK-NEXT: ret i32 051//52int handle(funcref_t fn) {53 helper(fn);54 return 0;55}56 57// Return funcref from function pointer.58// CHECK-LABEL: @get_ref(59// CHECK-NEXT: entry:60// CHECK-NEXT: [[FNPTR_ADDR:%.*]] = alloca ptr, align 461// CHECK-NEXT: store ptr [[FNPTR:%.*]], ptr [[FNPTR_ADDR]], align 462// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[FNPTR_ADDR]], align 463// CHECK-NEXT: [[TMP1:%.*]] = addrspacecast ptr [[TMP0]] to ptr addrspace(20)64// CHECK-NEXT: ret ptr addrspace(20) [[TMP1]]65//66fn_funcref_t get_ref(fn_t fnptr) {67 return (fn_funcref_t) fnptr;68}69 70// Call funcref71// CHECK-LABEL: @call_fn(72// CHECK-NEXT: entry:73// CHECK-NEXT: [[REF_ADDR:%.*]] = alloca ptr addrspace(20), align 474// CHECK-NEXT: [[X_ADDR:%.*]] = alloca i32, align 475// CHECK-NEXT: store ptr addrspace(20) [[REF:%.*]], ptr [[REF_ADDR]], align 476// CHECK-NEXT: store i32 [[X:%.*]], ptr [[X_ADDR]], align 477// CHECK-NEXT: [[TMP0:%.*]] = load ptr addrspace(20), ptr [[REF_ADDR]], align 478// CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[X_ADDR]], align 479// CHECK-NEXT: [[CALL:%.*]] = call addrspace(20) i32 [[TMP0]](i32 noundef [[TMP1]])80// CHECK-NEXT: ret i32 [[CALL]]81//82int call_fn(fn_funcref_t ref, int x) {83 return ref(x);84}85 86typedef fn_funcref_t (*builtin_refnull_t)();87 88// Calling ref.null through a function pointer.89// CHECK-LABEL: @get_null_fptr(90// CHECK-NEXT: entry:91// CHECK-NEXT: [[REFNULL_ADDR:%.*]] = alloca ptr, align 492// CHECK-NEXT: store ptr [[REFNULL:%.*]], ptr [[REFNULL_ADDR]], align 493// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[REFNULL_ADDR]], align 494// CHECK-NEXT: [[CALL:%.*]] = call ptr addrspace(20) [[TMP0]]()95// CHECK-NEXT: ret ptr addrspace(20) [[CALL]]96//97fn_funcref_t get_null_fptr(builtin_refnull_t refnull) {98 return refnull();99}100