diff options
| author | Florian Hahn <flo@fhahn.com> | 2022-10-17 20:30:42 +0100 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2022-10-17 20:30:43 +0100 |
| commit | 6db71b8f1418170324b49d20f1f7b3f7c5086066 (patch) | |
| tree | 69351b72257dbef84532c659016da9302091103d /llvm/lib/Transforms/Instrumentation/ControlHeightReduction.cpp | |
| parent | d8af31ecede0c54ec667ab687784149e806c9e4c (diff) | |
| download | llvm-6db71b8f1418170324b49d20f1f7b3f7c5086066.zip llvm-6db71b8f1418170324b49d20f1f7b3f7c5086066.tar.gz llvm-6db71b8f1418170324b49d20f1f7b3f7c5086066.tar.bz2 | |
[ConstraintElim] Use helper to allow overflow for coefficients of GEPs
If the arithmetic for indices of inbounds GEPs overflows, the result is
poison. This means it is also OK for the coefficients to overflow. GEP
decomposition is limited to cases where the index size is <= 64 bit,
which can be represented by int64_t used for the coefficients in the
constraint system.
Diffstat (limited to 'llvm/lib/Transforms/Instrumentation/ControlHeightReduction.cpp')
0 files changed, 0 insertions, 0 deletions