Python get_node_vars示例

示例#1

文件： problem.py 项目： SEL4PROJ/graph-refine

def get_problem_vars(p):
    inout = set.union(*([set(xs) for xs in p.outputs.itervalues()] + [set(args) for (_, _, _, args) in p.entries]))

    vs = dict(inout)
    for node in p.nodes.itervalues():
        syntax.get_node_vars(node, vs)
    return vs

示例#2

def get_problem_vars(p):
    inout = set.union(*([set(xs) for xs in p.outputs.itervalues()] +
                        [set(args) for (_, _, _, args) in p.entries]))

    vs = dict(inout)
    for node in p.nodes.itervalues():
        syntax.get_node_vars(node, vs)
    return vs

示例#3

文件： pseudo_compile.py 项目： SEL4PROJ/graph-refine

def check_compile (func):
	for node in func.nodes.itervalues ():
		vs = {}
		get_node_vars (node, vs)
		for (v_nm, typ) in vs.iteritems ():
			if typ.kind == 'Struct':
				print 'Failed to compile struct %s in %s' % (v_nm, func)
				print node
				assert not 'compiled'
			if typ.kind == 'Array':
				print 'Failed to compile array %s in %s' % (v_nm, func)
				print node
				assert not 'compiled'

示例#4

文件： pseudo_compile.py 项目： yyshen/graph-refine

def check_compile(func):
    for node in func.nodes.itervalues():
        vs = {}
        get_node_vars(node, vs)
        for (v_nm, typ) in vs.iteritems():
            if typ.kind == 'Struct':
                print 'Failed to compile struct %s in %s' % (v_nm, func)
                print node
                assert not 'compiled'
            if typ.kind == 'Array':
                print 'Failed to compile array %s in %s' % (v_nm, func)
                print node
                assert not 'compiled'