diff options
| author | Florian Hahn <flo@fhahn.com> | 2024-09-28 14:19:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-28 14:19:57 +0100 |
| commit | 2f7ccaf4a8565628a4c7d2b5a49bb45478940be6 (patch) | |
| tree | 9ef3f5ec2f45d6762460b9e77412b9c5035a924e /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | bbe79a803c84f4193c39566c9b0189ecadf5d8b4 (diff) | |
| download | llvm-2f7ccaf4a8565628a4c7d2b5a49bb45478940be6.zip llvm-2f7ccaf4a8565628a4c7d2b5a49bb45478940be6.tar.gz llvm-2f7ccaf4a8565628a4c7d2b5a49bb45478940be6.tar.bz2 | |
[SCEV] Add predicate in SolveLinEq to ensure B is a multiple of A. (#108777)
This can help in cases where pointer alignment info is missing, e.g.
https://github.com/llvm/llvm-project/pull/108210
The predicate is formed for the complex expression that's passed to
SolveLinEquationWithOverflow and the checks could probably be pushed
closer to the root nodes, which in some cases may be cheaper to check.
PR: https://github.com/llvm/llvm-project/pull/108777
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions