#include"framework.h"BEGIN_TEST(long long)long long*ptr = &c;#ifdef __KVX__long long d = c;
a =__builtin_kvx_alclrd(ptr);
c = d;
c += a;
c +=__builtin_clzll(a);/* Removed the AFADDD builtin who was incorrect in CompCert, see #157 */// a = __builtin_kvx_afaddd(ptr, a);// a = __builtin_kvx_afaddd(ptr, a);#endifEND_TEST64()