Multivalue type creation and inspection (#2459)

Adds the ability to create multivalue types from vectors of concrete value
types. All types are transparently interned, so their representation is still a
single uint32_t. Types can be extracted into vectors of their component parts,
and all the single value types expand into vectors containing themselves.

Multivalue types are not yet used in the IR, but their creation and inspection
functionality is exposed and tested in the C and JS APIs.

Also makes common type predicates methods of Type and improves the ergonomics of
type printing.

2 files changed, 4 insertions, 4 deletions

diff --git a/src/dataflow/graph.h b/src/dataflow/graph.h
index 5c01714f5..a243b0fff 100644
--- a/src/dataflow/graph.h
+++ b/src/dataflow/graph.h
@@ -169,7 +169,7 @@ struct Graph : public UnifiedExpressionVisitor<Graph, Node*> {
     assert(!node->isBad());
     Builder builder(*module);
     auto type = node->getWasmType();
-    if (!isConcreteType(type)) {
+    if (!type.isConcrete()) {
       return &bad;
     }
     auto* zero = makeZero(type);
@@ -397,7 +397,7 @@ struct Graph : public UnifiedExpressionVisitor<Graph, Node*> {
     if (!isRelevantLocal(curr->index) || isInUnreachable()) {
       return &bad;
     }
-    assert(isConcreteType(curr->value->type));
+    assert(curr->value->type.isConcrete());
     sets.push_back(curr);
     expressionParentMap[curr] = parent;
     expressionParentMap[curr->value] = curr;
@@ -603,7 +603,7 @@ struct Graph : public UnifiedExpressionVisitor<Graph, Node*> {
 
   // Helpers.
 
-  bool isRelevantType(wasm::Type type) { return isIntegerType(type); }
+  bool isRelevantType(wasm::Type type) { return type.isInteger(); }
 
   bool isRelevantLocal(Index index) {
     return isRelevantType(func->getLocalType(index));
diff --git a/src/dataflow/utils.h b/src/dataflow/utils.h
index 4408c6080..2d32dbeac 100644
--- a/src/dataflow/utils.h
+++ b/src/dataflow/utils.h
@@ -43,7 +43,7 @@ inline std::ostream& dump(Node* node, std::ostream& o, size_t indent = 0) {
   o << '[' << node << ' ';
   switch (node->type) {
     case Node::Type::Var:
-      o << "var " << printType(node->wasmType) << ' ' << node;
+      o << "var " << node->wasmType << ' ' << node;
       break;
     case Node::Type::Expr: {
       o << "expr ";