diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-05-13 13:11:50 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-05-13 13:11:50 +0200 |
| commit | 672393ef623acb3e230a8019d51c87e051a7567a (patch) | |
| tree | 946250aa400103241d267d3eb04f2a9905abfeb3 /arm/Conventions1.v | |
| parent | 9864e348a4771b9d7f91fdcc9e4954f2d51ba201 (diff) | |
| download | compcert-kvx-672393ef623acb3e230a8019d51c87e051a7567a.tar.gz compcert-kvx-672393ef623acb3e230a8019d51c87e051a7567a.zip | |
bug 18925, fix loading of symbols for thumb: :lower16: and :upper16: are restricted to 15bit signed immediate offsets
Diffstat (limited to 'arm/Conventions1.v')
0 files changed, 0 insertions, 0 deletions