Skip to content

exir: Prevent implicit symbolic ProxyValue conversion#19661

Open
oscarandersson8218 wants to merge 1 commit into
pytorch:mainfrom
oscarandersson8218:symbolic_proxyvalue_conversion
Open

exir: Prevent implicit symbolic ProxyValue conversion#19661
oscarandersson8218 wants to merge 1 commit into
pytorch:mainfrom
oscarandersson8218:symbolic_proxyvalue_conversion

Conversation

@oscarandersson8218
Copy link
Copy Markdown
Collaborator

@oscarandersson8218 oscarandersson8218 commented May 19, 2026

Stop pass code from silently turning symbolic ProxyValues into Python values through bool, int, float, or index conversion as this can lead to graph breakage.

Add regressions for bool, int, float, and index cases using symbolic metadata from an exported dynamic graph.

cc @digantdesai @freddan80 @per @zingo @mansnils @Sebastian-Larsson @robell @rascani

Stop pass code from silently turning symbolic ProxyValues into Python
values through bool, int, float, or index conversion.

Add regressions for bool, int, float, and index cases using symbolic
metadata from an exported dynamic graph.

Change-Id: Ib1bf5c771ddba0e219264541e5b39811db0c2fe2
Signed-off-by: Oscar Andersson <oscar.andersson@arm.com>
@pytorch-bot
Copy link
Copy Markdown

pytorch-bot Bot commented May 19, 2026

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/19661

Note: Links to docs will display an error until the docs builds have been completed.

❗ 1 Active SEVs

There are 1 currently active SEVs. If your PR is affected, please view them below:

❌ 1 New Failure

As of commit f5c2ded with merge base acf1ad9 (image):

NEW FAILURE - The following job has failed:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@meta-cla meta-cla Bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label May 19, 2026
@oscarandersson8218 oscarandersson8218 added partner: arm For backend delegation, kernels, demo, etc. from the 3rd-party partner, Arm ciflow/trunk release notes: exir Changes to any dialects and passes on these dialects, such as memory planning labels May 19, 2026
@zingo zingo added the help wanted Extra attention is needed label May 19, 2026
Copy link
Copy Markdown
Contributor

@digantdesai digantdesai left a comment

Choose a reason for hiding this comment

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

LGTM.

@zingo zingo removed the help wanted Extra attention is needed label May 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ciflow/trunk CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. partner: arm For backend delegation, kernels, demo, etc. from the 3rd-party partner, Arm release notes: exir Changes to any dialects and passes on these dialects, such as memory planning

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants