summaryrefslogtreecommitdiff
path: root/src/wasm.h
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2015-11-06 10:53:56 -0800
committerAlon Zakai <alonzakai@gmail.com>2015-11-06 10:53:56 -0800
commitbbd01fb6f40d315b24e061c6a99e5eb72ba33322 (patch)
treed568c8c883c66db07fc7cc866476d4f7afb45f29 /src/wasm.h
parentf5322cdb712db7bd12b6133164e6c5f95edd1873 (diff)
downloadbinaryen-bbd01fb6f40d315b24e061c6a99e5eb72ba33322.tar.gz
binaryen-bbd01fb6f40d315b24e061c6a99e5eb72ba33322.tar.bz2
binaryen-bbd01fb6f40d315b24e061c6a99e5eb72ba33322.zip
print host ops
Diffstat (limited to 'src/wasm.h')
-rw-r--r--src/wasm.h15
1 files changed, 14 insertions, 1 deletions
diff --git a/src/wasm.h b/src/wasm.h
index ba3c4ac45..febbcd052 100644
--- a/src/wasm.h
+++ b/src/wasm.h
@@ -775,7 +775,20 @@ public:
ExpressionList operands;
std::ostream& doPrint(std::ostream &o, unsigned indent) {
- return printOpening(o, "host") << ')';
+ switch (op) {
+ case PageSize: printOpening(o, "pagesize") << ')'; break;
+ case MemorySize: printOpening(o, "memorysize") << ')'; break;
+ case GrowMemory: {
+ printOpening(o, "grow_memory");
+ incIndent(o, indent);
+ printFullLine(o, indent, operands[0]);
+ decIndent(o, indent);
+ break;
+ }
+ case HasFeature: printOpening(o, "hasfeature ") << nameOperand << ')'; break;
+ default: abort();
+ }
+ return o;
}
};