xref: /llvm-project/clang/test/CodeGen/WebAssembly/wasm-funcref.c (revision 8d0c889752121e62e7258570c592b905f544d36f)
1*8d0c8897SPaulo Matos // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
2*8d0c8897SPaulo Matos // RUN: %clang_cc1 -triple wasm32 -target-feature +reference-types -o - -emit-llvm %s | FileCheck %s
3*8d0c8897SPaulo Matos 
4*8d0c8897SPaulo Matos typedef void (*__funcref funcref_t)();
5*8d0c8897SPaulo Matos typedef int (*__funcref fn_funcref_t)(int);
6*8d0c8897SPaulo Matos typedef int (*fn_t)(int);
7*8d0c8897SPaulo Matos 
8*8d0c8897SPaulo Matos // Null funcref builtin call
9*8d0c8897SPaulo Matos // CHECK-LABEL: @get_null(
10*8d0c8897SPaulo Matos // CHECK-NEXT:  entry:
11*8d0c8897SPaulo Matos // CHECK-NEXT:    [[TMP0:%.*]] = call ptr addrspace(20) @llvm.wasm.ref.null.func()
12*8d0c8897SPaulo Matos // CHECK-NEXT:    ret ptr addrspace(20) [[TMP0]]
13*8d0c8897SPaulo Matos //
get_null()14*8d0c8897SPaulo Matos funcref_t get_null() {
15*8d0c8897SPaulo Matos   return __builtin_wasm_ref_null_func();
16*8d0c8897SPaulo Matos }
17*8d0c8897SPaulo Matos 
18*8d0c8897SPaulo Matos // Call to null funcref builtin but requires cast since
19*8d0c8897SPaulo Matos // default return value for builtin is a funcref with function type () -> ().
20*8d0c8897SPaulo Matos // CHECK-LABEL: @get_null_ii(
21*8d0c8897SPaulo Matos // CHECK-NEXT:  entry:
22*8d0c8897SPaulo Matos // CHECK-NEXT:    [[TMP0:%.*]] = call ptr addrspace(20) @llvm.wasm.ref.null.func()
23*8d0c8897SPaulo Matos // CHECK-NEXT:    ret ptr addrspace(20) [[TMP0]]
24*8d0c8897SPaulo Matos //
get_null_ii()25*8d0c8897SPaulo Matos fn_funcref_t get_null_ii() {
26*8d0c8897SPaulo Matos   return (fn_funcref_t) __builtin_wasm_ref_null_func();
27*8d0c8897SPaulo Matos }
28*8d0c8897SPaulo Matos 
29*8d0c8897SPaulo Matos // Identity function for funcref.
30*8d0c8897SPaulo Matos // CHECK-LABEL: @identity(
31*8d0c8897SPaulo Matos // CHECK-NEXT:  entry:
32*8d0c8897SPaulo Matos // CHECK-NEXT:    [[FN_ADDR:%.*]] = alloca ptr addrspace(20), align 4
33*8d0c8897SPaulo Matos // CHECK-NEXT:    store ptr addrspace(20) [[FN:%.*]], ptr [[FN_ADDR]], align 4
34*8d0c8897SPaulo Matos // CHECK-NEXT:    [[TMP0:%.*]] = load ptr addrspace(20), ptr [[FN_ADDR]], align 4
35*8d0c8897SPaulo Matos // CHECK-NEXT:    ret ptr addrspace(20) [[TMP0]]
36*8d0c8897SPaulo Matos //
identity(funcref_t fn)37*8d0c8897SPaulo Matos funcref_t identity(funcref_t fn) {
38*8d0c8897SPaulo Matos   return fn;
39*8d0c8897SPaulo Matos }
40*8d0c8897SPaulo Matos 
41*8d0c8897SPaulo Matos void helper(funcref_t);
42*8d0c8897SPaulo Matos 
43*8d0c8897SPaulo Matos // Pass funcref ref as an argument to a helper function.
44*8d0c8897SPaulo Matos // CHECK-LABEL: @handle(
45*8d0c8897SPaulo Matos // CHECK-NEXT:  entry:
46*8d0c8897SPaulo Matos // CHECK-NEXT:    [[FN_ADDR:%.*]] = alloca ptr addrspace(20), align 4
47*8d0c8897SPaulo Matos // CHECK-NEXT:    store ptr addrspace(20) [[FN:%.*]], ptr [[FN_ADDR]], align 4
48*8d0c8897SPaulo Matos // CHECK-NEXT:    [[TMP0:%.*]] = load ptr addrspace(20), ptr [[FN_ADDR]], align 4
49*8d0c8897SPaulo Matos // CHECK-NEXT:    call void @helper(ptr addrspace(20) noundef [[TMP0]])
50*8d0c8897SPaulo Matos // CHECK-NEXT:    ret i32 0
51*8d0c8897SPaulo Matos //
handle(funcref_t fn)52*8d0c8897SPaulo Matos int handle(funcref_t fn) {
53*8d0c8897SPaulo Matos   helper(fn);
54*8d0c8897SPaulo Matos   return 0;
55*8d0c8897SPaulo Matos }
56*8d0c8897SPaulo Matos 
57*8d0c8897SPaulo Matos // Return funcref from function pointer.
58*8d0c8897SPaulo Matos // CHECK-LABEL: @get_ref(
59*8d0c8897SPaulo Matos // CHECK-NEXT:  entry:
60*8d0c8897SPaulo Matos // CHECK-NEXT:    [[FNPTR_ADDR:%.*]] = alloca ptr, align 4
61*8d0c8897SPaulo Matos // CHECK-NEXT:    store ptr [[FNPTR:%.*]], ptr [[FNPTR_ADDR]], align 4
62*8d0c8897SPaulo Matos // CHECK-NEXT:    [[TMP0:%.*]] = load ptr, ptr [[FNPTR_ADDR]], align 4
63*8d0c8897SPaulo Matos // CHECK-NEXT:    [[TMP1:%.*]] = addrspacecast ptr [[TMP0]] to ptr addrspace(20)
64*8d0c8897SPaulo Matos // CHECK-NEXT:    ret ptr addrspace(20) [[TMP1]]
65*8d0c8897SPaulo Matos //
get_ref(fn_t fnptr)66*8d0c8897SPaulo Matos fn_funcref_t get_ref(fn_t fnptr) {
67*8d0c8897SPaulo Matos   return (fn_funcref_t) fnptr;
68*8d0c8897SPaulo Matos }
69*8d0c8897SPaulo Matos 
70*8d0c8897SPaulo Matos // Call funcref
71*8d0c8897SPaulo Matos // CHECK-LABEL: @call_fn(
72*8d0c8897SPaulo Matos // CHECK-NEXT:  entry:
73*8d0c8897SPaulo Matos // CHECK-NEXT:    [[REF_ADDR:%.*]] = alloca ptr addrspace(20), align 4
74*8d0c8897SPaulo Matos // CHECK-NEXT:    [[X_ADDR:%.*]] = alloca i32, align 4
75*8d0c8897SPaulo Matos // CHECK-NEXT:    store ptr addrspace(20) [[REF:%.*]], ptr [[REF_ADDR]], align 4
76*8d0c8897SPaulo Matos // CHECK-NEXT:    store i32 [[X:%.*]], ptr [[X_ADDR]], align 4
77*8d0c8897SPaulo Matos // CHECK-NEXT:    [[TMP0:%.*]] = load ptr addrspace(20), ptr [[REF_ADDR]], align 4
78*8d0c8897SPaulo Matos // CHECK-NEXT:    [[TMP1:%.*]] = load i32, ptr [[X_ADDR]], align 4
79*8d0c8897SPaulo Matos // CHECK-NEXT:    [[CALL:%.*]] = call addrspace(20) i32 [[TMP0]](i32 noundef [[TMP1]])
80*8d0c8897SPaulo Matos // CHECK-NEXT:    ret i32 [[CALL]]
81*8d0c8897SPaulo Matos //
call_fn(fn_funcref_t ref,int x)82*8d0c8897SPaulo Matos int call_fn(fn_funcref_t ref, int x) {
83*8d0c8897SPaulo Matos   return ref(x);
84*8d0c8897SPaulo Matos }
85*8d0c8897SPaulo Matos 
86*8d0c8897SPaulo Matos typedef fn_funcref_t (*builtin_refnull_t)();
87*8d0c8897SPaulo Matos 
88*8d0c8897SPaulo Matos // Calling ref.null through a function pointer.
89*8d0c8897SPaulo Matos // CHECK-LABEL: @get_null_fptr(
90*8d0c8897SPaulo Matos // CHECK-NEXT:  entry:
91*8d0c8897SPaulo Matos // CHECK-NEXT:    [[REFNULL_ADDR:%.*]] = alloca ptr, align 4
92*8d0c8897SPaulo Matos // CHECK-NEXT:    store ptr [[REFNULL:%.*]], ptr [[REFNULL_ADDR]], align 4
93*8d0c8897SPaulo Matos // CHECK-NEXT:    [[TMP0:%.*]] = load ptr, ptr [[REFNULL_ADDR]], align 4
94*8d0c8897SPaulo Matos // CHECK-NEXT:    [[CALL:%.*]] = call ptr addrspace(20) [[TMP0]]()
95*8d0c8897SPaulo Matos // CHECK-NEXT:    ret ptr addrspace(20) [[CALL]]
96*8d0c8897SPaulo Matos //
get_null_fptr(builtin_refnull_t refnull)97*8d0c8897SPaulo Matos fn_funcref_t get_null_fptr(builtin_refnull_t refnull) {
98*8d0c8897SPaulo Matos   return refnull();
99*8d0c8897SPaulo Matos }
100