blob: 4bbe2d7443eeb6790f9a59e95f5b696996cf3ba6 [file] [log] [blame]
JF Bastien5ca0bac2015-07-10 18:23:10 +00001//===- 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
Dan Gohmane2a7a822015-12-05 20:41:36 +000015// TODO: addr64: These currently assume the callee address is 32-bit.
16
Dan Gohmanfb3e0592015-11-25 19:36:19 +000017let Defs = [ARGUMENTS] in {
18
Dan Gohman905bef52015-12-05 19:43:19 +000019// 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.
Derek Schuff5a143062015-12-11 18:55:34 +000021let Uses = [SP32, SP64], Defs = [SP32, SP64], isCodeGenOnly = 1 in {
Dan Gohmane2a7a822015-12-05 20:41:36 +000022def ADJCALLSTACKDOWN : I<(outs), (ins i32imm:$amt),
Dan Gohman541841e2015-12-04 17:19:44 +000023 [(WebAssemblycallseq_start timm:$amt)]>;
Derek Schuff8bb5f292015-12-16 23:21:30 +000024def ADJCALLSTACKUP : I<(outs), (ins i32imm:$amt, i32imm:$amt2),
25 [(WebAssemblycallseq_end timm:$amt, timm:$amt2)]>;
JF Bastienaf111db2015-08-24 22:16:48 +000026} // isCodeGenOnly = 1
27
Dan Gohmanc7c04452015-12-14 22:56:51 +000028multiclass CALL<WebAssemblyRegClass vt, string prefix> {
Dan Gohmane2a7a822015-12-05 20:41:36 +000029 def CALL_#vt : I<(outs vt:$dst), (ins i32imm:$callee, variable_ops),
30 [(set vt:$dst, (WebAssemblycall1 (i32 imm:$callee)))],
Dan Gohmanc7c04452015-12-14 22:56:51 +000031 !strconcat(prefix, "call\t$dst, $callee")>;
Dan Gohman05a17aa2015-09-28 16:22:39 +000032 def CALL_INDIRECT_#vt : I<(outs vt:$dst), (ins I32:$callee, variable_ops),
Dan Gohmancf4748f2015-11-12 17:04:33 +000033 [(set vt:$dst, (WebAssemblycall1 I32:$callee))],
Dan Gohmanc7c04452015-12-14 22:56:51 +000034 !strconcat(prefix, "call_indirect\t$dst, $callee")>;
JF Bastienaf111db2015-08-24 22:16:48 +000035}
Derek Schuff39bf39f2016-08-02 23:16:09 +000036
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
JF Bastienaf111db2015-08-24 22:16:48 +000050let Uses = [SP32, SP64], isCall = 1 in {
Dan Gohmanc7c04452015-12-14 22:56:51 +000051 defm : CALL<I32, "i32.">;
52 defm : CALL<I64, "i64.">;
53 defm : CALL<F32, "f32.">;
54 defm : CALL<F64, "f64.">;
Derek Schuff39bf39f2016-08-02 23:16:09 +000055 defm : SIMD_CALL<v16i8, "i8x16.">;
56 defm : SIMD_CALL<v8i16, "i16x8.">;
57 defm : SIMD_CALL<v4i32, "i32x4.">;
58 defm : SIMD_CALL<v4f32, "f32x4.">;
Dan Gohmanf71abef2015-09-09 16:13:47 +000059
Dan Gohmane2a7a822015-12-05 20:41:36 +000060 def CALL_VOID : I<(outs), (ins i32imm:$callee, variable_ops),
61 [(WebAssemblycall0 (i32 imm:$callee))],
Dan Gohman94ef41f2015-11-18 17:05:35 +000062 "call \t$callee">;
Dan Gohman05a17aa2015-09-28 16:22:39 +000063 def CALL_INDIRECT_VOID : I<(outs), (ins I32:$callee, variable_ops),
Dan Gohmancf4748f2015-11-12 17:04:33 +000064 [(WebAssemblycall0 I32:$callee)],
Dan Gohman1031d4a2015-11-15 15:34:19 +000065 "call_indirect\t$callee">;
JF Bastienaf111db2015-08-24 22:16:48 +000066} // Uses = [SP32,SP64], isCall = 1
Dan Gohmanfb3e0592015-11-25 19:36:19 +000067
68} // Defs = [ARGUMENTS]
Dan Gohmane2a7a822015-12-05 20:41:36 +000069
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)>;
Derek Schuff39bf39f2016-08-02 23:16:09 +000079def : 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]>;
Dan Gohmane2a7a822015-12-05 20:41:36 +000087def : 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)>;
Derek Schuff39bf39f2016-08-02 23:16:09 +000099def : 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]>;
Dan Gohmane2a7a822015-12-05 20:41:36 +0000107def : Pat<(WebAssemblycall0 (WebAssemblywrapper texternalsym:$callee)),
108 (CALL_VOID texternalsym:$callee)>;