1 | 'use strict';
|
2 |
|
3 | var assertText = require('assert-text');
|
4 | var pipeline = require('json-pipeline');
|
5 |
|
6 | var scheduler = require('../');
|
7 | var fixtures = require('./fixtures');
|
8 |
|
9 | assertText.options.trim = true;
|
10 |
|
11 | describe('JSON Pipeline Scheduler', function() {
|
12 | fixtures.test('example from Click\'s thesis', function(p) {
|
13 | var start = p.add('start');
|
14 | var body = p.add('region');
|
15 | var exit = p.add('region');
|
16 |
|
17 | start = p.add('jump').setControl(start);
|
18 |
|
19 | var i0 = p.add('literal').addLiteral(0);
|
20 | var a = p.add('read()');
|
21 |
|
22 | var phi = p.add('ssa:phi').addInput(i0).setControl(body);
|
23 | var one = p.add('literal').addLiteral(1);
|
24 | var addOne = p.add('add', [ a, one ]);
|
25 | var i2 = p.add('add', [ phi, addOne ]);
|
26 | phi.addInput(i2);
|
27 |
|
28 | var ten = p.add('literal').addLiteral(10);
|
29 | var cc = p.add('le', [ i2, ten ]);
|
30 | var branch = p.add('if', cc).setControl(phi);
|
31 |
|
32 | body.setControl(start, branch);
|
33 |
|
34 | var two = p.add('literal').addLiteral(2);
|
35 | var mul = p.add('mul', [ i2, two ]);
|
36 |
|
37 | exit.setControl(branch);
|
38 | var ret = p.add('return', mul).setControl(exit);
|
39 | }, function() { |
40 |
|
41 |
|
42 |
|
43 |
|
44 |
|
45 |
|
46 |
|
47 |
|
48 |
|
49 |
|
50 |
|
51 |
|
52 |
|
53 |
|
54 |
|
55 |
|
56 |
|
57 |
|
58 |
|
59 |
|
60 |
|
61 |
|
62 |
|
63 |
|
64 |
|
65 |
|
66 | });
|
67 |
|
68 | fixtures.test('merge/branch', function(p) {
|
69 | var start = p.add('start');
|
70 | var t = p.add('literal').addLiteral(true);
|
71 | var branch = p.add('if', t).setControl(start);
|
72 |
|
73 | var left = p.add('region').setControl(branch);
|
74 |
|
75 | var leftValue = p.add('literal').addLiteral('left');
|
76 | var leftJump = p.add('jump').setControl(left);
|
77 |
|
78 | var right = p.add('region').setControl(branch);
|
79 |
|
80 | var rightValue = p.add('literal').addLiteral('right');
|
81 | var rightJump = p.add('jump').setControl(right);
|
82 |
|
83 | var merge = p.add('region').setControl(leftJump, rightJump);
|
84 | var phi = p.add('ssa:phi', [ leftValue, rightValue ]).setControl(merge);
|
85 | var ret = p.add('return', phi).setControl(phi);
|
86 | }, function() { |
87 |
|
88 |
|
89 |
|
90 |
|
91 |
|
92 |
|
93 |
|
94 |
|
95 |
|
96 |
|
97 |
|
98 |
|
99 |
|
100 |
|
101 |
|
102 |
|
103 |
|
104 |
|
105 |
|
106 |
|
107 |
|
108 |
|
109 |
|
110 |
|
111 | });
|
112 |
|
113 | fixtures.test('single block node order', function(p) {
|
114 | var start = p.add('start');
|
115 | var ret = p.add('return').setControl(start);
|
116 | var one = p.add('literal').addLiteral(1);
|
117 | var add = p.add('add').addInput(one);
|
118 | var two = p.add('literal').addLiteral(2);
|
119 | add.addInput(two);
|
120 | ret.addInput(add);
|
121 | }, function() { |
122 |
|
123 |
|
124 |
|
125 |
|
126 |
|
127 |
|
128 |
|
129 |
|
130 | });
|
131 |
|
132 | fixtures.test('loop control edges', function(p) {
|
133 | var start = p.add('start');
|
134 | var startEnd = p.add('jump').setControl(start);
|
135 |
|
136 | var merge = p.add('region');
|
137 | var mergeEnd = p.add('jump').setControl(merge);
|
138 |
|
139 | var end = p.add('region').setControl(mergeEnd);
|
140 | var endEnd = p.add('jump').setControl(end);
|
141 |
|
142 | merge.setControl(startEnd, endEnd);
|
143 | }, function() { |
144 |
|
145 |
|
146 |
|
147 |
|
148 |
|
149 |
|
150 |
|
151 |
|
152 |
|
153 |
|
154 |
|
155 |
|
156 |
|
157 |
|
158 |
|
159 |
|
160 |
|
161 |
|
162 | });
|
163 | });
|