45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
|
# File 'lib/fastruby/translator/scope_mode_helper.rb', line 45
def get_scope_mode(tree_)
tree = FastRuby::FastRubySexp.from_sexp(tree_).transform do |subtree|
if subtree.node_type == :for
s(:iter,s(:call, subtree[1],:each, s(:arglist)),subtree[2], subtree[3] )
elsif subtree.node_type == :case
ifs = when_array_to_if(subtree[2..-1])
s(:block, s(:lasgn, :temporal_case_var, subtree[1]), ifs)
else
nil
end
end
if tree.node_type == :defn
args_tree = tree[2]
impl_tree = tree[3]
elsif tree.node_type == :defs
args_tree = tree[3]
impl_tree = tree[4]
end
graph = impl_tree.to_graph
args_tree[1..-1].each do |subtree|
return :dag if subtree.to_s =~ /^\&/
end
tree.walk_tree do |subtree|
if subtree.node_type == :iter
iter_impl = subtree[3]
return :dag if has_local_variable_access?(subtree[3])
return :dag if subtree[2]
if iter_impl
return_node = iter_impl.find_tree{|st2| st2.node_type == :return}
if return_node
return :dag
end
end
elsif subtree.node_type == :block_pass
return :dag
end
end
impl_tree.walk_tree do |subtree|
graph.each_path_from(subtree) do |path|
has_call = false
writes = Set.new
path.each do |st2|
if st2.node_type == :call
if has_call and st2[1] == nil
return :dag
end
writes.clear
has_call = true
elsif st2.node_type == :iter
if has_call and st2[1][1] == nil
return :dag
end
writes.clear
has_call = true
elsif st2.node_type == :lasgn
writes << st2[1] elsif st2.node_type == :lvar or st2.node_type == :self or
st2.node_type == :return or st2.node_type == :yield
if has_call
if st2.node_type == :lvar
if writes.include? st2[1]
else
return :dag
end
else
return :dag
end
end
end
end
end
end
:linear
end
|