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 /aarch64/TargetPrinter.ml | |
| 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 'aarch64/TargetPrinter.ml')
| -rw-r--r-- | aarch64/TargetPrinter.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/aarch64/TargetPrinter.ml b/aarch64/TargetPrinter.ml index e54673dd..fec05cc6 100644 --- a/aarch64/TargetPrinter.ml +++ b/aarch64/TargetPrinter.ml @@ -375,6 +375,8 @@ module Target : TARGET = fprintf oc " rev %a, %a\n" ireg (sz, rd) ireg (sz, r1) | Prev16(sz, rd, r1) -> fprintf oc " rev16 %a, %a\n" ireg (sz, rd) ireg (sz, r1) + | Prbit(sz, rd, r1) -> + fprintf oc " rbit %a, %a\n" ireg (sz, rd) ireg (sz, r1) (* Conditional data processing *) | Pcsel(rd, r1, r2, c) -> fprintf oc " csel %a, %a, %a, %s\n" xreg rd xreg r1 xreg r2 (condition_name c) |