Skip to content

Arm backend: Relax SymbolicShapeSupport-checks - #22826

Merged
oscarandersson8218 merged 1 commit into
pytorch:mainfrom
oscarandersson8218:relax_symbolic_shape_support_checks
Sep 15, 2026
Merged

oscarandersson8218 merged 1 commit into
pytorch:mainfrom
oscarandersson8218:relax_symbolic_shape_support_checks

Conversation

@oscarandersson8218

@oscarandersson8218 oscarandersson8218 commented Sep 15, 2026 •

Copy link
Copy Markdown
Collaborator

Allow TOSA support checks to distinguish between symbolic tensor metadata and symbolic shape materialization.

Without the TOSA shape extension, symbolic tensor input/output shapes can still be accepted for ops whose lowering does not need materialized shape values. Reject symbolic SymInt arguments and the known shape- dependent edge cases instead.

For targets that require fully resolved tensor shapes, add a separate partitioner-level check that rejects nodes with unresolved tensor input or output shapes.

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

Allow TOSA support checks to distinguish between symbolic tensor
metadata and symbolic shape materialization.

Without the TOSA shape extension, symbolic tensor input/output shapes
can still be accepted for ops whose lowering does not need materialized
shape values. Reject symbolic SymInt arguments and the known shape-
dependent edge cases instead.

For targets that require fully resolved tensor shapes, add a separate
partitioner-level check that rejects nodes with unresolved tensor input
or output shapes.

Signed-off-by: Oscar Andersson <oscar.andersson@arm.com>
Change-Id: I1a65d72ceea18a9b5e08779c2987cdd44b70a589
@pytorch-bot

pytorch-bot Bot commented Sep 15, 2026 •

Copy link
Copy Markdown

🔗 Helpful Links

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

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 Pending, 4 Unrelated Failures

As of commit f8983a9 with merge base 4798a67 (image):

FLAKY - The following jobs failed but were likely due to flakiness present on trunk:

BROKEN TRUNK - The following jobs failed but were present on the merge base:

👉 Rebase onto the `viable/strict` branch to avoid these failures

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 Sep 15, 2026
@github-actions github-actions Bot added ciflow/trunk module: arm Issues related to arm backend labels Sep 15, 2026
@oscarandersson8218 oscarandersson8218 added partner: arm For backend delegation, kernels, demo, etc. from the 3rd-party partner, Arm release notes: none Do not include this in the release notes labels Sep 15, 2026
@oscarandersson8218

Copy link
Copy Markdown
Collaborator Author

Unrelated failures.

@oscarandersson8218
oscarandersson8218 merged commit 1498f7a into pytorch:main Sep 15, 2026
439 of 449 checks passed
@oscarandersson8218

Copy link
Copy Markdown
Collaborator Author

@pytorchbot cherry-pick --onto release/1.5 -c regression

@pytorchbot

Copy link
Copy Markdown
Collaborator

Cherry picking #22826

The cherry pick PR is at #22834 and it is recommended to link a regression cherry pick PR with an issue. The following tracker issues are updated:

Details for Dev Infra team Raised by workflow job

@JacobSzwejbka

Copy link
Copy Markdown
Contributor

@pytorchbot cherry-pick --onto release/1.5 -c regression

Release is going out in a couple hours and CI is very red so I'm not planning on merging this one.

JacobSzwejbka pushed a commit that referenced this pull request Sep 17, 2026
Allow TOSA support checks to distinguish between symbolic tensor
metadata and symbolic shape materialization.

Without the TOSA shape extension, symbolic tensor input/output shapes
can still be accepted for ops whose lowering does not need materialized
shape values. Reject symbolic SymInt arguments and the known shape-
dependent edge cases instead.

For targets that require fully resolved tensor shapes, add a separate
partitioner-level check that rejects nodes with unresolved tensor input
or output shapes.

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

Signed-off-by: Oscar Andersson <oscar.andersson@arm.com>
(cherry picked from commit 1498f7a)
JacobSzwejbka pushed a commit that referenced this pull request Sep 17, 2026
Allow TOSA support checks to distinguish between symbolic tensor
metadata and symbolic shape materialization.

Without the TOSA shape extension, symbolic tensor input/output shapes
can still be accepted for ops whose lowering does not need materialized
shape values. Reject symbolic SymInt arguments and the known shape-
dependent edge cases instead.

For targets that require fully resolved tensor shapes, add a separate
partitioner-level check that rejects nodes with unresolved tensor input
or output shapes.

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

Signed-off-by: Oscar Andersson <oscar.andersson@arm.com>
(cherry picked from commit 1498f7a)
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. module: arm Issues related to arm backend partner: arm For backend delegation, kernels, demo, etc. from the 3rd-party partner, Arm release notes: none Do not include this in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants