Skip to content

Make bounds of let visitor use unique_name()#6583

Merged
rootjalex merged 1 commit intomasterfrom
rootjalex/let_bounds_fix
Jan 26, 2022
Merged

Make bounds of let visitor use unique_name()#6583
rootjalex merged 1 commit intomasterfrom
rootjalex/let_bounds_fix

Conversation

@rootjalex
Copy link
Copy Markdown
Member

The bounds visitor on a let should use unique_name() for the introduced variables. Without this change, Halide sometimes internally generates expressions of the form (let x = (let x = ... in ...) in ...) which can cause failures when substituting in lets and simplifying.

@rootjalex rootjalex assigned abadams and unassigned abadams Jan 26, 2022
@rootjalex rootjalex requested a review from abadams January 26, 2022 15:20
@rootjalex rootjalex merged commit 3e6d43b into master Jan 26, 2022
@rootjalex rootjalex deleted the rootjalex/let_bounds_fix branch January 26, 2022 17:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants