diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-07-25 17:13:05 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-07-27 16:30:28 +0200 |
| commit | 70f105e623dddeb27be258fedb56bd0e9a59d190 (patch) | |
| tree | 4c6130620108ec3b2d42f476986fe2896f0dae4a /x86 | |
| parent | bc20d7c0d16d07790fb6eb608bf608237b0abbc3 (diff) | |
| download | compcert-kvx-70f105e623dddeb27be258fedb56bd0e9a59d190.tar.gz compcert-kvx-70f105e623dddeb27be258fedb56bd0e9a59d190.zip | |
Refactor regression testing of built-in functions
Share the testing code for built-in functions that are available on
all target platforms.
Improve testing of __builtin_clz* and __builtin_ctz*
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions