Changeset 68f0c4e for libcfa/src/stdlib.hfa

Timestamp:

Sep 1, 2020, 8:05:48 PM (3 years ago)

Author:

m3zulfiq <m3zulfiq@…>

Branches:

arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

70cab43

Parents:

d3aa64f

Message:

stdlib.hfa: changed CFA malloc, realloc and resize as discussed with Peter. malloc.cfa: corrected CFA posix-memalign test. alloc.txt: corrected expected alloc test output (temporarily, yet to be reviewed by Peter) while old expected output is in alloc-old.txt (temporary file to be removed after review with Peter)

File:

• libcfa/src/stdlib.hfa (modified) (4 diffs)

libcfa/src/stdlib.hfa

@@ -43 +43 @@
 //---------------------------------------
 
-// Macro because of returns
-#define $VAR_ALLOC( allocation, alignment ) \
-        if ( _Alignof(T) <= libAlign() ) return (T *)(void *)allocation( (size_t)sizeof(T) ); /* C allocation */ \
-        else return (T *)alignment( _Alignof(T), sizeof(T) )
-
 #define $ARRAY_ALLOC( allocation, alignment, dim ) \
         if ( _Alignof(T) <= libAlign() ) return (T *)(void *)allocation( dim, (size_t)sizeof(T) ); /* C allocation */ \
         else return (T *)alignment( _Alignof(T), dim, sizeof(T) )
 
-#define $RE_SPECIALS( ptr, size, allocation, alignment ) \
-        if ( unlikely( size == 0 ) || unlikely( ptr == 0p ) ) { \
-                if ( unlikely( size == 0 ) ) free( ptr ); \
-                $VAR_ALLOC( malloc, memalign ); \
-        } /* if */
-
 static inline forall( dtype T | sized(T) ) {
         // Cforall safe equivalents, i.e., implicit size specification
 
         T * malloc( void ) {
-                $VAR_ALLOC( malloc, memalign );
+                if ( _Alignof(T) <= libAlign() ) return (T *)(void *)malloc( (size_t)sizeof(T) ); /* C allocation */
+                else return (T *)memalign( _Alignof(T), sizeof(T) );
         } // malloc
 
@@ -74 +64 @@
 
         T * resize( T * ptr, size_t size ) {                            // CFA resize, eliminate return-type cast
-                $RE_SPECIALS( ptr, size, malloc, memalign );
                 if ( _Alignof(T) <= libAlign() ) return (T *)(void *)resize( (void *)ptr, size ); // CFA resize
                 else return (T *)(void *)resize( (void *)ptr, _Alignof(T), size ); // CFA resize
@@ -80 +69 @@
 
         T * realloc( T * ptr, size_t size ) {                           // CFA realloc, eliminate return-type cast
-                $RE_SPECIALS( ptr, size, malloc, memalign );
                 if ( _Alignof(T) <= libAlign() ) return (T *)(void *)realloc( (void *)ptr, size ); // C realloc
                 else return (T *)(void *)realloc( (void *)ptr, _Alignof(T), size ); // CFA realloc
@@ -188 +176 @@
                 size_t size = sizeof(T);
                 size_t copy_end = 0;
-
                 if(Resize) {
-                        ptr = (T*) (void *) resize( (int *)Resize, Align, Dim * size );
+//printf("1. $alloc_internal got: %p %p %lu %lu\n", Resize, Realloc, Align, Dim); // these prints are temporary
+                        ptr = (T*) (void *) resize( (void *)Resize, Align, Dim * size );
                 } else if (Realloc) {
                         if (Fill.tag != '0') copy_end = min(malloc_size( Realloc ), Dim * size);
-                        ptr = (T*) (void *) realloc( (int *)Realloc, Align, Dim * size );
+//printf("2. $alloc_internal got: %p %p %lu %lu\n", Resize, Realloc, Align, Dim);
+                        ptr = (T*) (void *) realloc( (void *)Realloc, Align, Dim * size );
                 } else {
+//printf("3. $alloc_internal got: %p %p %lu %lu\n", Resize, Realloc, Align, Dim);
                         ptr = (T*) (void *) memalign( Align, Dim * size );
                 }