[llvm] [SCEV] Add option to request use-specific SCEV for a GEP expr, (PR #190677)

[via llvm-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 61360 tests passed
* 1547 tests skipped

All executed tests passed, but another part of the build **failed**. Click on a failure below to see the details.

<details>
<summary>[code=1] unittests/Analysis/CMakeFiles/AnalysisTests.dir/ScalarEvolutionTest.cpp.obj</summary>

```
FAILED: [code=1] unittests/Analysis/CMakeFiles/AnalysisTests.dir/ScalarEvolutionTest.cpp.obj
sccache C:\clang\clang-msvc\bin\clang-cl.exe  /nologo -TP -DLLVM_BUILD_STATIC -DUNICODE -D_CRT_NONSTDC_NO_DEPRECATE -D_CRT_NONSTDC_NO_WARNINGS -D_CRT_SECURE_NO_DEPRECATE -D_CRT_SECURE_NO_WARNINGS -D_GLIBCXX_ASSERTIONS -D_HAS_EXCEPTIONS=0 -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D_SCL_SECURE_NO_DEPRECATE -D_SCL_SECURE_NO_WARNINGS -D_UNICODE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -IC:\_work\llvm-project\llvm-project\build\unittests\Analysis -IC:\_work\llvm-project\llvm-project\llvm\unittests\Analysis -IC:\_work\llvm-project\llvm-project\build\include -IC:\_work\llvm-project\llvm-project\llvm\include -IC:\_work\llvm-project\llvm-project\third-party\unittest\googletest\include -IC:\_work\llvm-project\llvm-project\third-party\unittest\googlemock\include /DWIN32 /D_WINDOWS   /Zc:inline /Zc:__cplusplus /Oi /Brepro /bigobj /permissive- -Werror=unguarded-availability-new /W4  -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported /Gw /O2 /Ob2  -std:c++17 -MD -UNDEBUG -Wno-gnu-zero-variadic-macro-arguments /EHs-c- /GR- -Wno-suggest-override /showIncludes /Founittests\Analysis\CMakeFiles\AnalysisTests.dir\ScalarEvolutionTest.cpp.obj /Fdunittests\Analysis\CMakeFiles\AnalysisTests.dir\ -c -- C:\_work\llvm-project\llvm-project\llvm\unittests\Analysis\ScalarEvolutionTest.cpp
C:\_work\llvm-project\llvm-project\llvm\unittests\Analysis\ScalarEvolutionTest.cpp(1523,13): error: variable 'S' with type 'auto *' has incompatible initializer of type 'SCEVUse' (aka 'SCEVUseT<const SCEV *>')
1523 |       auto *S = SE.getSCEV(URemI);
|             ^   ~~~~~~~~~~~~~~~~~
C:\_work\llvm-project\llvm-project\llvm\unittests\Analysis\ScalarEvolutionTest.cpp(1536,11): error: variable 'S' with type 'auto *' has incompatible initializer of type 'SCEVUse' (aka 'SCEVUseT<const SCEV *>')
1536 |     auto *S = SE.getSCEV(Ext);
|           ^   ~~~~~~~~~~~~~~~
C:\_work\llvm-project\llvm-project\llvm\unittests\Analysis\ScalarEvolutionTest.cpp(1663,11): error: variable 'ExtractValueScev' with type 'auto *' has incompatible initializer of type 'SCEVUse' (aka 'SCEVUseT<const SCEV *>')
1663 |     auto *ExtractValueScev = SE.getSCEV(ExtractValue);
|           ^                  ~~~~~~~~~~~~~~~~~~~~~~~~
C:\_work\llvm-project\llvm-project\llvm\unittests\Analysis\ScalarEvolutionTest.cpp(1667,11): error: variable 'ExtractValueScevForgotten' with type 'auto *' has incompatible initializer of type 'SCEVUse' (aka 'SCEVUseT<const SCEV *>')
1667 |     auto *ExtractValueScevForgotten = SE.getExistingSCEV(ExtractValue);
|           ^                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4 errors generated.
```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

https://github.com/llvm/llvm-project/pull/190677