CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by cocoSim

-- System nodes

node sum_collapse_int_test (In9_1_1 : int; In10_1_1 : int; In11_1_1 : int; In11_1_2 : int; In11_1_3 : int; In12_1_1 : int; In12_1_2 : int; In12_1_3 : int; In13_1_1 : int; In13_1_2 : int; In13_1_3 : int; In13_1_4 : int; In13_1_5 : int; In13_1_6 : int; In14_1_1 : int; In14_1_2 : int; In14_1_3 : int; In14_1_4 : int; In14_1_5 : int; In14_1_6 : int; In15_1_1 : int; In15_1_2 : int; In15_1_3 : int; In15_1_4 : int; In15_1_5 : int; In15_1_6 : int; In16_1_1 : int; In16_1_2 : int; In16_1_3 : int; In16_1_4 : int; In16_1_5 : int; In16_1_6 : int)

returns (Out9_1_1 : int;

	Out10_2_1 : int;

	Out11_3_1 : int;

	Out12_4_1 : int;

	Out13_5_1 : int; Out13_5_2 : int; Out13_5_3 : int;

	Out14_6_1 : int; Out14_6_2 : int; Out14_6_3 : int;

	Out15_7_1 : int; Out15_7_2 : int;

	Out16_8_1 : int; Out16_8_2 : int); 

var

	Sum10_1_1 : int; Sum10_1_2 : int; Sum10_1_3 : int;

	Sum11_1_1 : int; Sum11_1_2 : int; Sum11_1_3 : int;

	Sum12_1_1 : int; Sum12_1_2 : int;

	Sum13_1_1 : int; Sum13_1_2 : int;

	Sum18_1_1 : int;

	Sum19_1_1 : int;

	Sum8_1_1 : int;

	Sum9_1_1 : int;

	i_virtual_local : real;

let 

	Sum10_1_1 = In13_1_1 + In13_1_4;

	Sum10_1_2 = In13_1_2 + In13_1_5;

	Sum10_1_3 = In13_1_3 + In13_1_6;

	Sum11_1_1 =  - In14_1_1 - In14_1_4;

	Sum11_1_2 =  - In14_1_2 - In14_1_5;

	Sum11_1_3 =  - In14_1_3 - In14_1_6;

	Sum12_1_1 = In15_1_1 + In15_1_2 + In15_1_3;

	Sum12_1_2 = In15_1_4 + In15_1_5 + In15_1_6;

	Sum13_1_1 =  - In16_1_1 - In16_1_2 - In16_1_3;

	Sum13_1_2 =  - In16_1_4 - In16_1_5 - In16_1_6;

	Sum18_1_1 = In11_1_1 + In11_1_2 + In11_1_3;

	Sum19_1_1 =  - In12_1_1 - In12_1_2 - In12_1_3;

	Sum8_1_1 = In9_1_1;

	Sum9_1_1 =  - In10_1_1;

	Out9_1_1 = Sum8_1_1;

	Out10_2_1 = Sum9_1_1;

	Out11_3_1 = Sum18_1_1;

	Out12_4_1 = Sum19_1_1;

	Out13_5_1 = Sum10_1_1;

	Out13_5_2 = Sum10_1_2;

	Out13_5_3 = Sum10_1_3;

	Out14_6_1 = Sum11_1_1;

	Out14_6_2 = Sum11_1_2;

	Out14_6_3 = Sum11_1_3;

	Out15_7_1 = Sum12_1_1;

	Out15_7_2 = Sum12_1_2;

	Out16_8_1 = Sum13_1_1;

	Out16_8_2 = Sum13_1_2;

	i_virtual_local= 0.0 -> 1.0;

tel