+ -DCPU_CACHE_SIZE_DEFAULT=524288 \
+ -DGPU_CACHE_SIZE_DEFAULT=524288 \
+ -DGPU_SCRATCHPAD_SIZE_DEFAULT=48000 \
+ -DUSE_HW_CACHES=ON \
+ -DHIERARCHICAL_INTERVALS=ON \
+ -DPREFETCH_REPS=1 \
+ -DUSE_HW_CACHES_PREFETCH=ON \
+ -DUSE_HW_CACHES_INLINEPTX_PREFETCH=OFF \
+ -DUSE_HW_CACHES_LIBCALL=OFF \
+ -DUSE_HW_CACHES_VOLALOAD=OFF \
+ -DUSE_HW_CACHES_SINGLEWRITEBACK=OFF \
+ -DUSE_HW_CACHES_INDWRITEBACK_LIBCALL=ON \
+ -DUSE_HW_CACHES_INDWRITEBACK_INLINE=OFF \
+ -DULES_EXTERNAL_LINKAGE=OFF \
+ -DALWAYS_INLINE_UNSPECIALIZED=OFF \
+ -DALWAYS_INLINE_LOAD=OFF \
+ -DALWAYS_INLINE_EXECUTE=OFF \
+ -DALWAYS_INLINE_STORE=OFF \
+ -DAGGRESSIVELY_INLINE_CALL_TREE=OFF \