modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/ashldi-1.c (about)

     1  #include <limits.h>
     2  
     3  extern void abort(void);
     4  extern void exit(int);
     5  
     6  #if __LONG_LONG_MAX__ == 9223372036854775807LL
     7  #define BITS 64
     8  
     9  static unsigned long long const data[64] = {
    10    0x123456789abcdefULL,
    11    0x2468acf13579bdeULL,
    12    0x48d159e26af37bcULL,
    13    0x91a2b3c4d5e6f78ULL,
    14    0x123456789abcdef0ULL,
    15    0x2468acf13579bde0ULL,
    16    0x48d159e26af37bc0ULL,
    17    0x91a2b3c4d5e6f780ULL,
    18    0x23456789abcdef00ULL,
    19    0x468acf13579bde00ULL,
    20    0x8d159e26af37bc00ULL,
    21    0x1a2b3c4d5e6f7800ULL,
    22    0x3456789abcdef000ULL,
    23    0x68acf13579bde000ULL,
    24    0xd159e26af37bc000ULL,
    25    0xa2b3c4d5e6f78000ULL,
    26    0x456789abcdef0000ULL,
    27    0x8acf13579bde0000ULL,
    28    0x159e26af37bc0000ULL,
    29    0x2b3c4d5e6f780000ULL,
    30    0x56789abcdef00000ULL,
    31    0xacf13579bde00000ULL,
    32    0x59e26af37bc00000ULL,
    33    0xb3c4d5e6f7800000ULL,
    34    0x6789abcdef000000ULL,
    35    0xcf13579bde000000ULL,
    36    0x9e26af37bc000000ULL,
    37    0x3c4d5e6f78000000ULL,
    38    0x789abcdef0000000ULL,
    39    0xf13579bde0000000ULL,
    40    0xe26af37bc0000000ULL,
    41    0xc4d5e6f780000000ULL,
    42    0x89abcdef00000000ULL,
    43    0x13579bde00000000ULL,
    44    0x26af37bc00000000ULL,
    45    0x4d5e6f7800000000ULL,
    46    0x9abcdef000000000ULL,
    47    0x3579bde000000000ULL,
    48    0x6af37bc000000000ULL,
    49    0xd5e6f78000000000ULL,
    50    0xabcdef0000000000ULL,
    51    0x579bde0000000000ULL,
    52    0xaf37bc0000000000ULL,
    53    0x5e6f780000000000ULL,
    54    0xbcdef00000000000ULL,
    55    0x79bde00000000000ULL,
    56    0xf37bc00000000000ULL,
    57    0xe6f7800000000000ULL,
    58    0xcdef000000000000ULL,
    59    0x9bde000000000000ULL,
    60    0x37bc000000000000ULL,
    61    0x6f78000000000000ULL,
    62    0xdef0000000000000ULL,
    63    0xbde0000000000000ULL,
    64    0x7bc0000000000000ULL,
    65    0xf780000000000000ULL,
    66    0xef00000000000000ULL,
    67    0xde00000000000000ULL,
    68    0xbc00000000000000ULL,
    69    0x7800000000000000ULL,
    70    0xf000000000000000ULL,
    71    0xe000000000000000ULL,
    72    0xc000000000000000ULL,
    73    0x8000000000000000ULL
    74  };
    75  
    76  #elif __LONG_LONG_MAX__ == 2147483647LL
    77  #define BITS 32
    78  
    79  static unsigned long long const data[32] = {
    80    0x1234567fULL,
    81    0x2468acfeULL,
    82    0x48d159fcULL,
    83    0x91a2b3f8ULL,
    84    0x234567f0ULL,
    85    0x468acfe0ULL,
    86    0x8d159fc0ULL,
    87    0x1a2b3f80ULL,
    88    0x34567f00ULL,
    89    0x68acfe00ULL,
    90    0xd159fc00ULL,
    91    0xa2b3f800ULL,
    92    0x4567f000ULL,
    93    0x8acfe000ULL,
    94    0x159fc000ULL,
    95    0x2b3f8000ULL,
    96    0x567f0000ULL,
    97    0xacfe0000ULL,
    98    0x59fc0000ULL,
    99    0xb3f80000ULL,
   100    0x67f00000ULL,
   101    0xcfe00000ULL,
   102    0x9fc00000ULL,
   103    0x3f800000ULL,
   104    0x7f000000ULL,
   105    0xfe000000ULL,
   106    0xfc000000ULL,
   107    0xf8000000ULL,
   108    0xf0000000ULL,
   109    0xe0000000ULL,
   110    0xc0000000ULL,
   111    0x80000000ULL
   112  };
   113  
   114  #else
   115  #error "Update the test case."
   116  #endif
   117  
   118  static unsigned long long
   119  variable_shift(unsigned long long x, int i)
   120  {
   121    return x << i;
   122  }
   123  
   124  static unsigned long long
   125  constant_shift(unsigned long long x, int i)
   126  {
   127    switch (i)
   128      {
   129      case 0: x = x << 0; break;
   130      case 1: x = x << 1; break;
   131      case 2: x = x << 2; break;
   132      case 3: x = x << 3; break;
   133      case 4: x = x << 4; break;
   134      case 5: x = x << 5; break;
   135      case 6: x = x << 6; break;
   136      case 7: x = x << 7; break;
   137      case 8: x = x << 8; break;
   138      case 9: x = x << 9; break;
   139      case 10: x = x << 10; break;
   140      case 11: x = x << 11; break;
   141      case 12: x = x << 12; break;
   142      case 13: x = x << 13; break;
   143      case 14: x = x << 14; break;
   144      case 15: x = x << 15; break;
   145      case 16: x = x << 16; break;
   146      case 17: x = x << 17; break;
   147      case 18: x = x << 18; break;
   148      case 19: x = x << 19; break;
   149      case 20: x = x << 20; break;
   150      case 21: x = x << 21; break;
   151      case 22: x = x << 22; break;
   152      case 23: x = x << 23; break;
   153      case 24: x = x << 24; break;
   154      case 25: x = x << 25; break;
   155      case 26: x = x << 26; break;
   156      case 27: x = x << 27; break;
   157      case 28: x = x << 28; break;
   158      case 29: x = x << 29; break;
   159      case 30: x = x << 30; break;
   160      case 31: x = x << 31; break;
   161  #if BITS > 32
   162      case 32: x = x << 32; break;
   163      case 33: x = x << 33; break;
   164      case 34: x = x << 34; break;
   165      case 35: x = x << 35; break;
   166      case 36: x = x << 36; break;
   167      case 37: x = x << 37; break;
   168      case 38: x = x << 38; break;
   169      case 39: x = x << 39; break;
   170      case 40: x = x << 40; break;
   171      case 41: x = x << 41; break;
   172      case 42: x = x << 42; break;
   173      case 43: x = x << 43; break;
   174      case 44: x = x << 44; break;
   175      case 45: x = x << 45; break;
   176      case 46: x = x << 46; break;
   177      case 47: x = x << 47; break;
   178      case 48: x = x << 48; break;
   179      case 49: x = x << 49; break;
   180      case 50: x = x << 50; break;
   181      case 51: x = x << 51; break;
   182      case 52: x = x << 52; break;
   183      case 53: x = x << 53; break;
   184      case 54: x = x << 54; break;
   185      case 55: x = x << 55; break;
   186      case 56: x = x << 56; break;
   187      case 57: x = x << 57; break;
   188      case 58: x = x << 58; break;
   189      case 59: x = x << 59; break;
   190      case 60: x = x << 60; break;
   191      case 61: x = x << 61; break;
   192      case 62: x = x << 62; break;
   193      case 63: x = x << 63; break;
   194  #endif
   195  
   196      default:
   197        abort ();
   198      }
   199    return x;
   200  }
   201  
   202  int
   203  main()
   204  {
   205    int i;
   206  
   207    for (i = 0; i < BITS; ++i)
   208      {
   209        unsigned long long y = variable_shift (data[0], i);
   210        if (y != data[i])
   211  	abort ();
   212      }
   213    for (i = 0; i < BITS; ++i)
   214      {
   215        unsigned long long y = constant_shift (data[0], i);
   216        if (y != data[i])
   217  	abort ();
   218      }
   219  
   220    exit (0);
   221  }