Skip to content

3310 optimise dependency tool #3311

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
hiker wants to merge 2 commits into
base: master
Choose a base branch
from
+16 −2
Open

3310 optimise dependency tool #3311

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
31f5d9d
#3310 Optimised dependency analysis by special handling of comparing …
hiker Jan 30, 2026
fe1b69b
#3310 Fixed missing import and flake8/pylint.
hiker Jan 30, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 16 additions & 2 deletions src/psyclone/psyir/tools/dependency_tools.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@
from psyclone.errors import InternalError, LazyString
from psyclone.psyir.backend.sympy_writer import SymPyWriter
from psyclone.psyir.backend.visitor import VisitorError
from psyclone.psyir.nodes import Loop, Node, Range
from psyclone.psyir.nodes import Loop, Node, Range, Reference


# pylint: disable=too-many-lines
Expand Down Expand Up @@ -657,7 +657,21 @@ def _is_loop_carried_dependency(self, loop_variables, write_access,
return True
elif len(set_of_vars) == 1:
# One loop variable used in both accesses.
# E.g. `a(2*i+3) = a(i*i)`
# E.g. `a(2*i+3) = a(i*i)`. Add a shortcut for
# a very common case - the index is a simple reference
if (isinstance(index_write, Reference) and
isinstance(index_other, Reference) and
index_write == index_other):
if index_write.name == loop_var:
# a(j, ...) and a(j, ...) - these accesses
# will never overlap for different j, independent
# of the expressions in the other dimensions
return True
# The expression does not depend on the loop variable
# at all (dependency distance would return None),
# again no need for an explicit test, we can continue
# the outer loop
continue
distance = self._get_dependency_distance(loop_var,
index_write,
index_other)
Expand Down
Loading