diff options
| author | Nikita Popov <npopov@redhat.com> | 2024-01-04 14:04:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-04 14:04:15 +0100 |
| commit | f8122518750e3563a79df22d72c26c3c922f63f2 (patch) | |
| tree | a0d64bc22a2f425ef95ae722445af315c36b19ac /libcxx/include/complex | |
| parent | 71b3ead870107e39e998f6480e545eb01d9d28be (diff) | |
| download | llvm-f8122518750e3563a79df22d72c26c3c922f63f2.zip llvm-f8122518750e3563a79df22d72c26c3c922f63f2.tar.gz llvm-f8122518750e3563a79df22d72c26c3c922f63f2.tar.bz2 | |
[ConstraintElim] Use SCEV to check for multiples (#76925)
When adding constraints for induction variables, if the step is not one,
we need to make sure that (end-start) is a multiple of step, otherwise
we might step over the end value.
Currently this only supports one specific pattern for pointers, where
the end is a gep of the start with an appropriate offset.
Generalize this by using SCEV to check for multiples, which also makes
this work for integer IVs.
Diffstat (limited to 'libcxx/include/complex')
0 files changed, 0 insertions, 0 deletions