llvm/lib/Target/WebAssembly/WebAssemblyInstrCall.td

   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.
  19 let Uses = [SP32, SP64], Defs = [SP32, SP64], isCodeGenOnly = 1 in {
  20 defm ADJCALLSTACKDOWN : NRI<(outs), (ins i32imm:$amt, i32imm:$amt2),
  21                             [(WebAssemblycallseq_start timm:$amt, timm:$amt2)]>;
  22 defm 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
  27 let 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.
  35 let isPseudo = 1 in
  36 defm 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
  41 let variadicOpsAreDefs = 1, usesCustomInserter = 1, isPseudo = 1 in
  42 defm CALL_RESULTS :
  43   I<(outs), (ins variable_ops), (outs), (ins), [],
  44      "call_results", "call_results", -1>;
  45
  46 let variadicOpsAreDefs = 1, usesCustomInserter = 1, isPseudo = 1 in
  47 defm 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
  54 let variadicOpsAreDefs = 1 in
  55 defm CALL :
  56   I<(outs), (ins function32_op:$callee, variable_ops),
  57     (outs), (ins function32_op:$callee), [],
  58     "call", "call\t$callee", 0x10>;
  59
  60 let variadicOpsAreDefs = 1 in
  61 defm 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
  69 let isReturn = 1, isTerminator = 1, hasCtrlDep = 1, isBarrier = 1 in
  70 defm 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
  76 let isReturn = 1, isTerminator = 1, hasCtrlDep = 1, isBarrier = 1 in
  77 defm 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