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/Asmexpand.ml | |
| parent | db2445b3b745abd1a26f5a832a29ca269c725277 (diff) | |
| download | compcert-kvx-c29a9abe07523eeafc09e630b6a9d14581632e9f.tar.gz compcert-kvx-c29a9abe07523eeafc09e630b6a9d14581632e9f.zip | |
bug 19318, add implementation of __builtin_ctz, __builtin_ctzl and __builtin_ctzll for PowerPC
Diffstat (limited to 'arm/Asmexpand.ml')
0 files changed, 0 insertions, 0 deletions