Changeset 73abe95


Ignore:
Timestamp:
Aug 6, 2018, 2:50:03 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, no_list, persistent-indexer, pthread-emulation, qualifiedEnum
Children:
58b6d1b
Parents:
ff593a3
Message:

Replace extension-less headers with .hfa

Files:
126 edited
31 moved

Legend:

Unmodified
Added
Removed

  • benchmark/Monitor.c

    rff593a3 r73abe95  
    1 #include <fstream>
    2 #include <stdlib>
    3 #include <thread>
     1#include <fstream.hfa>
     2#include <stdlib.hfa>
     3#include <thread.hfa>
    44
    55#include "bench.h"

  • benchmark/bench.h

    rff593a3 r73abe95  
    1111#else
    1212}
    13 #include <time>
     13#include <time.hfa>
    1414#endif
    1515

  • benchmark/creation/cfa_cor.c

    rff593a3 r73abe95  
    11#include <stdio.h>
    2 #include <coroutine>
     2#include <coroutine.hfa>
    33
    44#include "bench.h"

  • benchmark/creation/cfa_thrd.c

    rff593a3 r73abe95  
    11#include <stdio.h>
    2 #include <thread>
     2#include <thread.hfa>
    33
    44#include "bench.h"

  • benchmark/ctxswitch/cfa_cor.c

    rff593a3 r73abe95  
    11#include <stdio.h>
    2 #include <kernel>
    3 #include <thread>
     2#include <kernel.hfa>
     3#include <thread.hfa>
    44
    55#include "bench.h"

  • benchmark/ctxswitch/cfa_thrd.c

    rff593a3 r73abe95  
    11#include <stdio.h>
    2 #include <thread>
     2#include <thread.hfa>
    33
    44#include "bench.h"

  • benchmark/ctxswitch/cfa_thrd2.c

    rff593a3 r73abe95  
    11#include <stdio.h>
    2 #include <thread>
     2#include <thread.hfa>
    33
    44#include "bench.h"

  • benchmark/mutex/cfa1.c

    rff593a3 r73abe95  
    1 #include <monitor>
     1#include <monitor.hfa>
    22#include <stdio.h>
    33

  • benchmark/mutex/cfa2.c

    rff593a3 r73abe95  
    1 #include <monitor>
     1#include <monitor.hfa>
    22#include <stdio.h>
    33

  • benchmark/mutex/cfa4.c

    rff593a3 r73abe95  
    1 #include <monitor>
     1#include <monitor.hfa>
    22#include <stdio.h>
    33

  • benchmark/schedext/cfa1.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <monitor>
    3 #include <thread>
     1#include <kernel.hfa>
     2#include <monitor.hfa>
     3#include <thread.hfa>
    44#include <stdio.h>
    55

  • benchmark/schedext/cfa2.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <monitor>
    3 #include <thread>
     1#include <kernel.hfa>
     2#include <monitor.hfa>
     3#include <thread.hfa>
    44#include <stdio.h>
    55

  • benchmark/schedext/cfa4.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <monitor>
    3 #include <thread>
     1#include <kernel.hfa>
     2#include <monitor.hfa>
     3#include <thread.hfa>
    44#include <stdio.h>
    55

  • benchmark/schedint/cfa1.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <monitor>
    3 #include <thread>
     1#include <kernel.hfa>
     2#include <monitor.hfa>
     3#include <thread.hfa>
    44#include <stdio.h>
    55

  • benchmark/schedint/cfa2.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <monitor>
    3 #include <thread>
     1#include <kernel.hfa>
     2#include <monitor.hfa>
     3#include <thread.hfa>
    44#include <stdio.h>
    55

  • benchmark/schedint/cfa4.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <monitor>
    3 #include <thread>
     1#include <kernel.hfa>
     2#include <monitor.hfa>
     3#include <thread.hfa>
    44#include <stdio.h>
    55

  • examples/ArrayN.c

    rff593a3 r73abe95  
    1 #include <fstream>
     1#include <fstream.hfa>
    22
    33// [unsigned, unsigned] offset_to_index(unsigned offset, unsigned sx, unsigned sy)

  • examples/gc_no_raii/bug-repro/blockers/file_scope.c

    rff593a3 r73abe95  
    11
    22#include <stdbool.h>
    3 #include <stdlib>
     3#include <stdlib.hfa>
    44
    55#define POOL_SIZE_EXP 24

  • examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c

    rff593a3 r73abe95  
    11
    22#include <stdbool.h>
    3 #include <stdlib>
     3#include <stdlib.hfa>
    44
    55trait allocator_c(otype T, otype allocator_t)

  • examples/gc_no_raii/bug-repro/field.c

    rff593a3 r73abe95  
    44}
    55
    6 #include <stdlib>
     6#include <stdlib.hfa>
    77
    88//------------------------------------------------------------------------------

  • examples/gc_no_raii/bug-repro/slow_malloc.c

    rff593a3 r73abe95  
    1 #include <stdlib>
     1#include <stdlib.hfa>
    22
    33forall(otype T)

  • examples/gc_no_raii/src/internal/collector.c

    rff593a3 r73abe95  
    99#endif
    1010
    11 #include <fstream>
     11#include <fstream.hfa>
    1212
    1313#include "state.h"

  • examples/gc_no_raii/src/internal/state.c

    rff593a3 r73abe95  
    11#include "state.h"
    22
    3 #include <stdlib>
     3#include <stdlib.hfa>
    44
    55//general purpouse includes

  • examples/gc_no_raii/src/internal/state.h

    rff593a3 r73abe95  
    99}
    1010#endif
    11 #include <fstream>
     11#include <fstream.hfa>
    1212#include <vector>
    1313

  • examples/gc_no_raii/src/tools/print.h

    rff593a3 r73abe95  
    33// #ifndef NDEBUG
    44//
    5 // #include <fstream>
     5// #include <fstream.hfa>
    66//
    77// #define DEBUG_OUT(x) sout | x | endl;

  • examples/gc_no_raii/src/tools/worklist.h

    rff593a3 r73abe95  
    1010#endif
    1111
    12 #include <vector>
     12#include <vector.hfa>
    1313
    1414typedef vector(intptr_t*, heap_allocator(intptr_t*)) worklist_t;

  • examples/gc_no_raii/test/gctest.c

    rff593a3 r73abe95  
    1 #include <fstream>
     1#include <fstream.hfa>
    22
    33#include "gc.h"

  • examples/multicore.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <thread>
     1#include <kernel.hfa>
     2#include <thread.hfa>
    33
    44struct MyThread { thread_desc __thrd; };

  • examples/prolog.c

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // prolog.c -- 
     7// prolog.c --
    88//
    99// Author           : Richard C. Bilson
    … …  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818void printResult( int x ) { sout | "int" | endl; }

  • examples/quad.c

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // quad.c -- 
     7// quad.c --
    88//
    99// Author           : Richard C. Bilson
    … …  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818forall( otype T | { T ?*?( T, T ); } )

  • examples/square.c

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // square.c -- 
     7// square.c --
    88//
    99// Author           : Richard C. Bilson
    … …  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818forall( otype T | { T ?*?( T, T ); } )

  • examples/twice.c

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // twice.c -- 
     7// twice.c --
    88//
    99// Author           : Richard C. Bilson
    … …  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818forall( otype T | { T ?+?( T, T ); T ?++( T * ); [T] ?+=?( T *, T ); } )

  • examples/wrapper/src/pointer.h

    rff593a3 r73abe95  
    11#pragma once
    22
    3 #include <fstream>
     3#include <fstream.hfa>
    44#include <stddef.h>
    5 #include <stdlib>
     5#include <stdlib.hfa>
    66
    77//==============================================================================

  • examples/zero_one.c

    rff593a3 r73abe95  
    1 #include <fstream>
     1#include <fstream.hfa>
    22
    33void foo(zero_t o)
    … …  
    1616}
    1717
    18 int main() 
     18int main()
    1919{
    2020        foo(0);

  • libcfa/src/Makefile.am

    rff593a3 r73abe95  
    3333CFACC = @CFACC@
    3434
    35 headers = fstream iostream iterator limits rational time stdlib common \
    36           containers/maybe containers/pair containers/result containers/vector
     35#----------------------------------------------------------------------------------------------------------------
     36headers = fstream.hfa iostream.hfa iterator.hfa limits.hfa rational.hfa time.hfa stdlib.hfa common.hfa \
     37          containers/maybe.hfa containers/pair.hfa containers/result.hfa containers/vector.hfa
    3738
    3839# not all platforms support concurrency, add option do disable it
    39 headers += concurrency/coroutine concurrency/thread concurrency/kernel concurrency/monitor concurrency/mutex
     40headers += concurrency/coroutine.hfa concurrency/thread.hfa concurrency/kernel.hfa concurrency/monitor.hfa concurrency/mutex.hfa
    4041
    41 libobjs = ${headers:=.o}
     42libobjs = ${headers:.hfa=.o}
    4243libsrc = prelude.c startup.cfa interpose.cfa bits/debug.cfa assert.cfa exception.c virtual.c heap.cfa \
    43         ${headers:=.cfa}
     44        ${headers:.hfa=.cfa}
    4445
    4546# not all platforms support concurrency, add option do disable it
    4647libsrc += concurrency/CtxSwitch-@ARCHITECTURE@.S concurrency/alarm.cfa concurrency/invoke.c concurrency/preemption.cfa
    4748
    48 # extensionless header files are overridden by -o flag in default makerule => explicitly override default rule to silently do nothing
    49 # SKULLDUGGERY in order to make sure this isn't called make the rule always fail but also create a rule for headers
    50 % : %.c
    51         echo "Dummy rule, should never be called"
    52         false
    53 
    54 # This rule should always match headers and since it has no prerequisite it will never be called
    55 $(addprefix $(srcdir)/,$(headers)):
    56         echo "Dummy rule, should never be called"
    57         false
    58 
    59 
    60 ${libobjs} : ${cfalib_DATA} # add dependency to cfa-cpp so all libraries are rebuilt with new translator
     49#----------------------------------------------------------------------------------------------------------------
     50# add dependency to cfa-cpp so all libraries are rebuilt with new translator
     51${libobjs} : ${cfalib_DATA}
    6152
    6253libcfa_a_SOURCES = ${libsrc}
    … …  
    6556
    6657cfa_includedir = $(CFA_INCDIR)
    67 nobase_cfa_include_HEADERS =    \
    68         ${headers}              \
    69         ${stdhdr}               \
    70         math                    \
    71         gmp                     \
    72         time_t.h                \
    73         bits/align.h            \
    74         bits/containers.h       \
    75         bits/defs.h             \
    76         bits/debug.h            \
    77         bits/locks.h            \
    78         concurrency/invoke.h
     58nobase_cfa_include_HEADERS = \
     59        ${headers}             \
     60        ${stdhdr}              \
     61        math.hfa               \
     62        gmp.hfa                \
     63        time_t.hfa             \
     64        bits/align.hfa         \
     65        bits/containers.hfa    \
     66        bits/defs.hfa          \
     67        bits/debug.hfa         \
     68        bits/locks.hfa         \
     69        concurrency/invoke.hfa
    7970
    80 CLEANFILES = prelude.c
     71MOSTLYCLEANFILES = prelude.c
    8172
     73#----------------------------------------------------------------------------------------------------------------
    8274maintainer-clean-local:
    8375        -rm -rf ${CFA_INCDIR} ${CFA_LIBDIR}

  • libcfa/src/assert.cfa

    rff593a3 r73abe95  
    1717#include <stdarg.h>                                                             // varargs
    1818#include <stdio.h>                                                              // fprintf
    19 #include "bits/debug.h"
     19#include "bits/debug.hfa"
    2020
    2121extern "C" {

  • libcfa/src/bits/algorithm.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // bits/algorithms.h -- Builtins for exception handling.
     7// bits/algorithms.hfa -- Builtins for exception handling.
    88//
    99// Author           : Thierry Delisle

  • libcfa/src/bits/align.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // align.h --
     7// align.hfa --
    88//
    99// Author           : Thierry Delisle

  • libcfa/src/bits/containers.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // bits/containers.h -- Intrusive generic containers.h
     7// bits/containers.hfa -- Intrusive generic containers.hfa
    88//
    99// Author           : Thierry Delisle
    … …  
    1515#pragma once
    1616
    17 #include "bits/align.h"
    18 #include "bits/defs.h"
     17#include "bits/align.hfa"
     18#include "bits/defs.hfa"
    1919
    2020//-----------------------------------------------------------------------------

  • libcfa/src/bits/debug.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // debug.h --
     7// debug.hfa --
    88//
    99// Author           : Thierry Delisle

  • libcfa/src/bits/defs.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // defs.h --
     7// defs.hfa --
    88//
    99// Author           : Thierry Delisle

  • libcfa/src/bits/locks.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // bits/locks.h -- Fast internal locks.
     7// bits/locks.hfa -- Fast internal locks.
    88//
    99// Author           : Thierry Delisle
    … …  
    1616#pragma once
    1717
    18 #include "bits/debug.h"
    19 #include "bits/defs.h"
     18#include "bits/debug.hfa"
     19#include "bits/defs.hfa"
    2020#include <assert.h>
    2121

  • libcfa/src/bits/signal.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // bits/signal.h -- Helper functions and defines to use signals
     7// bits/signal.hfa -- Helper functions and defines to use signals
    88//
    99// Author           : Thierry Delisle
    … …  
    1616#pragma once
    1717
    18 #include "bits/debug.h"
    19 #include "bits/defs.h"
     18#include "bits/debug.hfa"
     19#include "bits/defs.hfa"
    2020
    2121extern "C" {
    2222#include <errno.h>
    2323#define __USE_GNU
    24 #include <signal.h>
     24#include <signal.hfa>
    2525#undef __USE_GNU
    2626#include <stdlib.h>

  • libcfa/src/clock.hfa

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2018 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // clock -- 
    8 // 
     6//
     7// clock --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Thu Apr 12 14:36:06 2018
    … …  
    1212// Last Modified On : Mon Jul  2 21:40:01 2018
    1313// Update Count     : 7
    14 // 
     14//
    1515
    16 #include <time>
     16#include <time.hfa>
    1717
    1818

  • libcfa/src/concurrency/alarm.cfa

    rff593a3 r73abe95  
    2222}
    2323
    24 #include "alarm.h"
    25 #include "kernel_private.h"
    26 #include "preemption.h"
     24#include "alarm.hfa"
     25#include "kernel_private.hfa"
     26#include "preemption.hfa"
    2727
    2828//=============================================================================================

  • libcfa/src/concurrency/alarm.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // alarm.h --
     7// alarm.hfa --
    88//
    99// Author           : Thierry Delisle

  • libcfa/src/concurrency/coroutine.cfa

    rff593a3 r73abe95  
    2525}
    2626
    27 #include "kernel_private.h"
     27#include "kernel_private.hfa"
    2828
    2929#define __CFA_INVOKE_PRIVATE__

  • libcfa/src/concurrency/invoke.h

    rff593a3 r73abe95  
    1414//
    1515
    16 #include "bits/containers.h"
    17 #include "bits/defs.h"
    18 #include "bits/locks.h"
     16#include "bits/containers.hfa"
     17#include "bits/defs.hfa"
     18#include "bits/locks.hfa"
    1919
    2020#ifdef __cforall

  • libcfa/src/concurrency/kernel.cfa

    rff593a3 r73abe95  
    2222#include <fenv.h>
    2323#include <sys/resource.h>
    24 #include <signal.h>
     24#include <signal.hfa>
    2525#include <unistd.h>
    2626}
    … …  
    2828//CFA Includes
    2929#include "time"
    30 #include "kernel_private.h"
    31 #include "preemption.h"
    32 #include "startup.h"
     30#include "kernel_private.hfa"
     31#include "preemption.hfa"
     32#include "startup.hfa"
    3333
    3434//Private includes

  • libcfa/src/concurrency/kernel.hfa

    rff593a3 r73abe95  
    1919
    2020#include "invoke.h"
    21 #include "time_t.h"
     21#include "time_t.hfa"
    2222
    2323extern "C" {

  • libcfa/src/concurrency/kernel_private.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // kernel_private.h --
     7// kernel_private.hfa --
    88//
    99// Author           : Thierry Delisle
    … …  
    1919#include "thread"
    2020
    21 #include "alarm.h"
     21#include "alarm.hfa"
    2222
    2323

  • libcfa/src/concurrency/monitor.cfa

    rff593a3 r73abe95  
    1616#include "monitor"
    1717
    18 #include <stdlib>
     18#include <stdlib.hfa>
    1919#include <inttypes.h>
    2020
    21 #include "kernel_private.h"
    22 
    23 #include "bits/algorithms.h"
     21#include "kernel_private.hfa"
     22
     23#include "bits/algorithms.hfa"
    2424
    2525//-----------------------------------------------------------------------------

  • libcfa/src/concurrency/mutex.cfa

    rff593a3 r73abe95  
    1818#include "mutex"
    1919
    20 #include "kernel_private.h"
     20#include "kernel_private.hfa"
    2121
    2222//-----------------------------------------------------------------------------

  • libcfa/src/concurrency/mutex.hfa

    rff593a3 r73abe95  
    2020#include <stdbool.h>
    2121
    22 #include "bits/algorithms.h"
    23 #include "bits/locks.h"
     22#include "bits/algorithms.hfa"
     23#include "bits/locks.hfa"
    2424
    2525#include "invoke.h"
    26 #include "time_t.h"
     26#include "time_t.hfa"
    2727
    2828//-----------------------------------------------------------------------------

  • libcfa/src/concurrency/preemption.cfa

    rff593a3 r73abe95  
    1414//
    1515
    16 #include "preemption.h"
     16#include "preemption.hfa"
    1717#include <assert.h>
    1818
    … …  
    2424}
    2525
    26 #include "bits/signal.h"
     26#include "bits/signal.hfa"
    2727
    2828#if !defined(__CFA_DEFAULT_PREEMPTION__)

  • libcfa/src/concurrency/preemption.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // preemption.h --
     7// preemption.hfa --
    88//
    99// Author           : Thierry Delisle
    … …  
    1616#pragma once
    1717
    18 #include "alarm.h"
    19 #include "kernel_private.h"
     18#include "alarm.hfa"
     19#include "kernel_private.hfa"
    2020
    2121void kernel_start_preemption();

  • libcfa/src/concurrency/thread.cfa

    rff593a3 r73abe95  
    1616#include "thread"
    1717
    18 #include "kernel_private.h"
     18#include "kernel_private.hfa"
    1919
    2020#define __CFA_INVOKE_PRIVATE__

  • libcfa/src/containers/vector.cfa

    rff593a3 r73abe95  
    1616#include <containers/vector>
    1717
    18 #include <stdlib>
     18#include <stdlib.hfa>
    1919
    2020forall(otype T, otype allocator_t | allocator_c(T, allocator_t))

  • libcfa/src/exception.c

    rff593a3 r73abe95  
    2323#include <stdio.h>
    2424#include <unwind.h>
    25 #include <bits/debug.h>
     25#include <bits/debug.hfa>
    2626
    2727// FIX ME: temporary hack to keep ARM build working

  • libcfa/src/gmp.hfa

    rff593a3 r73abe95  
    1919
    2020#include <gmp.h>                                                                                // GNU multi-precise integers
    21 #include <fstream>                                                                              // sout
     21#include <fstream.hfa>                                                                          // sout
    2222
    2323struct Int { mpz_t mpz; };                                                              // wrap GMP implementation

  • libcfa/src/heap.cfa

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // heap.c -- 
    8 // 
     6//
     7// heap.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Tue Dec 19 21:58:35 2017
    … …  
    1212// Last Modified On : Tue Jul 31 18:08:50 2018
    1313// Update Count     : 470
    14 // 
     14//
    1515
    1616#include <unistd.h>                                                                             // sbrk, sysconf
    … …  
    2222} // extern "C"
    2323
    24 #include "bits/align.h"                                                                 // libPow2
    25 #include "bits/defs.h"                                                                  // likely, unlikely
    26 #include "bits/locks.h"                                                                 // __spinlock_t
    27 #include "startup.h"                                                                    // STARTUP_PRIORITY_MEMORY
     24#include "bits/align.hfa"                                                                       // libPow2
     25#include "bits/defs.hfa"                                                                        // likely, unlikely
     26#include "bits/locks.hfa"                                                                       // __spinlock_t
     27#include "startup.hfa"                                                                  // STARTUP_PRIORITY_MEMORY
    2828#include "stdlib"                                                                               // bsearchl
    2929#include "malloc.h"
    … …  
    283283static void ?{}( HeapManager & manager ) with ( manager ) {
    284284    pageSize = sysconf( _SC_PAGESIZE );
    285    
     285
    286286    for ( unsigned int i = 0; i < NoBucketSizes; i += 1 ) { // initialize the free lists
    287287                freeLists[i].blockSize = bucketSizes[i];
    … …  
    760760                _Bool mapped __attribute__(( unused )) = headers( "calloc", area, header, freeElem, asize, alignment );
    761761                #ifndef __CFA_DEBUG__
    762                 // Mapped storage is zero filled, but in debug mode mapped memory is scrubbed in doMalloc, so it has to be reset to zero. 
     762                // Mapped storage is zero filled, but in debug mode mapped memory is scrubbed in doMalloc, so it has to be reset to zero.
    763763                if ( ! mapped )
    764764                #endif // __CFA_DEBUG__
    … …  
    783783                _Bool mapped __attribute__(( unused )) = headers( "cmemalign", area, header, freeElem, asize, alignment );
    784784                #ifndef __CFA_DEBUG__
    785                 // Mapped storage is zero filled, but in debug mode mapped memory is scrubbed in doMalloc, so it has to be reset to zero. 
     785                // Mapped storage is zero filled, but in debug mode mapped memory is scrubbed in doMalloc, so it has to be reset to zero.
    786786                if ( ! mapped )
    787787                #endif // __CFA_DEBUG__
    … …  
    828828                        _Bool mapped __attribute__(( unused )) = headers( "realloc", area, header, freeElem, asize, alignment );
    829829                        #ifndef __CFA_DEBUG__
    830                         // Mapped storage is zero filled, but in debug mode mapped memory is scrubbed in doMalloc, so it has to be reset to zero. 
     830                        // Mapped storage is zero filled, but in debug mode mapped memory is scrubbed in doMalloc, so it has to be reset to zero.
    831831                        if ( ! mapped )
    832832                        #endif // __CFA_DEBUG__

  • libcfa/src/interpose.cfa

    rff593a3 r73abe95  
    1818#include <unistd.h>                                                                             // _exit, getpid
    1919#define __USE_GNU
    20 #include <signal.h>
     20#include <signal.hfa>
    2121#undef __USE_GNU
    2222extern "C" {
    … …  
    2525}
    2626
    27 #include "bits/debug.h"
    28 #include "bits/defs.h"
    29 #include "bits/signal.h"                                                                // sigHandler_?
    30 #include "startup.h"                                                                    // STARTUP_PRIORITY_CORE
     27#include "bits/debug.hfa"
     28#include "bits/defs.hfa"
     29#include "bits/signal.hfa"                                                              // sigHandler_?
     30#include "startup.hfa"                                                                  // STARTUP_PRIORITY_CORE
    3131
    3232//=============================================================================================

  • libcfa/src/iostream

    rff593a3 r73abe95  
    164164
    165165
    166 #include <time_t.h>                                                                             // Duration (constructors) / Time (constructors)
     166#include <time_t.hfa>                                                                           // Duration (constructors) / Time (constructors)
    167167
    168168forall( dtype ostype | ostream( ostype ) ) ostype & ?|?( ostype & os, Duration dur );

  • libcfa/src/startup.cfa

    rff593a3 r73abe95  
    1414//
    1515
    16 #include "startup.h"
     16#include "startup.hfa"
    1717#include <unistd.h>
    1818

  • libcfa/src/startup.hfa

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // startup.h --
     7// startup.hfa --
    88//
    99// Author           : Thierry Delisle

  • libcfa/src/time.hfa

    rff593a3 r73abe95  
    2323#include <sys/time.h>                                                                   // timeval
    2424}
    25 #include <time_t.h>                                                                             // Duration/Time types
     25#include <time_t.hfa>                                                                           // Duration/Time types
    2626
    2727enum { TIMEGRAN = 1_000_000_000LL };                                    // nanosecond granularity, except for timeval

  • libcfa/src/time_t.hfa

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2018 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // time_t.h --
    8 // 
     6//
     7// time_t.hfa --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Tue Apr 10 14:42:03 2018
    … …  
    1212// Last Modified On : Fri Apr 13 07:51:47 2018
    1313// Update Count     : 6
    14 // 
     14//
    1515
    1616#pragma once

  • src/Concurrency/Keywords.cc

    rff593a3 r73abe95  
    9797                        "__thrd",
    9898                        "get_thread",
    99                         "thread keyword requires threads to be in scope, add #include <thread>",
     99                        "thread keyword requires threads to be in scope, add #include <thread.hfa>",
    100100                        true,
    101101                        KeywordCastExpr::Thread
    … …  
    129129                        "__cor",
    130130                        "get_coroutine",
    131                         "coroutine keyword requires coroutines to be in scope, add #include <coroutine>",
     131                        "coroutine keyword requires coroutines to be in scope, add #include <coroutine.hfa>",
    132132                        true,
    133133                        KeywordCastExpr::Coroutine
    … …  
    161161                        "__mon",
    162162                        "get_monitor",
    163                         "monitor keyword requires monitors to be in scope, add #include <monitor>",
     163                        "monitor keyword requires monitors to be in scope, add #include <monitor.hfa>",
    164164                        false,
    165165                        KeywordCastExpr::Monitor
    … …  
    488488                // Do we have the required headers
    489489                if( !monitor_decl || !guard_decl || !dtor_guard_decl )
    490                         SemanticError( decl, "mutex keyword requires monitors to be in scope, add #include <monitor>\n" );
     490                        SemanticError( decl, "mutex keyword requires monitors to be in scope, add #include <monitor.hfa>\n" );
    491491
    492492                // Instrument the body
    … …  
    685685                if( type && type->get_baseStruct()->is_thread() ) {
    686686                        if( !thread_decl || !thread_ctor_seen ) {
    687                                 SemanticError( type->get_baseStruct()->location, "thread keyword requires threads to be in scope, add #include <thread>");
     687                                SemanticError( type->get_baseStruct()->location, "thread keyword requires threads to be in scope, add #include <thread.hfa>");
    688688                        }
    689689

  • src/Concurrency/Waitfor.cc

    rff593a3 r73abe95  
    250250        Statement * GenerateWaitForPass::postmutate( WaitForStmt * waitfor ) {
    251251                if( !decl_monitor || !decl_acceptable || !decl_mask )
    252                         SemanticError( waitfor, "waitfor keyword requires monitors to be in scope, add #include <monitor>" );
     252                        SemanticError( waitfor, "waitfor keyword requires monitors to be in scope, add #include <monitor.hfa>" );
    253253
    254254                CompoundStmt * stmt = new CompoundStmt();

  • tests/Makefile.am

    rff593a3 r73abe95  
    4646avl_test_SOURCES = avltree/avl_test.c avltree/avl0.c avltree/avl1.c avltree/avl2.c avltree/avl3.c avltree/avl4.c avltree/avl-private.c
    4747
     48#----------------------------------------------------------------------------------------------------------------
    4849all-local :
    4950        @+${TEST_PY} --debug=${debug} ${concurrent} ${quick_test}
    … …  
    6768        @+${TEST_PY} --debug=${debug} -Iconcurrent
    6869
    69 # SKULLDUGGERY like libcfa/Makefile.am prevent extensionless headers from being generated
    70 # however, here it is more complicated because it must match the dependencies based on how
    71 # they are generated by gcc
    72 headers = $(shell find $(top_srcdir)/libcfa/src -type f ! -name "*.*")
    73 headers_real = $(shell realpath --relative-to=$(top_srcdir)/libcfa/src $(headers))
    74 headers_deps = $(addprefix %/, $(headers_real))
    75 $(headers_deps) :
    76         echo "Dummy rule, should never be called"
    77 
    78 # %/stdlib:
    79 #       echo "Dummy rule, should never be called"
    80 
     70#----------------------------------------------------------------------------------------------------------------
    8171# implicit rule so not all test require a rule
    8272% : %.c $(CC)

  • tests/abs.c

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // abs.c -- 
     7// abs.c --
    88//
    99// Author           : Peter A. Buhr
    … …  
    1414//
    1515
    16 #include <fstream>
    17 #include <stdlib>                                                                               // abs
     16#include <fstream.hfa>
     17#include <stdlib.hfa>                                                                           // abs
    1818
    1919int main( void ) {

  • tests/alloc.c

    rff593a3 r73abe95  
    1818#include <stdint.h>                                                                             // uintptr_t
    1919#include <stdlib.h>                                                                             // posix_memalign
    20 #include <fstream>
    21 #include <stdlib>                                                                               // access C malloc, realloc
     20#include <fstream.hfa>
     21#include <stdlib.hfa>                                                                           // access C malloc, realloc
    2222
    2323int * foo( int * p, int c ) { return p; }

  • tests/ato.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // ato.c -- 
    8 // 
     6//
     7// ato.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Thu Feb  4 08:10:57 2016
    … …  
    1212// Last Modified On : Thu Nov 16 18:31:56 2017
    1313// Update Count     : 89
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <stdlib>                                                                               // ato, strto
     16#include <fstream.hfa>
     17#include <stdlib.hfa>                                                                           // ato, strto
    1818
    1919int main( void ) {

  • tests/avltree/avl1.c

    rff593a3 r73abe95  
    11#include "avl.h"
    22// #include "cwrap.h"
    3 #include <stdlib>
     3#include <stdlib.hfa>
    44
    55forall(otype K | Comparable(K), otype V)

  • tests/avltree/avl3.c

    rff593a3 r73abe95  
    11#include "avl.h"
    22#include "avl-private.h"
    3 #include <stdlib>
     3#include <stdlib.hfa>
    44
    55// swaps the data within two tree nodes

  • tests/avltree/avl_test.c

    rff593a3 r73abe95  
    11#include "avl.h"
    22#include "avl-private.h"
    3 #include <stdlib>
     3#include <stdlib.hfa>
    44
    55extern "C" {

  • tests/complex.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // complex.c -- 
    8 // 
     6//
     7// complex.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Wed May 24 22:07:31 2017
    … …  
    1212// Last Modified On : Wed May 24 22:08:01 2017
    1313// Update Count     : 1
    14 // 
     14//
    1515
    1616#include <stdio.h>
    1717#include <complex.h>
    1818#ifdef __CFA__
    19 #include <fstream>
     19#include <fstream.hfa>
    2020#endif // __CFA
    2121

  • tests/concurrent/coroutineYield.c

    rff593a3 r73abe95  
    1 #include <fstream>
    2 #include <kernel>
    3 #include <stdlib>
    4 #include <thread>
    5 #include <time>
     1#include <fstream.hfa>
     2#include <kernel.hfa>hfa>
     3#include <stdlib.hfa>
     4#include <thread.hfa>
     5#include <time.hfa>
    66
    77#define __kick_rate 150000ul

  • tests/concurrent/examples/boundedBufferEXT.c

    rff593a3 r73abe95  
    1212//
    1313
    14 #include <stdlib>                                                                               // random
    15 #include <fstream>
    16 #include <kernel>
    17 #include <thread>
     14#include <stdlib.hfa>                                                                           // random
     15#include <fstream.hfa>
     16#include <kernel.hfa>
     17#include <thread.hfa>
    1818#include <unistd.h>                                                                             // getpid
    1919

  • tests/concurrent/examples/boundedBufferINT.c

    rff593a3 r73abe95  
    1212//
    1313
    14 #include <stdlib>                                                                               // random
    15 #include <fstream>
    16 #include <kernel>
    17 #include <thread>
     14#include <stdlib.hfa>                                                                           // random
     15#include <fstream.hfa>
     16#include <kernel.hfa>
     17#include <thread.hfa>
    1818#include <unistd.h>                                                                             // getpid
    1919

  • tests/concurrent/examples/datingService.c

    rff593a3 r73abe95  
    1212//
    1313
    14 #include <stdlib>                                                                               // random
    15 #include <fstream>
    16 #include <kernel>
    17 #include <thread>
     14#include <stdlib.hfa>                                                                           // random
     15#include <fstream.hfa>
     16#include <kernel.hfa>
     17#include <thread.hfa>
    1818#include <unistd.h>                                                                             // getpid
    1919

  • tests/concurrent/examples/matrixSum.c

    rff593a3 r73abe95  
    1 //                               -*- Mode: C -*- 
    2 // 
     1//                               -*- Mode: C -*-
     2//
    33// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
    44//
    55// The contents of this file are covered under the licence agreement in the
    66// file "LICENCE" distributed with Cforall.
    7 // 
    8 // matrixSum.c -- 
    9 // 
     7//
     8// matrixSum.c --
     9//
    1010// Author           : Peter A. Buhr
    1111// Created On       : Mon Oct  9 08:29:28 2017
    … …  
    1313// Last Modified On : Fri May 25 09:34:27 2018
    1414// Update Count     : 10
    15 // 
     15//
    1616
    17 #include <fstream>
    18 #include <kernel>
    19 #include <thread>
     17#include <fstream.hfa>
     18#include <kernel.hfa>
     19#include <thread.hfa>
    2020
    2121thread Adder {

  • tests/concurrent/examples/quickSort.c

    rff593a3 r73abe95  
    1313//
    1414
    15 #include <fstream>
    16 #include <stdlib>
    17 #include <kernel>
    18 #include <thread>
     15#include <fstream.hfa>
     16#include <stdlib.hfa>
     17#include <kernel.hfa>
     18#include <thread.hfa>
    1919#include <string.h>                                                                             // strcmp
    2020

  • tests/concurrent/monitor.c

    rff593a3 r73abe95  
    1 #include <fstream>
    2 #include <kernel>
    3 #include <monitor>
    4 #include <thread>
     1#include <fstream.hfa>
     2#include <kernel.hfa>
     3#include <monitor.hfa>
     4#include <thread.hfa>
    55
    66monitor global_t {

  • tests/concurrent/multi-monitor.c

    rff593a3 r73abe95  
    1 #include <fstream>
    2 #include <kernel>
    3 #include <monitor>
    4 #include <thread>
     1#include <fstream.hfa>
     2#include <kernel.hfa>
     3#include <monitor.hfa>
     4#include <thread.hfa>
    55
    66static int global12, global23, global13;

  • tests/concurrent/preempt.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <thread>
    3 #include <time>
     1#include <kernel.hfa>hfa>
     2#include <thread.hfa>
     3#include <time.hfa>
    44
    55#include "long_tests.h"

  • tests/concurrent/signal/block.c

    rff593a3 r73abe95  
    77
    88
    9 #include <fstream>
    10 #include <kernel>
    11 #include <monitor>
    12 #include <stdlib>
    13 #include <thread>
    14 #include <time>
     9#include <fstream.hfa>
     10#include <kernel.hfa>hfa>
     11#include <monitor.hfa>
     12#include <stdlib.hfa>
     13#include <thread.hfa>
     14#include <time.hfa>
    1515
    1616#include "long_tests.h"

  • tests/concurrent/signal/disjoint.c

    rff593a3 r73abe95  
    1 #include <fstream>
    2 #include <kernel>
    3 #include <monitor>
    4 #include <thread>
    5 #include <time>
     1#include <fstream.hfa>
     2#include <kernel.hfa>hfa>
     3#include <monitor.hfa>
     4#include <thread.hfa>
     5#include <time.hfa>
    66
    77#include "long_tests.h"

  • tests/concurrent/signal/wait.c

    rff593a3 r73abe95  
    55
    66
    7 #include <fstream>
    8 #include <kernel>
    9 #include <monitor>
    10 #include <stdlib>
    11 #include <thread>
    12 #include <time>
     7#include <fstream.hfa>
     8#include <kernel.hfa>hfa>
     9#include <monitor.hfa>
     10#include <stdlib.hfa>
     11#include <thread.hfa>
     12#include <time.hfa>
    1313
    1414#define __kick_rate 12000ul

  • tests/concurrent/thread.c

    rff593a3 r73abe95  
    1 #include <fstream>
    2 #include <kernel>
    3 #include <stdlib>
    4 #include <thread>
     1#include <fstream.hfa>
     2#include <kernel.hfa>
     3#include <stdlib.hfa>
     4#include <thread.hfa>
    55
    66thread First  { semaphore* lock; };

  • tests/concurrent/waitfor/barge.c

    rff593a3 r73abe95  
    66//---------------------------------------------------------
    77
    8 #include <fstream>
    9 #include <kernel>
    10 #include <monitor>
    11 #include <stdlib>
    12 #include <thread>
     8#include <fstream.hfa>
     9#include <kernel.hfa>
     10#include <monitor.hfa>
     11#include <stdlib.hfa>
     12#include <thread.hfa>
    1313
    1414#include <stdbool.h>

  • tests/concurrent/waitfor/dtor.c

    rff593a3 r73abe95  
    44//---------------------------------------------------------
    55
    6 #include <fstream>
    7 #include <kernel>
    8 #include <monitor>
    9 #include <stdlib>
    10 #include <thread>
     6#include <fstream.hfa>
     7#include <kernel.hfa>
     8#include <monitor.hfa>
     9#include <stdlib.hfa>
     10#include <thread.hfa>
    1111
    1212#include <stdbool.h>

  • tests/concurrent/waitfor/else.c

    rff593a3 r73abe95  
    1 #include <fstream>
    2 #include <monitor>
     1#include <fstream.hfa>
     2#include <monitor.hfa>
    33
    44#include <stdbool.h>

  • tests/concurrent/waitfor/parse.c

    rff593a3 r73abe95  
    88//----------------------------------------------------------------------------------------
    99
    10 #include <monitor>
     10#include <monitor.hfa>
    1111
    1212monitor M {};

  • tests/concurrent/waitfor/recurse.c

    rff593a3 r73abe95  
    44//-----------------------------------------------------------------
    55
    6 #include <fstream>
    7 #include <kernel>
    8 #include <monitor>
    9 #include <stdlib>
    10 #include <thread>
     6#include <fstream.hfa>
     7#include <kernel.hfa>
     8#include <monitor.hfa>
     9#include <stdlib.hfa>
     10#include <thread.hfa>
    1111
    1212#include <stdbool.h>

  • tests/concurrent/waitfor/simple.c

    rff593a3 r73abe95  
    1 #include <fstream>
    2 #include <kernel>
    3 #include <monitor>
    4 #include <stdlib>
    5 #include <thread>
     1#include <fstream.hfa>
     2#include <kernel.hfa>
     3#include <monitor.hfa>
     4#include <stdlib.hfa>
     5#include <thread.hfa>
    66
    77#include <time.h>

  • tests/concurrent/waitfor/statment.c

    rff593a3 r73abe95  
    1 #include <fstream>
    2 #include <kernel>
    3 #include <monitor>
    4 #include <thread>
     1#include <fstream.hfa>
     2#include <kernel.hfa>
     3#include <monitor.hfa>
     4#include <thread.hfa>
    55
    66#include <stdbool.h>

  • tests/concurrent/waitfor/when.c

    rff593a3 r73abe95  
    44//-----------------------------------------------------------------
    55
    6 #include <fstream>
    7 #include <kernel>
    8 #include <monitor>
    9 #include <stdlib>
    10 #include <thread>
     6#include <fstream.hfa>
     7#include <kernel.hfa>
     8#include <monitor.hfa>
     9#include <stdlib.hfa>
     10#include <thread.hfa>
    1111
    1212#include <stdbool.h>

  • tests/coroutine/.in/fmtLines.txt

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // fmtLines.cc -- 
    8 // 
     6//
     7// fmtLines.cc --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Sun Sep 17 21:56:15 2017
    … …  
    1212// Last Modified On : Mon Sep 18 11:35:57 2017
    1313// Update Count     : 31
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <coroutine>
     16#include <fstream.hfa>
     17#include <coroutine.hfa>
    1818
    1919coroutine Format {

  • tests/coroutine/fibonacci.c

    rff593a3 r73abe95  
    1515//
    1616
    17 #include <fstream>
    18 #include <coroutine>
     17#include <fstream.hfa>
     18#include <coroutine.hfa>
    1919
    2020coroutine Fibonacci { int fn; };                                                // used for communication

  • tests/coroutine/fmtLines.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
     6//
    77// fmtLines.cc -- format characters into blocks of 4 and groups of 5 blocks per line
    8 // 
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Sun Sep 17 21:56:15 2017
    … …  
    1212// Last Modified On : Tue May 15 12:25:33 2018
    1313// Update Count     : 42
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <coroutine>
     16#include <fstream.hfa>
     17#include <coroutine.hfa>
    1818
    1919coroutine Format {

  • tests/coroutine/pingpong.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // pingpong.c -- 
    8 // 
     6//
     7// pingpong.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Wed Sep 20 11:55:23 2017
    … …  
    1212// Last Modified On : Wed Sep 20 13:41:39 2017
    1313// Update Count     : 26
    14 // 
     14//
    1515
    16 #include <coroutine>
    17 #include <fstream>
     16#include <coroutine.hfa>
     17#include <fstream.hfa>
    1818
    1919coroutine PingPong {

  • tests/coroutine/prodcons.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // prodcons.c -- 
    8 // 
     6//
     7// prodcons.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Mon Sep 18 12:23:39 2017
    … …  
    1212// Last Modified On : Tue Jan  2 12:17:01 2018
    1313// Update Count     : 47
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <coroutine>
    18 #include <stdlib>                                                                               // random
     16#include <fstream.hfa>
     17#include <coroutine.hfa>
     18#include <stdlib.hfa>                                                                           // random
    1919#include <unistd.h>                                                                             // getpid
    2020

  • tests/coroutine/runningTotal.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // runningTotal.c -- 
    8 // 
     6//
     7// runningTotal.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Wed Dec  6 08:05:27 2017
    … …  
    1212// Last Modified On : Wed Dec  6 08:09:24 2017
    1313// Update Count     : 2
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <coroutine>
     16#include <fstream.hfa>
     17#include <coroutine.hfa>
    1818
    1919coroutine RunTotal {                                                                    // input numbers and return running total

  • tests/div.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // div.c -- 
    8 // 
     6//
     7// div.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Tue Aug  8 16:28:43 2017
    … …  
    1212// Last Modified On : Thu Dec  7 09:06:52 2017
    1313// Update Count     : 18
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <stdlib>                                                                               // div
     16#include <fstream.hfa>
     17#include <stdlib.hfa>                                                                           // div
    1818
    1919struct T { int i; };

  • tests/except-2.c

    rff593a3 r73abe95  
    22
    33
    4 #include <stdlib>
     4#include <stdlib.hfa>
    55#include "except-mac.h"
    66

  • tests/fstream_test.c

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // fstream_test.c -- 
     7// fstream_test.c --
    88//
    99// Author           : Peter A. Buhr
    … …  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818int main( void ) {
    1919        int nombre;
    20         sout | "Entrez un nombre, s'il vous plaît:" | endl;
     20        sout | "Entrez un nombre, s'il vous pla�t:" | endl;
    2121        sin  | nombre;
    22         sout | "Vous avez entré" | nombre | endl;
     22        sout | "Vous avez entr�" | nombre | endl;
    2323        sout | "le nombre" | nombre | "est"
    24                  | (nombre > 0 ? "positif" : nombre == 0 ? "zéro" : "négatif") | endl;
     24                 | (nombre > 0 ? "positif" : nombre == 0 ? "z�ro" : "n�gatif") | endl;
    2525
    26         sout | "Entrez trois nombres, s'il vous plaît: " | endl;
     26        sout | "Entrez trois nombres, s'il vous pla�t: " | endl;
    2727        int i, j, k;
    2828        sin  | i | j | k;
    29         sout | "Vous avez entré" | "i:" | "" | i | "j:" | "" | j | "k:" | "" | k | endl;
     29        sout | "Vous avez entr�" | "i:" | "" | i | "j:" | "" | j | "k:" | "" | k | endl;
    3030}
    3131

  • tests/function-operator.c

    rff593a3 r73abe95  
    1414//
    1515
    16 #include <fstream>
    17 #include <stdlib>
     16#include <fstream.hfa>
     17#include <stdlib.hfa>
    1818
    1919#define length(array) (sizeof((array))/sizeof((array)[0]))

  • tests/genericUnion.c

    rff593a3 r73abe95  
    1 #include <limits>
     1#include <limits.hfa>
    22
    33forall(otype T)

  • tests/gmp.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // gmp.c -- 
    8 // 
     6//
     7// gmp.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Tue Apr 19 08:55:51 2016
    … …  
    1212// Last Modified On : Thu Sep 28 18:33:51 2017
    1313// Update Count     : 555
    14 // 
     14//
    1515
    1616// NOTE: UBUNTU DOES NOT SUPPORT GMP MULTILIB, SO ONLY 64-BIT GMP IS TESTED.
    1717
    18 #include <gmp>
     18#include <gmp.hfa>
    1919
    2020int main( void ) {

  • tests/heap.c

    rff593a3 r73abe95  
    1 #include <thread>
    2 #include <kernel>                                                                               // processor
    3 #include <stdlib>                                                                               // *allocs
     1#include <thread.hfa>
     2#include <kernel.hfa>                                                                           // processor
     3#include <stdlib.hfa>                                                                           // *allocs
    44#include <malloc.h>                                                                             // malloc_*
    55
    6 // #include <time>
     6// #include <time.hfa>
    77// #define __CFA_DEFAULT_PREEMPTION__ 1000`us
    88// //#define __CFA_DEFAULT_PREEMPTION__ 0

  • tests/hello.c

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // hello.c -- 
     7// hello.c --
    88//
    99// Author           : Peter A. Buhr
    … …  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818int main() {

  • tests/identity.c

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // identity.c -- 
     7// identity.c --
    88//
    99// Author           : Peter A. Buhr
    … …  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818forall( otype T )

  • tests/ifwhileCtl.c

    rff593a3 r73abe95  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818int f( int r ) { return r; }

  • tests/io1.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // io1.c -- 
    8 // 
     6//
     7// io1.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Wed Mar  2 16:56:02 2016
    … …  
    1212// Last Modified On : Thu May 24 21:17:56 2018
    1313// Update Count     : 104
    14 // 
     14//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818int main() {
    … …  
    3131                 | "x =" | 4
    3232                 | "x $" | 5
    33                  | "x £" | 6
    34                  | "x ¥" | 7
    35                  | "x ¡" | 8
    36                  | "x ¿" | 9
    37                  | "x «" | 10
     33                 | "x �" | 6
     34                 | "x �" | 7
     35                 | "x �" | 8
     36                 | "x �" | 9
     37                 | "x �" | 10
    3838                 | endl | endl;
    3939
    … …  
    4646                 | 5 | "? x"
    4747                 | 6 | "% x"
    48                  | 7 | "¢ x"
    49                  | 8 | "» x"
     48                 | 7 | "� x"
     49                 | 8 | "� x"
    5050                 | 9 | ") x"
    5151                 | 10 | "] x"

  • tests/io2.c

    rff593a3 r73abe95  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818 #define xstr(s) str(s)

  • tests/limits.c

    rff593a3 r73abe95  
    1414//
    1515
    16 #include <limits>
     16#include <limits.hfa>
    1717
    1818// Integral Constants

  • tests/literals.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // literals.c -- 
    8 // 
     6//
     7// literals.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Sat Sep  9 16:34:38 2017
    … …  
    1212// Last Modified On : Sun Jul  1 15:12:15 2018
    1313// Update Count     : 137
    14 // 
     14//
    1515
    1616#ifdef __CFA__
    1717#include <stdint.h>
    18 #include <fstream>
     18#include <fstream.hfa>
    1919
    2020void f( char v ) { sout | "char " | v | endl; }
    … …  
    221221        -0123456789.0123456789E+09L32;  -0123456789.0123456789E+09L64;  -0123456789.0123456789E+09L80;  -0123456789.0123456789E+09L128;
    222222         0123456789.0123456789E-09L32;   0123456789.0123456789E-09L64;   0123456789.0123456789E-09L80;   0123456789.0123456789E-09L128;
    223        
     223
    224224         0x0123456789.p09l32;   0x0123456789.p09l64;   0x0123456789.p09l80;   0x0123456789.p09l128;
    225225        +0x0123456789.p09l32;  +0x0123456789.p09l64;  +0x0123456789.p09l80;  +0x0123456789.p09l128;

  • tests/math1.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // math1.c -- 
    8 // 
     6//
     7// math1.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Fri Apr 22 14:59:21 2016
    … …  
    1212// Last Modified On : Thu May 24 21:01:15 2018
    1313// Update Count     : 85
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <math>
     16#include <fstream.hfa>
     17#include <math.hfa>
    1818
    1919int main( void ) {

  • tests/math2.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // math2.c -- 
    8 // 
     6//
     7// math2.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Fri Apr 22 14:59:21 2016
    … …  
    1212// Last Modified On : Thu May 24 21:06:10 2018
    1313// Update Count     : 82
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <math>
     16#include <fstream.hfa>
     17#include <math.hfa>
    1818
    1919int main( void ) {

  • tests/math3.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // math3.c -- 
    8 // 
     6//
     7// math3.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Fri Apr 22 14:59:21 2016
    … …  
    1212// Last Modified On : Thu May 24 21:06:12 2018
    1313// Update Count     : 82
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <math>
     16#include <fstream.hfa>
     17#include <math.hfa>
    1818
    1919int main( void ) {

  • tests/math4.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // math4.c -- 
    8 // 
     6//
     7// math4.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Thu May 24 20:56:54 2018
    … …  
    1212// Last Modified On : Thu May 24 20:58:06 2018
    1313// Update Count     : 2
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <math>
     16#include <fstream.hfa>
     17#include <math.hfa>
    1818
    1919int main( void ) {

  • tests/minmax.c

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // minmax.c -- 
     7// minmax.c --
    88//
    99// Author           : Peter A. Buhr
    … …  
    1414//
    1515
    16 #include <fstream>
    17 #include <stdlib>                                                                               // min, max
     16#include <fstream.hfa>
     17#include <stdlib.hfa>                                                                           // min, max
    1818
    1919int main( void ) {

  • tests/preempt_longrun/create.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <thread>
    3 #include <time>
     1#include <kernel.hfa>
     2#include <thread.hfa>
     3#include <time.hfa>
    44
    55#include "long_tests.h"

  • tests/preempt_longrun/enter.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <monitor>
    3 #include <thread>
    4 #include <time>
     1#include <kernel.hfa>
     2#include <monitor.hfa>
     3#include <thread.hfa>
     4#include <time.hfa>
    55
    66#define __kick_rate 75000ul

  • tests/preempt_longrun/enter3.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <monitor>
    3 #include <thread>
    4 #include <time>
     1#include <kernel.hfa>
     2#include <monitor.hfa>
     3#include <thread.hfa>
     4#include <time.hfa>
    55
    66#define __kick_rate 75000ul

  • tests/preempt_longrun/processor.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <thread>
    3 #include <time>
     1#include <kernel.hfa>
     2#include <thread.hfa>
     3#include <time.hfa>
    44
    55#include <unistd.h>

  • tests/preempt_longrun/stack.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <math>
    3 #include <thread>
    4 #include <time>
     1#include <kernel.hfa>
     2#include <math.hfa>
     3#include <thread.hfa>
     4#include <time.hfa>
    55
    66#define __kick_rate 5000000ul

  • tests/preempt_longrun/yield.c

    rff593a3 r73abe95  
    1 #include <kernel>
    2 #include <thread>
    3 #include <time>
     1#include <kernel.hfa>
     2#include <thread.hfa>
     3#include <time.hfa>
    44
    55#define __kick_rate 550000ul

  • tests/quoted_keyword.c

    rff593a3 r73abe95  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818struct {

  • tests/raii/dtor-early-exit.c

    rff593a3 r73abe95  
    1414//
    1515
    16 #include <fstream>
    17 #include <stdlib>
     16#include <fstream.hfa>
     17#include <stdlib.hfa>
    1818extern "C" {
    1919#define false ((int)0)  // until stdbool.h works

  • tests/raii/globals.c

    rff593a3 r73abe95  
    1 #include <fstream>
     1#include <fstream.hfa>
    22
    33struct value_t {

  • tests/random.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // random.c -- 
    8 // 
     6//
     7// random.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Tue Jul  5 21:29:30 2016
    … …  
    1212// Last Modified On : Tue Jan  2 12:19:34 2018
    1313// Update Count     : 19
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <stdlib>                                                                               // random
     16#include <fstream.hfa>
     17#include <stdlib.hfa>                                                                           // random
    1818#include <unistd.h>                                                                             // getpid
    1919

  • tests/rational.c

    rff593a3 r73abe95  
    1414//
    1515
    16 #include <rational>
    17 #include <limits>
    18 #include <stdlib>
    19 #include <fstream>
     16#include <rational.hfa>
     17#include <limits.hfa>
     18#include <stdlib.hfa>
     19#include <fstream.hfa>
    2020
    2121// UNNECESSARY, FIX ME

  • tests/searchsort.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // searchsort.c -- 
    8 // 
     6//
     7// searchsort.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Thu Feb  4 18:17:50 2016
    … …  
    1212// Last Modified On : Tue Jan  2 08:01:17 2018
    1313// Update Count     : 100
    14 // 
     14//
    1515
    16 #include <fstream>
    17 #include <stdlib>                                                                               // bsearch, qsort
     16#include <fstream.hfa>
     17#include <stdlib.hfa>                                                                           // bsearch, qsort
    1818#include <stdlib.h>                                                                             // C version of bsearch
    1919

  • tests/shortCircuit.c

    rff593a3 r73abe95  
    2222}
    2323
    24 #include <fstream>
     24#include <fstream.hfa>
    2525
    2626struct test_t {

  • tests/sum.c

    rff593a3 r73abe95  
    1515//
    1616
    17 #include <fstream>
    18 #include <stdlib>
     17#include <fstream.hfa>
     18#include <stdlib.hfa>
    1919
    2020void ?{}( int & c, zero_t ) { c = 0; }                                  // not in prelude

  • tests/swap.c

    rff593a3 r73abe95  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // swap.c -- 
     7// swap.c --
    88//
    99// Author           : Peter A. Buhr
    … …  
    1414//
    1515
    16 #include <fstream>
    17 #include <stdlib>                                                                               // swap
     16#include <fstream.hfa>
     17#include <stdlib.hfa>                                                                           // swap
    1818
    1919int main( void ) {

  • tests/time.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // time.c -- 
    8 // 
     6//
     7// time.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Tue Mar 27 17:24:56 2018
    … …  
    1212// Last Modified On : Fri Apr  6 11:27:23 2018
    1313// Update Count     : 16
    14 // 
     14//
    1515
    1616#include "time"
    17 #include <fstream>
     17#include <fstream.hfa>
    1818
    1919int main() {

  • tests/tuple/tupleAssign.c

    rff593a3 r73abe95  
    1414//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717
    1818int main() {

  • tests/user_literals.c

    rff593a3 r73abe95  
    1 // 
     1//
    22// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
    33//
    44// The contents of this file are covered under the licence agreement in the
    55// file "LICENCE" distributed with Cforall.
    6 // 
    7 // user_literals.c -- 
    8 // 
     6//
     7// user_literals.c --
     8//
    99// Author           : Peter A. Buhr
    1010// Created On       : Wed Sep  6 21:40:50 2017
    … …  
    1212// Last Modified On : Sun Apr 29 16:51:42 2018
    1313// Update Count     : 54
    14 // 
     14//
    1515
    16 #include <fstream>
     16#include <fstream.hfa>
    1717#include <wchar.h>
    1818#include <uchar.h>

  • tests/vector.c

    rff593a3 r73abe95  
    1414//
    1515
    16 #include <fstream>
    17 #include <vector>
     16#include <fstream.hfa>
     17#include <vector.hfa>
    1818
    1919#undef assert

  • tests/virtualCast.c

    rff593a3 r73abe95  
    99 */
    1010
    11 #include <stdlib>
     11#include <stdlib.hfa>
    1212#include <assert.h>
    1313
Note: See TracChangeset for help on using the changeset viewer.