CristalCaveGem » LustreC

#open "dummy_lib"

const MatrixAddition_Constant_Value = [ [ 2, 3, 4 ], [ 5, 6, 7 ] ] ;

const MatrixAddition_Constant1_Value = [ [ 8, 9, 10 ], [ 11, 12, 13 ] ] ;

const MatrixAddition_Constant2_Value = [ [ 2, 3, 4 ] ] ;

const MatrixAddition_Constant4_Value = [ [ 5 ], [ 6 ], [ 7 ] ] ;

const MatrixAddition_Constant5_Value = [ [ 11 ], [ 12 ], [ 13 ] ] ;

node MatrixAddition (

	In1_Out1_11 : int)

returns (

	Out1_In1_93 : int^2^3 ;

	Out3_In1_105 : int^3^1 ;

	Out2_In1_117 : int^1^3) ;

var

	Sum_Out1_61 : int^2^3 ;

	Sum1_Out1_71 : int^1^3 ;

	Sum2_Out1_81 : int^3^1 ;

	Sum_In1_59 : int^2^3 ;

	Sum_In2_60 : int^2^3 ;

	Sum1_In1_69 : int^1^3 ;

	Sum1_In2_70 : int^1^3 ;

	Sum2_In1_79 : int^3^1 ;

	Sum2_In2_80 : int^3^1 ;

let

	Sum_Out1_61 = Sum_In1_59 + Sum_In2_60 ;

	Sum1_Out1_71 = Sum1_In1_69 + Sum1_In2_70 ;

	Sum2_Out1_81 = Sum2_In1_79 + Sum2_In2_80 ;

	Sum1_In1_69 = MatrixAddition_Constant2_Value ;

	Sum2_In1_79 = MatrixAddition_Constant4_Value ;

	Sum2_In2_80 = MatrixAddition_Constant5_Value ;

	Out1_In1_93 = Sum_Out1_61 ;

	Sum_In1_59 = MatrixAddition_Constant_Value ;

	Sum_In2_60 = MatrixAddition_Constant1_Value ;

	Out2_In1_117 = Sum1_Out1_71 ;

	Out3_In1_105 = Sum2_Out1_81 ;

	Sum1_In2_70 = In1_Out1_11 ;

	--! MAIN : true ;

tel