srexample.stable.out

一个内存数据库的源代码这是服务器端还有客户端

stdout of test 'SRexample` in directory 'src/optimizer` itself:


# 23:53:04 >  
# 23:53:04 >  Mtimeout -timeout 60 Mserver "--config=/ufs/mk/monet5/src/mal/Tests/All.conf" --debug=10 --set "monet_mod_path=/ufs/mk/monet5/Linux/lib/MonetDB5:/ufs/mk/opensource/MonetDB/Linux/lib/MonetDB" --set "gdk_dbfarm=/ufs/mk/opensource/MonetDB/Linux/var/MonetDB5/dbfarm" --set "sql_logdir=/ufs/mk/opensource/MonetDB/Linux/var/MonetDB5/log" --set mapi_port=39352 --set sql_port=45171 --set xquery_port=52900 --set monet_prompt= --trace --dbname=mTests_src_optimizer  SRexample.mal </dev/null
# 23:53:04 >  

# Monet Database Server V4.99.19
# Copyright (c) 1993-2005, CWI. All rights reserved.
# Compiled for x86_64-redhat-linux-gnu/64bit with 32bit OIDs; dynamically linked.
# config:/ufs/mk/monet5/src/mal/Tests/All.conf
# dbfarm:/ufs/mk/opensource/MonetDB/Linux/var/MonetDB5/dbfarm
# dbname:mTests_src_optimizer
# Visit http://monetdb.cwi.nl/ for further information.
## simple strength reduction
#	j:= "hello world";
#barrier go:=true;
#	i:=23;
#	j:= "not moved";
#	k:= j;
#	io.print(i);
#exit go;
#optimizer.strengthReduction();
#mdb.list();
#
function user.main():void;	# 0  (main:void)
    i := 23;	# 1  (i:int)<-(_7:int)
# simple strength reduction 	# 2  (_1:str)
    j := "hello world";	# 3  (j:str)<-(_3:str)
barrier go := true;	# 4  (go:bit)<-(_5:bit) jump 9
    j := "not moved";	# 5  (j:str)<-(_8:str)
    k := j;	# 6  (k:str)<-(j:str)
    io.print(i);	# 7 IOprint_val (_10:void)<-(i:int)
    redo go := false;	# 8  (go:bit)<-(_11:bit) jump 5
exit go;	# 9  (go:bit)
    z := j;	# 10  (z:str)<-(j:str)
# This shows it should not work for blocks in general 	# 11  (_13:str)
    r := "hello world";	# 12  (r:str)<-(_3:str)
barrier go := true;	# 13  (go:bit)<-(_5:bit) jump 18
    s := 23;	# 14  (s:int)<-(_7:int)
    r := "not moved";	# 15  (r:str)<-(_8:str)
    k := r;	# 16  (k:str)<-(r:str)
    io.print(s);	# 17 IOprint_val (_16:void)<-(s:int)
exit go;	# 18  (go:bit)
    z := r;	# 19  (z:str)<-(r:str)
    mdb.list();	# 20 MDBlist (_18:void)
end main;	# 21  
[ 23 ]
[ 23 ]
function user.main():void;
    i := 23;
# simple strength reduction 
    j := "hello world";
barrier go := true;
    j := "not moved";
    k := j;
    io.print(i);
    redo go := false;
exit go;
    z := j;
# This shows it should not work for blocks in general 
    r := "hello world";
barrier go := true;
    s := 23;
    r := "not moved";
    k := r;
    io.print(s);
exit go;
    z := r;
    mdb.list();
end main;

# 23:53:04 >  
# 23:53:04 >  Done.
# 23:53:04 >