Write out uint64_t as i{0..32},i{33..64} instead of i{0..32},0.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129638 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/runtime/libprofile/GCDAProfiling.c b/runtime/libprofile/GCDAProfiling.c
index d5fcd17..0bd445c 100644
--- a/runtime/libprofile/GCDAProfiling.c
+++ b/runtime/libprofile/GCDAProfiling.c
@@ -18,7 +18,6 @@
 \*===----------------------------------------------------------------------===*/
 
 #include "llvm/Support/DataTypes.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
@@ -37,8 +36,8 @@
 
 static void write_int64(uint64_t i) {
   uint32_t lo, hi;
-  lo = i & 0x00000000ffffffff;
-  hi = i & 0xffffffff00000000;
+  lo = i >>  0;
+  hi = i >> 32;
 
   write_int32(lo);
   write_int32(hi);