Changeset 3d560060 for src/libcfa/bits/debug.c

Timestamp:

Nov 30, 2017, 3:05:25 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

557435e, 5da9d6a

Parents:

dd9b59e (diff), c2b9f21 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/libcfa/bits/debug.c (moved) (moved from src/libcfa/libhdr/libdebug.c) (5 diffs)

src/libcfa/bits/debug.c

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// libdebug.c --
+// debug.c --
 //
 // Author           : Thierry Delisle
@@ -28 +28 @@
 extern "C" {
 
-        void __lib_debug_write( const char *in_buffer, int len ) {
+        void __cfaabi_dbg_bits_write( const char *in_buffer, int len ) {
                 // ensure all data is written
                 for ( int count = 0, retcode; count < len; count += retcode ) {
@@ -44 +44 @@
         }
 
-        void __lib_debug_acquire() __attribute__((__weak__)) {}
-        void __lib_debug_release() __attribute__((__weak__)) {}
+        void __cfaabi_dbg_bits_acquire() __attribute__((__weak__)) {}
+        void __cfaabi_dbg_bits_release() __attribute__((__weak__)) {}
 
-        void __lib_debug_print_safe  ( const char fmt[], ... ) __attribute__(( format (printf, 1, 2) )) {
+        void __cfaabi_dbg_bits_print_safe  ( const char fmt[], ... ) __attribute__(( format (printf, 1, 2) )) {
                 va_list args;
 
                 va_start( args, fmt );
-                __lib_debug_acquire();
+                __cfaabi_dbg_bits_acquire();
 
                 int len = vsnprintf( buffer, buffer_size, fmt, args );
-                __lib_debug_write( buffer, len );
+                __cfaabi_dbg_bits_write( buffer, len );
 
-                __lib_debug_release();
+                __cfaabi_dbg_bits_release();
                 va_end( args );
         }
 
-        void __lib_debug_print_nolock( const char fmt[], ... ) __attribute__(( format (printf, 1, 2) )) {
+        void __cfaabi_dbg_bits_print_nolock( const char fmt[], ... ) __attribute__(( format (printf, 1, 2) )) {
                 va_list args;
 
@@ -66 +66 @@
 
                 int len = vsnprintf( buffer, buffer_size, fmt, args );
-                __lib_debug_write( buffer, len );
+                __cfaabi_dbg_bits_write( buffer, len );
 
                 va_end( args );
         }
 
-        void __lib_debug_print_vararg( const char fmt[], va_list args ) {
+        void __cfaabi_dbg_bits_print_vararg( const char fmt[], va_list args ) {
                 int len = vsnprintf( buffer, buffer_size, fmt, args );
-                __lib_debug_write( buffer, len );
+                __cfaabi_dbg_bits_write( buffer, len );
         }
 
-        void __lib_debug_print_buffer( char in_buffer[], int in_buffer_size, const char fmt[], ... ) __attribute__(( format (printf, 3, 4) )) {
+        void __cfaabi_dbg_bits_print_buffer( char in_buffer[], int in_buffer_size, const char fmt[], ... ) __attribute__(( format (printf, 3, 4) )) {
                 va_list args;
 
@@ -82 +82 @@
 
                 int len = vsnprintf( in_buffer, in_buffer_size, fmt, args );
-                __lib_debug_write( in_buffer, len );
+                __cfaabi_dbg_bits_write( in_buffer, len );
 
                 va_end( args );