Skip to content
This repository has been archived by the owner on Apr 28, 2023. It is now read-only.

[DO NOT MERGE] attempt at reproducing error #458

Open
wants to merge 4 commits into
base: master
Choose a base branch
from

Conversation

skimo-openhub
Copy link
Contributor

No description provided.

Sven Verdoolaege added 3 commits May 29, 2018 08:59
isl does not currently perform any operations lazily,
so a potentially large product map would get created
even if only a very small part of it will actually get used.
Intersect domain and range directly instead.
…functions

Store this mapping in addition to the filter derived from the mapping.
The mapping is needed in the next commit.

The mapping is constructed in ScheduleTree::makeMappingFilter and
passed to the ScheduleTreeElemMappingFilter constructor.
Some of the sanity checks are therefore moved from the constructor
to ScheduleTree::makeMappingFilter.
In particular, use mappings to threads and warps to determine
whether all dependences are within a thread or warp.
Do so instead of considering pairs of thread identifier parameters.
Duplicating thread identifier parameters is confusing at best and
relies on renaming parameters, which is frowned upon and which
will not be exported in the mainline isl C++ interface.
Duplicate parameters are confusing because there is only
one value for any given thread identifier at a given point
in the execution.
Furthermore, the filter assigning the thread mapping to parameters
is only relevant during AST generation.  Prior to that,
it is more natural to think in terms of the thread mapping itself.
This is what this commit does.
It is not only simpler, but also shorter.

It is not entirely clear why the intersection
with the context is needed, but this is what the original code does and
it is preserved by this commit.
@facebook-github-bot
Copy link

Thank you for your pull request. We require contributors to sign our Contributor License Agreement, and yours has expired.

Before we can review or merge your code, we need you to email [email protected] with your details so we can update your status.

@facebook-github-bot
Copy link

Thank you for signing our Contributor License Agreement. We can now accept your code for this (and any) Facebook open source project. Thanks!

1 similar comment
@facebook-github-bot
Copy link

Thank you for signing our Contributor License Agreement. We can now accept your code for this (and any) Facebook open source project. Thanks!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants