diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-12-15 19:38:00 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-20 13:29:01 +0100 |
| commit | 0286b9572d6f79a2821647052c0d78dc23fa3f30 (patch) | |
| tree | 1309dbc63158747f0bdc64967e319b362f3dc653 /extraction | |
| parent | b6ba61c4c7df3f173f7aad2d96d8927d1a525fe3 (diff) | |
| download | compcert-0286b9572d6f79a2821647052c0d78dc23fa3f30.tar.gz compcert-0286b9572d6f79a2821647052c0d78dc23fa3f30.zip | |
Use the Asmgen offset check for volatile load/store.
The old offset check is too conservative allowing only offsets that are
allowed for all kinds of load/store instructions.
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions