PR tree-optimization/33562
[official-gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / vrp73.c
blob16b0a814ed8cfb4b65611f940ffca6c935de1b45
1 /* { dg-options "-O2" } */
3 __extension__ typedef __INTPTR_TYPE__ intptr_t;
4 extern void linker_error (void);
5 typedef unsigned long long uint64_t;
7 static inline void cvmx_write64_uint64(uint64_t addr, uint64_t val)
9 *(volatile uint64_t *)(intptr_t)addr = val;
11 static inline uint64_t cvmx_read64_uint64(uint64_t addr)
13 return *(volatile uint64_t *)(intptr_t)addr;
16 static inline void cvmx_write_csr(uint64_t csr_addr, uint64_t val)
18 cvmx_write64_uint64 (csr_addr, val);
19 if ((csr_addr >> 40) == 0x800118)
20 linker_error ();
23 int dest_core, src_core;
25 int
26 main ()
28 cvmx_write_csr ((((((uint64_t)2LL) << 62)
29 | ((0x0001070000000600ull+((dest_core&0xff)*8))))),
30 1ull << src_core);
31 return 0;