diff options
| author | Michael Schmidt <github@mschmidt.me> | 2018-07-12 14:00:59 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-07-12 14:00:59 +0200 |
| commit | abf674c626d9b21ceeb5cb3e5dbec0fc115cd16b (patch) | |
| tree | df6255927f3262ec46975ab1b2c8e8e1046c49e9 /riscV/Asmexpand.ml | |
| parent | 3b8e9235d4f35d0cde623fb3e3564764f07b4afb (diff) | |
| download | compcert-kvx-abf674c626d9b21ceeb5cb3e5dbec0fc115cd16b.tar.gz compcert-kvx-abf674c626d9b21ceeb5cb3e5dbec0fc115cd16b.zip | |
Fix expansion of ctzl/clzl builtin for 64bit targets (#127)
bug 24105, issue #243: expand correct version of ctzl/clzl builtin when long type is 64bit wide
Diffstat (limited to 'riscV/Asmexpand.ml')
0 files changed, 0 insertions, 0 deletions