diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2021-08-27 11:47:50 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-08-27 12:16:19 +0200 |
| commit | a320361a90efaa48275153f2e19ccfb443b32688 (patch) | |
| tree | 6b626e0df2f86080be7076e6def2fbffcdf2136d /powerpc | |
| parent | 4daebb7a0a534295627fc386964df950b19cc575 (diff) | |
| download | compcert-kvx-a320361a90efaa48275153f2e19ccfb443b32688.tar.gz compcert-kvx-a320361a90efaa48275153f2e19ccfb443b32688.zip | |
Protect against overflows in `leaq` (all forms)
leaq's offsets can overflow (not fit in 32 bits) in other cases than
those fixed in 4daebb7a0, e.g. in the expansion of __builtin_memcpy_aligned.
This commit implements full normalization of the `leaq` instructions
produced in Asmexpand, following the same method used in Asmgen.
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions