diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-07-25 18:27:04 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-07-27 16:30:28 +0200 |
| commit | a56e0c65b08f0f7123630f3a1b415e67ef48c38e (patch) | |
| tree | f357435bd2681bb473e294e678f5b060ee8c6ccf /x86 | |
| parent | 094ac30cfbc757dd633191513c05b0738993651d (diff) | |
| download | compcert-kvx-a56e0c65b08f0f7123630f3a1b415e67ef48c38e.tar.gz compcert-kvx-a56e0c65b08f0f7123630f3a1b415e67ef48c38e.zip | |
AArch64 implementation of __builtin_ctz*
Using the "rbit" instruction (reverse bits).
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions