111
|
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 }
|