Skip to content

Conversation

@JonatanWaern
Copy link
Contributor

@JonatanWaern JonatanWaern commented Aug 22, 2025

Fixes various issues related to how parameters are tracked as symbols

@JonatanWaern JonatanWaern requested a review from TSonono August 22, 2025 13:51
@JonatanWaern JonatanWaern force-pushed the disable-register-size-check branch 2 times, most recently from a786229 to 0d0d254 Compare August 29, 2025 09:32
@JonatanWaern JonatanWaern changed the title Disable register size check Fixes related to paramater resolution Aug 29, 2025
@MagnusIntel MagnusIntel requested a review from Copilot August 29, 2025 14:53
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This pull request fixes parameter resolution issues and improves various aspects of the codebase. The changes primarily focus on correcting template parameter handling and fixing formatting inconsistencies.

  • Fixed debug formatting in span structures by removing extra parentheses
  • Improved parameter tracking for in-each statements by properly flattening their statements
  • Moved parameter invariant checks to a more appropriate location in the analysis pipeline

Reviewed Changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated 1 comment.

Show a summary per file
File Description
src/span/mod.rs Fixed debug formatting for Column and Row structs
src/analysis/templating/objects.rs Updated method call and removed unused parameter invariant function
src/analysis/structure/toplevel.rs Enhanced in-each statement processing to properly track nested statements
src/analysis/mod.rs Moved parameter invariant checks to DeviceAnalysis with updated implementation
CHANGELOG.md Added release notes for the fixes

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

@JonatanWaern JonatanWaern force-pushed the disable-register-size-check branch from 0d0d254 to 4e4bd21 Compare September 1, 2025 08:07
@JonatanWaern JonatanWaern force-pushed the disable-register-size-check branch from 3413d28 to a077246 Compare September 18, 2025 12:35
Signed-off-by: Jonatan Waern <jonatan.waern@intel.com>
Signed-off-by: Jonatan Waern <jonatan.waern@intel.com>
This will rely on future constant-folding, in order to ascertain that an actual value
is found.

Signed-off-by: Jonatan Waern <jonatan.waern@intel.com>
Signed-off-by: Jonatan Waern <jonatan.waern@intel.com>
Signed-off-by: Jonatan Waern <jonatan.waern@intel.com>
It was getting to an unwieldy length, assists with method-level profiling

Signed-off-by: Jonatan Waern <jonatan.waern@intel.com.
The are too many references to do this in advance, rather produce this as-needed

Signed-of-by: Jonatan Waern <jonatan.waern@intel.com>
@JonatanWaern JonatanWaern force-pushed the disable-register-size-check branch from a077246 to e656829 Compare September 25, 2025 09:00
@JonatanWaern JonatanWaern merged commit ec3c8fd into main Sep 25, 2025
4 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.

3 participants