def get_interesting_linear_series_exprs (p, head):
k = ('interesting_linear_series', head)
if k in p.cached_analysis:
return p.cached_analysis[k]
res = logic.interesting_linear_series_exprs (p, head,
get_loop_var_analysis_at (p, head))
p.cached_analysis[k] = res
return res
def test_interesting_linear_series_exprs():
pairs = set([pair for f in pairings for pair in pairings[f]])
notes = {}
for pair in pairs:
p = check.build_problem(pair)
for n in search.init_loops_to_split(p, ()):
intr = logic.interesting_linear_series_exprs(p, n, search.get_loop_var_analysis_at(p, n))
if intr:
notes[pair.name] = True
if "Call" in str(intr):
notes[pair.name] = "Call!"
return notes
def test_interesting_linear_series_exprs():
pairs = set([pair for f in pairings for pair in pairings[f]])
notes = {}
for pair in pairs:
p = check.build_problem(pair)
for n in search.init_loops_to_split(p, ()):
intr = logic.interesting_linear_series_exprs(
p, n, search.get_loop_var_analysis_at(p, n))
if intr:
notes[pair.name] = True
if 'Call' in str(intr):
notes[pair.name] = 'Call!'
return notes
