diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-07-25 17:11:44 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-07-27 16:30:28 +0200 |
commit | 094ac30cfbc757dd633191513c05b0738993651d (patch) | |
tree | 708230097babb2df34ce1db8d6e2a1c638cefbac /test/c/chomp.c | |
parent | 4cf2fc41657fac51d806c14fdf481c7047e39df3 (diff) | |
download | compcert-094ac30cfbc757dd633191513c05b0738993651d.tar.gz compcert-094ac30cfbc757dd633191513c05b0738993651d.zip |
RISC-V implementation of __builtin_clz* and __builtin_ctz*
Using binary search loops expanded at point of use.
Diffstat (limited to 'test/c/chomp.c')
0 files changed, 0 insertions, 0 deletions