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 /driver/Frontend.mli | |
parent | 3b8e9235d4f35d0cde623fb3e3564764f07b4afb (diff) | |
download | compcert-abf674c626d9b21ceeb5cb3e5dbec0fc115cd16b.tar.gz compcert-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 'driver/Frontend.mli')
0 files changed, 0 insertions, 0 deletions