aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-03-11 17:36:46 -0700
committerAlon Zakai <alonzakai@gmail.com>2013-03-11 17:46:54 -0700
commit8d53fec332c633f57910a5679ce3ae68f5f35969 (patch)
treef5975ae25d890890673a1fe6b51e023d23f1beeb /src
parent753b1f7edafb264b6ad6db97d2f483bc9f5ba7e2 (diff)
add ASSERTIONS to asm2g, and fix assertions for asm
Diffstat (limited to 'src')
-rw-r--r--src/jsifier.js4
-rw-r--r--src/library.js2
-rw-r--r--src/runtime.js8
3 files changed, 8 insertions, 6 deletions
diff --git a/src/jsifier.js b/src/jsifier.js
index ee54f17c..d36f26ce 100644
--- a/src/jsifier.js
+++ b/src/jsifier.js
@@ -735,7 +735,7 @@ function JSify(data, functionsOnly, givenFunctions) {
return indent + ' case ' + getLabelId(label.ident) + ': ' + (SHOW_LABELS ? '// ' + getOriginalLabelId(label.ident) : '') + '\n'
+ getLabelLines(label, indent + ' ');
}).join('\n') + '\n';
- if (ASSERTIONS) ret += indent + ' default: assert(0, "bad label: " + label);\n';
+ if (ASSERTIONS) ret += indent + ' default: assert(0' + (ASM_JS ? '' : ', "bad label: " + label') + ');\n';
ret += indent + '}\n';
if (func.setjmpTable) {
ret += ' } catch(e) { if (!e.longjmp || !(e.id in mySetjmpIds)) throw(e); setjmpTable[setjmpLabels[e.id]](e.value) }';
@@ -1454,7 +1454,7 @@ function JSify(data, functionsOnly, givenFunctions) {
makeFuncLineActor('unreachable', function(item) {
if (ASSERTIONS) {
- return 'throw "Reached an unreachable!"';
+ return ASM_JS ? 'abort()' : 'throw "Reached an unreachable!"';
} else {
return ';';
}
diff --git a/src/library.js b/src/library.js
index d787e30c..12e550ff 100644
--- a/src/library.js
+++ b/src/library.js
@@ -4155,8 +4155,10 @@ LibraryManager.library = {
memcpy__inline: function (dest, src, num, align) {
var ret = '';
#if ASSERTIONS
+#if ASM_JS == 0
ret += "assert(" + num + " % 1 === 0);"; //, 'memcpy given ' + " + num + " + ' bytes to copy. Problem with quantum=1 corrections perhaps?');";
#endif
+#endif
ret += makeCopyValues(dest, src, num, 'null', null, align);
return ret;
},
diff --git a/src/runtime.js b/src/runtime.js
index 8352ade1..d5c0fabc 100644
--- a/src/runtime.js
+++ b/src/runtime.js
@@ -27,7 +27,7 @@ var RuntimeGenerator = {
// The stack is always QUANTUM SIZE aligned, so we may not need to force alignment here
var ret = RuntimeGenerator.alloc(size, 'STACK', false, sep, USE_TYPED_ARRAYS != 2 || (isNumber(size) && parseInt(size) % {{{ QUANTUM_SIZE }}} == 0));
if (ASSERTIONS) {
- ret += sep + 'assert(STACKTOP|0 < STACK_MAX|0)';
+ ret += sep + 'assert(' + asmCoercion('(STACKTOP|0) < (STACK_MAX|0)', 'i32') + ')';
}
return ret;
},
@@ -38,12 +38,12 @@ var RuntimeGenerator = {
if (initial > 0) ret += '; STACKTOP = (STACKTOP + ' + initial + ')|0';
if (USE_TYPED_ARRAYS == 2) {
assert(initial % QUANTUM_SIZE == 0);
- if (ASSERTIONS) {
- ret += '; assert(STACKTOP|0 % {{{ QUANTUM_SIZE }}} == 0)';
+ if (ASSERTIONS && QUANTUM_SIZE == 4) {
+ ret += '; assert(' + asmCoercion('!(STACKTOP&3)', 'i32') + ')';
}
}
if (ASSERTIONS) {
- ret += '; assert(STACKTOP < STACK_MAX)';
+ ret += '; assert(' + asmCoercion('(STACKTOP|0) < (STACK_MAX|0)', 'i32') + ')';
}
if (false) {
ret += '; _memset(' + asmCoercion('__stackBase__', 'i32') + ', 0, ' + initial + ')';