Changes in / [d939274:4eb1db6]
- Files:
-
- 9 added
- 9 deleted
- 18 edited
-
.gitignore (modified) (1 diff)
-
Makefile.am (modified) (1 diff)
-
Makefile.in (modified) (2 diffs)
-
configure (modified) (5 diffs)
-
configure.ac (modified) (2 diffs)
-
driver/Makefile.am (deleted)
-
driver/Makefile.in (deleted)
-
driver/cc1.cc (deleted)
-
driver/cfa.cc (deleted)
-
libcfa/Makefile.am (deleted)
-
libcfa/Makefile.in (deleted)
-
libcfa/builtins.cf (deleted)
-
libcfa/prelude.cf (deleted)
-
libcfa/ptrdiff_t.c (deleted)
-
src/ArgTweak/module.mk (modified) (1 diff)
-
src/CodeGen/module.mk (modified) (1 diff)
-
src/Common/module.mk (modified) (1 diff)
-
src/ControlStruct/module.mk (modified) (1 diff)
-
src/Designators/module.mk (modified) (1 diff)
-
src/GenPoly/module.mk (modified) (1 diff)
-
src/InitTweak/module.mk (modified) (1 diff)
-
src/Makefile.in (modified) (1 diff)
-
src/ResolvExpr/module.mk (modified) (1 diff)
-
src/SymTab/module.mk (modified) (1 diff)
-
src/SynTree/module.mk (modified) (1 diff)
-
src/Tuples/module.mk (modified) (1 diff)
-
src/driver/Makefile.am (added)
-
src/driver/Makefile.in (added)
-
src/driver/cc1.cc (added)
-
src/driver/cfa.cc (added)
-
src/examples/sum.c (modified) (2 diffs)
-
src/libcfa/Makefile.am (added)
-
src/libcfa/Makefile.in (added)
-
src/libcfa/builtins.cf (added)
-
src/libcfa/prelude.cf (added)
-
src/libcfa/ptrdiff_t.c (added)
Legend:
- Unmodified
- Added
- Removed
-
.gitignore
rd939274 r4eb1db6 20 20 21 21 # src executables, for lib and bin 22 driver/cc123 driver/cfa22 src/driver/cc1 23 src/driver/cfa 24 24 src/cfa-cpp 25 libcfa/libcfa-prelude.c25 src/libcfa/libcfa-prelude.c 26 26 27 # generated by bison and lex from cfa.y and lex.l, respectively28 src/Parser/ cfa.output27 # generated by bison and lex from cfa.yy and lex.ll, respectively 28 src/Parser/parser.output -
Makefile.am
rd939274 r4eb1db6 11 11 ## Created On : Sun May 31 22:14:18 2015 12 12 ## Last Modified By : Peter A. Buhr 13 ## Last Modified On : Sun May 31 22:14:57201514 ## Update Count : 113 ## Last Modified On : Mon Jun 1 20:20:40 2015 14 ## Update Count : 5 15 15 ############################################################################### 16 16 17 AUTOMAKE_OPTIONS = foreign # do not require all the GNU file names18 SUBDIRS = driver srclibcfa # order important, src before libcfa because cfa-cpp used to build prelude19 EXTRA_DIST = Docs # non-source files20 BACKEND_CC = @BACKEND_CC@ # C compiler used to compile Cforall programs, versus C++ compiler used to build cfa command17 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 -
Makefile.in
rd939274 r4eb1db6 115 115 AUTOMAKE = @AUTOMAKE@ 116 116 AWK = @AWK@ 117 BACKEND_CC = @BACKEND_CC@ # C compiler used to compile Cforall programs, versus C++ compiler used to build cfa command117 BACKEND_CC = @BACKEND_CC@ # C compiler used to compile Cforall programs, versus C++ compiler used to build cfa command 118 118 CC = @CC@ 119 119 CCDEPMODE = @CCDEPMODE@ … … 212 212 top_builddir = @top_builddir@ 213 213 top_srcdir = @top_srcdir@ 214 AUTOMAKE_OPTIONS = foreign # do not require all the GNU file names215 SUBDIRS = driver srclibcfa # order important, src before libcfa because cfa-cpp used to build prelude216 EXTRA_DIST = Docs # non-source files214 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 217 217 all: config.h 218 218 $(MAKE) $(AM_MAKEFLAGS) all-recursive -
configure
rd939274 r4eb1db6 4528 4528 4529 4529 # deprecated 4530 # These are often not installed and people miss seeing the "no", so stop the configure. 4530 4531 for ac_prog in 'bison -y' byacc 4531 4532 do … … 4571 4572 test -n "$YACC" || YACC="yacc" 4572 4573 4574 if test "${YACC}" = "yacc" ; then echo "Error: bison required." ; exit 1 ; fi 4573 4575 4574 4576 for ac_prog in flex lex … … 4730 4732 4731 4733 fi 4734 if test "${LEX}" = "lex" ; then echo "Error: flex required." ; exit 1 ; fi 4732 4735 4733 4736 { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ${MAKE-make} sets \$(MAKE)" >&5 … … 5749 5752 5750 5753 5751 ac_config_files="$ac_config_files Makefile driver/Makefile src/Makefile src/examples/Makefilelibcfa/Makefile"5754 ac_config_files="$ac_config_files Makefile src/driver/Makefile src/Makefile src/examples/Makefile src/libcfa/Makefile" 5752 5755 5753 5756 … … 6492 6495 "depfiles") CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;; 6493 6496 "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; 6494 " driver/Makefile") CONFIG_FILES="$CONFIG_FILESdriver/Makefile" ;;6497 "src/driver/Makefile") CONFIG_FILES="$CONFIG_FILES src/driver/Makefile" ;; 6495 6498 "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; 6496 6499 "src/examples/Makefile") CONFIG_FILES="$CONFIG_FILES src/examples/Makefile" ;; 6497 " libcfa/Makefile") CONFIG_FILES="$CONFIG_FILESlibcfa/Makefile" ;;6500 "src/libcfa/Makefile") CONFIG_FILES="$CONFIG_FILES src/libcfa/Makefile" ;; 6498 6501 6499 6502 *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; -
configure.ac
rd939274 r4eb1db6 66 66 AC_PROG_CC 67 67 AM_PROG_CC_C_O # deprecated 68 # These are often not installed and people miss seeing the "no", so stop the configure. 68 69 AC_PROG_YACC 70 if test "${YACC}" = "yacc" ; then echo "Error: bison required." ; exit 1 ; fi 69 71 AC_PROG_LEX 72 if test "${LEX}" = "lex" ; then echo "Error: flex required." ; exit 1 ; fi 70 73 AC_PROG_INSTALL 71 74 AC_PROG_MAKE_SET … … 95 98 AC_CONFIG_FILES([ 96 99 Makefile 97 100 src/driver/Makefile 98 101 src/Makefile 99 102 src/examples/Makefile 100 libcfa/Makefile103 src/libcfa/Makefile 101 104 ]) 102 105 -
src/ArgTweak/module.mk
rd939274 r4eb1db6 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 1 17 #SRC += ArgTweak/Rewriter.cc \ 2 18 # ArgTweak/Mutate.cc -
src/CodeGen/module.mk
rd939274 r4eb1db6 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 1 20 SRC += CodeGen/Generate.cc \ 2 21 CodeGen/CodeGenerator.cc \ -
src/Common/module.mk
rd939274 r4eb1db6 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 1 17 SRC += Common/SemanticError.cc \ 2 18 Common/UniqueName.cc -
src/ControlStruct/module.mk
rd939274 r4eb1db6 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 1 17 SRC += ControlStruct/LabelGenerator.cc \ 2 18 ControlStruct/LabelFixer.cc \ -
src/Designators/module.mk
rd939274 r4eb1db6 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 1 17 SRC += Designators/Processor.cc -
src/GenPoly/module.mk
rd939274 r4eb1db6 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 1 17 SRC += GenPoly/Box.cc \ 2 18 GenPoly/GenPoly.cc \ -
src/InitTweak/module.mk
rd939274 r4eb1db6 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 1 17 SRC += InitTweak/InitModel.cc \ 2 18 InitTweak/InitExpander.cc \ -
src/Makefile.in
rd939274 r4eb1db6 17 17 18 18 ######################## -*- 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 -*- ######################## 19 55 ############################################################################### 20 56 -
src/ResolvExpr/module.mk
rd939274 r4eb1db6 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 1 17 SRC += ResolvExpr/AlternativeFinder.cc \ 2 18 ResolvExpr/Alternative.cc \ -
src/SymTab/module.mk
rd939274 r4eb1db6 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 1 17 SRC += SymTab/IdTable.cc \ 2 18 SymTab/Indexer.cc \ -
src/SynTree/module.mk
rd939274 r4eb1db6 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 1 17 SRC += SynTree/Type.cc \ 2 18 SynTree/VoidType.cc \ -
src/Tuples/module.mk
rd939274 r4eb1db6 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 1 17 SRC += Tuples/Mutate.cc \ 2 18 Tuples/AssignExpand.cc \ -
src/examples/sum.c
rd939274 r4eb1db6 10 10 // Created On : Wed May 27 17:56:53 2015 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Wed May 27 18:43:46201513 // Update Count : 412 // Last Modified On : Mon Jun 1 20:46:35 2015 13 // Update Count : 18 14 14 // 15 15 … … 42 42 43 43 int main() { 44 const int size = 10, low = 0, High = 10;45 int si = 0, ai[ 10]; // size46 int i;47 for ( i = low; i < High; i+= 1 ) {48 si += i;49 ai[i] = i;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; 50 50 } 51 51 printf( "sum from %d to %d is %d, check %d\n", 52 52 low, High, sum( size, ai ), si ); 53 53 54 // char ci[ 10];54 // char ci[size]; 55 55 // char c = sum( size, ci ); 56 // float fi[ 10];56 // float fi[size]; 57 57 // float f = sum( size, fi ); 58 58 59 double sd = 0.0, ad[ 10]; // size60 for ( i = low; i < High; i += 1 ) {61 double d = i / (double)size;62 sd += d;63 ad[i] = d;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; 64 64 } 65 65 printf( "sum from %g to %g is %g, check %g\n", 66 low / (double)size, High / (double)size, sum( size, ad ), sd );66 low / 10.0, High / 10.0, sum( size, ad ), sd ); 67 67 } 68 68
Note: See TracChangeset
for help on using the changeset viewer.
