Add Dynamo support for ivars.

[ezyang]

Stack from ghstack (oldest at bottom):

• More suppressions for Dynamo #89604
• -> Add Dynamo support for ivars. #89602
• Refactor ShapeEnv to distinguish ivar and var #89600
• Maintain original symbol for freshly allocated SymInt #89599
• Always allocate symbols for strides. #89571
• Suppress guards on as_strided call only. #89569

Every var can be expressed in terms of ivars. So we track ivars,
and then translate vars to ivars if we need them.

Signed-off-by: Edward Z. Yang ezyang@fb.com

cc @mlazos @soumith @voznesenskym @yanboliang @penguinwu @anijain2305 @EikanWang @jgong5 @Guobing-Chen @chunyuan-w @XiaobingSuper @zhuhaozhe @blzheng @Xia-Weiwen @wenzhe-nrv @jiayisunx @desertfire

[pytorch-bot]

🔗 Helpful Links

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

• 📄 Preview Python docs built from this PR
• 📄 Preview C++ docs built from this PR
• ❓ Need help or want to give feedback on the CI? Visit our office hours

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

❌ 9 Failures

As of commit 23338ed:

The following jobs have failed:

• lintrunner
• linux-bionic-cuda11.6-py3.10-gcc7 / test (default, 3, 4, linux.4xlarge.nvidia.gpu)
• linux-bionic-cuda11.6-py3.10-gcc7 / test (default, 4, 4, linux.4xlarge.nvidia.gpu)
• linux-bionic-py3_7-clang8-xla / test (xla, 1, 1, linux.2xlarge)
• linux-bionic-py3.7-clang9 / test (default, 1, 2, linux.2xlarge)
• linux-focal-py3.7-clang7-asan / test (default, 2, 5, linux.2xlarge)
• linux-focal-py3.7-clang7-asan / test (default, 5, 5, linux.4xlarge)
• linux-focal-py3.7-gcc7 / test (default, 1, 2, linux.2xlarge)
• linux-focal-py3.7-gcc7 / test (default, 2, 2, linux.2xlarge)

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