add var types

Author: kripken

src/passes/Souperify.cpp

@@ -581,7 +581,7 @@ struct Printer : public Visitor<Printer> {
   void print(Node* node) {
     switch (node->type) {
       case Node::Type::Var: {
-        std::cout << "%" << indexing[node] << " = var";
+        std::cout << "%" << indexing[node] << ":" << printType(builder.func->getLocalType(node->varIndex)) << " = var";
         break; // nothing more to add
       }
       case Node::Type::Set: {

test/passes/flatten_simplify-locals-nonesting_souperify.txt

@@ -2,24 +2,24 @@
 ; function: $figure-1a
 
 ; start LHS
-%0 = var
-%1 = var
+%0:i64 = var
+%1:i64 = var
 %2 = eq %0, %1
 infer %2
 
 
 ; start LHS
-%0 = var
-%1 = var
+%0:i64 = var
+%1:i64 = var
 %2 = ne %0, %1
 infer %2
 
 
 ; start LHS
-%0 = var
-%1 = var
+%0:i64 = var
+%1:i64 = var
 %2 = eq %0, %1
-%3 = var
+%3:i64 = var
 %4 = ne %0, %3
 %5 = and %2, %4
 infer %5
@@ -28,37 +28,37 @@ infer %5
 ; function: $figure-1b
 
 ; start LHS
-%0 = var
-%1 = var
+%0:i64 = var
+%1:i64 = var
 %2 = slt %0, %1
 infer %2
 
 
 ; start LHS
-%0 = var
-%1 = var
+%0:i64 = var
+%1:i64 = var
 %2 = eq %0, %1
-%3 = var
+%3:i64 = var
 %4 = slt %1, %3
 pc %4 1:i32
 infer %2
 
 
 ; start LHS
-%0 = var
-%1 = var
+%0:i64 = var
+%1:i64 = var
 %2 = ne %0, %1
-%3 = var
+%3:i64 = var
 %4 = slt %3, %1
 pc %4 1:i32
 infer %2
 
 
 ; start LHS
-%0 = var
-%1 = var
+%0:i64 = var
+%1:i64 = var
 %2 = eq %0, %1
-%3 = var
+%3:i64 = var
 %4 = ne %0, %3
 %5 = and %2, %4
 %6 = slt %1, %3
@@ -69,21 +69,21 @@ infer %5
 ; function: $figure-3-if
 
 ; start LHS
-%0 = var
+%0:i32 = var
 %1 = and %0, 1:i32
 infer %1
 
 
 ; start LHS
-%0 = var
+%0:i32 = var
 %1 = add %0, 1:i32
 %2 = and %0, 1:i32
 pc %2 1:i32
 infer %1
 
 
 ; start LHS
-%0 = var
+%0:i32 = var
 %1 = add %0, 2:i32
 %2 = and %0, 1:i32
 pc %2 0:i32
@@ -92,7 +92,7 @@ infer %1
 
 ; start LHS
 %0 = block 2
-%1 = var
+%1:i32 = var
 %2 = and %1, 1:i32
 %3 = blockpc %0 0 %2 1:i32
 %4 = blockpc %0 1 %2 0:i32
@@ -104,7 +104,7 @@ infer %7
 
 ; start LHS
 %0 = block 2
-%1 = var
+%1:i32 = var
 %2 = and %1, 1:i32
 %3 = blockpc %0 0 %2 1:i32
 %4 = blockpc %0 1 %2 0:i32