diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-03 11:17:57 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-03 11:17:57 +0200 |
commit | a289d73e791be5a760c8a9b2f3de2064f001a770 (patch) | |
tree | e106a015b1eb2a33a107135267da9d73243d0215 /extraction | |
parent | e1c864b670812eda55e0ee129855c69d32c8b84a (diff) | |
download | compcert-kvx-a289d73e791be5a760c8a9b2f3de2064f001a770.tar.gz compcert-kvx-a289d73e791be5a760c8a9b2f3de2064f001a770.zip |
use sq to save pairs of registers
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions