summaryrefslogtreecommitdiff
path: root/src/emscripten-optimizer/optimizer-shared.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/emscripten-optimizer/optimizer-shared.cpp')
-rw-r--r--src/emscripten-optimizer/optimizer-shared.cpp10
1 files changed, 8 insertions, 2 deletions
diff --git a/src/emscripten-optimizer/optimizer-shared.cpp b/src/emscripten-optimizer/optimizer-shared.cpp
index 8208f6f47..773c5d9fc 100644
--- a/src/emscripten-optimizer/optimizer-shared.cpp
+++ b/src/emscripten-optimizer/optimizer-shared.cpp
@@ -104,6 +104,11 @@ Ref makeJsCoercedZero(JsType type) {
abort();
}
+bool needsJsCoercion(JsType type) {
+ // References need no coercion, but everything else does.
+ return type != JS_REF;
+}
+
Ref makeJsCoercion(Ref node, JsType type) {
switch (type) {
case JS_INT:
@@ -122,10 +127,11 @@ Ref makeJsCoercion(Ref node, JsType type) {
return ValueBuilder::makeCall(SIMD_INT16X8_CHECK, node);
case JS_INT32X4:
return ValueBuilder::makeCall(SIMD_INT32X4_CHECK, node);
+ case JS_REF:
case JS_NONE:
default:
- // non-validating code, emit nothing XXX this is dangerous, we should only
- // allow this when we know we are not validating
+ // No coercion is needed.
+ // TODO see if JS_NONE is actually used here.
return node;
}
}