Changes in libcfa/prelude/prelude-gen.cc [e523b07:b830e046]

File:

• libcfa/prelude/prelude-gen.cc (modified) (11 diffs)

libcfa/prelude/prelude-gen.cc

@@ +1 @@
+// 
+// Cforall Version 1.0.0 Copyright (C) 2018 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+// 
+// prelude-gen.cc -- 
+// 
+// Author           : Rob Schluntz and Thierry Delisle
+// Created On       : Sat Feb 16 08:44:58 2019
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Mar  8 16:00:22 2019
+// Update Count     : 26
+// 
+
 #include <algorithm>
 #include <array>
@@ -11 +26 @@
         bool hasComparison;
 } basicTypes[] = {
-        // { "char"                  , false, true , },
-        // { "signed char"           , false, true , },
-        // { "unsigned char"         , false, true , },
+        { "char"                  , false, true , },
+        { "signed char"           , false, true , },
+        { "unsigned char"         , false, true , },
         { "signed short"          , false, true , },
         { "unsigned short"        , false, true , },
@@ -34 +49 @@
 #if defined(__i386__) || defined(__ia64__) || defined(__x86_64__)
         { "__float80"             , true , true , },
-        { "_Float128"             , true , true , },
+        { "__float128"            , true , true , },
 #endif
 };
@@ -150 +165 @@
         cout << endl;
 
-        cout << "signed int ?==?( zero_t, zero_t ),                                                     ?!=?( zero_t, zero_t );" << endl;
-        cout << "signed int ?==?( one_t, one_t ),                                                       ?!=?( one_t, one_t );" << endl;
-        cout << "signed int ?==?( _Bool, _Bool ),                                                       ?!=?( _Bool, _Bool );" << endl;
-        cout << "signed int     !?( _Bool );" << endl;
+        cout << "signed int ?==?( zero_t, zero_t ),     ?!=?( zero_t, zero_t );" << endl;
+        cout << "signed int ?==?( one_t, one_t ),       ?!=?( one_t, one_t );" << endl;
+        cout << "signed int ?==?( _Bool, _Bool ),       ?!=?( _Bool, _Bool );" << endl;
+        cout << "signed int !?( _Bool );" << endl;
 
         for (auto op : arithmeticOperators) {
@@ -188 +203 @@
         cout << "// Arithmetic Constructors //" << endl;
         cout << "/////////////////////////////" << endl;
+        cout << endl;
+
         auto otype = [](const std::string & type, bool do_volatile = false) {
-                cout << "void \t?{} ( " << type << " & );" << endl;
-                cout << "void \t?{} ( " << type << " &, " << type << " );" << endl;
-                cout << type << " \t?=? ( " << type << " &, " << type << " )";
-                if( do_volatile ) {
-                        cout << ", \t?=?( volatile " << type << " &, " << type << " )";
+                cout << "void ?{} (" << type << " &);" << endl;
+                cout << "void ?{} (" << type << " &, " << type << ");" << endl;
+                cout << type << "  ?=? (" << type << " &, " << type << ")";
+                if ( do_volatile ) {
+                        cout << ",  ?=?(volatile " << type << " &, " << type << ")";
                 }
                 cout << ";" << endl;
-                cout << "void \t^?{}( " << type << " & );" << endl;
+                cout << "void ^?{}( " << type << " & );" << endl;
         };
 
@@ -202 +219 @@
         otype("one_t");
         otype("_Bool", true);
-        otype("char", true);
-        otype("signed char", true);
-        otype("unsigned char", true);
+        cout << endl;
 
         for (auto type : basicTypes) {
-                cout << "void  ?{}(" << type.name << " &);" << endl;
-                cout << "void  ?{}(" << type.name << " &, " << type.name << ");" << endl;
+                cout << "void ?{}(" << type.name << " &);" << endl;
+                cout << "void ?{}(" << type.name << " &, " << type.name << ");" << endl;
+                cout << "void ?{}(" << type.name << " &, zero_t);" << endl;
                 cout << "void ^?{}(" << type.name << " &);" << endl;
                 cout << endl;
@@ -217 +233 @@
         cout << "// Pointer Constructors //" << endl;
         cout << "//////////////////////////" << endl;
-        cout << "forall(ftype FT) void  ?{}( FT *&, FT * );" << endl;
-        cout << "forall(ftype FT) void  ?{}( FT * volatile &, FT * );" << endl;
+        cout << endl;
+
+        cout << "forall(ftype FT) void ?{}( FT *&, FT * );" << endl;
+        cout << "forall(ftype FT) void ?{}( FT * volatile &, FT * );" << endl;
 
         // generate qualifiers
@@ -242 +260 @@
                 for (auto cvq : qualifiersPair) {
                         for (auto is_vol : { "        ", "volatile" }) {
-                                cout << "forall(dtype DT) void  ?{}(" << cvq.first << type << " * " << is_vol << " &, " << cvq.second << "DT *);" << endl;
+                                cout << "forall(dtype DT) void ?{}(" << cvq.first << type << " * " << is_vol << " &, " << cvq.second << "DT *);" << endl;
                         }
                 }
                 for (auto cvq : qualifiersSingle) {
                         for (auto is_vol : { "        ", "volatile" }) {
-                                cout << "forall(dtype DT) void  ?{}(" << cvq << type << " * " << is_vol << " &);" << endl;
+                                cout << "forall(dtype DT) void ?{}(" << cvq << type << " * " << is_vol << " &);" << endl;
                         }
                         for (auto is_vol : { "        ", "volatile" }) {
@@ -269 +287 @@
         cout << "forall(ftype FT) FT *                  ?=?( FT *          &, zero_t );" << endl;
         cout << "forall(ftype FT) FT *                  ?=?( FT * volatile &, zero_t );" << endl;
-        cout << "forall( ftype FT ) void        ?{}( FT *          & );" << endl;
-        cout << "forall( ftype FT ) void        ^?{}( FT *         & );" << endl;
+        cout << "forall(ftype FT) void  ?{}( FT *          & );" << endl;
+        cout << "forall(ftype FT) void  ^?{}( FT *         & );" << endl;
         cout << endl;
 
@@ -277 +295 @@
         cout << "///////////////////////" << endl;
 
-        cout << "forall( ftype FT ) FT *                        ?=?( FT *&, FT * );" << endl;
-        cout << "forall( ftype FT ) FT *                        ?=?( FT * volatile &, FT * );" << endl;
-        cout << "forall( ftype FT ) int !?( FT * );" << endl;
-        cout << "forall( ftype FT ) signed int ?==?( FT *, FT * );" << endl;
-        cout << "forall( ftype FT ) signed int ?!=?( FT *, FT * );" << endl;
-        cout << "forall( ftype FT ) FT &                 *?( FT * );" << endl;
-
+        cout << "forall(ftype FT) FT *                  ?=?( FT *&, FT * );" << endl;
+        cout << "forall(ftype FT) FT *                  ?=?( FT * volatile &, FT * );" << endl;
+        cout << "forall(ftype FT) int !?( FT * );" << endl;
+        cout << "forall(ftype FT) signed int ?==?( FT *, FT * );" << endl;
+        cout << "forall(ftype FT) signed int ?!=?( FT *, FT * );" << endl;
+        cout << "forall(ftype FT) FT &           *?( FT * );" << endl;
 
         for (auto op : pointerOperators) {
@@ -387 +404 @@
 }
 
+// Local Variables: //
+// tab-width: 4 //
+// End: //