📄 tst4810.stable.out
字号:
t12 := batcalc.oid(t11); # 10 CMDconvertvoid_int_oid (t12:bat[:void,:oid])<-(t11:bat[:void,:int]) t13 := algebra.join(t12,t10); # 11 ALGjoin (t13:bat[:void,:int])<-(t12:bat[:void,:oid])(t10:bat[:void,:int]) t14:bat[:void,:int] := bbp.bind("A_bat"); # 12 CMDbbpbind (t14:bat[:void,:int])<-(_18:str) t19 := batcalc.*(500,t3); # 13 CMDcstMULbat_int_int_int (t19:bat[:void,:int])<-(_7:int)(t3:bat[:void,:int]) t20 := batcalc.+(t6,t19); # 14 CMDbatADD_int_int_int (t20:bat[:void,:int])<-(t6:bat[:void,:int])(t19:bat[:void,:int]) t21 := batcalc.oid(t20); # 15 CMDconvertvoid_int_oid (t21:bat[:void,:oid])<-(t20:bat[:void,:int]) t22 := algebra.join(t21,t14); # 16 ALGjoin (t22:bat[:void,:int])<-(t21:bat[:void,:oid])(t14:bat[:void,:int]) t23 := array.grid(1:int,500,500,0); # 17 ARRAYgrid_int (t23:bat[:void,:int])<-(_6:int)(_7:int)(_7:int)(_2:int) t24 := batcalc.oid(t23); # 18 CMDconvertvoid_int_oid (t24:bat[:void,:oid])<-(t23:bat[:void,:int]) t25 := algebra.join(t24,t22); # 19 ALGjoin (t25:bat[:void,:int])<-(t24:bat[:void,:oid])(t22:bat[:void,:int]) t26 := batcalc.*(t13,t25); # 20 CMDbatMUL_int_int_int (t26:bat[:void,:int])<-(t13:bat[:void,:int])(t25:bat[:void,:int]) a_i1 := t26; # 21 (a_i1:bat[:void,:int])<-(t26:bat[:void,:int])barrier (go,i1):= mal.newRange(1:int); # 22 RNGnewRange_int (go:bit)(i1:int)<-(_6:int) jump 36 t31 := batcalc.init(t3,i1); # 23 CMDbatintinit (t31:bat[:void,:int])<-(t3:bat[:void,:int])(i1:int) t32 := batcalc.*(500,t31); # 24 CMDcstMULbat_int_int_int (t32:bat[:void,:int])<-(_7:int)(t31:bat[:void,:int]) t33 := batcalc.+(t3,t32); # 25 CMDbatADD_int_int_int (t33:bat[:void,:int])<-(t3:bat[:void,:int])(t32:bat[:void,:int]) t34 := batcalc.oid(t33); # 26 CMDconvertvoid_int_oid (t34:bat[:void,:oid])<-(t33:bat[:void,:int]) t35 := algebra.join(t34,t2); # 27 ALGjoin (t35:bat[:void,:int])<-(t34:bat[:void,:oid])(t2:bat[:void,:int]) t38 := algebra.join(t12,t35); # 28 ALGjoin (t38:bat[:void,:int])<-(t12:bat[:void,:oid])(t35:bat[:void,:int]) t45 := batcalc.+(t31,t19); # 29 CMDbatADD_int_int_int (t45:bat[:void,:int])<-(t31:bat[:void,:int])(t19:bat[:void,:int]) t46 := batcalc.oid(t45); # 30 CMDconvertvoid_int_oid (t46:bat[:void,:oid])<-(t45:bat[:void,:int]) t47 := algebra.join(t46,t14); # 31 ALGjoin (t47:bat[:void,:int])<-(t46:bat[:void,:oid])(t14:bat[:void,:int]) t50 := algebra.join(t24,t47); # 32 ALGjoin (t50:bat[:void,:int])<-(t24:bat[:void,:oid])(t47:bat[:void,:int]) t51 := batcalc.*(t38,t50); # 33 CMDbatMUL_int_int_int (t51:bat[:void,:int])<-(t38:bat[:void,:int])(t50:bat[:void,:int]) a_i1 := batcalc.+(a_i1,a_i1,t51); # 34 unknown (a_i1:bat[:void,:int])<-(a_i1:bat[:void,:int])(a_i1:bat[:void,:int])(t51:bat[:void,:int]) redo (go,i1):= mal.nextElement(1:int,3:int); # 35 RNGnextElement_int (go:bit)(i1:int)<-(_48:int)(_52:int) jump 23exit (go,i1); # 36 (go:bit)(i1:int) t52 := a_i1; # 37 (t52:bat[:void,:int])<-(a_i1:bat[:void,:int]) top := t52; # 38 (top:bat[:void,:int])<-(t52:bat[:void,:int]) bat.setName(top,"SIM_bat"); # 39 BKCsetName (_55:void)<-(top:bat[:void,:int])(_56:str) bat.persists(top,true); # 40 unknown (_57:any)<-(top:bat[:void,:int])(_58:bit) transaction.commit(); # 41 TRNglobal_commit (_59:void)end f3; # 42 !ERROR: MALresolve:user.f3[34]:type mismatch bat[:void,:int] := void!ERROR: 'batcalc.+' undefined in user.f3[34]!ERROR: 'bat.persists' undefined in user.f3[40]Optimizer strengthReduction failedfunction user.f3():void; # 0 (f3:void) i1 := 0; # 1 (i1:int)<-(_2:int) t2:bat[:void,:int] := bbp.bind("B_bat"); # 2 CMDbbpbind (t2:bat[:void,:int])<-(_4:str) t3 := array.grid(1:int,500,1:int,0); # 3 ARRAYgrid_int (t3:bat[:void,:int])<-(_6:int)(_7:int)(_6:int)(_2:int) t6 := batcalc.init(t3,i1); # 4 CMDbatintinit (t6:bat[:void,:int])<-(t3:bat[:void,:int])(i1:int) t7 := batcalc.*(500,t6); # 5 CMDcstMULbat_int_int_int (t7:bat[:void,:int])<-(_7:int)(t6:bat[:void,:int]) t8 := batcalc.+(t3,t7); # 6 CMDbatADD_int_int_int (t8:bat[:void,:int])<-(t3:bat[:void,:int])(t7:bat[:void,:int]) t9 := batcalc.oid(t8); # 7 CMDconvertvoid_int_oid (t9:bat[:void,:oid])<-(t8:bat[:void,:int]) t10 := algebra.join(t9,t2); # 8 ALGjoin (t10:bat[:void,:int])<-(t9:bat[:void,:oid])(t2:bat[:void,:int]) t11 := array.grid(500,500,1:int,0); # 9 ARRAYgrid_int (t11:bat[:void,:int])<-(_7:int)(_7:int)(_6:int)(_2:int) t12 := batcalc.oid(t11); # 10 CMDconvertvoid_int_oid (t12:bat[:void,:oid])<-(t11:bat[:void,:int]) t13 := algebra.join(t12,t10); # 11 ALGjoin (t13:bat[:void,:int])<-(t12:bat[:void,:oid])(t10:bat[:void,:int]) t14:bat[:void,:int] := bbp.bind("A_bat"); # 12 CMDbbpbind (t14:bat[:void,:int])<-(_18:str) t19 := batcalc.*(500,t3); # 13 CMDcstMULbat_int_int_int (t19:bat[:void,:int])<-(_7:int)(t3:bat[:void,:int]) t20 := batcalc.+(t6,t19); # 14 CMDbatADD_int_int_int (t20:bat[:void,:int])<-(t6:bat[:void,:int])(t19:bat[:void,:int]) t21 := batcalc.oid(t20); # 15 CMDconvertvoid_int_oid (t21:bat[:void,:oid])<-(t20:bat[:void,:int]) t22 := algebra.join(t21,t14); # 16 ALGjoin (t22:bat[:void,:int])<-(t21:bat[:void,:oid])(t14:bat[:void,:int]) t23 := array.grid(1:int,500,500,0); # 17 ARRAYgrid_int (t23:bat[:void,:int])<-(_6:int)(_7:int)(_7:int)(_2:int) t24 := batcalc.oid(t23); # 18 CMDconvertvoid_int_oid (t24:bat[:void,:oid])<-(t23:bat[:void,:int]) t25 := algebra.join(t24,t22); # 19 ALGjoin (t25:bat[:void,:int])<-(t24:bat[:void,:oid])(t22:bat[:void,:int]) t26 := batcalc.*(t13,t25); # 20 CMDbatMUL_int_int_int (t26:bat[:void,:int])<-(t13:bat[:void,:int])(t25:bat[:void,:int]) a_i1 := t26; # 21 (a_i1:bat[:void,:int])<-(t26:bat[:void,:int])barrier (go,i1):= mal.newRange(1:int); # 22 RNGnewRange_int (go:bit)(i1:int)<-(_6:int) jump 36 t31 := batcalc.init(t3,i1); # 23 CMDbatintinit (t31:bat[:void,:int])<-(t3:bat[:void,:int])(i1:int) t32 := batcalc.*(500,t31); # 24 CMDcstMULbat_int_int_int (t32:bat[:void,:int])<-(_7:int)(t31:bat[:void,:int]) t33 := batcalc.+(t3,t32); # 25 CMDbatADD_int_int_int (t33:bat[:void,:int])<-(t3:bat[:void,:int])(t32:bat[:void,:int]) t34 := batcalc.oid(t33); # 26 CMDconvertvoid_int_oid (t34:bat[:void,:oid])<-(t33:bat[:void,:int]) t35 := algebra.join(t34,t2); # 27 ALGjoin (t35:bat[:void,:int])<-(t34:bat[:void,:oid])(t2:bat[:void,:int]) t38 := algebra.join(t12,t35); # 28 ALGjoin (t38:bat[:void,:int])<-(t12:bat[:void,:oid])(t35:bat[:void,:int]) t45 := batcalc.+(t31,t19); # 29 CMDbatADD_int_int_int (t45:bat[:void,:int])<-(t31:bat[:void,:int])(t19:bat[:void,:int]) t46 := batcalc.oid(t45); # 30 CMDconvertvoid_int_oid (t46:bat[:void,:oid])<-(t45:bat[:void,:int]) t47 := algebra.join(t46,t14); # 31 ALGjoin (t47:bat[:void,:int])<-(t46:bat[:void,:oid])(t14:bat[:void,:int]) t50 := algebra.join(t24,t47); # 32 ALGjoin (t50:bat[:void,:int])<-(t24:bat[:void,:oid])(t47:bat[:void,:int]) t51 := batcalc.*(t38,t50); # 33 CMDbatMUL_int_int_int (t51:bat[:void,:int])<-(t38:bat[:void,:int])(t50:bat[:void,:int]) a_i1 := batcalc.+(a_i1,a_i1,t51); # 34 unknown (a_i1:bat[:void,:int])<-(a_i1:bat[:void,:int])(a_i1:bat[:void,:int])(t51:bat[:void,:int]) redo (go,i1):= mal.nextElement(1:int,3:int); # 35 RNGnextElement_int (go:bit)(i1:int)<-(_48:int)(_52:int) jump 23exit (go,i1); # 36 (go:bit)(i1:int) t52 := a_i1; # 37 (t52:bat[:void,:int])<-(a_i1:bat[:void,:int]) top := t52; # 38 (top:bat[:void,:int])<-(t52:bat[:void,:int]) bat.setName(top,"SIM_bat"); # 39 BKCsetName (_55:void)<-(top:bat[:void,:int])(_56:str) bat.persists(top,true); # 40 unknown (_57:any)<-(top:bat[:void,:int])(_58:bit) transaction.commit(); # 41 TRNglobal_commit (_59:void)end f3; # 42 !ERROR: MALresolve:user.f3[34]:type mismatch bat[:void,:int] := void!ERROR: 'batcalc.+' undefined in user.f3[34]!ERROR: 'bat.persists' undefined in user.f3[40]Optimizer strengthReduction optimizer failedfunction user.f3():void; # 0 (f3:void) i1 := 0; # 1 (i1:int)<-(_2:int) t2:bat[:void,:int] := bbp.bind("B_bat"); # 2 CMDbbpbind (t2:bat[:void,:int])<-(_4:str) t3 := array.grid(1:int,500,1:int,0); # 3 ARRAYgrid_int (t3:bat[:void,:int])<-(_6:int)(_7:int)(_6:int)(_2:int) t6 := batcalc.init(t3,i1); # 4 CMDbatintinit (t6:bat[:void,:int])<-(t3:bat[:void,:int])(i1:int) t7 := batcalc.*(500,t6); # 5 CMDcstMULbat_int_int_int (t7:bat[:void,:int])<-(_7:int)(t6:bat[:void,:int]) t8 := batcalc.+(t3,t7); # 6 CMDbatADD_int_int_int (t8:bat[:void,:int])<-(t3:bat[:void,:int])(t7:bat[:void,:int]) t9 := batcalc.oid(t8); # 7 CMDconvertvoid_int_oid (t9:bat[:void,:oid])<-(t8:bat[:void,:int]) t10 := algebra.join(t9,t2); # 8 ALGjoin (t10:bat[:void,:int])<-(t9:bat[:void,:oid])(t2:bat[:void,:int]) t11 := array.grid(500,500,1:int,0); # 9 ARRAYgrid_int (t11:bat[:void,:int])<-(_7:int)(_7:int)(_6:int)(_2:int) t12 := batcalc.oid(t11); # 10 CMDconvertvoid_int_oid (t12:bat[:void,:oid])<-(t11:bat[:void,:int]) t13 := algebra.join(t12,t10); # 11 ALGjoin (t13:bat[:void,:int])<-(t12:bat[:void,:oid])(t10:bat[:void,:int]) t14:bat[:void,:int] := bbp.bind("A_bat"); # 12 CMDbbpbind (t14:bat[:void,:int])<-(_18:str) t19 := batcalc.*(500,t3); # 13 CMDcstMULbat_int_int_int (t19:bat[:void,:int])<-(_7:int)(t3:bat[:void,:int]) t20 := batcalc.+(t6,t19); # 14 CMDbatADD_int_int_int (t20:bat[:void,:int])<-(t6:bat[:void,:int])(t19:bat[:void,:int]) t21 := batcalc.oid(t20); # 15 CMDconvertvoid_int_oid (t21:bat[:void,:oid])<-(t20:bat[:void,:int]) t22 := algebra.join(t21,t14); # 16 ALGjoin (t22:bat[:void,:int])<-(t21:bat[:void,:oid])(t14:bat[:void,:int]) t23 := array.grid(1:int,500,500,0); # 17 ARRAYgrid_int (t23:bat[:void,:int])<-(_6:int)(_7:int)(_7:int)(_2:int) t24 := batcalc.oid(t23); # 18 CMDconvertvoid_int_oid (t24:bat[:void,:oid])<-(t23:bat[:void,:int]) t25 := algebra.join(t24,t22); # 19 ALGjoin (t25:bat[:void,:int])<-(t24:bat[:void,:oid])(t22:bat[:void,:int]) t26 := batcalc.*(t13,t25); # 20 CMDbatMUL_int_int_int (t26:bat[:void,:int])<-(t13:bat[:void,:int])(t25:bat[:void,:int]) a_i1 := t26; # 21 (a_i1:bat[:void,:int])<-(t26:bat[:void,:int])barrier (go,i1):= mal.newRange(1:int); # 22 RNGnewRange_int (go:bit)(i1:int)<-(_6:int) jump 36 t31 := batcalc.init(t3,i1); # 23 CMDbatintinit (t31:bat[:void,:int])<-(t3:bat[:void,:int])(i1:int) t32 := batcalc.*(500,t31); # 24 CMDcstMULbat_int_int_int (t32:bat[:void,:int])<-(_7:int)(t31:bat[:void,:int]) t33 := batcalc.+(t3,t32); # 25 CMDbatADD_int_int_int (t33:bat[:void,:int])<-(t3:bat[:void,:int])(t32:bat[:void,:int]) t34 := batcalc.oid(t33); # 26 CMDconvertvoid_int_oid (t34:bat[:void,:oid])<-(t33:bat[:void,:int]) t35 := algebra.join(t34,t2); # 27 ALGjoin (t35:bat[:void,:int])<-(t34:bat[:void,:oid])(t2:bat[:void,:int]) t38 := algebra.join(t12,t35); # 28 ALGjoin (t38:bat[:void,:int])<-(t12:bat[:void,:oid])(t35:bat[:void,:int]) t45 := batcalc.+(t31,t19); # 29 CMDbatADD_int_int_int (t45:bat[:void,:int])<-(t31:bat[:void,:int])(t19:bat[:void,:int]) t46 := batcalc.oid(t45); # 30 CMDconvertvoid_int_oid (t46:bat[:void,:oid])<-(t45:bat[:void,:int]) t47 := algebra.join(t46,t14); # 31 ALGjoin (t47:bat[:void,:int])<-(t46:bat[:void,:oid])(t14:bat[:void,:int]) t50 := algebra.join(t24,t47); # 32 ALGjoin (t50:bat[:void,:int])<-(t24:bat[:void,:oid])(t47:bat[:void,:int]) t51 := batcalc.*(t38,t50); # 33 CMDbatMUL_int_int_int (t51:bat[:void,:int])<-(t38:bat[:void,:int])(t50:bat[:void,:int]) a_i1 := batcalc.+(a_i1,a_i1,t51); # 34 unknown (a_i1:bat[:void,:int])<-(a_i1:bat[:void,:int])(a_i1:bat[:void,:int])(t51:bat[:void,:int]) redo (go,i1):= mal.nextElement(1:int,3:int); # 35 RNGnextElement_int (go:bit)(i1:int)<-(_48:int)(_52:int) jump 23exit (go,i1); # 36 (go:bit)(i1:int) t52 := a_i1; # 37 (t52:bat[:void,:int])<-(a_i1:bat[:void,:int]) top := t52; # 38 (top:bat[:void,:int])<-(t52:bat[:void,:int]) bat.setName(top,"SIM_bat"); # 39 BKCsetName (_55:void)<-(top:bat[:void,:int])(_56:str) bat.persists(top,true); # 40 unknown (_57:any)<-(top:bat[:void,:int])(_58:bit) transaction.commit(); # 41 TRNglobal_commit (_59:void)end f3; # 42 !ERROR: MALresolve:user.f3[57]:type mismatch bat[:void,:int] := void!ERROR: 'batcalc.+' undefined in user.f3[57]!ERROR: 'bat.persists' undefined in user.f3[64]Optimizer garbageCollector failedfunction user.f3():void; # 0 (f3:void) i1 := 0; # 1 (i1:int)<-(_2:int) t2:bat[:void,:int] := bbp.bind("B_bat"); # 2 CMDbbpbind (t2:bat[:void,:int])<-(_4:str) t3 := array.grid(1:int,500,1:int,0); # 3 ARRAYgrid_int (t3:bat[:void,:int])<-(_6:int)(_7:int)(_6:int)(_2:int) t6 := batcalc.init(t3,i1); # 4 CMDbatintinit (t6:bat[:void,:int])<-(t3:bat[:void,:int])(i1:int) t7 := batcalc.*(500,t6); # 5 CMDcstMULbat_int_int_int (t7:bat[:void,:int])<-(_7:int)(t6:bat[:void,:int]) t8 := batcalc.+(t3,t7); # 6 CMDbatADD_int_int_int (t8:bat[:void,:int])<-(t3:bat[:void,:int])(t7:bat[:void,:int]) bat.setGarbage(t7); # 7 CMDbbpgarbage (_60:void)<-(t7:bat[:void,:int]) t9 := batcalc.oid(t8); # 8 CMDconvertvoid_int_oid (t9:bat[:void,:oid])<-(t8:bat[:void,:int]) bat.setGarbage(t8); # 9 CMDbbpgarbage (_61:void)<-(t8:bat[:void,:int]) t10 := algebra.join(t9,t2); # 10 ALGjoin (t10:bat[:void,:int])<-(t9:bat[:void,:oid])(t2:bat[:void,:int]) bat.setGarbage(t9); # 11 CMDbbpgarbage (_62:void)<-(t9:bat[:void,:oid]) t11 := array.grid(500,500,1:int,0); # 12 ARRAYgrid_int (t11:bat[:void,:int])<-(_7:int)(_7:int)(_6:int)(_2:int) t12 := batcalc.oid(t11); # 13 CMDconvertvoid_int_oid (t12:bat[:void,:oid])<-(t11:bat[:void,:int]) bat.setGarbage(t11); # 14 CMDbbpgarbage (_63:void)<-(t11:bat[:void,:int]) t13 := algebra.join(t12,t10); # 15 ALGjoin (t13:bat[:void,:int])<-(t12:bat[:void,:oid])(t10:bat[:void,:int]) bat.setGarbage(t10); # 16 CMDbbpgarbage (_64:void)<-(t10:bat[:void,:int]) t14:bat[:void,:int] := bbp.bind("A_bat"); # 17 CMDbbpbind (t14:bat[:void,:int])<-(_18:str) t19 := batcalc.*(500,t3); # 18 CMDcstMULbat_int_int_int (t19:bat[:void,:int])<-(_7:int)(t3:bat[:void,:int]) t20 := batcalc.+(t6,t19); # 19 CMDbatADD_int_int_int (t20:bat[:void,:int])<-(t6:bat[:void,:int])(t19:bat[:void,:int]) bat.setGarbage(t6); # 20 CMDbbpgarbage (_65:void)<-(t6:bat[:void,:int]) t21 := batcalc.oid(t20); # 21 CMDconvertvoid_int_oid (t21:bat[:void,:oid])<-(t20:bat[:void,:int]) bat.setGarbage(t20); # 22 CMDbbpgarbage (_66:void)<-(t20:bat[:void,:int]) t22 := algebra.join(t21,t14); # 23 ALGjoin (t22:bat[:void,:int])<-(t21:bat[:void,:oid])(t14:bat[:void,:int]) bat.setGarbage(t21); # 24 CMDbbpgarbage (_67:void)<-(t21:bat[:void,:oid]) t23 := array.grid(1:int,500,500,0); # 25 ARRAYgrid_int (t23:bat[:void,:int])<-(_6:int)(_7:int)(_7:int)(_2:int) t24 := batcalc.oid(t23); # 26 CMDconvertvoid_int_oid (t24:bat[:void,:oid])<-(t23:bat[:void,:int]) bat.setGarbage(t23); # 27 CMDbbpgarbage (_68:void)<-(t23:bat[:void,:int]) t25 := algebra.join(t24,t22); # 28 ALGjoin (t25:bat[:void,:int])<-(t24:bat[:void,:oid])(t22:bat[:void,:int]) bat.setGarbage(t22); # 29 CMDbbpgarbage (_69:void)<-(t22:bat[:void,:int]) t26 := batcalc.*(t13,t25); # 30 CMDbatMUL_int_int_int (t26:bat[:void,:int])<-(t13:bat[:void,:int])(t25:bat[:void,:int]) bat.setGarbage(t13); # 31 CMDbbpgarbage (_70:void)<-(t13:bat[:void,:int]) bat.setGarbage(t25); # 32 CMDbbpgarbage (_71:void)<-(t25:bat[:void,:int]) a_i1 := t26; # 33 (a_i1:bat[:void,:int])<-(t26:bat[:void,:int]) bat.setGarbage(t26); # 34 CMDbbpgarbage (_72:void)<-(t26:bat[:void,:int])barrier (go,i1):= mal.newRange(1:int); # 35 RNGnewRange_int (go:bit)(i1:int)<-(_6:int) jump 60 t31 := batcalc.init(t3,i1); # 36 CMDbatintinit (t31:bat[:void,:int])<-(t3:bat[:void,:int])(i1:int) t32 := batcalc.*(500,t31); # 37 CMDcstMULbat_int_int_int (t32:bat[:void,:int])<-(_7:int)(t31:bat[:void,:int]) t33 := batcalc.+(t3,t32); # 38 CMDbatADD_int_int_int (t33:bat[:void,:int])<-(t3:bat[:void,:int])(t32:bat[:void,:int]) bat.setGarbage(t32); # 39 CMDbbpgarbage (_73:void)<-(t32:bat[:void,:int]) t34 := batcalc.oid(t33); # 40 CMDconvertvoid_int_oid (t34:bat[:void,:oid])<-(t33:bat[:void,:int]) bat.setGarbage(t33); # 41 CMDbbpgarbage (_74:void)<-(t33:bat[:void,:int]) t35 := algebra.join(t34,t2); # 42 ALGjoin (t35:bat[:void,:int])<-(t34:bat[:void,:oid])(t2:bat[:void,:int])
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -