tst4004.stable.out

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

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


# 23:52:52 >  
# 23:52:52 >  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  tst4004.mal </dev/null
# 23:52:52 >  

# 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.
##dead code by forward analysis
#
#A :=23;
#D :=22;
#
#B:= true;
#barrier c:= B;
#	A:=1;
#	D:= 3;	# may not be removed
#	E:= 5;
#	F:=6;	# may be removed
#exit c;
#
#barrier c:= calc.not(B);
#	A:=2;
#	F:=7;	# may be removed
#exit c;
#
#io.print(A);
#io.print(D);
#
#optimizer.deadCodeRemoval();
#
#
function user.main():void;	# 0  (main:void)
    A := 23;	# 1  (A:int)<-(_3:int)
    D := 22;	# 2  (D:int)<-(_5:int)
    B := true;	# 3  (B:bit)<-(_7:bit)
barrier c := B;	# 4  (c:bit)<-(B:bit) jump 7
    A := 1;	# 5  (A:int)<-(_9:int)
    D := 3;	# 6  (D:int)<-(_10:int)
exit c;	# 7  (c:bit)
barrier c := calc.not(B);	# 8 CALCunarybitNOT (c:bit)<-(B:bit) jump 10
    A := 2;	# 9  (A:int)<-(_17:int)
exit c;	# 10  (c:bit)
    io.print(A);	# 11 IOprint_val (_19:void)<-(A:int)
    io.print(D);	# 12 IOprint_val (_20:void)<-(D:int)
end main;	# 13  
[ 1 ]
[ 3 ]

# 23:52:52 >  
# 23:52:52 >  Done.
# 23:52:52 >