Index: src/examples/fstream_test.c =================================================================== --- src/examples/fstream_test.c (revision ef7d253feeb8761ad117e99fc8ea18b18796a5f7) +++ (revision ) @@ -1,36 +1,0 @@ -// -// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo -// -// The contents of this file are covered under the licence agreement in the -// file "LICENCE" distributed with Cforall. -// -// fstream_test.c -- -// -// Author : Richard C. Bilson -// Created On : Wed May 27 17:56:53 2015 -// Last Modified By : Peter A. Buhr -// Last Modified On : Mon May 2 15:25:54 2016 -// Update Count : 61 -// - -#include - -int main( void ) { - int nombre; - sout | "Entrez un nombre, s'il vous plaît:" | endl; - sin | &nombre; - sout | "Vous avez entré" | nombre | "stocké à l'adresse" | &nombre | endl; - sout | "nombre" | nombre | "est" - | (nombre > 0 ? "plus grand que" : nombre == 0 ? "égal à" : "moins de") - | "zéro" | endl; - - sout | "Entrez trois nombres, s'il vous plaît: " | endl; - int i, j, k; - sin | &i | &j | &k; - sout | "Vous avez entré" | "i:" | "" | i | "j:" | "" | j | "k:" | "" | k | endl; -} - -// Local Variables: // -// tab-width: 4 // -// compile-command: "cfa fstream_test.c" // -// End: // Index: src/examples/poly-bench.c =================================================================== --- src/examples/poly-bench.c (revision ef7d253feeb8761ad117e99fc8ea18b18796a5f7) +++ (revision ) @@ -1,207 +1,0 @@ -// -// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo -// -// The contents of this file are covered under the licence agreement in the -// file "LICENCE" distributed with Cforall. -// -// poly-bench.cc -- -// -// Author : Aaron Moss -// Created On : Sat May 16 07:26:30 2015 -// Last Modified By : Peter A. Buhr -// Last Modified On : Wed May 27 18:25:19 2015 -// Update Count : 5 -// - -extern "C" { -#include -//#include "my_time.h" -} - -#define N 200000000 - -struct ipoint { - int x; - int y; -}; - -struct ipoint ?+?(struct ipoint a, struct ipoint b) { - struct ipoint r; - r.x = a.x + b.x; - r.y = a.y + b.y; - return r; -} - -struct ipoint ?-?(struct ipoint a, struct ipoint b) { - struct ipoint r; - r.x = a.x - b.x; - r.y = a.y - b.y; - return r; -} - -struct ipoint ?*?(struct ipoint a, struct ipoint b) { - struct ipoint r; - r.x = a.x * b.x; - r.y = a.y * b.y; - return r; -} - -struct dpoint { - double x; - double y; -}; - -struct dpoint ?+?(struct dpoint a, struct dpoint b) { - struct dpoint r; - r.x = a.x + b.x; - r.y = a.y + b.y; - return r; -} - -struct dpoint ?-?(struct dpoint a, struct dpoint b) { - struct dpoint r; - r.x = a.x - b.x; - r.y = a.y - b.y; - return r; -} - -struct dpoint ?*?(struct dpoint a, struct dpoint b) { - struct dpoint r; - r.x = a.x * b.x; - r.y = a.y * b.y; - return r; -} - -int a2b2_mono_int(int a, int b) { - return (a - b)*(a + b); -} - -double a2b2_mono_double(double a, double b) { - return (a - b)*(a + b); -} - -struct ipoint a2b2_mono_ipoint(struct ipoint a, struct ipoint b) { - return (a - b)*(a + b); -} - -struct dpoint a2b2_mono_dpoint(struct dpoint a, struct dpoint b) { - return (a - b)*(a + b); -} - -forall(type T | { T ?+?(T,T); T ?-?(T,T); T ?*?(T,T); }) -T a2b2_poly(T a, T b) { - return (a - b)*(a + b); -} - -typedef int clock_t; -long ms_between(clock_t start, clock_t end) { -// return (end - start) / (CLOCKS_PER_SEC / 1000); - return 0; -} -int clock() { return 3; } - -int main(int argc, char** argv) { - clock_t start, end; - int i; - - int a, b; - double c, d; - struct ipoint p, q; - struct dpoint r, s; - - printf("\n## a^2-b^2 ##\n"); - - a = 5, b = 3; - start = clock(); - for (i = 0; i < N/2; ++i) { - a = a2b2_mono_int(a, b); - b = a2b2_mono_int(b, a); - } - end = clock(); - printf("mono_int: %7ld [%d,%d]\n", ms_between(start, end), a, b); - - a = 5, b = 3; - start = clock(); - for (i = 0; i < N/2; ++i) { - a = a2b2_poly(a, b); - b = a2b2_poly(b, a); - } - end = clock(); - printf("poly_int: %7ld [%d,%d]\n", ms_between(start, end), a, b); - -/* { - a = 5, b = 3; - // below doesn't actually work; a2b2_poly isn't actually assigned, just declared - * [int] (int, int) a2b2_poly = a2b2_mono_int; - start = clock(); - for (i = 0; i < N/2; ++i) { -// printf("\t[%d,%d]\n", a, b); -a = a2b2_poly(a, b); -// printf("\t[%d,%d]\n", a, b); -b = a2b2_poly(b, a); -} -end = clock(); -printf("spec_int: %7ld [%d,%d]\n", ms_between(start, end), a, b); -} -*/ - c = 5.0, d = 3.0; - start = clock(); - for (i = 0; i < N/2; ++i) { - c = a2b2_mono_double(c, d); - d = a2b2_mono_double(d, c); - } - end = clock(); - printf("mono_double:%7ld [%f,%f]\n", ms_between(start, end), c, d); - - c = 5.0, d = 3.0; - start = clock(); - for (i = 0; i < N/2; ++i) { - c = a2b2_poly(c, d); - d = a2b2_poly(d, c); - } - end = clock(); - printf("poly_double:%7ld [%f,%f]\n", ms_between(start, end), c, d); - - p.x = 5, p.y = 5, q.x = 3, q.y = 3; - start = clock(); - for (i = 0; i < N/2; ++i) { - p = a2b2_mono_ipoint(p, q); - q = a2b2_mono_ipoint(q, p); - } - end = clock(); - printf("mono_ipoint:%7ld [(%d,%d),(%d,%d)]\n", ms_between(start, end), p.x, p.y, q.x, q.y); - - p.x = 5, p.y = 5, q.x = 3, q.y = 3; - start = clock(); - for (i = 0; i < N/2; ++i) { - p = a2b2_poly(p, q); - q = a2b2_poly(q, p); - } - end = clock(); - printf("poly_ipoint:%7ld [(%d,%d),(%d,%d)]\n", ms_between(start, end), p.x, p.y, q.x, q.y); - - r.x = 5.0, r.y = 5.0, s.x = 3.0, s.y = 3.0; - start = clock(); - for (i = 0; i < N/2; ++i) { - r = a2b2_mono_dpoint(r, s); - s = a2b2_mono_dpoint(s, r); - } - end = clock(); - printf("mono_dpoint:%7ld [(%f,%f),(%f,%f)]\n", ms_between(start, end), r.x, r.y, s.x, s.y); - - r.x = 5.0, r.y = 5.0, s.x = 3.0, s.y = 3.0; - start = clock(); - for (i = 0; i < N/2; ++i) { - r = a2b2_poly(r, s); - s = a2b2_poly(s, r); - } - end = clock(); - printf("poly_dpoint:%7ld [(%f,%f),(%f,%f)]\n", ms_between(start, end), r.x, r.y, s.x, s.y); - - return 0; -} - -// Local Variables: // -// tab-width: 4 // -// compile-command: "cfa poly-bench.c" // -// End: // Index: src/examples/rational.c =================================================================== --- src/examples/rational.c (revision ef7d253feeb8761ad117e99fc8ea18b18796a5f7) +++ (revision ) @@ -1,87 +1,0 @@ -// -*- Mode: C -*- -// -// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo -// -// The contents of this file are covered under the licence agreement in the -// file "LICENCE" distributed with Cforall. -// -// rational.c -- test rational number package -// -// Author : Peter A. Buhr -// Created On : Mon Mar 28 08:43:12 2016 -// Last Modified By : Peter A. Buhr -// Last Modified On : Wed May 4 14:19:36 2016 -// Update Count : 24 -// - -#include -#include -#include - -int main() { - sout | "constructor" | endl; - Rational a = { 3 }, b = { 4 }, c; - sout | a | b | c | endl; - a = (Rational){ 4, 8 }; - b = (Rational){ 5, 7 }; - sout | a | b | endl; - a = (Rational){ -2, -3 }; - b = (Rational){ 3, -2 }; - sout | a | b | endl; - a = (Rational){ -2, 3 }; - b = (Rational){ 3, 2 }; - sout | a | b | endl; - - sout | "logical" | endl; - a = (Rational){ -2 }; - b = (Rational){ -3, 2 }; - sout | a | b | endl; - sout | a == 1 | endl; - sout | a != b | endl; - sout | a < b | endl; - sout | a <= b | endl; - sout | a > b | endl; - sout | a >= b | endl; - - sout | "arithmetic" | endl; - sout | a | b | endl; - sout | a + b | endl; - sout | a - b | endl; - sout | a * b | endl; - sout | a / b | endl; - - sout | "conversion" | endl; - a = (Rational){ 3, 4 }; - sout | widen( a ) | endl; - a = (Rational){ 1, 7 }; - sout | widen( a ) | endl; - a = (Rational){ 355, 113 }; - sout | widen( a ) | endl; - sout | narrow( 0.75, 4 ) | endl; - sout | narrow( 0.14285714285714, 16 ) | endl; - sout | narrow( 3.14159265358979, 256 ) | endl; - - Rational x = { 1, 2 }, y = { 2 }; - sout | x - y | endl; - sout | x > y | endl; - sout | x | numerator( x, 2 ) | x | endl; - sout | y | denominator( y, -2 ) | y | endl; - - Rational z = { 0, 5 }; - sout | z | endl; - - sout | x | numerator( x, 0 ) | x | endl; - - x = (Rational){ 1, MAX } + (Rational){ 1, MAX }; - sout | x | endl; - x = (Rational){ 3, MAX } + (Rational){ 2, MAX }; - sout | x | endl; - - sin | &a | &b; - sout | a | b | endl; -} // main - -// Local Variables: // -// tab-width: 4 // -// compile-command: "cfa rational.c" // -// End: //