X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/1059e1cc0c2ecfa237406949aa26155b6a5b9154..66f23d4fabf89ad09adbd4dfc15ac6b5b2b7da83:/interpreter/preprocessor/faust-0.9.47mr3/compiler/generator/sharing.cpp

diff --git a/interpreter/preprocessor/faust-0.9.47mr3/compiler/generator/sharing.cpp b/interpreter/preprocessor/faust-0.9.47mr3/compiler/generator/sharing.cpp
new file mode 100644
index 0000000..7f073bb
--- /dev/null
+++ b/interpreter/preprocessor/faust-0.9.47mr3/compiler/generator/sharing.cpp
@@ -0,0 +1,147 @@
+/************************************************************************
+ ************************************************************************
+    FAUST compiler
+	Copyright (C) 2003-2004 GRAME, Centre National de Creation Musicale
+    ---------------------------------------------------------------------
+    This program is free software; you can redistribute it and/or modify
+    it under the terms of the GNU General Public License as published by
+    the Free Software Foundation; either version 2 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU General Public License for more details.
+
+    You should have received a copy of the GNU General Public License
+    along with this program; if not, write to the Free Software
+    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ ************************************************************************
+ ************************************************************************/
+
+
+
+/*****************************************************************************
+******************************************************************************
+							FAUST SIGNAL COMPILER
+						Y. Orlarey, (c) Grame 2002
+------------------------------------------------------------------------------
+Compile a list of FAUST signals into a C++ class .
+
+ History :
+ ---------
+ 	2002-02-08 : First version
+
+******************************************************************************
+*****************************************************************************/
+
+
+
+#include <stdio.h>
+
+#include "compile_vect.hh"
+#include "compile_scal.hh"
+#include "sigtype.hh"
+#include "sigtyperules.hh"
+#include "sigprint.hh"
+
+
+
+/*****************************************************************************
+******************************************************************************
+
+						   		SHARING ANALYSIS
+
+******************************************************************************
+*****************************************************************************/
+
+//------------------------------------------------------------------------------
+// Create a specific property key for the sharing count of subtrees of t
+//------------------------------------------------------------------------------
+
+int ScalarCompiler::getSharingCount(Tree sig)
+{
+	//cerr << "getSharingCount of : " << *sig << " = ";
+	Tree c;
+	if (getProperty(sig, fSharingKey, c)) {
+		//cerr << c->node().getInt() << endl;
+		return c->node().getInt();
+	} else {
+		//cerr << 0 << endl;
+		return 0;
+	}
+}
+
+void ScalarCompiler::setSharingCount(Tree sig, int count)
+{
+	//cerr << "setSharingCount of : " << *sig << " <- " << count << endl;
+	setProperty(sig, fSharingKey, tree(count));
+}
+
+
+
+//------------------------------------------------------------------------------
+// Create a specific property key for the sharing count of subtrees of t
+//------------------------------------------------------------------------------
+
+
+void ScalarCompiler::sharingAnalysis(Tree t)
+{
+	fSharingKey = shprkey(t);
+	if (isList(t)) {
+		while (isList(t)) {
+			sharingAnnotation(kSamp, hd(t));
+			t = tl(t);
+		}
+	} else {
+		sharingAnnotation(kSamp, t);
+	}
+}
+
+
+
+//------------------------------------------------------------------------------
+// Create a specific property key for the sharing count of subtrees of t
+//------------------------------------------------------------------------------
+void ScalarCompiler::sharingAnnotation(int vctxt, Tree sig)
+{
+	Tree	c, x, y, z;
+
+	//cerr << "START sharing annotation of " << *sig << endl;
+	int count = getSharingCount(sig);
+
+	if (count > 0) {
+		// it is not our first visit
+		setSharingCount(sig, count+1);
+
+	} else {
+		// it is our first visit,
+		int v = getCertifiedSigType(sig)->variability();
+
+		// check "time sharing" cases
+		if (v < vctxt) {
+			setSharingCount(sig, 2); 	// time sharing occurence : slower expression in faster context
+		} else {
+			setSharingCount(sig, 1);	// regular occurence
+		}
+
+		if (isSigSelect3(sig,c,y,x,z)) {
+			// make a special case for select3 implemented with real if
+			// because the c expression will be used twice in the C++
+			// translation
+			sharingAnnotation(v, c);
+			sharingAnnotation(v, c);
+			sharingAnnotation(v, x);
+			sharingAnnotation(v, y);
+			sharingAnnotation(v, z);
+		} else {
+			// Annotate the sub signals
+			vector<Tree> subsig;
+			int n = getSubSignals(sig, subsig);
+			if (n>0 && ! isSigGen(sig)) {
+				for (int i=0; i<n; i++) sharingAnnotation(v, subsig[i]);
+			}
+		}
+	}
+	//cerr << "END sharing annotation of " << *sig << endl;
+}