Check tensor's dim order ambiguity in IR verifier

[Gasoonjia]

Description

It is crucial to maintain dimensional order consistency (dim-order-unambiguity) for tensors within our computational graph. We have developed a tool to check this, as introduced in PR #9371. However, this tool has not yet been integrated into our dimension order verifier.

Action Required

Integrate the dim-order checking tool into the existing dimension order verifier located in the file: verifier.py.

cc @JacobSzwejbka @angelayi @digantdesai @larryliu0820

[digantdesai]

This is good, thanks @Gasoonjia. Let's make sure if this is very noisy we can allow users to make forward progress by disabling it temporarily, kind of like draft mode for export.

[patelvndn]

Hello, this seems like an interesting first problem to solve. Would I be able to take a shot at it? Also, not sure how to assign myself to the issue... If someone could help with that, it would be much appreciated.

[Gasoonjia]

Thanks @patelvndn for your help! Have assigned you and please let me or @digantdesai know if anything we can help!

[patelvndn]

I noticed a function to check a tensor's dim order ambiguity in PR#9371. Would it make sense to use the same function in verifier.py? Is this the tool the issue description is referring to?

[Gasoonjia]

Yes assert_unambiguous_dim_order(https://github.com/pytorch/executorch/pull/9371/files#diff-e99d0611a6856d7bd793c25b5b6ddb0caa73d850aa6cd9c16de44e63f8fb44aeR109) is the utility function you can reuse in verifier.