From 25cd48401b3a6ff54ff4c97cfdf1942c59daa490 Mon Sep 17 00:00:00 2001
From: baldurk <baldurk@baldurk.org>
Date: Wed, 16 Sep 2015 11:36:56 +0200
Subject: [PATCH] Change replay ID resource ID offset to decimal instead of hex

---
 renderdoc/core/resource_manager.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/renderdoc/core/resource_manager.cpp b/renderdoc/core/resource_manager.cpp
index 9a6e0b3fd..c4ee57dd7 100644
--- a/renderdoc/core/resource_manager.cpp
+++ b/renderdoc/core/resource_manager.cpp
@@ -36,7 +36,10 @@ namespace ResourceIDGen
 
 	void SetReplayResourceIDs()
 	{
-		globalIDCounter = RDCMAX(uint64_t(globalIDCounter), uint64_t(globalIDCounter|0x1000000000000000ULL));
+		// separate replay IDs from live IDs by adding a value when replaying.
+		// 1000000000000000000 live IDs before we overlap replay IDs gives
+		// almost 32 years generating 100000 IDs per frame at 10000 FPS.
+		globalIDCounter = RDCMAX(uint64_t(globalIDCounter), uint64_t(globalIDCounter+1000000000000000000ULL));
 	}
 };