summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAshley Nelson <nashley@google.com>2022-12-12 10:59:41 -0800
committerGitHub <noreply@github.com>2022-12-12 10:59:41 -0800
commit05dda84ea6d175237a92d3c2aae94cde0e6a6abb (patch)
tree997e9bf389a4f8788e574c5cb718cc67b0f43e82 /src
parentf5e71e6d2be82639681fc7d45794645e03d2ad93 (diff)
downloadbinaryen-05dda84ea6d175237a92d3c2aae94cde0e6a6abb.tar.gz
binaryen-05dda84ea6d175237a92d3c2aae94cde0e6a6abb.tar.bz2
binaryen-05dda84ea6d175237a92d3c2aae94cde0e6a6abb.zip
Add SIMD support to Multi-Memory Lowering Pass (#5336)
This PR adds support for SIMD instructions in the multi-memory lowering pass. Also includes optional bounds checks per the wasm spec guidelines, (SIMDLoad, SIMDLoadSplat, SIMDLoadExtend, SIMDLoadZero, SIMDLoadStoreLane load | store).
Diffstat (limited to 'src')
-rw-r--r--src/passes/MultiMemoryLowering.cpp40
1 files changed, 34 insertions, 6 deletions
diff --git a/src/passes/MultiMemoryLowering.cpp b/src/passes/MultiMemoryLowering.cpp
index 57be529fa..452aa21af 100644
--- a/src/passes/MultiMemoryLowering.cpp
+++ b/src/passes/MultiMemoryLowering.cpp
@@ -107,7 +107,8 @@ struct MultiMemoryLowering : public Pass {
replaceCurrent(builder.makeCall(funcName, {}, curr->type));
}
- template<typename T> Expression* getPtr(T* curr, Function* func) {
+ template<typename T>
+ Expression* getPtr(T* curr, Function* func, Index bytes) {
auto memoryIdx = parent.memoryIdxMap.at(curr->memory);
auto offsetGlobal = parent.getOffsetGlobal(memoryIdx);
Expression* ptrValue;
@@ -123,7 +124,8 @@ struct MultiMemoryLowering : public Pass {
if (parent.checkBounds) {
Index ptrIdx = Builder::addVar(getFunction(), parent.pointerType);
Expression* ptrSet = builder.makeLocalSet(ptrIdx, ptrValue);
- Expression* boundsCheck = makeBoundsCheck(curr, ptrIdx, memoryIdx);
+ Expression* boundsCheck =
+ makeBoundsCheck(curr, ptrIdx, memoryIdx, bytes);
Expression* ptrGet = builder.makeLocalGet(ptrIdx, parent.pointerType);
return builder.makeBlock({ptrSet, boundsCheck, ptrGet});
}
@@ -132,7 +134,8 @@ struct MultiMemoryLowering : public Pass {
}
template<typename T>
- Expression* makeBoundsCheck(T* curr, Index ptrIdx, Index memoryIdx) {
+ Expression*
+ makeBoundsCheck(T* curr, Index ptrIdx, Index memoryIdx, Index bytes) {
Name memorySizeFunc = parent.memorySizeNames[memoryIdx];
Expression* boundsCheck = builder.makeIf(
builder.makeBinary(
@@ -146,7 +149,7 @@ struct MultiMemoryLowering : public Pass {
Abstract::getBinary(parent.pointerType, Abstract::Add),
builder.makeLocalGet(ptrIdx, parent.pointerType),
builder.makeConstPtr(curr->offset, parent.pointerType)),
- builder.makeConstPtr(curr->bytes, parent.pointerType)),
+ builder.makeConstPtr(bytes, parent.pointerType)),
builder.makeCall(memorySizeFunc, {}, parent.pointerType)),
builder.makeUnreachable());
return boundsCheck;
@@ -157,12 +160,37 @@ struct MultiMemoryLowering : public Pass {
}
void visitLoad(Load* curr) {
- curr->ptr = getPtr(curr, getFunction());
+ curr->ptr = getPtr(curr, getFunction(), curr->bytes);
setMemory(curr);
}
void visitStore(Store* curr) {
- curr->ptr = getPtr(curr, getFunction());
+ curr->ptr = getPtr(curr, getFunction(), curr->bytes);
+ setMemory(curr);
+ }
+
+ void visitSIMDLoad(SIMDLoad* curr) {
+ curr->ptr = getPtr(curr, getFunction(), curr->getMemBytes());
+ setMemory(curr);
+ }
+
+ void visitSIMDLoadSplat(SIMDLoad* curr) {
+ curr->ptr = getPtr(curr, getFunction(), curr->getMemBytes());
+ setMemory(curr);
+ }
+
+ void visitSIMDLoadExtend(SIMDLoad* curr) {
+ curr->ptr = getPtr(curr, getFunction(), curr->getMemBytes());
+ setMemory(curr);
+ }
+
+ void visitSIMDLoadZero(SIMDLoad* curr) {
+ curr->ptr = getPtr(curr, getFunction(), curr->getMemBytes());
+ setMemory(curr);
+ }
+
+ void visitSIMDLoadStoreLane(SIMDLoadStoreLane* curr) {
+ curr->ptr = getPtr(curr, getFunction(), curr->getMemBytes());
setMemory(curr);
}
};