85 lines · plain
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-exception6//7//===----------------------------------------------------------------------===//8///9/// \file10/// 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 of18// 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 = 125 26 27let Uses = [SP32, SP64], isCall = 1 in {28 29// CALL should take both variadic arguments and produce variadic results, but30// this is not possible to model directly. Instead, we select calls to a31// CALL_PARAMS taking variadic arguments linked with a CALL_RESULTS that handles32// producing the call's variadic results. We recombine the two in a custom33// inserter hook after DAG ISel, so passes over MachineInstrs will only ever34// observe CALL nodes with all of the expected variadic uses and defs.35let isPseudo = 1 in36defm 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 in42defm CALL_RESULTS :43 I<(outs), (ins variable_ops), (outs), (ins), [],44 "call_results", "call_results", -1>;45 46let variadicOpsAreDefs = 1, usesCustomInserter = 1, isPseudo = 1 in47defm 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 in52// WebAssemblyInstPrinter.cpp.53 54let variadicOpsAreDefs = 1 in55defm 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 in61defm 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 in70defm 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, isTerminator = 1, hasCtrlDep = 1, isBarrier = 1 in77defm 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 = 185