interpreter/preprocessor/faust-0.9.47mr3/compiler/normalize/privatise.cpp

   1 /************************************************************************
   2  ************************************************************************
   3     FAUST compiler
   4         Copyright (C) 2003-2004 GRAME, Centre National de Creation Musicale
   5     ---------------------------------------------------------------------
   6     This program is free software; you can redistribute it and/or modify
   7     it under the terms of the GNU General Public License as published by
   8     the Free Software Foundation; either version 2 of the License, or
   9     (at your option) any later version.
  10
  11     This program is distributed in the hope that it will be useful,
  12     but WITHOUT ANY WARRANTY; without even the implied warranty of
  13     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14     GNU General Public License for more details.
  15
  16     You should have received a copy of the GNU General Public License
  17     along with this program; if not, write to the Free Software
  18     Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  19  ************************************************************************
  20  ************************************************************************/
  21
  22
  23
  24 #include "sigtype.hh"
  25 #include "compatibility.hh"
  26 #include <stdio.h>
  27
  28 #include "sigprint.hh"
  29 #include "sigtyperules.hh"
  30 #include "privatise.hh"
  31
  32
  33 /*****************************************************************************
  34                                                  privatise : compile a list of signals
  35 *****************************************************************************/
  36
  37 static Tree makePrivatisationKey(const Tree& t);
  38 static Tree makePrivatisationLabel(const Tree& exp);
  39
  40 static Tree privatisation (const Tree& k, const Tree& t);
  41 static Tree computePrivatisation (const Tree& k, const Tree& t);
  42 static Tree labelize(const Tree& label, const Tree& exp);
  43
  44
  45 Tree privatise(const Tree& t)
  46 {
  47
  48         return privatisation(makePrivatisationKey(t), t);
  49 }
  50
  51
  52 // -- implementation -----------------
  53
  54 static Tree makePrivatisationKey(const Tree& t)
  55 {
  56         char    name[256];
  57         snprintf(name, 256, "PRIVATISE %p : ", (CTree*)t);
  58         return tree(unique(name));
  59 }
  60
  61 static Tree makePrivatisationLabel(const Tree& t)
  62 {
  63         char    name[256];
  64         snprintf(name, 256, "OWNER IS %p : ", (CTree*)t);
  65         return tree(unique(name));
  66 }
  67
  68
  69 // -- implementation -----------------
  70
  71 static Tree privatisation (const Tree& k, const Tree& t)
  72 {
  73         Tree v;
  74
  75         if (t->arity() == 0) {
  76                 return t;
  77
  78         } else if (getProperty(t, k, v)) {
  79                 /*      Terme deja visité. La propriété nous indique
  80                         la version privatisée ou nil si elle est identique
  81                         au terme initial.
  82                 */
  83                 return isNil(v) ? t : v;
  84
  85         } else {
  86                 /*      Calcul du terme privatisé et mis à jour
  87                         de la propriété. Nil indique que le terme
  88                         privatisé est identique à celui de depart
  89                         (pour eviter les boucles avec les compteurs
  90                         de references)
  91                 */
  92                 v = computePrivatisation(k,t);
  93                 if (v != t) {
  94                         setProperty(t, k, v );
  95                 } else {
  96                         setProperty(t, k, nil);
  97                 }
  98                 return v;
  99         }
 100 }
 101
 102 static Tree computePrivatisation(const Tree& k, const Tree& exp)
 103 {
 104         Tree    tbl, size, idx, wrt, content, id, var, body;
 105
 106         if ( isSigWRTbl(exp, id, tbl, idx, wrt) )       {
 107                 /*      Ce qui ne peut pas être partagé, ce sont les
 108                         tables dans lesquelles on ecrit. Pour cela
 109                         on leur donne un label unique
 110                 */
 111                 return sigWRTbl(
 112                                         id,
 113                                         labelize( makePrivatisationLabel(exp), privatisation(k, tbl) ),
 114                                         privatisation(k, idx),
 115                                         privatisation(k, wrt) );
 116
 117         } else if ( isSigTable(exp, id, size, content) ) {
 118                 /*      Rien à privatiser dans une table (car size est
 119                         censée etre une expression entiere)
 120                 */
 121                 return exp;
 122
 123         } else if ( isSigGen(exp, content) ) {
 124                 /*      On ne visite pas les contenus des tables
 125                 */
 126                 printf("erreur 1 dans computePrivatisation\n");
 127                 exit(1);
 128
 129         } else if ( isRec(exp, var, body) ) {
 130                 /*      On ne visite pas les contenus des tables
 131                 */
 132                 setProperty(exp, k, nil);
 133                 return rec(var, privatisation(k,body));
 134
 135         } else {
 136                 /*      On parcours les autres arbres en privatisant les branches
 137                 */
 138                 int n = exp->arity();
 139
 140                 switch (n) {
 141
 142                         case 1 :
 143                                 return tree(
 144                                                 exp->node(),
 145                                                 privatisation(k, exp->branch(0)) );
 146                         case 2 :
 147                                 return tree(
 148                                                 exp->node(),
 149                                                 privatisation(k, exp->branch(0)),
 150                                                 privatisation(k, exp->branch(1)) );
 151                         case 3 :
 152                                 return tree (
 153                                                 exp->node(),
 154                                                 privatisation(k, exp->branch(0)),
 155                                                 privatisation(k, exp->branch(1)),
 156                                                 privatisation(k, exp->branch(2)) );
 157                         case 4 :
 158                                 return tree (
 159                                                 exp->node(),
 160                                                 privatisation(k, exp->branch(0)),
 161                                                 privatisation(k, exp->branch(1)),
 162                                                 privatisation(k, exp->branch(2)),
 163                                                 privatisation(k, exp->branch(3)) );
 164                 }
 165                 printf("erreur 2 dans computePrivatisation\n");
 166                 exit(1);
 167         }
 168         printf("situation anormale dans computePrivatisation\n");
 169         return exp;
 170 }
 171
 172 static Tree labelize(const Tree& newid, const Tree& exp)
 173 {
 174         Tree    tbl, size, idx, wrt, content, oldid;
 175
 176         if ( isSigWRTbl(exp, oldid, tbl, idx, wrt) )    {
 177                 /*      Ce qui ne peut pas être partagé, ce sont les
 178                         tables dans lesquelles on ecrit. Pour cela
 179                         on leur donne un label unique
 180                 */
 181                 return sigWRTbl(newid, tbl, idx, wrt);
 182
 183         } else  if ( isSigTable(exp, oldid, size, content) ) {
 184                 /*      Rien à privatiser dans une table (car size est
 185                         censée etre une expression entiere)
 186                 */
 187                 return sigTable(newid, size, content);
 188
 189         } else {
 190
 191                 printf("erreur labelize\n");
 192                 exit(1);
 193         }
 194
 195         return exp;
 196 }
 197