Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/vrp72.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { dg-options "-O2" } */ typedef __INTPTR_TYPE__ intptr_t; typedef unsigned long long uint64_t; extern void linker_error (void); static inline void cvmx_write64_uint64(uint64_t addr, uint64_t val) { *(volatile uint64_t *)(intptr_t)addr = val; }; static inline uint64_t cvmx_read64_uint64(uint64_t addr) { return *(volatile uint64_t *)(intptr_t)addr; }; static inline void cvmx_write_csr(uint64_t csr_addr, uint64_t val) { cvmx_write64_uint64 (csr_addr, val); if ((csr_addr >> 40) != 0x800118) linker_error (); } int uart; int main () { cvmx_write_csr (((((uint64_t) 2LL) << 62) | (0x0001180000000808ull+((uart&0xff)*1024))), 0xfff); return 0; }