1// WebAssemblyInstrBulkMemory.td - bulk memory 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 bulk memory codegen constructs.
11///
12//===----------------------------------------------------------------------===//
13
14// Instruction requiring HasBulkMemory and the bulk memory prefix byte
15multiclass BULK_I<dag oops_r, dag iops_r, dag oops_s, dag iops_s,
16                  list<dag> pattern_r, string asmstr_r = "",
17                  string asmstr_s = "", bits<32> simdop = -1> {
18  defm "" : I<oops_r, iops_r, oops_s, iops_s, pattern_r, asmstr_r, asmstr_s,
19              !or(0xfc00, !and(0xff, simdop))>,
20            Requires<[HasBulkMemory]>;
21}
22
23// Bespoke types and nodes for bulk memory ops
24def wasm_memcpy_t : SDTypeProfile<0, 5,
25  [SDTCisInt<0>, SDTCisInt<1>, SDTCisPtrTy<2>, SDTCisPtrTy<3>, SDTCisInt<4>]
26>;
27def wasm_memcpy : SDNode<"WebAssemblyISD::MEMORY_COPY", wasm_memcpy_t,
28                         [SDNPHasChain, SDNPMayLoad, SDNPMayStore]>;
29
30def wasm_memset_t : SDTypeProfile<0, 4,
31  [SDTCisInt<0>, SDTCisPtrTy<1>, SDTCisInt<2>, SDTCisInt<3>]
32>;
33def wasm_memset : SDNode<"WebAssemblyISD::MEMORY_FILL", wasm_memset_t,
34                         [SDNPHasChain, SDNPMayStore]>;
35
36multiclass BulkMemoryOps<WebAssemblyRegClass rc, string B> {
37
38let mayStore = 1, hasSideEffects = 1 in
39defm MEMORY_INIT_A#B :
40  BULK_I<(outs),
41         (ins i32imm_op:$seg, i32imm_op:$idx, rc:$dest,
42              I32:$offset, I32:$size),
43         (outs), (ins i32imm_op:$seg, i32imm_op:$idx),
44         [],
45         "memory.init\t$seg, $idx, $dest, $offset, $size",
46         "memory.init\t$seg, $idx", 0x08>;
47
48let hasSideEffects = 1 in
49defm DATA_DROP :
50  BULK_I<(outs), (ins i32imm_op:$seg), (outs), (ins i32imm_op:$seg),
51         [],
52         "data.drop\t$seg", "data.drop\t$seg", 0x09>;
53
54let mayLoad = 1, mayStore = 1 in
55defm MEMORY_COPY_A#B :
56  BULK_I<(outs), (ins i32imm_op:$src_idx, i32imm_op:$dst_idx,
57                      rc:$dst, rc:$src, rc:$len),
58         (outs), (ins i32imm_op:$src_idx, i32imm_op:$dst_idx),
59         [(wasm_memcpy (i32 imm:$src_idx), (i32 imm:$dst_idx),
60           rc:$dst, rc:$src, rc:$len
61         )],
62         "memory.copy\t$src_idx, $dst_idx, $dst, $src, $len",
63         "memory.copy\t$src_idx, $dst_idx", 0x0a>;
64
65let mayStore = 1 in
66defm MEMORY_FILL_A#B :
67  BULK_I<(outs), (ins i32imm_op:$idx, rc:$dst, I32:$value, rc:$size),
68         (outs), (ins i32imm_op:$idx),
69         [(wasm_memset (i32 imm:$idx), rc:$dst, I32:$value, rc:$size)],
70         "memory.fill\t$idx, $dst, $value, $size",
71         "memory.fill\t$idx", 0x0b>;
72}
73
74defm : BulkMemoryOps<I32, "32">;
75defm : BulkMemoryOps<I64, "64">;
76