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 /Makefile | |
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 'Makefile')
0 files changed, 0 insertions, 0 deletions