Skip to content

Conversation

@mloubout
Copy link
Contributor

Test in corresponding pro PR

@mloubout mloubout force-pushed the buffering-multi-guards branch from 19bfb04 to e5dc2af Compare January 16, 2026 15:30
@codecov
Copy link

codecov bot commented Jan 16, 2026

Codecov Report

❌ Patch coverage is 88.00000% with 3 lines in your changes missing coverage. Please review.
✅ Project coverage is 78.99%. Comparing base (87e0263) to head (93a78f7).

Files with missing lines Patch % Lines
devito/types/parallel.py 33.33% 1 Missing and 1 partial ⚠️
devito/ir/support/guards.py 0.00% 1 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##             main    #2826   +/-   ##
=======================================
  Coverage   78.98%   78.99%           
=======================================
  Files         248      248           
  Lines       50822    50833   +11     
  Branches     4391     4393    +2     
=======================================
+ Hits        40141    40154   +13     
  Misses       9879     9879           
+ Partials      802      800    -2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

if c.scope.reads.get(self.f):
return c
return None
if c.scope.reads.get(self.f) and c.guards not in first_c:
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this looks very fragile at first glance

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

How so? This just split the first read and last write per guard so that each different condition is respected

if c.scope.writes.get(self.f):
return c
return None
if c.scope.writes.get(self.f) and c.guards not in last_c:
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

same as above

@mloubout mloubout force-pushed the buffering-multi-guards branch from e5dc2af to 93a78f7 Compare January 16, 2026 19:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants