optimize data flow analysis (#8271)

emailweixu-patch-1
QI JUN 8 years ago committed by GitHub
parent 73f1b47189
commit b5ffe5bce2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -92,14 +92,13 @@ class ControlFlowGraph(object):
live_in = defaultdict(set)
live_out = defaultdict(set)
while True:
for i in range(self.op_size):
for i in range(self.op_size, 0, -1):
live_in[i] = set(self._live_in[i])
live_out[i] = set(self._live_out[i])
self._live_in[i] = self._uses[i] | (
self._live_out[i] - self._defs[i])
for s in self._successors[i]:
self._live_out[i] |= self._live_in[s]
self._live_in[i] = self._uses[i] | (
self._live_out[i] - self._defs[i])
if self._reach_fixed_point(live_in, live_out):
break

Loading…
Cancel
Save