1  #include "tree-vect.h"
       2  
       3  #define EXEC_ROR2(a, b, sz)     (a >> b) | (a << (64 - b))
       4  
       5  #define TYPE __UINT64_TYPE__
       6  
       7  void __attribute__((noipa))
       8  exec_VRORudi_i(TYPE *__restrict__ pvd,
       9  	       TYPE *__restrict__ const pva, unsigned char IMM)
      10  {
      11    unsigned char I2 = IMM & 63;
      12  
      13    for (unsigned i = 0; i < 4; i++)
      14      pvd[i] = EXEC_ROR2(pva[i], I2, 8);
      15  }
      16  
      17  int main()
      18  {
      19    check_vect ();
      20  
      21    TYPE pvd[4], pva[4] = { 0x0102030405060708, 0x0102030405060708, 0x0102030405060708, 0x0102030405060708 };
      22    exec_VRORudi_i (pvd, pva, 7);
      23    if (pvd[0] != 0x10020406080a0c0e)
      24      __builtin_abort ();
      25    return 0;
      26  }