Last active
April 23, 2024 12:56
-
-
Save HahaLan97/3ed3683f64b12d6c0dd3e000bb772b3a to your computer and use it in GitHub Desktop.
w/ tau_minor but not as dataflow
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
!REAL = f32 | |
#SIZE = 840 : i32 | |
func.func private @compute_T_prime_impl(%T: !REAL) -> (index, !REAL) | |
dfg.operator @compute_T_prime | |
inputs(%T: !REAL) | |
outputs(%j_T: index, %f_T: !REAL) | |
{ | |
%j_T_data, %f_T_data = func.call @compute_T_prime_impl(%T) : (!REAL) -> (index, !REAL) | |
dfg.yield %j_T_data, %f_T_data : index, !REAL | |
} | |
func.func private @compute_p_prime_impl(%p: !REAL) -> (index, index, !REAL) | |
dfg.operator @compute_p_prime | |
inputs(%p: !REAL) | |
outputs(%j_strato: index, %j_p: index, %f_p: !REAL) | |
{ | |
%j_strato_data, %j_p_data, %f_p_data = func.call @compute_p_prime_impl(%p) : (!REAL) -> (index, index, !REAL) | |
dfg.yield %j_strato_data, %j_p_data, %f_p_data : index, index, !REAL | |
} | |
func.func private @compute_k_impl(%T: !REAL, %p: !REAL) -> !REAL | |
dfg.operator @compute_k | |
inputs(%T: !REAL, %p: !REAL) | |
outputs(%k: !REAL) | |
{ | |
%k_data = func.call @compute_k_impl(%T, %p) : (!REAL, !REAL) -> !REAL | |
dfg.yield %k_data : !REAL | |
} | |
func.func private @compute_eta_bnd_impl(%i_bnd: index, %j_T: index, %j_strato: index, %n_d: !REAL, %r_gas: vector<7x!REAL>) -> (vector<2x!REAL>, vector<2xindex>, vector<2x!REAL>) | |
// compute_eta_bnd, r_gas should be transposed | |
dfg.operator @compute_eta_bnd | |
inputs(%i_bnd: index, %j_T: index, %j_strato: index, %n_d: !REAL, %r_gas: vector<7x!REAL>) | |
outputs(%r_mix: vector<2x!REAL>, %j_eta: vector<2xindex>, %f_eta: vector<2x!REAL>) | |
{ | |
%r_mix_data, %j_eta_data, %f_eta_data = func.call @compute_eta_bnd_impl(%i_bnd, %j_T, %j_strato, %n_d, %r_gas) : (index, index, index, !REAL, vector<7x!REAL>) -> (vector<2x!REAL>, vector<2xindex>, vector<2x!REAL>) | |
dfg.yield %r_mix_data, %j_eta_data, %f_eta_data : vector<2x!REAL>, vector<2xindex>, vector<2x!REAL> | |
} | |
// tau_major_bnd | |
// k_major is C_K_MAJOR, no need to pull | |
func.func private @tau_major_bnd_impl(%i_bnd: index, %j_T: index, %f_T: !REAL, %j_strato: index, %j_p: index, %f_p: !REAL, %r_mix: vector<2x!REAL>, %j_eta: vector<2xindex>, %f_eta: vector<2x!REAL>) -> vector<16x!REAL> | |
dfg.operator @tau_major_bnd | |
inputs(%i_bnd: index, %j_T: index, %f_T: !REAL, %j_strato: index, %j_p: index, %f_p: !REAL, %r_mix: vector<2x!REAL>, %j_eta: vector<2xindex>, %f_eta: vector<2x!REAL>) | |
outputs(%tau_g: vector<16x!REAL>) | |
{ | |
%tau_g_data = func.call @tau_major_bnd_impl(%i_bnd, %j_T, %f_T, %j_strato, %j_p, %f_p, %r_mix, %j_eta, %f_eta) : (index, index, !REAL, index, index, !REAL, vector<2x!REAL>, vector<2xindex>, vector<2x!REAL>) -> vector<16x!REAL> | |
dfg.yield %tau_g_data : vector<16x!REAL> | |
} | |
// tau_rayleigh_bnd, r_gas should be transposed | |
func.func private @tau_rayleigh_bnd_impl(%i_bnd: index, %j_T: index, %f_T: !REAL, %j_strato: index, %n_d: !REAL, %r_gas: vector<7x!REAL>, %j_eta: vector<2xindex>, %f_eta: vector<2x!REAL>) -> vector<16x!REAL> | |
dfg.operator @tau_rayleigh_bnd | |
inputs(%i_bnd: index, %j_T: index, %f_T: !REAL, %j_strato: index, %n_d: !REAL, %r_gas: vector<7x!REAL>, %j_eta: vector<2xindex>, %f_eta: vector<2x!REAL>) | |
outputs(%tau_r: vector<16x!REAL>) | |
{ | |
%tau_r_data = func.call @tau_rayleigh_bnd_impl(%i_bnd, %j_T, %f_T, %j_strato, %n_d, %r_gas, %j_eta, %f_eta) : (index, index, !REAL, index, !REAL, vector<7x!REAL>, vector<2xindex>, vector<2x!REAL>) -> vector<16x!REAL> | |
dfg.yield %tau_r_data : vector<16x!REAL> | |
} | |
// compute_dry_fact | |
func.func private @compute_dry_fact_impl(%r_h2o: !REAL) -> (!REAL) | |
dfg.operator @compute_dry_fact | |
inputs(%r_h2o: !REAL) | |
outputs(%dry_fact: !REAL) | |
{ | |
%dry_fact_data = func.call @compute_dry_fact_impl(%r_h2o) : (!REAL) -> (!REAL) | |
dfg.yield %dry_fact_data : !REAL | |
} | |
// tau_minor | |
func.func private @tau_minor_bnd_impl(%i_bnd: index, %j_T: index, %f_T: !REAL, %j_strato: index, %k: !REAL, %n_d: !REAL, %r_gas: vector<7x!REAL>, %dry_fact: !REAL, %j_eta: vector<2xindex>, %f_eta: vector<2x!REAL>) -> vector<16x!REAL> | |
dfg.operator @tau_minor_bnd | |
inputs(%i_bnd: index, %j_T: index, %f_T: !REAL, %j_strato: index, %k: !REAL, %n_d: !REAL, %r_gas: vector<7x!REAL>, %dry_fact: !REAL, %j_eta: vector<2xindex>, %f_eta: vector<2x!REAL>) | |
outputs(%tau_g: vector<16x!REAL>) | |
{ | |
%tau_g_data = func.call @tau_minor_bnd_impl(%i_bnd, %j_T, %f_T, %j_strato, %k, %n_d, %r_gas, %dry_fact, %j_eta, %f_eta) : (index, index, !REAL, index, !REAL, !REAL, vector<7x!REAL>, !REAL, vector<2xindex>, vector<2x!REAL>) -> vector<16x!REAL> | |
dfg.yield %tau_g_data : vector<16x!REAL> | |
} | |
// helper process | |
dfg.process @duplicate_60 | |
inputs(%in: index) | |
outputs(%out: index) | |
{ | |
dfg.loop inputs(%in: index) | |
{ | |
%0 = dfg.pull %in : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
dfg.push(%0) %out : index | |
} | |
} | |
dfg.process @duplicate_14i | |
inputs(%in: index) | |
outputs(%out: index) | |
{ | |
dfg.loop inputs(%in: index) | |
{ | |
%in0 = dfg.pull %in : index | |
%in1 = dfg.pull %in : index | |
%in2 = dfg.pull %in : index | |
%in3 = dfg.pull %in : index | |
%in4 = dfg.pull %in : index | |
%in5 = dfg.pull %in : index | |
%in6 = dfg.pull %in : index | |
%in7 = dfg.pull %in : index | |
%in8 = dfg.pull %in : index | |
%in9 = dfg.pull %in : index | |
%in10 = dfg.pull %in : index | |
%in11 = dfg.pull %in : index | |
%in12 = dfg.pull %in : index | |
%in13 = dfg.pull %in : index | |
%in14 = dfg.pull %in : index | |
%in15 = dfg.pull %in : index | |
%in16 = dfg.pull %in : index | |
%in17 = dfg.pull %in : index | |
%in18 = dfg.pull %in : index | |
%in19 = dfg.pull %in : index | |
%in20 = dfg.pull %in : index | |
%in21 = dfg.pull %in : index | |
%in22 = dfg.pull %in : index | |
%in23 = dfg.pull %in : index | |
%in24 = dfg.pull %in : index | |
%in25 = dfg.pull %in : index | |
%in26 = dfg.pull %in : index | |
%in27 = dfg.pull %in : index | |
%in28 = dfg.pull %in : index | |
%in29 = dfg.pull %in : index | |
%in30 = dfg.pull %in : index | |
%in31 = dfg.pull %in : index | |
%in32 = dfg.pull %in : index | |
%in33 = dfg.pull %in : index | |
%in34 = dfg.pull %in : index | |
%in35 = dfg.pull %in : index | |
%in36 = dfg.pull %in : index | |
%in37 = dfg.pull %in : index | |
%in38 = dfg.pull %in : index | |
%in39 = dfg.pull %in : index | |
%in40 = dfg.pull %in : index | |
%in41 = dfg.pull %in : index | |
%in42 = dfg.pull %in : index | |
%in43 = dfg.pull %in : index | |
%in44 = dfg.pull %in : index | |
%in45 = dfg.pull %in : index | |
%in46 = dfg.pull %in : index | |
%in47 = dfg.pull %in : index | |
%in48 = dfg.pull %in : index | |
%in49 = dfg.pull %in : index | |
%in50 = dfg.pull %in : index | |
%in51 = dfg.pull %in : index | |
%in52 = dfg.pull %in : index | |
%in53 = dfg.pull %in : index | |
%in54 = dfg.pull %in : index | |
%in55 = dfg.pull %in : index | |
%in56 = dfg.pull %in : index | |
%in57 = dfg.pull %in : index | |
%in58 = dfg.pull %in : index | |
%in59 = dfg.pull %in : index | |
// push all pulled values 14 times | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
dfg.push(%in0) %out : index | |
dfg.push(%in1) %out : index | |
dfg.push(%in2) %out : index | |
dfg.push(%in3) %out : index | |
dfg.push(%in4) %out : index | |
dfg.push(%in5) %out : index | |
dfg.push(%in6) %out : index | |
dfg.push(%in7) %out : index | |
dfg.push(%in8) %out : index | |
dfg.push(%in9) %out : index | |
dfg.push(%in10) %out : index | |
dfg.push(%in11) %out : index | |
dfg.push(%in12) %out : index | |
dfg.push(%in13) %out : index | |
dfg.push(%in14) %out : index | |
dfg.push(%in15) %out : index | |
dfg.push(%in16) %out : index | |
dfg.push(%in17) %out : index | |
dfg.push(%in18) %out : index | |
dfg.push(%in19) %out : index | |
dfg.push(%in20) %out : index | |
dfg.push(%in21) %out : index | |
dfg.push(%in22) %out : index | |
dfg.push(%in23) %out : index | |
dfg.push(%in24) %out : index | |
dfg.push(%in25) %out : index | |
dfg.push(%in26) %out : index | |
dfg.push(%in27) %out : index | |
dfg.push(%in28) %out : index | |
dfg.push(%in29) %out : index | |
dfg.push(%in30) %out : index | |
dfg.push(%in31) %out : index | |
dfg.push(%in32) %out : index | |
dfg.push(%in33) %out : index | |
dfg.push(%in34) %out : index | |
dfg.push(%in35) %out : index | |
dfg.push(%in36) %out : index | |
dfg.push(%in37) %out : index | |
dfg.push(%in38) %out : index | |
dfg.push(%in39) %out : index | |
dfg.push(%in40) %out : index | |
dfg.push(%in41) %out : index | |
dfg.push(%in42) %out : index | |
dfg.push(%in43) %out : index | |
dfg.push(%in44) %out : index | |
dfg.push(%in45) %out : index | |
dfg.push(%in46) %out : index | |
dfg.push(%in47) %out : index | |
dfg.push(%in48) %out : index | |
dfg.push(%in49) %out : index | |
dfg.push(%in50) %out : index | |
dfg.push(%in51) %out : index | |
dfg.push(%in52) %out : index | |
dfg.push(%in53) %out : index | |
dfg.push(%in54) %out : index | |
dfg.push(%in55) %out : index | |
dfg.push(%in56) %out : index | |
dfg.push(%in57) %out : index | |
dfg.push(%in58) %out : index | |
dfg.push(%in59) %out : index | |
} | |
} | |
dfg.process @duplicate_14f | |
inputs(%in: !REAL) | |
outputs(%out: !REAL) | |
{ | |
dfg.loop inputs(%in: !REAL) | |
{ | |
%in0 = dfg.pull %in : !REAL | |
%in1 = dfg.pull %in : !REAL | |
%in2 = dfg.pull %in : !REAL | |
%in3 = dfg.pull %in : !REAL | |
%in4 = dfg.pull %in : !REAL | |
%in5 = dfg.pull %in : !REAL | |
%in6 = dfg.pull %in : !REAL | |
%in7 = dfg.pull %in : !REAL | |
%in8 = dfg.pull %in : !REAL | |
%in9 = dfg.pull %in : !REAL | |
%in10 = dfg.pull %in : !REAL | |
%in11 = dfg.pull %in : !REAL | |
%in12 = dfg.pull %in : !REAL | |
%in13 = dfg.pull %in : !REAL | |
%in14 = dfg.pull %in : !REAL | |
%in15 = dfg.pull %in : !REAL | |
%in16 = dfg.pull %in : !REAL | |
%in17 = dfg.pull %in : !REAL | |
%in18 = dfg.pull %in : !REAL | |
%in19 = dfg.pull %in : !REAL | |
%in20 = dfg.pull %in : !REAL | |
%in21 = dfg.pull %in : !REAL | |
%in22 = dfg.pull %in : !REAL | |
%in23 = dfg.pull %in : !REAL | |
%in24 = dfg.pull %in : !REAL | |
%in25 = dfg.pull %in : !REAL | |
%in26 = dfg.pull %in : !REAL | |
%in27 = dfg.pull %in : !REAL | |
%in28 = dfg.pull %in : !REAL | |
%in29 = dfg.pull %in : !REAL | |
%in30 = dfg.pull %in : !REAL | |
%in31 = dfg.pull %in : !REAL | |
%in32 = dfg.pull %in : !REAL | |
%in33 = dfg.pull %in : !REAL | |
%in34 = dfg.pull %in : !REAL | |
%in35 = dfg.pull %in : !REAL | |
%in36 = dfg.pull %in : !REAL | |
%in37 = dfg.pull %in : !REAL | |
%in38 = dfg.pull %in : !REAL | |
%in39 = dfg.pull %in : !REAL | |
%in40 = dfg.pull %in : !REAL | |
%in41 = dfg.pull %in : !REAL | |
%in42 = dfg.pull %in : !REAL | |
%in43 = dfg.pull %in : !REAL | |
%in44 = dfg.pull %in : !REAL | |
%in45 = dfg.pull %in : !REAL | |
%in46 = dfg.pull %in : !REAL | |
%in47 = dfg.pull %in : !REAL | |
%in48 = dfg.pull %in : !REAL | |
%in49 = dfg.pull %in : !REAL | |
%in50 = dfg.pull %in : !REAL | |
%in51 = dfg.pull %in : !REAL | |
%in52 = dfg.pull %in : !REAL | |
%in53 = dfg.pull %in : !REAL | |
%in54 = dfg.pull %in : !REAL | |
%in55 = dfg.pull %in : !REAL | |
%in56 = dfg.pull %in : !REAL | |
%in57 = dfg.pull %in : !REAL | |
%in58 = dfg.pull %in : !REAL | |
%in59 = dfg.pull %in : !REAL | |
// push all pulled values 14 times | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
dfg.push(%in0) %out : !REAL | |
dfg.push(%in1) %out : !REAL | |
dfg.push(%in2) %out : !REAL | |
dfg.push(%in3) %out : !REAL | |
dfg.push(%in4) %out : !REAL | |
dfg.push(%in5) %out : !REAL | |
dfg.push(%in6) %out : !REAL | |
dfg.push(%in7) %out : !REAL | |
dfg.push(%in8) %out : !REAL | |
dfg.push(%in9) %out : !REAL | |
dfg.push(%in10) %out : !REAL | |
dfg.push(%in11) %out : !REAL | |
dfg.push(%in12) %out : !REAL | |
dfg.push(%in13) %out : !REAL | |
dfg.push(%in14) %out : !REAL | |
dfg.push(%in15) %out : !REAL | |
dfg.push(%in16) %out : !REAL | |
dfg.push(%in17) %out : !REAL | |
dfg.push(%in18) %out : !REAL | |
dfg.push(%in19) %out : !REAL | |
dfg.push(%in20) %out : !REAL | |
dfg.push(%in21) %out : !REAL | |
dfg.push(%in22) %out : !REAL | |
dfg.push(%in23) %out : !REAL | |
dfg.push(%in24) %out : !REAL | |
dfg.push(%in25) %out : !REAL | |
dfg.push(%in26) %out : !REAL | |
dfg.push(%in27) %out : !REAL | |
dfg.push(%in28) %out : !REAL | |
dfg.push(%in29) %out : !REAL | |
dfg.push(%in30) %out : !REAL | |
dfg.push(%in31) %out : !REAL | |
dfg.push(%in32) %out : !REAL | |
dfg.push(%in33) %out : !REAL | |
dfg.push(%in34) %out : !REAL | |
dfg.push(%in35) %out : !REAL | |
dfg.push(%in36) %out : !REAL | |
dfg.push(%in37) %out : !REAL | |
dfg.push(%in38) %out : !REAL | |
dfg.push(%in39) %out : !REAL | |
dfg.push(%in40) %out : !REAL | |
dfg.push(%in41) %out : !REAL | |
dfg.push(%in42) %out : !REAL | |
dfg.push(%in43) %out : !REAL | |
dfg.push(%in44) %out : !REAL | |
dfg.push(%in45) %out : !REAL | |
dfg.push(%in46) %out : !REAL | |
dfg.push(%in47) %out : !REAL | |
dfg.push(%in48) %out : !REAL | |
dfg.push(%in49) %out : !REAL | |
dfg.push(%in50) %out : !REAL | |
dfg.push(%in51) %out : !REAL | |
dfg.push(%in52) %out : !REAL | |
dfg.push(%in53) %out : !REAL | |
dfg.push(%in54) %out : !REAL | |
dfg.push(%in55) %out : !REAL | |
dfg.push(%in56) %out : !REAL | |
dfg.push(%in57) %out : !REAL | |
dfg.push(%in58) %out : !REAL | |
dfg.push(%in59) %out : !REAL | |
} | |
} | |
dfg.process @duplicate_gas | |
inputs(%in: vector<7x!REAL>) | |
outputs(%out: vector<7x!REAL>) | |
{ | |
dfg.loop inputs(%in: vector<7x!REAL>) | |
{ | |
%in0 = dfg.pull %in : vector<7x!REAL> | |
%in1 = dfg.pull %in : vector<7x!REAL> | |
%in2 = dfg.pull %in : vector<7x!REAL> | |
%in3 = dfg.pull %in : vector<7x!REAL> | |
%in4 = dfg.pull %in : vector<7x!REAL> | |
%in5 = dfg.pull %in : vector<7x!REAL> | |
%in6 = dfg.pull %in : vector<7x!REAL> | |
%in7 = dfg.pull %in : vector<7x!REAL> | |
%in8 = dfg.pull %in : vector<7x!REAL> | |
%in9 = dfg.pull %in : vector<7x!REAL> | |
%in10 = dfg.pull %in : vector<7x!REAL> | |
%in11 = dfg.pull %in : vector<7x!REAL> | |
%in12 = dfg.pull %in : vector<7x!REAL> | |
%in13 = dfg.pull %in : vector<7x!REAL> | |
%in14 = dfg.pull %in : vector<7x!REAL> | |
%in15 = dfg.pull %in : vector<7x!REAL> | |
%in16 = dfg.pull %in : vector<7x!REAL> | |
%in17 = dfg.pull %in : vector<7x!REAL> | |
%in18 = dfg.pull %in : vector<7x!REAL> | |
%in19 = dfg.pull %in : vector<7x!REAL> | |
%in20 = dfg.pull %in : vector<7x!REAL> | |
%in21 = dfg.pull %in : vector<7x!REAL> | |
%in22 = dfg.pull %in : vector<7x!REAL> | |
%in23 = dfg.pull %in : vector<7x!REAL> | |
%in24 = dfg.pull %in : vector<7x!REAL> | |
%in25 = dfg.pull %in : vector<7x!REAL> | |
%in26 = dfg.pull %in : vector<7x!REAL> | |
%in27 = dfg.pull %in : vector<7x!REAL> | |
%in28 = dfg.pull %in : vector<7x!REAL> | |
%in29 = dfg.pull %in : vector<7x!REAL> | |
%in30 = dfg.pull %in : vector<7x!REAL> | |
%in31 = dfg.pull %in : vector<7x!REAL> | |
%in32 = dfg.pull %in : vector<7x!REAL> | |
%in33 = dfg.pull %in : vector<7x!REAL> | |
%in34 = dfg.pull %in : vector<7x!REAL> | |
%in35 = dfg.pull %in : vector<7x!REAL> | |
%in36 = dfg.pull %in : vector<7x!REAL> | |
%in37 = dfg.pull %in : vector<7x!REAL> | |
%in38 = dfg.pull %in : vector<7x!REAL> | |
%in39 = dfg.pull %in : vector<7x!REAL> | |
%in40 = dfg.pull %in : vector<7x!REAL> | |
%in41 = dfg.pull %in : vector<7x!REAL> | |
%in42 = dfg.pull %in : vector<7x!REAL> | |
%in43 = dfg.pull %in : vector<7x!REAL> | |
%in44 = dfg.pull %in : vector<7x!REAL> | |
%in45 = dfg.pull %in : vector<7x!REAL> | |
%in46 = dfg.pull %in : vector<7x!REAL> | |
%in47 = dfg.pull %in : vector<7x!REAL> | |
%in48 = dfg.pull %in : vector<7x!REAL> | |
%in49 = dfg.pull %in : vector<7x!REAL> | |
%in50 = dfg.pull %in : vector<7x!REAL> | |
%in51 = dfg.pull %in : vector<7x!REAL> | |
%in52 = dfg.pull %in : vector<7x!REAL> | |
%in53 = dfg.pull %in : vector<7x!REAL> | |
%in54 = dfg.pull %in : vector<7x!REAL> | |
%in55 = dfg.pull %in : vector<7x!REAL> | |
%in56 = dfg.pull %in : vector<7x!REAL> | |
%in57 = dfg.pull %in : vector<7x!REAL> | |
%in58 = dfg.pull %in : vector<7x!REAL> | |
%in59 = dfg.pull %in : vector<7x!REAL> | |
// push all pulled values 14 times | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
dfg.push(%in0) %out : vector<7x!REAL> | |
dfg.push(%in1) %out : vector<7x!REAL> | |
dfg.push(%in2) %out : vector<7x!REAL> | |
dfg.push(%in3) %out : vector<7x!REAL> | |
dfg.push(%in4) %out : vector<7x!REAL> | |
dfg.push(%in5) %out : vector<7x!REAL> | |
dfg.push(%in6) %out : vector<7x!REAL> | |
dfg.push(%in7) %out : vector<7x!REAL> | |
dfg.push(%in8) %out : vector<7x!REAL> | |
dfg.push(%in9) %out : vector<7x!REAL> | |
dfg.push(%in10) %out : vector<7x!REAL> | |
dfg.push(%in11) %out : vector<7x!REAL> | |
dfg.push(%in12) %out : vector<7x!REAL> | |
dfg.push(%in13) %out : vector<7x!REAL> | |
dfg.push(%in14) %out : vector<7x!REAL> | |
dfg.push(%in15) %out : vector<7x!REAL> | |
dfg.push(%in16) %out : vector<7x!REAL> | |
dfg.push(%in17) %out : vector<7x!REAL> | |
dfg.push(%in18) %out : vector<7x!REAL> | |
dfg.push(%in19) %out : vector<7x!REAL> | |
dfg.push(%in20) %out : vector<7x!REAL> | |
dfg.push(%in21) %out : vector<7x!REAL> | |
dfg.push(%in22) %out : vector<7x!REAL> | |
dfg.push(%in23) %out : vector<7x!REAL> | |
dfg.push(%in24) %out : vector<7x!REAL> | |
dfg.push(%in25) %out : vector<7x!REAL> | |
dfg.push(%in26) %out : vector<7x!REAL> | |
dfg.push(%in27) %out : vector<7x!REAL> | |
dfg.push(%in28) %out : vector<7x!REAL> | |
dfg.push(%in29) %out : vector<7x!REAL> | |
dfg.push(%in30) %out : vector<7x!REAL> | |
dfg.push(%in31) %out : vector<7x!REAL> | |
dfg.push(%in32) %out : vector<7x!REAL> | |
dfg.push(%in33) %out : vector<7x!REAL> | |
dfg.push(%in34) %out : vector<7x!REAL> | |
dfg.push(%in35) %out : vector<7x!REAL> | |
dfg.push(%in36) %out : vector<7x!REAL> | |
dfg.push(%in37) %out : vector<7x!REAL> | |
dfg.push(%in38) %out : vector<7x!REAL> | |
dfg.push(%in39) %out : vector<7x!REAL> | |
dfg.push(%in40) %out : vector<7x!REAL> | |
dfg.push(%in41) %out : vector<7x!REAL> | |
dfg.push(%in42) %out : vector<7x!REAL> | |
dfg.push(%in43) %out : vector<7x!REAL> | |
dfg.push(%in44) %out : vector<7x!REAL> | |
dfg.push(%in45) %out : vector<7x!REAL> | |
dfg.push(%in46) %out : vector<7x!REAL> | |
dfg.push(%in47) %out : vector<7x!REAL> | |
dfg.push(%in48) %out : vector<7x!REAL> | |
dfg.push(%in49) %out : vector<7x!REAL> | |
dfg.push(%in50) %out : vector<7x!REAL> | |
dfg.push(%in51) %out : vector<7x!REAL> | |
dfg.push(%in52) %out : vector<7x!REAL> | |
dfg.push(%in53) %out : vector<7x!REAL> | |
dfg.push(%in54) %out : vector<7x!REAL> | |
dfg.push(%in55) %out : vector<7x!REAL> | |
dfg.push(%in56) %out : vector<7x!REAL> | |
dfg.push(%in57) %out : vector<7x!REAL> | |
dfg.push(%in58) %out : vector<7x!REAL> | |
dfg.push(%in59) %out : vector<7x!REAL> | |
} | |
} | |
dfg.operator @bcast3_index | |
inputs(%in: index) | |
outputs(%out0: index, %out1: index, %out2: index) | |
{ | |
dfg.yield %in, %in, %in : index, index, index | |
} | |
dfg.operator @bcast3_f32 | |
inputs(%in: !REAL) | |
outputs(%out0: !REAL, %out1: !REAL, %out2: !REAL) | |
{ | |
dfg.yield %in, %in, %in : !REAL, !REAL, !REAL | |
} | |
dfg.operator @bcast4_index | |
inputs(%in: index) | |
outputs(%out0: index, %out1: index, %out2: index, %out3: index) | |
{ | |
dfg.yield %in, %in, %in, %in : index, index, index, index | |
} | |
dfg.operator @bcast4_f32 | |
inputs(%in: !REAL) | |
outputs(%out0: !REAL, %out1: !REAL, %out2: !REAL, %out3: !REAL) | |
{ | |
dfg.yield %in, %in, %in, %in : !REAL, !REAL, !REAL, !REAL | |
} | |
dfg.operator @bcast3_index_2 | |
inputs(%in: vector<2xindex>) | |
outputs(%out0: vector<2xindex>, %out1: vector<2xindex>, %out2: vector<2xindex>) | |
{ | |
dfg.yield %in, %in, %in : vector<2xindex>, vector<2xindex>, vector<2xindex> | |
} | |
dfg.operator @bcast3_f32_2 | |
inputs(%in: vector<2x!REAL>) | |
outputs(%out0: vector<2x!REAL>, %out1: vector<2x!REAL>, %out2: vector<2x!REAL>) | |
{ | |
dfg.yield %in, %in, %in : vector<2x!REAL>, vector<2x!REAL>, vector<2x!REAL> | |
} | |
func.func private @bcast3_gas_impl(%in: vector<7x!REAL>) -> (vector<7x!REAL>, vector<7x!REAL>, vector<7x!REAL>, !REAL) | |
dfg.operator @bcast3_gas | |
inputs(%in: vector<7x!REAL>) | |
outputs(%out0: vector<7x!REAL>, %out1: vector<7x!REAL>, %out2: vector<2x!REAL>, %out3: !REAL) | |
{ | |
%out0_data, %out1_data, %out2_data, %out3_data = func.call @bcast3_gas_impl(%in) : (vector<7x!REAL>) -> (vector<7x!REAL>, vector<7x!REAL>, vector<7x!REAL>, !REAL) | |
dfg.yield %out0_data, %out1_data, %out2_data, %out3_data : vector<7x!REAL>, vector<7x!REAL>, vector<7x!REAL>, !REAL | |
} | |
dfg.operator @tau_sum | |
inputs(%in0: vector<16x!REAL>, %in1: vector<16x!REAL>) | |
outputs(%out: vector<16x!REAL>) | |
{ | |
%0 = arith.addf %in0, %in1 : vector<16x!REAL> | |
dfg.yield %0 : vector<16x!REAL> | |
} | |
// top module | |
func.func @top(%i_bnd: index, %T: !REAL, %p: !REAL, %n_d: !REAL, %r_gas: vector<7x!REAL>) -> (vector<16x!REAL>, vector<16x!REAL>) | |
{ | |
%duplicate_60_i_bnd_in_in, %duplicate_60_i_bnd_in_out = dfg.channel(#SIZE) : index | |
%duplicate_60_i_bnd_out_in, %duplicate_60_i_bnd_out_out = dfg.channel(#SIZE) : index | |
%bcast4_index_i_bnd_in0, %bcast4_index_i_bnd_out0 = dfg.channel(#SIZE) : index | |
%bcast4_index_i_bnd_in1, %bcast4_index_i_bnd_out1 = dfg.channel(#SIZE) : index | |
%bcast4_index_i_bnd_in2, %bcast4_index_i_bnd_out2 = dfg.channel(#SIZE) : index | |
%bcast4_index_i_bnd_in3, %bcast4_index_i_bnd_out3 = dfg.channel(#SIZE) : index | |
%compute_T_prime_T_in, %compute_T_prime_T_out = dfg.channel(#SIZE) : !REAL | |
%compute_T_prime_j_T_in, %compute_T_prime_j_T_out = dfg.channel(#SIZE) : index | |
%compute_T_prime_f_T_in, %compute_T_prime_f_T_out = dfg.channel(#SIZE) : !REAL | |
%compute_p_prime_p_in, %compute_p_prime_p_out = dfg.channel(#SIZE) : !REAL | |
%compute_p_prime_j_strato_in, %compute_p_prime_j_strato_out = dfg.channel(#SIZE) : index | |
%compute_p_prime_j_p_in, %compute_p_prime_j_p_out = dfg.channel(#SIZE) : index | |
%compute_p_prime_f_p_in, %compute_p_prime_f_p_out = dfg.channel(#SIZE) : !REAL | |
%compute_k_T_in, %compute_k_T_out = dfg.channel(#SIZE) : !REAL | |
%compute_k_p_in, %compute_k_p_out = dfg.channel(#SIZE) : !REAL | |
%compute_k_k_in, %compute_k_k_out = dfg.channel(#SIZE) : !REAL | |
%duplicate_14i_j_T_in, %duplicate_14i_j_T_out = dfg.channel(#SIZE) : index | |
%bcast4_index_j_T_in0, %bcast4_index_j_T_out0 = dfg.channel(#SIZE) : index | |
%bcast4_index_j_T_in1, %bcast4_index_j_T_out1 = dfg.channel(#SIZE) : index | |
%bcast4_index_j_T_in2, %bcast4_index_j_T_out2 = dfg.channel(#SIZE) : index | |
%bcast4_index_j_T_in3, %bcast4_index_j_T_out3 = dfg.channel(#SIZE) : index | |
%duplicate_14f_f_T_in, %duplicate_14f_f_T_out = dfg.channel(#SIZE) : !REAL | |
%bcast3_f32_f_T_in0, %bcast3_f32_f_T_out0 = dfg.channel(#SIZE) : !REAL | |
%bcast3_f32_f_T_in1, %bcast3_f32_f_T_out1 = dfg.channel(#SIZE) : !REAL | |
%bcast3_f32_f_T_in2, %bcast3_f32_f_T_out2 = dfg.channel(#SIZE) : !REAL | |
%duplicate_14i_j_strato_in, %duplicate_14i_j_strato_out = dfg.channel(#SIZE) : index | |
%bcast4_index_j_strato_in0, %bcast4_index_j_strato_out0 = dfg.channel(#SIZE) : index | |
%bcast4_index_j_strato_in1, %bcast4_index_j_strato_out1 = dfg.channel(#SIZE) : index | |
%bcast4_index_j_strato_in2, %bcast4_index_j_strato_out2 = dfg.channel(#SIZE) : index | |
%bcast4_index_j_strato_in3, %bcast4_index_j_strato_out3 = dfg.channel(#SIZE) : index | |
%duplicate_14i_j_p_in, %duplicate_14i_j_p_out = dfg.channel(#SIZE) : index | |
%duplicate_14f_f_p_in, %duplicate_14f_f_p_out = dfg.channel(#SIZE) : !REAL | |
%duplicate_14f_k_in, %duplicate_14f_k_out = dfg.channel(#SIZE) : !REAL | |
%bcast3_f32_n_d_in_in, %bcast3_f32_n_d_in_out = dfg.channel(#SIZE) : !REAL | |
%duplicate_14f_n_d_in, %duplicate_14f_n_d_out = dfg.channel(#SIZE) : !REAL | |
%bcast3_f32_n_d_out0_in, %bcast3_f32_n_d_out0_out = dfg.channel(#SIZE) : !REAL | |
%bcast3_f32_n_d_out1_in, %bcast3_f32_n_d_out1_out = dfg.channel(#SIZE) : !REAL | |
%bcast3_f32_n_d_out2_in, %bcast3_f32_n_d_out2_out = dfg.channel(#SIZE) : !REAL | |
%bcast3_gas_in_in, %bcast3_gas_in_out = dfg.channel(#SIZE) : vector<7x!REAL> | |
%duplicate_14f_gas_in, %duplicate_14f_gas_out = dfg.channel(#SIZE) : vector<7x!REAL> | |
%bcast3_gas_out0_in, %bcast3_gas_out0_out = dfg.channel(#SIZE) : vector<7x!REAL> | |
%bcast3_gas_out1_in, %bcast3_gas_out1_out = dfg.channel(#SIZE) : vector<7x!REAL> | |
%bcast3_gas_out2_in, %bcast3_gas_out2_out = dfg.channel(#SIZE) : vector<7x!REAL> | |
%bcast3_gas_out3_in, %bcast3_gas_out3_out = dfg.channel(#SIZE) : !REAL | |
// eta, tau_major, tau_r | |
%compute_eta_bnd_r_mix_in, %compute_eta_bnd_r_mix_out = dfg.channel(#SIZE) : vector<2x!REAL> | |
%compute_eta_bnd_j_eta_in, %compute_eta_bnd_j_eta_out = dfg.channel(#SIZE) : vector<2xindex> | |
%compute_eta_bnd_f_eta_in, %compute_eta_bnd_f_eta_out = dfg.channel(#SIZE) : vector<2x!REAL> | |
%bcast3_index_2_j_eta_out0_in, %bcast3_index_2_j_eta_out0_out = dfg.channel(#SIZE) : vector<2xindex> | |
%bcast3_index_2_j_eta_out1_in, %bcast3_index_2_j_eta_out1_out = dfg.channel(#SIZE) : vector<2xindex> | |
%bcast3_index_2_j_eta_out2_in, %bcast3_index_2_j_eta_out2_out = dfg.channel(#SIZE) : vector<2xindex> | |
%bcast3_f32_2_f_eta_out0_in, %bcast3_f32_2_f_eta_out0_out = dfg.channel(#SIZE) : vector<2x!REAL> | |
%bcast3_f32_2_f_eta_out1_in, %bcast3_f32_2_f_eta_out1_out = dfg.channel(#SIZE) : vector<2x!REAL> | |
%bcast3_f32_2_f_eta_out2_in, %bcast3_f32_2_f_eta_out2_out = dfg.channel(#SIZE) : vector<2x!REAL> | |
%tau_major_bnd_tau_g_maj_in, %tau_major_bnd_tau_g_maj_out = dfg.channel(#SIZE) : vector<16x!REAL> | |
%tau_rayleigh_bnd_tau_r_in, %tau_rayleigh_bnd_tau_r_out = dfg.channel(#SIZE) : vector<16x!REAL> | |
// fry_fact, tau_min | |
%dry_fact_in, %dry_fact_out = dfg.channel(#SIZE) : !REAL | |
%tau_minor_bnd_tau_g_min_in, %tau_minor_bnd_tau_g_min_out = dfg.channel(#SIZE) : vector<16x!REAL> | |
%tau_sum_tau_g_in, %tau_sum_tau_g_out = dfg.channel(#SIZE) : vector<16x!REAL> | |
dfg.push(%i_bnd) %duplicate_60_i_bnd_in_in : index | |
dfg.push(%T) %compute_T_prime_T_in : !REAL | |
dfg.push(%p) %compute_p_prime_p_in : !REAL | |
dfg.push(%T) %compute_k_T_in : !REAL | |
dfg.push(%p) %compute_k_p_in : !REAL | |
dfg.push(%n_d) %bcast3_f32_n_d_in_in : !REAL | |
dfg.push(%r_gas) %bcast3_gas_in_in : vector<7x!REAL> | |
// duplicate the i_bnd 60 times so that the each kernel containing N_CELL loop can pull it in each iteration | |
// so the i_bnd size changes from 14 to 60x14 | |
dfg.instantiate @duplicate_60 inputs(%duplicate_60_i_bnd_in_out) outputs(%duplicate_60_i_bnd_out_in) : (index) -> (index) | |
// broadcast i_bnd to 4 different channels for later usages | |
dfg.instantiate @bcast4_index inputs(%duplicate_60_i_bnd_out_out) outputs(%bcast4_index_i_bnd_in0, %bcast4_index_i_bnd_in1, %bcast4_index_i_bnd_in2, %bcast4_index_i_bnd_in3) : (index) -> (index, index, index, index) | |
// compute T_prime using T, result has a size of 60 | |
dfg.instantiate @compute_T_prime inputs(%compute_T_prime_T_out) outputs(%compute_T_prime_j_T_in, %compute_T_prime_f_T_in) : (!REAL) -> (index, !REAL) | |
// duplicate T_prime 14 times so that the size becomes 60x14, same as i_bnd | |
dfg.instantiate @duplicate_14i inputs(%compute_T_prime_j_T_out) outputs(%duplicate_14i_j_T_in) : (index) -> (index) | |
dfg.instantiate @duplicate_14f inputs(%compute_T_prime_f_T_out) outputs(%duplicate_14f_f_T_in) : (!REAL) -> (!REAL) | |
// then the T_prime will be broadcast to different channels | |
dfg.instantiate @bcast4_index inputs(%duplicate_14i_j_T_out) outputs(%bcast4_index_j_T_in0, %bcast4_index_j_T_in1, %bcast4_index_j_T_in2, %bcast4_index_j_T_in3) : (index) -> (index, index, index, index) | |
dfg.instantiate @bcast3_f32 inputs(%duplicate_14f_f_T_out) outputs(%bcast3_f32_f_T_in0, %bcast3_f32_f_T_in1, %bcast3_f32_f_T_in2) : (!REAL) -> (!REAL, !REAL, !REAL) | |
// compute p_prime using p, result has a size of 60 | |
dfg.instantiate @compute_p_prime inputs(%compute_p_prime_p_out) outputs(%compute_p_prime_j_strato_in, %compute_p_prime_j_p_in, %compute_p_prime_f_p_in) : (!REAL) -> (index, index, !REAL) | |
// duplicate p_prime 14 times so that the size becomes 60x14, same as i_bnd | |
dfg.instantiate @duplicate_14i inputs(%compute_p_prime_j_strato_out) outputs(%duplicate_14i_j_strato_in) : (index) -> (index) | |
dfg.instantiate @duplicate_14i inputs(%compute_p_prime_j_p_out) outputs(%duplicate_14i_j_p_in) : (index) -> (index) | |
dfg.instantiate @duplicate_14f inputs(%compute_p_prime_f_p_out) outputs(%duplicate_14f_f_p_in) : (!REAL) -> (!REAL) | |
// then p_prime will be broadcast to different channels | |
dfg.instantiate @bcast4_index inputs(%duplicate_14i_j_strato_out) outputs(%bcast4_index_j_strato_in0, %bcast4_index_j_strato_in1, %bcast4_index_j_strato_in2, %bcast4_index_j_strato_in3) : (index) -> (index, index, index, index) | |
// compute k using T and p, result has a size of 60 | |
dfg.instantiate @compute_k inputs(%compute_k_T_out, %compute_k_p_out) outputs(%compute_k_k_in) : (!REAL, !REAL) -> (!REAL) | |
// duplicate k 14 times so that the size becomes 60x14, same as i_bnd | |
dfg.instantiate @duplicate_14f inputs(%compute_k_k_out) outputs(%duplicate_14f_k_in) : (!REAL) -> (!REAL) | |
// duplicate n_d and r_gas 14 times so that the size becomes 60x14 and broadcast | |
dfg.instantiate @duplicate_14f inputs(%bcast3_f32_n_d_in_out) outputs(%duplicate_14f_n_d_in) : (!REAL) -> (!REAL) | |
dfg.instantiate @bcast3_f32 inputs(%duplicate_14f_n_d_out) outputs(%bcast3_f32_n_d_out0_in, %bcast3_f32_n_d_out1_in, %bcast3_f32_n_d_out2_in) : (!REAL) -> (!REAL, !REAL, !REAL) | |
dfg.instantiate @duplicate_gas inputs(%bcast3_gas_in_out) outputs(%duplicate_14f_gas_in) : (vector<7x!REAL>) -> (vector<7x!REAL>) | |
dfg.instantiate @bcast3_gas inputs(%duplicate_14f_gas_out) outputs(%bcast3_gas_out0_in, %bcast3_gas_out1_in, %bcast3_gas_out2_in, %bcast3_gas_out3_in) : (vector<7x!REAL>) -> (vector<7x!REAL>, vector<7x!REAL>, vector<7x!REAL>, !REAL) | |
// compute_eta_bnd takes 60x14 inputs and produces 60x14 outputs | |
dfg.instantiate @compute_eta_bnd inputs(%bcast4_index_i_bnd_out0, %bcast4_index_j_T_out0, %bcast4_index_j_strato_out0, %bcast3_f32_n_d_out0_out, %bcast3_gas_out0_out) outputs(%compute_eta_bnd_r_mix_in, %compute_eta_bnd_j_eta_in, %compute_eta_bnd_f_eta_in) : (index, index, index, !REAL, vector<7x!REAL>) -> (vector<2x!REAL>, vector<2xindex>, vector<2x!REAL>) | |
dfg.instantiate @bcast3_index_2 inputs(%compute_eta_bnd_j_eta_out) outputs(%bcast3_index_2_j_eta_out0_in, %bcast3_index_2_j_eta_out1_in, %bcast3_index_2_j_eta_out2_in) : (vector<2xindex>) -> (vector<2xindex>, vector<2xindex>, vector<2xindex>) | |
dfg.instantiate @bcast3_f32_2 inputs(%compute_eta_bnd_f_eta_out) outputs(%bcast3_f32_2_f_eta_out0_in, %bcast3_f32_2_f_eta_out1_in, %bcast3_f32_2_f_eta_out2_in) : (vector<2x!REAL>) -> (vector<2x!REAL>, vector<2x!REAL>, vector<2x!REAL>) | |
// same as compute_eta_bnd | |
dfg.instantiate @tau_major_bnd inputs(%bcast4_index_i_bnd_out1, %bcast4_index_j_T_out1, %bcast3_f32_f_T_out0, %bcast4_index_j_strato_out1, %duplicate_14i_j_p_out, %duplicate_14f_f_p_out, %compute_eta_bnd_r_mix_out, %bcast3_index_2_j_eta_out0_out, %bcast3_f32_2_f_eta_out0_out) outputs(%tau_major_bnd_tau_g_maj_in) : (index, index, !REAL, index, index, !REAL, vector<2x!REAL>, vector<2xindex>, vector<2x!REAL>) -> vector<16x!REAL> | |
dfg.instantiate @tau_rayleigh_bnd inputs(%bcast4_index_i_bnd_out2, %bcast4_index_j_T_out2, %bcast3_f32_f_T_out1, %bcast4_index_j_strato_out2, %bcast3_f32_n_d_out1_out, %bcast3_gas_out1_out, %bcast3_index_2_j_eta_out1_out, %bcast3_f32_2_f_eta_out1_out) outputs(%tau_rayleigh_bnd_tau_r_in) : (index, index, !REAL, index, !REAL, vector<7x!REAL>, vector<2xindex>, vector<2x!REAL>) -> vector<16x!REAL> | |
// dry_fact | |
dfg.instantiate @compute_dry_fact inputs(%bcast3_gas_out3_out) outputs(%dry_fact_in) : (!REAL) -> (!REAL) | |
// tau_minor | |
dfg.instantiate @tau_minor_bnd inputs(%bcast4_index_i_bnd_out3, %bcast4_index_j_T_out3, %bcast3_f32_f_T_out2, %bcast4_index_j_strato_out3, %duplicate_14f_k_out, %bcast3_f32_n_d_out2_out, %bcast3_gas_out2_out, %dry_fact_out, %bcast3_index_2_j_eta_out2_out, %bcast3_f32_2_f_eta_out2_out) outputs(%tau_minor_bnd_tau_g_min_in) : (index, index, !REAL, index, !REAL, !REAL, vector<7x!REAL>, !REAL, vector<2xindex>, vector<2x!REAL>) -> vector<16x!REAL> | |
// tau_sum | |
dfg.instantiate @tau_sum inputs(%tau_minor_bnd_tau_g_min_out, %tau_major_bnd_tau_g_maj_out) outputs(%tau_sum_tau_g_in) : (vector<16x!REAL>, vector<16x!REAL>) -> (vector<16x!REAL>) | |
// output tau_g and tau_r | |
%tau_r_data = dfg.pull %tau_rayleigh_bnd_tau_r_out : vector<16x!REAL> | |
%tau_g_data = dfg.pull %tau_sum_tau_g_out : vector<16x!REAL> | |
return %tau_g_data, %tau_r_data : vector<16x!REAL>, vector<16x!REAL> | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment