Skip to content
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.

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

Add duplication checks #550

Merged
merged 5 commits into from
Mar 18, 2025
Merged

Add duplication checks #550

merged 5 commits into from
Mar 18, 2025

Conversation

majosm
Copy link
Collaborator

@majosm majosm commented Sep 24, 2024

Adds two checks to CachedMapper-derived mapper class traversals:

  1. err_on_collision in CachedMapper, which checks for multiple distinct instances of input expressions that have the same key. These are duplicates in the incoming DAG.
  2. err_on_created_duplicate in TransformMapper/TransformMapperWithExtraArgs, which checks for mappings between two distinct expression instances where both the input and the output have the same key. These are duplicates that are produced by the mapper (e.g., the current CopyMapper.map_* implementations that create new instances even if nothing has changed).

Depends on #531 (merged), #549 (merged), #585 (merged), and #583 (merged).

@majosm majosm force-pushed the add-duplication-checks branch 2 times, most recently from 63c29f3 to e165c55 Compare September 24, 2024 20:01
@majosm majosm force-pushed the add-duplication-checks branch from e165c55 to 8b0b00c Compare December 20, 2024 23:22
@majosm majosm force-pushed the add-duplication-checks branch 3 times, most recently from f90083b to ddb9093 Compare January 10, 2025 19:23
@majosm majosm force-pushed the add-duplication-checks branch 2 times, most recently from 64dc616 to 6ac2ab3 Compare January 28, 2025 01:22
@majosm majosm force-pushed the add-duplication-checks branch 3 times, most recently from dd047ab to 013ce99 Compare February 7, 2025 15:39
@majosm majosm force-pushed the add-duplication-checks branch from 013ce99 to cbb2802 Compare February 17, 2025 22:10
@majosm majosm force-pushed the add-duplication-checks branch 4 times, most recently from dc619b2 to cbd9a62 Compare February 27, 2025 04:05
@majosm majosm marked this pull request as ready for review February 28, 2025 13:20
@majosm
Copy link
Collaborator Author

majosm commented Feb 28, 2025

Ready for a look after #585 and #583.

@majosm majosm requested a review from inducer February 28, 2025 13:21
@majosm majosm force-pushed the add-duplication-checks branch 2 times, most recently from 465c306 to 99b6e56 Compare March 10, 2025 22:05
@majosm majosm force-pushed the add-duplication-checks branch from 111fcd4 to 89efacb Compare March 12, 2025 20:48
@majosm
Copy link
Collaborator Author

majosm commented Mar 12, 2025

@inducer This one should be good to go now.

majosm and others added 3 commits March 18, 2025 15:31
…sformMapperWithExtraArgs

fix doc

change terminology from 'no-op duplication' to 'mapper-created duplicate'

reword explanation of predecessor check in duplication check
@inducer inducer force-pushed the add-duplication-checks branch from 89efacb to 6351b3a Compare March 18, 2025 20:41
@inducer inducer enabled auto-merge (rebase) March 18, 2025 20:42
@inducer inducer merged commit 56f53db into inducer:main Mar 18, 2025
11 checks passed
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