[haampie]

Note: this PR as is will break detection in archspec/archspec, but is correct based on:

#include <math.h>
#include <immintrin.h>

double f(double x, double y) { return fmod(x, y); }
void g(__int128 *p) { __sync_val_compare_and_swap(p, 0, 0); }
int h(int p) { return __builtin_popcount(p); }
int i(int p) { return __builtin_ia32_lzcnt_u32(p); }
int j(void) { return __builtin_ia32_rdpkru(); }
__m128i k(__m128i a, __m128i b) { return _mm_sha1msg1_epu32(a, b); }
void l(void * x, int y) { _xsave64(x, y); }

using gcc -march=....

Ref archspec/archspec#193.

[alalazo]

@haampie I pushed some changes here, and submitted archspec/archspec#211 Let me know if you agree with the changes here, so we can merge the PRs and fix this long standing issue.

[haampie]

Fine, but I cannot merge. Can you merge this then?