diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2021-08-11 15:21:57 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-06 14:33:45 +0200 |
commit | 7e8e3efdd69cee4412817f2e29f9ef687bec019b (patch) | |
tree | e758a33cc8066b230aea40625a28e71458b4f566 /cfrontend/SimplExprproof.v | |
parent | a320361a90efaa48275153f2e19ccfb443b32688 (diff) | |
download | compcert-7e8e3efdd69cee4412817f2e29f9ef687bec019b.tar.gz compcert-7e8e3efdd69cee4412817f2e29f9ef687bec019b.zip |
Share code for memory access for PowerPC
Instead of duplicating the memory access code in `Asmexpand.ml` we move
the code for each of the different addressings in `Asmgen.v` into
separate functions that then can be reused in `Asmexpand.ml`.
Diffstat (limited to 'cfrontend/SimplExprproof.v')
0 files changed, 0 insertions, 0 deletions