File tree Expand file tree Collapse file tree 2 files changed +13
-1
lines changed
Expand file tree Collapse file tree 2 files changed +13
-1
lines changed Original file line number Diff line number Diff line change @@ -512,7 +512,7 @@ struct Printer : public Visitor<Printer> {
512512 print (node);
513513 }
514514 // Finish up
515- std::cout << " infer %" << indexing[trace.nodes .back ()] << ' \n ' ;
515+ std::cout << " infer %" << indexing[trace.nodes .back ()] << " \n\n " ;
516516 }
517517
518518 void print (Node* node) {
Original file line number Diff line number Diff line change 77%2 = eq %0, %1
88infer %2
99
10+
1011; start LHS
1112%0 = var
1213%1 = var
1314%2 = ne %0, %1
1415infer %2
1516
17+
1618; start LHS
1719%0 = var
1820%1 = var
@@ -22,6 +24,7 @@ infer %2
2224%5 = and %2, %4
2325infer %5
2426
27+
2528; function: $figure-1b
2629
2730; start LHS
@@ -30,18 +33,21 @@ infer %5
3033%2 = slt %0, %1
3134infer %2
3235
36+
3337; start LHS
3438%0 = var
3539%1 = var
3640%2 = eq %0, %1
3741infer %2
3842
43+
3944; start LHS
4045%0 = var
4146%1 = var
4247%2 = ne %0, %1
4348infer %2
4449
50+
4551; start LHS
4652%0 = var
4753%1 = var
@@ -51,23 +57,27 @@ infer %2
5157%5 = and %2, %4
5258infer %5
5359
60+
5461; function: $figure-3-if
5562
5663; start LHS
5764%0 = var
5865%1 = and %0, 1:i32
5966infer %1
6067
68+
6169; start LHS
6270%0 = var
6371%1 = add %0, 1:i32
6472infer %1
6573
74+
6675; start LHS
6776%0 = var
6877%1 = add %0, 2:i32
6978infer %1
7079
80+
7181; start LHS
7282%0 = block 2
7383%1 = var
@@ -79,6 +89,7 @@ infer %1
7989%7 = phi %0, %5, %6
8090infer %7
8191
92+
8293; start LHS
8394%0 = block 2
8495%1 = var
@@ -90,6 +101,7 @@ infer %7
90101%7 = phi %0, %5, %6
91102%8 = and %7, 1:i32
92103infer %8
104+
93105(module
94106 (type $0 (func (param i64 i64 i64) (result i32)))
95107 (type $1 (func (param i32) (result i32)))
You can’t perform that action at this time.
0 commit comments