Initial checkin of GCC 4.9.0 from trunk (r208799).

Change-Id: I48a3c08bb98542aa215912a75f03c0890e497dba

1 files changed, 32 insertions, 0 deletions

diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/tree-ssa/vrp73.c b/gcc-4.9/gcc/testsuite/gcc.dg/tree-ssa/vrp73.c
new file mode 100644
index 000000000..ea557fd9b
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.dg/tree-ssa/vrp73.c
@@ -0,0 +1,32 @@
+/* { dg-options "-O2" } */
+
+__extension__ typedef __INTPTR_TYPE__ intptr_t;
+
+typedef unsigned long long uint64_t;
+
+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 dest_core, src_core;
+
+int
+main ()
+{
+  cvmx_write_csr ((((((uint64_t)2LL) << 62)
+		    | ((0x0001070000000600ull+((dest_core&0xff)*8))))),
+		  1ull << src_core);
+  return 0;
+}