[llvm] [LVI] Infer ranges from mul nuw square conditions (PR #173127)

[via llvm-commits]

github-actions[bot] wrote:

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

* 134494 tests passed
* 3078 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=4294967295] bin/toyc-ch7.exe</summary>

```
FAILED: [code=4294967295] bin/toyc-ch7.exe
C:\Windows\system32\cmd.exe /C "cd . && C:\BuildTools\Common7\IDE\CommonExtensions\Microsoft\CMake\CMake\bin\cmake.exe -E vs_link_exe --msvc-ver=1944 --intdir=tools\mlir\examples\toy\Ch7\CMakeFiles\toyc-ch7.dir --rc="C:\Program Files (x86)\Windows Kits\10\bin\10.0.26100.0\x64\rc.exe" --mt="C:\Program Files (x86)\Windows Kits\10\bin\10.0.26100.0\x64\mt.exe" --manifests  -- C:\clang\clang-msvc\bin\lld-link.exe /nologo @CMakeFiles\toyc-ch7.rsp  /out:bin\toyc-ch7.exe /implib:lib\toyc-ch7.lib /pdb:bin\toyc-ch7.pdb /version:0.0 /MANIFEST:NO /Brepro /INCREMENTAL:NO /subsystem:console  /STACK:10000000 && cd ."
LINK: command "C:\clang\clang-msvc\bin\lld-link.exe /nologo @CMakeFiles\toyc-ch7.rsp /out:bin\toyc-ch7.exe /implib:lib\toyc-ch7.lib /pdb:bin\toyc-ch7.pdb /version:0.0 /MANIFEST:NO /Brepro /INCREMENTAL:NO /subsystem:console /STACK:10000000" failed (exit code 1) with the following output:
lld-link: error: undefined symbol: private: static class mlir::SelfOwningTypeID mlir::detail::TypeIDResolver<class mlir::FunctionPointerAlignmentAttr, void>::id
>>> referenced by MLIRTargetLLVMIRExport.lib(ModuleTranslation.cpp.obj):(class llvm::FailureOr<class llvm::DataLayout> __cdecl translateDataLayout(class mlir::DataLayoutSpecInterface, class mlir::DataLayout const &, class std::optional<class mlir::Location>))
>>> referenced by MLIRTargetLLVMIRExport.lib(ModuleTranslation.cpp.obj):(class llvm::FailureOr<class llvm::DataLayout> __cdecl translateDataLayout(class mlir::DataLayoutSpecInterface, class mlir::DataLayout const &, class std::optional<class mlir::Location>))

lld-link: error: undefined symbol: public: unsigned __int64 __cdecl mlir::FunctionPointerAlignmentAttr::getAlignment(void) const
>>> referenced by MLIRTargetLLVMIRExport.lib(ModuleTranslation.cpp.obj):(class llvm::FailureOr<class llvm::DataLayout> __cdecl translateDataLayout(class mlir::DataLayoutSpecInterface, class mlir::DataLayout const &, class std::optional<class mlir::Location>))

lld-link: error: undefined symbol: public: bool __cdecl mlir::FunctionPointerAlignmentAttr::getFunctionDependent(void) const
>>> referenced by MLIRTargetLLVMIRExport.lib(ModuleTranslation.cpp.obj):(class llvm::FailureOr<class llvm::DataLayout> __cdecl translateDataLayout(class mlir::DataLayoutSpecInterface, class mlir::DataLayout const &, class std::optional<class mlir::Location>))
```
</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/173127