1//===- WebAssemblyInstrCall.td-WebAssembly Call codegen support -*- tablegen -*-
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// WebAssembly Call operand code-gen constructs.
11///
12//===----------------------------------------------------------------------===//
13
14// TODO: addr64: These currently assume the callee address is 32-bit.
15// FIXME: add $type to first call_indirect asmstr (and maybe $flags)
16
17// Call sequence markers. These have an immediate which represents the amount of
18// stack space to allocate or free, which is used for varargs lowering.
19let Uses = [SP32, SP64], Defs = [SP32, SP64], isCodeGenOnly = 1 in {
20defm ADJCALLSTACKDOWN : NRI<(outs), (ins i32imm:$amt, i32imm:$amt2),
21                            [(WebAssemblycallseq_start timm:$amt, timm:$amt2)]>;
22defm ADJCALLSTACKUP : NRI<(outs), (ins i32imm:$amt, i32imm:$amt2),
23                          [(WebAssemblycallseq_end timm:$amt, timm:$amt2)]>;
24} // Uses = [SP32, SP64], Defs = [SP32, SP64], isCodeGenOnly = 1
25
26
27let Uses = [SP32, SP64], isCall = 1 in {
28
29// CALL should take both variadic arguments and produce variadic results, but
30// this is not possible to model directly. Instead, we select calls to a
31// CALL_PARAMS taking variadic arguments linked with a CALL_RESULTS that handles
32// producing the call's variadic results. We recombine the two in a custom
33// inserter hook after DAG ISel, so passes over MachineInstrs will only ever
34// observe CALL nodes with all of the expected variadic uses and defs.
35let isPseudo = 1 in
36defm CALL_PARAMS :
37  I<(outs), (ins function32_op:$callee, variable_ops),
38    (outs), (ins function32_op:$callee), [],
39    "call_params\t$callee", "call_params\t$callee", -1>;
40
41let variadicOpsAreDefs = 1, usesCustomInserter = 1, isPseudo = 1 in
42defm CALL_RESULTS :
43  I<(outs), (ins variable_ops), (outs), (ins), [],
44     "call_results", "call_results", -1>;
45
46let variadicOpsAreDefs = 1, usesCustomInserter = 1, isPseudo = 1 in
47defm RET_CALL_RESULTS :
48  I<(outs), (ins variable_ops), (outs), (ins), [],
49     "return_call_results", "return_call_results", -1>;
50
51// Note that instructions with variable_ops have custom printers in
52// WebAssemblyInstPrinter.cpp.
53
54let variadicOpsAreDefs = 1 in
55defm CALL :
56  I<(outs), (ins function32_op:$callee, variable_ops),
57    (outs), (ins function32_op:$callee), [],
58    "call", "call\t$callee", 0x10>;
59
60let variadicOpsAreDefs = 1 in
61defm CALL_INDIRECT :
62  I<(outs),
63    (ins TypeIndex:$type, table32_op:$table, variable_ops),
64    (outs),
65    (ins TypeIndex:$type, table32_op:$table),
66    [],
67    "call_indirect", "call_indirect\t$type, $table", 0x11>;
68
69let isReturn = 1, isTerminator = 1, hasCtrlDep = 1, isBarrier = 1 in
70defm RET_CALL :
71  I<(outs), (ins function32_op:$callee, variable_ops),
72    (outs), (ins function32_op:$callee), [],
73    "return_call    \t$callee", "return_call\t$callee", 0x12>,
74  Requires<[HasTailCall]>;
75
76let isReturn = 1 in
77defm RET_CALL_INDIRECT :
78  I<(outs), (ins TypeIndex:$type, table32_op:$table, variable_ops),
79    (outs), (ins TypeIndex:$type, table32_op:$table), [],
80    "return_call_indirect\t", "return_call_indirect\t$type, $table",
81    0x13>,
82  Requires<[HasTailCall]>;
83
84} // Uses = [SP32,SP64], isCall = 1
85