Changes in / [4eb1db6:d939274]


Ignore:
Files:
9 added
9 deleted
18 edited

Legend:

Unmodified
Added
Removed

  • .gitignore

    r4eb1db6 rd939274  
    2020
    2121# src executables, for lib and bin
    22 src/driver/cc1
    23 src/driver/cfa
     22driver/cc1
     23driver/cfa
    2424src/cfa-cpp
    25 src/libcfa/libcfa-prelude.c
     25libcfa/libcfa-prelude.c
    2626
    27 # generated by bison and lex from cfa.yy and lex.ll, respectively
    28 src/Parser/parser.output
     27# generated by bison and lex from cfa.y and lex.l, respectively
     28src/Parser/cfa.output

  • Makefile.am

    r4eb1db6 rd939274  
    1111## Created On       : Sun May 31 22:14:18 2015
    1212## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 20:20:40 2015
    14 ## Update Count     : 5
     13## Last Modified On : Sun May 31 22:14:57 2015
     14## Update Count     : 1
    1515###############################################################################
    1616
    17 AUTOMAKE_OPTIONS = foreign              # do not require all the GNU file names
    18 SUBDIRS = src/driver src src/libcfa     # order important, src before libcfa because cfa-cpp used to build prelude
    19 EXTRA_DIST = Docs                       # non-source files
    20 BACKEND_CC = @BACKEND_CC@               # C compiler used to compile Cforall programs, versus C++ compiler used to build cfa command
     17AUTOMAKE_OPTIONS = foreign      # do not require all the GNU file names
     18SUBDIRS = driver src libcfa     # order important, src before libcfa because cfa-cpp used to build prelude
     19EXTRA_DIST = Docs               # non-source files
     20BACKEND_CC = @BACKEND_CC@       # C compiler used to compile Cforall programs, versus C++ compiler used to build cfa command

  • Makefile.in

    r4eb1db6 rd939274  
    115115AUTOMAKE = @AUTOMAKE@
    116116AWK = @AWK@
    117 BACKEND_CC = @BACKEND_CC@               # C compiler used to compile Cforall programs, versus C++ compiler used to build cfa command
     117BACKEND_CC = @BACKEND_CC@       # C compiler used to compile Cforall programs, versus C++ compiler used to build cfa command
    118118CC = @CC@
    119119CCDEPMODE = @CCDEPMODE@
    … …  
    212212top_builddir = @top_builddir@
    213213top_srcdir = @top_srcdir@
    214 AUTOMAKE_OPTIONS = foreign              # do not require all the GNU file names
    215 SUBDIRS = src/driver src src/libcfa     # order important, src before libcfa because cfa-cpp used to build prelude
    216 EXTRA_DIST = Docs                       # non-source files
     214AUTOMAKE_OPTIONS = foreign      # do not require all the GNU file names
     215SUBDIRS = driver src libcfa     # order important, src before libcfa because cfa-cpp used to build prelude
     216EXTRA_DIST = Docs               # non-source files
    217217all: config.h
    218218        $(MAKE) $(AM_MAKEFLAGS) all-recursive

  • configure

    r4eb1db6 rd939274  
    45284528
    45294529        # deprecated
    4530 # These are often not installed and people miss seeing the "no", so stop the configure.
    45314530for ac_prog in 'bison -y' byacc
    45324531do
    … …  
    45724571test -n "$YACC" || YACC="yacc"
    45734572
    4574 if test "${YACC}" = "yacc" ; then echo "Error: bison required." ; exit 1 ; fi
    45754573
    45764574for ac_prog in flex lex
    … …  
    47324730
    47334731fi
    4734 if test "${LEX}" = "lex" ; then echo "Error: flex required." ; exit 1 ; fi
    47354732
    47364733{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ${MAKE-make} sets \$(MAKE)" >&5
    … …  
    57525749
    57535750
    5754 ac_config_files="$ac_config_files Makefile src/driver/Makefile src/Makefile src/examples/Makefile src/libcfa/Makefile"
     5751ac_config_files="$ac_config_files Makefile driver/Makefile src/Makefile src/examples/Makefile libcfa/Makefile"
    57555752
    57565753
    … …  
    64956492    "depfiles") CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;;
    64966493    "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
    6497     "src/driver/Makefile") CONFIG_FILES="$CONFIG_FILES src/driver/Makefile" ;;
     6494    "driver/Makefile") CONFIG_FILES="$CONFIG_FILES driver/Makefile" ;;
    64986495    "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;;
    64996496    "src/examples/Makefile") CONFIG_FILES="$CONFIG_FILES src/examples/Makefile" ;;
    6500     "src/libcfa/Makefile") CONFIG_FILES="$CONFIG_FILES src/libcfa/Makefile" ;;
     6497    "libcfa/Makefile") CONFIG_FILES="$CONFIG_FILES libcfa/Makefile" ;;
    65016498
    65026499  *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;

  • configure.ac

    r4eb1db6 rd939274  
    6666AC_PROG_CC
    6767AM_PROG_CC_C_O  # deprecated
    68 # These are often not installed and people miss seeing the "no", so stop the configure.
    6968AC_PROG_YACC
    70 if test "${YACC}" = "yacc" ; then echo "Error: bison required." ; exit 1 ; fi
    7169AC_PROG_LEX
    72 if test "${LEX}" = "lex" ; then echo "Error: flex required." ; exit 1 ; fi
    7370AC_PROG_INSTALL
    7471AC_PROG_MAKE_SET
    … …  
    9895AC_CONFIG_FILES([
    9996        Makefile
    100         src/driver/Makefile
     97        driver/Makefile
    10198        src/Makefile
    10299        src/examples/Makefile
    103         src/libcfa/Makefile
     100        libcfa/Makefile
    104101        ])
    105102

  • src/ArgTweak/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:50:11 2015
    14 ## Update Count     : 1
    15 ###############################################################################
    16 
    171#SRC +=  ArgTweak/Rewriter.cc \
    182#       ArgTweak/Mutate.cc

  • src/CodeGen/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:50:52 2015
    14 ## Update Count     : 2
    15 ###############################################################################
    16 
    17 #SRC +=  ArgTweak/Rewriter.cc \
    18 #       ArgTweak/Mutate.cc
    19 
    201SRC +=  CodeGen/Generate.cc \
    212        CodeGen/CodeGenerator.cc \

  • src/Common/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:51:23 2015
    14 ## Update Count     : 1
    15 ###############################################################################
    16 
    171SRC += Common/SemanticError.cc \
    182       Common/UniqueName.cc

  • src/ControlStruct/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:51:45 2015
    14 ## Update Count     : 1
    15 ###############################################################################
    16 
    171SRC +=  ControlStruct/LabelGenerator.cc \
    182        ControlStruct/LabelFixer.cc \

  • src/Designators/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:52:06 2015
    14 ## Update Count     : 1
    15 ###############################################################################
    16 
    171SRC += Designators/Processor.cc

  • src/GenPoly/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:52:30 2015
    14 ## Update Count     : 1
    15 ###############################################################################
    16 
    171SRC += GenPoly/Box.cc \
    182       GenPoly/GenPoly.cc \

  • src/InitTweak/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:52:49 2015
    14 ## Update Count     : 1
    15 ###############################################################################
    16 
    171SRC += InitTweak/InitModel.cc \
    182       InitTweak/InitExpander.cc \

  • src/Makefile.in

    r4eb1db6 rd939274  
    1717
    1818######################## -*- Mode: Makefile-Automake -*- ######################
    19 ###############################################################################
    20 
    21 ######################### -*- Mode: Makefile-Gmake -*- ########################
    22 ###############################################################################
    23 
    24 ######################### -*- Mode: Makefile-Gmake -*- ########################
    25 ###############################################################################
    26 
    27 #SRC +=  ArgTweak/Rewriter.cc \
    28 #       ArgTweak/Mutate.cc
    29 
    30 ######################### -*- Mode: Makefile-Gmake -*- ########################
    31 ###############################################################################
    32 
    33 ######################### -*- Mode: Makefile-Gmake -*- ########################
    34 ###############################################################################
    35 
    36 ######################### -*- Mode: Makefile-Gmake -*- ########################
    37 ###############################################################################
    38 
    39 ######################### -*- Mode: Makefile-Gmake -*- ########################
    40 ###############################################################################
    41 
    42 ######################### -*- Mode: Makefile-Gmake -*- ########################
    43 ###############################################################################
    44 
    45 ######################### -*- Mode: Makefile-Gmake -*- ########################
    46 ###############################################################################
    47 
    48 ######################### -*- Mode: Makefile-Gmake -*- ########################
    49 ###############################################################################
    50 
    51 ######################### -*- Mode: Makefile-Gmake -*- ########################
    52 ###############################################################################
    53 
    54 ######################### -*- Mode: Makefile-Gmake -*- ########################
    5519###############################################################################
    5620

  • src/ResolvExpr/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:53:28 2015
    14 ## Update Count     : 1
    15 ###############################################################################
    16 
    171SRC += ResolvExpr/AlternativeFinder.cc \
    182       ResolvExpr/Alternative.cc \

  • src/SymTab/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:53:50 2015
    14 ## Update Count     : 1
    15 ###############################################################################
    16 
    171SRC += SymTab/IdTable.cc \
    182       SymTab/Indexer.cc \

  • src/SynTree/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:54:09 2015
    14 ## Update Count     : 1
    15 ###############################################################################
    16 
    171SRC += SynTree/Type.cc \
    182       SynTree/VoidType.cc \

  • src/Tuples/module.mk

    r4eb1db6 rd939274  
    1 ######################### -*- Mode: Makefile-Gmake -*- ########################
    2 ##
    3 ## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
    4 ##
    5 ## The contents of this file are covered under the licence agreement in the
    6 ## file "LICENCE" distributed with Cforall.
    7 ##
    8 ## module.mk --
    9 ##
    10 ## Author           : Richard C. Bilson
    11 ## Created On       : Mon Jun  1 17:49:17 2015
    12 ## Last Modified By : Peter A. Buhr
    13 ## Last Modified On : Mon Jun  1 17:54:33 2015
    14 ## Update Count     : 1
    15 ###############################################################################
    16 
    171SRC +=  Tuples/Mutate.cc \
    182        Tuples/AssignExpand.cc \

  • src/examples/sum.c

    r4eb1db6 rd939274  
    1010// Created On       : Wed May 27 17:56:53 2015
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Mon Jun  1 20:46:35 2015
    13 // Update Count     : 18
     12// Last Modified On : Wed May 27 18:43:46 2015
     13// Update Count     : 4
    1414//
    1515
    … …  
    4242
    4343int main() {
    44         const int low = 5, High = 15, size = High - low;
    45         int si = 0, ai[size];
    46         int v = low;
    47         for ( int i = 0; i < size; i += 1, v += 1 ) {
    48                 si += v;
    49                 ai[i] = v;
     44        const int size = 10, low = 0, High = 10;
     45        int si = 0, ai[10]; // size
     46        int i;
     47        for ( i = low; i < High; i += 1 ) {
     48                si += i;
     49                ai[i] = i;
    5050        }
    5151        printf( "sum from %d to %d is %d, check %d\n",
    5252                        low, High, sum( size, ai ), si );
    5353
    54 //      char ci[size];
     54//      char ci[10];
    5555//      char c = sum( size, ci );
    56 //      float fi[size];
     56//      float fi[10];
    5757//      float f = sum( size, fi );
    5858
    59         double sd = 0.0, ad[size];
    60         double v = low / 10.0;
    61         for ( int i = 0; i < size; i += 1, v += 0.1 ) {
    62                 sd += v;
    63                 ad[i] = v;
     59        double sd = 0.0, ad[10];                                                        // size
     60        for ( i = low; i < High; i += 1 ) {
     61                double d = i / (double)size;
     62                sd += d;
     63                ad[i] = d;
    6464        }
    6565        printf( "sum from %g to %g is %g, check %g\n",
    66                         low / 10.0, High / 10.0, sum( size, ad ), sd );
     66                        low / (double)size, High / (double)size, sum( size, ad ), sd );
    6767}
    6868
Note: See TracChangeset for help on using the changeset viewer.