1//===- WebAssemblyInstrCall.td-WebAssembly Call codegen support -*- tablegen -*-
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9///
10/// \file
11/// \brief WebAssembly Call operand code-gen constructs.
12///
13//===----------------------------------------------------------------------===//
14
15// TODO: addr64: These currently assume the callee address is 32-bit.
16
17let Defs = [ARGUMENTS] in {
18
19// Call sequence markers. These have an immediate which represents the amount of
20// stack space to allocate or free, which is used for varargs lowering.
21let Uses = [SP32, SP64], Defs = [SP32, SP64], isCodeGenOnly = 1 in {
22def ADJCALLSTACKDOWN : I<(outs), (ins i32imm:$amt),
23                         [(WebAssemblycallseq_start timm:$amt)]>;
24def ADJCALLSTACKUP : I<(outs), (ins i32imm:$amt, i32imm:$amt2),
25                       [(WebAssemblycallseq_end timm:$amt, timm:$amt2)]>;
26} // isCodeGenOnly = 1
27
28multiclass CALL<WebAssemblyRegClass vt, string prefix> {
29  def CALL_#vt : I<(outs vt:$dst), (ins i32imm:$callee, variable_ops),
30                   [(set vt:$dst, (WebAssemblycall1 (i32 imm:$callee)))],
31                   !strconcat(prefix, "call\t$dst, $callee")>;
32  def CALL_INDIRECT_#vt : I<(outs vt:$dst), (ins I32:$callee, variable_ops),
33                            [(set vt:$dst, (WebAssemblycall1 I32:$callee))],
34                            !strconcat(prefix, "call_indirect\t$dst, $callee")>;
35}
36
37multiclass SIMD_CALL<ValueType vt, string prefix> {
38  def CALL_#vt : SIMD_I<(outs V128:$dst), (ins i32imm:$callee, variable_ops),
39                         [(set (vt V128:$dst),
40                               (WebAssemblycall1 (i32 imm:$callee)))],
41                         !strconcat(prefix, "call\t$dst, $callee")>;
42  def CALL_INDIRECT_#vt : SIMD_I<(outs V128:$dst),
43                                  (ins I32:$callee, variable_ops),
44                                  [(set (vt V128:$dst),
45                                        (WebAssemblycall1 I32:$callee))],
46                                  !strconcat(prefix,
47                                             "call_indirect\t$dst, $callee")>;
48}
49
50let Uses = [SP32, SP64], isCall = 1 in {
51  defm : CALL<I32, "i32.">;
52  defm : CALL<I64, "i64.">;
53  defm : CALL<F32, "f32.">;
54  defm : CALL<F64, "f64.">;
55  defm : SIMD_CALL<v16i8, "i8x16.">;
56  defm : SIMD_CALL<v8i16, "i16x8.">;
57  defm : SIMD_CALL<v4i32, "i32x4.">;
58  defm : SIMD_CALL<v4f32, "f32x4.">;
59
60  def CALL_VOID : I<(outs), (ins i32imm:$callee, variable_ops),
61                    [(WebAssemblycall0 (i32 imm:$callee))],
62                    "call    \t$callee">;
63  def CALL_INDIRECT_VOID : I<(outs), (ins I32:$callee, variable_ops),
64                             [(WebAssemblycall0 I32:$callee)],
65                             "call_indirect\t$callee">;
66} // Uses = [SP32,SP64], isCall = 1
67
68} // Defs = [ARGUMENTS]
69
70// Patterns for matching a direct call to a global address.
71def : Pat<(i32 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
72          (CALL_I32 tglobaladdr:$callee)>;
73def : Pat<(i64 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
74          (CALL_I64 tglobaladdr:$callee)>;
75def : Pat<(f32 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
76          (CALL_F32 tglobaladdr:$callee)>;
77def : Pat<(f64 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
78          (CALL_F64 tglobaladdr:$callee)>;
79def : Pat<(v16i8 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
80          (CALL_v16i8 tglobaladdr:$callee)>, Requires<[HasSIMD128]>;
81def : Pat<(v8i16 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
82          (CALL_v8i16 tglobaladdr:$callee)>, Requires<[HasSIMD128]>;
83def : Pat<(v4i32 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
84          (CALL_v4i32 tglobaladdr:$callee)>, Requires<[HasSIMD128]>;
85def : Pat<(v4f32 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
86          (CALL_v4f32 tglobaladdr:$callee)>, Requires<[HasSIMD128]>;
87def : Pat<(WebAssemblycall0 (WebAssemblywrapper tglobaladdr:$callee)),
88          (CALL_VOID tglobaladdr:$callee)>;
89
90// Patterns for matching a direct call to an external symbol.
91def : Pat<(i32 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
92          (CALL_I32 texternalsym:$callee)>;
93def : Pat<(i64 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
94          (CALL_I64 texternalsym:$callee)>;
95def : Pat<(f32 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
96          (CALL_F32 texternalsym:$callee)>;
97def : Pat<(f64 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
98          (CALL_F64 texternalsym:$callee)>;
99def : Pat<(v16i8 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
100          (CALL_v16i8 texternalsym:$callee)>, Requires<[HasSIMD128]>;
101def : Pat<(v8i16 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
102          (CALL_v8i16 texternalsym:$callee)>, Requires<[HasSIMD128]>;
103def : Pat<(v4i32 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
104          (CALL_v4i32 texternalsym:$callee)>, Requires<[HasSIMD128]>;
105def : Pat<(v4f32 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
106          (CALL_v4f32 texternalsym:$callee)>, Requires<[HasSIMD128]>;
107def : Pat<(WebAssemblycall0 (WebAssemblywrapper texternalsym:$callee)),
108          (CALL_VOID texternalsym:$callee)>;
109