diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-07-08 14:24:44 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-07-08 14:24:44 +0200 |
commit | c29a9abe07523eeafc09e630b6a9d14581632e9f (patch) | |
tree | 24c7112b29ed5f072eb189d3348a2fc2f946362c /arm/CombineOpproof.v | |
parent | db2445b3b745abd1a26f5a832a29ca269c725277 (diff) | |
download | compcert-c29a9abe07523eeafc09e630b6a9d14581632e9f.tar.gz compcert-c29a9abe07523eeafc09e630b6a9d14581632e9f.zip |
bug 19318, add implementation of __builtin_ctz, __builtin_ctzl and __builtin_ctzll for PowerPC
Diffstat (limited to 'arm/CombineOpproof.v')
0 files changed, 0 insertions, 0 deletions