コード例 #1
0
ファイル: search.py プロジェクト: SEL4PROJ/graph-refine
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
コード例 #2
0
ファイル: debug.py プロジェクト: SEL4PROJ/graph-refine
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
コード例 #3
0
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