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 /backend | |
| parent | a320361a90efaa48275153f2e19ccfb443b32688 (diff) | |
| download | compcert-kvx-7e8e3efdd69cee4412817f2e29f9ef687bec019b.tar.gz compcert-kvx-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 'backend')
0 files changed, 0 insertions, 0 deletions