Define GC_PREFETCH_FOR_WRITE to __builtin_prefetch in gc_inline.h (GCC)
authorIvan Maidanski <ivmai@mail.ru>
Tue, 28 Feb 2017 20:41:03 +0000 (23:41 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Tue, 28 Feb 2017 20:41:03 +0000 (23:41 +0300)
commit0141312b38db1934d6b65380a70a7c26180ff80a
tree3519e9cf595311fccbc6bea4f51bab57902ba0b6
parente9cdef7958484c77addb654175812a96fcfe15a4
Define GC_PREFETCH_FOR_WRITE to __builtin_prefetch in gc_inline.h (GCC)

Also add GC_ prefix to NO_PREFETCH_FOR_WRITE.

* include/gc_inline.h [!GC_PREFETCH_FOR_WRITE] (GC_PREFETCH_FOR_WRITE):
Copy the definition from gcconfig.h.
* include/private/gcconfig.h (NO_PREFETCH_FOR_WRITE): Rename to
GC_NO_PREFETCH_FOR_WRITE.
include/gc_inline.h
include/private/gcconfig.h