blob: 41bfcbc9e0e56af07f0fd8a8d4f93a6d946aad46 [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 Gohman3acb1872016-10-24 23:27:49 +000031 !strconcat(prefix, "call\t$dst, $callee"),
32 0x10>;
Derek Schuff6f697832016-10-21 16:38:07 +000033 let isCodeGenOnly = 1 in {
34 def PCALL_INDIRECT_#vt : I<(outs vt:$dst), (ins I32:$callee, variable_ops),
35 [(set vt:$dst, (WebAssemblycall1 I32:$callee))],
36 "PSEUDO CALL INDIRECT\t$callee">;
37 } // isCodeGenOnly = 1
Dan Gohmanf50d9642016-10-25 16:55:52 +000038
39 def CALL_INDIRECT_#vt : I<(outs vt:$dst), (ins i32imm:$flags, variable_ops),
Derek Schuff6f697832016-10-21 16:38:07 +000040 [],
Dan Gohman3acb1872016-10-24 23:27:49 +000041 !strconcat(prefix, "call_indirect\t$dst"),
42 0x11>;
JF Bastienaf111db2015-08-24 22:16:48 +000043}
Derek Schuff39bf39f2016-08-02 23:16:09 +000044
45multiclass SIMD_CALL<ValueType vt, string prefix> {
46 def CALL_#vt : SIMD_I<(outs V128:$dst), (ins i32imm:$callee, variable_ops),
47 [(set (vt V128:$dst),
48 (WebAssemblycall1 (i32 imm:$callee)))],
Dan Gohman3acb1872016-10-24 23:27:49 +000049 !strconcat(prefix, "call\t$dst, $callee"),
50 0x10>;
Derek Schuff6f697832016-10-21 16:38:07 +000051 let isCodeGenOnly = 1 in {
52 def PCALL_INDIRECT_#vt : SIMD_I<(outs V128:$dst),
53 (ins I32:$callee, variable_ops),
54 [(set (vt V128:$dst),
55 (WebAssemblycall1 I32:$callee))],
56 "PSEUDO CALL INDIRECT\t$callee">;
57 } // isCodeGenOnly = 1
Dan Gohmanf50d9642016-10-25 16:55:52 +000058
Derek Schuff39bf39f2016-08-02 23:16:09 +000059 def CALL_INDIRECT_#vt : SIMD_I<(outs V128:$dst),
Dan Gohmanf50d9642016-10-25 16:55:52 +000060 (ins i32imm:$flags, variable_ops),
Derek Schuff6f697832016-10-21 16:38:07 +000061 [],
Dan Gohman3acb1872016-10-24 23:27:49 +000062 !strconcat(prefix, "call_indirect\t$dst"),
63 0x11>;
Derek Schuff39bf39f2016-08-02 23:16:09 +000064}
65
JF Bastienaf111db2015-08-24 22:16:48 +000066let Uses = [SP32, SP64], isCall = 1 in {
Dan Gohmanc7c04452015-12-14 22:56:51 +000067 defm : CALL<I32, "i32.">;
68 defm : CALL<I64, "i64.">;
69 defm : CALL<F32, "f32.">;
70 defm : CALL<F64, "f64.">;
Derek Schuff39bf39f2016-08-02 23:16:09 +000071 defm : SIMD_CALL<v16i8, "i8x16.">;
72 defm : SIMD_CALL<v8i16, "i16x8.">;
73 defm : SIMD_CALL<v4i32, "i32x4.">;
74 defm : SIMD_CALL<v4f32, "f32x4.">;
Dan Gohmanf71abef2015-09-09 16:13:47 +000075
Dan Gohmane2a7a822015-12-05 20:41:36 +000076 def CALL_VOID : I<(outs), (ins i32imm:$callee, variable_ops),
77 [(WebAssemblycall0 (i32 imm:$callee))],
Dan Gohman3acb1872016-10-24 23:27:49 +000078 "call \t$callee", 0x10>;
Derek Schuff6f697832016-10-21 16:38:07 +000079 let isCodeGenOnly = 1 in {
80 def PCALL_INDIRECT_VOID : I<(outs), (ins I32:$callee, variable_ops),
81 [(WebAssemblycall0 I32:$callee)],
82 "PSEUDO CALL INDIRECT\t$callee">;
83 } // isCodeGenOnly = 1
Dan Gohmanf50d9642016-10-25 16:55:52 +000084
85 def CALL_INDIRECT_VOID : I<(outs), (ins i32imm:$flags, variable_ops),
Derek Schuff6f697832016-10-21 16:38:07 +000086 [],
Dan Gohman3acb1872016-10-24 23:27:49 +000087 "call_indirect\t", 0x11>;
JF Bastienaf111db2015-08-24 22:16:48 +000088} // Uses = [SP32,SP64], isCall = 1
Dan Gohmanfb3e0592015-11-25 19:36:19 +000089
90} // Defs = [ARGUMENTS]
Dan Gohmane2a7a822015-12-05 20:41:36 +000091
92// Patterns for matching a direct call to a global address.
93def : Pat<(i32 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
94 (CALL_I32 tglobaladdr:$callee)>;
95def : Pat<(i64 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
96 (CALL_I64 tglobaladdr:$callee)>;
97def : Pat<(f32 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
98 (CALL_F32 tglobaladdr:$callee)>;
99def : Pat<(f64 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
100 (CALL_F64 tglobaladdr:$callee)>;
Derek Schuff39bf39f2016-08-02 23:16:09 +0000101def : Pat<(v16i8 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
102 (CALL_v16i8 tglobaladdr:$callee)>, Requires<[HasSIMD128]>;
103def : Pat<(v8i16 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
104 (CALL_v8i16 tglobaladdr:$callee)>, Requires<[HasSIMD128]>;
105def : Pat<(v4i32 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
106 (CALL_v4i32 tglobaladdr:$callee)>, Requires<[HasSIMD128]>;
107def : Pat<(v4f32 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))),
108 (CALL_v4f32 tglobaladdr:$callee)>, Requires<[HasSIMD128]>;
Dan Gohmane2a7a822015-12-05 20:41:36 +0000109def : Pat<(WebAssemblycall0 (WebAssemblywrapper tglobaladdr:$callee)),
110 (CALL_VOID tglobaladdr:$callee)>;
111
112// Patterns for matching a direct call to an external symbol.
113def : Pat<(i32 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
114 (CALL_I32 texternalsym:$callee)>;
115def : Pat<(i64 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
116 (CALL_I64 texternalsym:$callee)>;
117def : Pat<(f32 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
118 (CALL_F32 texternalsym:$callee)>;
119def : Pat<(f64 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
120 (CALL_F64 texternalsym:$callee)>;
Derek Schuff39bf39f2016-08-02 23:16:09 +0000121def : Pat<(v16i8 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
122 (CALL_v16i8 texternalsym:$callee)>, Requires<[HasSIMD128]>;
123def : Pat<(v8i16 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
124 (CALL_v8i16 texternalsym:$callee)>, Requires<[HasSIMD128]>;
125def : Pat<(v4i32 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
126 (CALL_v4i32 texternalsym:$callee)>, Requires<[HasSIMD128]>;
127def : Pat<(v4f32 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))),
128 (CALL_v4f32 texternalsym:$callee)>, Requires<[HasSIMD128]>;
Dan Gohmane2a7a822015-12-05 20:41:36 +0000129def : Pat<(WebAssemblycall0 (WebAssemblywrapper texternalsym:$callee)),
130 (CALL_VOID texternalsym:$callee)>;