tbb/tbb-2019-fetchadd4.patch

13 lines
662 B
Diff

diff -up tbb-2019_U9/src/tbb/tools_api/ittnotify_config.h.orig tbb-2019_U9/src/tbb/tools_api/ittnotify_config.h
--- tbb-2019_U9/src/tbb/tools_api/ittnotify_config.h.orig 2019-10-09 08:58:36.000000000 -0600
+++ tbb-2019_U9/src/tbb/tools_api/ittnotify_config.h 2019-10-13 10:02:40.917579950 -0600
@@ -331,7 +331,7 @@ ITT_INLINE long
__itt_interlocked_increment(volatile long* ptr) ITT_INLINE_ATTRIBUTE;
ITT_INLINE long __itt_interlocked_increment(volatile long* ptr)
{
- return __TBB_machine_fetchadd4(ptr, 1) + 1L;
+ return __atomic_fetch_add(ptr, 1L, __ATOMIC_SEQ_CST) + 1L;
}
#endif /* ITT_SIMPLE_INIT */
#endif /* ITT_PLATFORM==ITT_PLATFORM_WIN */