@@ -145,7 +145,7 @@ GibSym gib_read_gensym_counter(void)
145145#ifdef _GIBBON_POINTER
146146
147147#ifdef _GIBBON_BUMPALLOC_HEAP
148- #pragma message "Using bump allocator."
148+ GIB_PRAGMA_MESSAGE ( "Using bump allocator." )
149149
150150static __thread char * gib_global_ptr_bumpalloc_heap_ptr = (char * ) NULL ;
151151static __thread char * gib_global_ptr_bumpalloc_heap_ptr_end = (char * ) NULL ;
@@ -512,7 +512,7 @@ GibCursor *gib_array_alloc(GibCursor *arr, size_t size)
512512 exit (1 );
513513 }
514514
515- #pragma GCC unroll 2
515+ GIB_PRAGMA_UNROLL ( 2 )
516516 for (size_t i = 0 ; i < size ; i ++ ){
517517 arr_on_heap [i ] = arr [i ];
518518 }
@@ -724,7 +724,7 @@ double gib_sum_timing_array(GibVector *times)
724724
725725#ifdef _GIBBON_BUMPALLOC_LISTS
726726// #define _GIBBON_DEBUG
727- #pragma message "Using bump allocator."
727+ GIB_PRAGMA_MESSAGE ( "Using bump allocator." )
728728
729729static __thread char * gib_global_list_bumpalloc_heap_ptr = (char * ) NULL ;
730730static __thread char * gib_global_list_bumpalloc_heap_ptr_end = (char * ) NULL ;
@@ -1054,26 +1054,26 @@ void gib_print_gc_config(void) {
10541054 printf ("C config\n~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n" );
10551055
10561056#if defined _GIBBON_GENGC && _GIBBON_GENGC == 0
1057- #pragma message "Generational GC is disabled."
1057+ GIB_PRAGMA_MESSAGE ( "Generational GC is disabled." )
10581058 printf ("Generational GC is disabled.\n" );
10591059#else
1060- #pragma message "Generational GC is enabled."
1060+ GIB_PRAGMA_MESSAGE ( "Generational GC is enabled." )
10611061 printf ("Generational GC is enabled.\n" );
10621062#endif
10631063
10641064#if defined _GIBBON_EAGER_PROMOTION && _GIBBON_EAGER_PROMOTION == 0
1065- #pragma message "Eager promotion is disabled."
1065+ GIB_PRAGMA_MESSAGE ( "Eager promotion is disabled." )
10661066 printf ("Eager promotion is disabled.\n" );
10671067#else
1068- #pragma message "Eager promotion is enabled."
1068+ GIB_PRAGMA_MESSAGE ( "Eager promotion is enabled." )
10691069 printf ("Eager promotion is enabled.\n" );
10701070#endif
10711071
10721072#if defined _GIBBON_SIMPLE_WRITE_BARRIER && _GIBBON_SIMPLE_WRITE_BARRIER == 0
1073- #pragma message "Simple write barrier is disabled."
1073+ GIB_PRAGMA_MESSAGE ( "Simple write barrier is disabled." )
10741074 printf ("Simple write barrier is disabled.\n" );
10751075#else
1076- #pragma message "Simple write barrier is enabled."
1076+ GIB_PRAGMA_MESSAGE ( "Simple write barrier is enabled." )
10771077 printf ("Simple write barrier is enabled.\n" );
10781078#endif
10791079
0 commit comments