diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-01-15 07:46:34 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-01-15 07:46:34 +0100 |
| commit | 4393640af54ee3139e5c399e6fa1685faf483707 (patch) | |
| tree | 9282814d8437d0bc91458791c53d36cd2bc2c602 /x86 | |
| parent | 9475c5637c5d650f43955abe8f995797893affe1 (diff) | |
| download | compcert-kvx-4393640af54ee3139e5c399e6fa1685faf483707.tar.gz compcert-kvx-4393640af54ee3139e5c399e6fa1685faf483707.zip | |
2-instruction signed division by two on Aarch64
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions