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

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