check_c_source_compiles("
        #include <x86intrin.h>
        #include <stdint.h>
        int main(int argc, char **argv) {
        #ifdef __x86_64__
            uint64_t temp1 = __rorq(argc, 4);
        #else 
            uint64_t temp1 = 0;
        #endif
            uint32_t temp2 = __rold(temp1, 4);
            uint16_t temp3 = __rorw(temp2, 4);
            uint8_t temp4 = __rolb(temp3, 4);
            return temp1 + temp2 + temp3 + temp4;
        }" HAVE_GCC_ROTATE)