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 rc:$offset, rc:$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