Changeset 6130304


Ignore:
Timestamp:
Jul 24, 2019, 10:40:21 AM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
83b52f1
Parents:
8ac3b0e
Message:

Removed extraneous forall clause on void pointer default constructors and destructors

File:
1 edited

Legend:

Unmodified
Added
Removed
  • libcfa/prelude/prelude-gen.cc

    r8ac3b0e r6130304  
    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 // prelude-gen.cc -- 
    8 // 
     6//
     7// prelude-gen.cc --
     8//
    99// Author           : Rob Schluntz and Thierry Delisle
    1010// Created On       : Sat Feb 16 08:44:58 2019
     
    1212// Last Modified On : Tue Apr  2 17:18:24 2019
    1313// Update Count     : 37
    14 // 
     14//
    1515
    1616#include <algorithm>
     
    264264                for (auto cvq : qualifiersPair) {
    265265                        for (auto is_vol : { "        ", "volatile" }) {
    266                                 cout << "forall(dtype DT) void ?{}(" << cvq.first << type << " * " << is_vol << " &, " << cvq.second << "DT *);" << endl;
     266                                cout << "forall(dtype DT) void  ?{}(" << cvq.first << type << " * " << is_vol << " &, " << cvq.second << "DT *);" << endl;
    267267                        }
    268268                }
    269                 for (auto cvq : qualifiersSingle) {
    270                         for (auto is_vol : { "        ", "volatile" }) {
    271                                 cout << "forall(dtype DT) void ?{}(" << cvq << type << " * " << is_vol << " &);" << endl;
    272                         }
    273                         for (auto is_vol : { "        ", "volatile" }) {
    274                                 cout << "forall(dtype DT) void ^?{}(" << cvq << type << " * " << is_vol << " &);" << endl;
    275                         }
     269        }
     270        for (auto cvq : qualifiersSingle) {
     271                for (auto is_vol : { "        ", "volatile" }) {
     272                        cout << "void  ?{}(" << cvq << "void" << " * " << is_vol << " &);" << endl;
     273                }
     274                for (auto is_vol : { "        ", "volatile" }) {
     275                        cout << "void ^?{}(" << cvq << "void" << " * " << is_vol << " &);" << endl;
     276                }
     277        }
     278
     279        for (auto cvq : qualifiersSingle) {
     280                for (auto is_vol : { "        ", "volatile" }) {
     281                        cout << "forall(dtype DT) void  ?{}(" << cvq << "  DT" << " * " << is_vol << " &);" << endl;
     282                }
     283                for (auto is_vol : { "        ", "volatile" }) {
     284                        cout << "forall(dtype DT) void ^?{}(" << cvq << "  DT" << " * " << is_vol << " &);" << endl;
    276285                }
    277286        }
     
    288297        cout << endl;
    289298
    290         cout << "forall(ftype FT) void  ?{}( FT *          &, zero_t ); " << endl;
     299        cout << "forall(ftype FT) void  ?{}( FT *          &, zero_t );" << endl;
    291300        cout << "forall(ftype FT) FT *                  ?=?( FT *          &, zero_t );" << endl;
    292301        cout << "forall(ftype FT) FT *                  ?=?( FT * volatile &, zero_t );" << endl;
Note: See TracChangeset for help on using the changeset viewer.