gcc/testsuite/gcc.dg/tree-ssa/vrp75.c

   1 /* { dg-options "-O2" } */
   2
   3 __extension__ typedef __INTPTR_TYPE__ intptr_t;
   4 typedef unsigned long long uint64_t;
   5 extern void linker_error (void);
   6
   7 static inline void cvmx_write64_uint64(uint64_t addr, uint64_t val)
   8 {
   9   *(volatile uint64_t *)(intptr_t)addr = val;
  10 };
  11 static inline uint64_t cvmx_read64_uint64(uint64_t addr)
  12 {
  13   return *(volatile uint64_t *)(intptr_t)addr;
  14 };
  15 static inline void cvmx_write_csr(uint64_t csr_addr, uint64_t val)
  16 {
  17     cvmx_write64_uint64 (csr_addr, val);
  18     if ((csr_addr >> 40) != 0x800118)
  19       linker_error ();
  20 }
  21
  22 int interface;
  23 int idx;
  24
  25 int
  26 main ()
  27 {
  28     cvmx_write_csr((((((uint64_t) 2LL) << 62)
  29                      | ((0x0001180008000208ull
  30                          + (((idx)&3)*2048)
  31                          + (((interface)&1)*0x8000000ull))))), 1);
  32   return 0;
  33 }