## lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / DiscreteFilter_1_orig_vs_preprocessed_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (22.8 KB)

1 | 4748b215 | hbourbou | -- This file has been generated by CoCoSim2. |
---|---|---|---|

2 | |||

3 | -- Compiler: Lustre compiler 2 (ToLustre.m) |
||

4 | -- Time: 03-Dec-2018 22:30:53 |
||

5 | (* |
||

6 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter/DTFScalar/ForEach1 |
||

7 | *) |
||

8 | node ForEach1_17478_002(In1_1 : real; |
||

9 | __time_step : real; |
||

10 | __nb_step : int;) |
||

11 | returns(Out1_1 : real;); |
||

12 | var A_1 : real; |
||

13 | A_2 : real; |
||

14 | A_3 : real; |
||

15 | A_4 : real; |
||

16 | B_1 : real; |
||

17 | B_2 : real; |
||

18 | C_1 : real; |
||

19 | C_2 : real; |
||

20 | D_1 : real; |
||

21 | FinalSum_1 : real; |
||

22 | Product_1 : real; |
||

23 | Product1_1 : real; |
||

24 | Product2_1 : real; |
||

25 | Product2_2 : real; |
||

26 | Product3_1 : real; |
||

27 | Product3_2 : real; |
||

28 | Sum1_1 : real; |
||

29 | Sum1_2 : real; |
||

30 | X0_1 : real; |
||

31 | X0_2 : real; |
||

32 | let |
||

33 | A_1 = -1.250000000000000; |
||

34 | A_2 = 1.000000000000000; |
||

35 | A_3 = -1.500000000000000; |
||

36 | A_4 = 0.000000000000000; |
||

37 | B_1 = 1.000000000000000; |
||

38 | B_2 = 0.000000000000000; |
||

39 | C_1 = 0.250000000000000; |
||

40 | C_2 = 0.750000000000000; |
||

41 | D_1 = 0.000000000000000; |
||

42 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

43 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

44 | Product1_1 = 1.0 * D_1 * In1_1; |
||

45 | Product2_1 = 1.0 * B_1 * In1_1; |
||

46 | Product2_2 = 1.0 * B_2 * In1_1; |
||

47 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

48 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

49 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

50 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

51 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

52 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

53 | Out1_1 = FinalSum_1; |
||

54 | tel |
||

55 | |||

56 | (* |
||

57 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter/DTFScalar/ForEach2 |
||

58 | *) |
||

59 | node ForEach2_17517_002(In1_1 : real; |
||

60 | __time_step : real; |
||

61 | __nb_step : int;) |
||

62 | returns(Out1_1 : real;); |
||

63 | var A_1 : real; |
||

64 | A_2 : real; |
||

65 | A_3 : real; |
||

66 | A_4 : real; |
||

67 | B_1 : real; |
||

68 | B_2 : real; |
||

69 | C_1 : real; |
||

70 | C_2 : real; |
||

71 | D_1 : real; |
||

72 | FinalSum_1 : real; |
||

73 | Product_1 : real; |
||

74 | Product1_1 : real; |
||

75 | Product2_1 : real; |
||

76 | Product2_2 : real; |
||

77 | Product3_1 : real; |
||

78 | Product3_2 : real; |
||

79 | Sum1_1 : real; |
||

80 | Sum1_2 : real; |
||

81 | X0_1 : real; |
||

82 | X0_2 : real; |
||

83 | let |
||

84 | A_1 = -1.250000000000000; |
||

85 | A_2 = 1.000000000000000; |
||

86 | A_3 = -1.500000000000000; |
||

87 | A_4 = 0.000000000000000; |
||

88 | B_1 = 1.000000000000000; |
||

89 | B_2 = 0.000000000000000; |
||

90 | C_1 = 0.250000000000000; |
||

91 | C_2 = 0.750000000000000; |
||

92 | D_1 = 0.000000000000000; |
||

93 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

94 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

95 | Product1_1 = 1.0 * D_1 * In1_1; |
||

96 | Product2_1 = 1.0 * B_1 * In1_1; |
||

97 | Product2_2 = 1.0 * B_2 * In1_1; |
||

98 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

99 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

100 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

101 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

102 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

103 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

104 | Out1_1 = FinalSum_1; |
||

105 | tel |
||

106 | |||

107 | (* |
||

108 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter/DTFScalar/ForEach3 |
||

109 | *) |
||

110 | node ForEach3_18013_001(In1_1 : real; |
||

111 | __time_step : real; |
||

112 | __nb_step : int;) |
||

113 | returns(Out1_1 : real;); |
||

114 | var A_1 : real; |
||

115 | A_2 : real; |
||

116 | A_3 : real; |
||

117 | A_4 : real; |
||

118 | B_1 : real; |
||

119 | B_2 : real; |
||

120 | C_1 : real; |
||

121 | C_2 : real; |
||

122 | D_1 : real; |
||

123 | FinalSum_1 : real; |
||

124 | Product_1 : real; |
||

125 | Product1_1 : real; |
||

126 | Product2_1 : real; |
||

127 | Product2_2 : real; |
||

128 | Product3_1 : real; |
||

129 | Product3_2 : real; |
||

130 | Sum1_1 : real; |
||

131 | Sum1_2 : real; |
||

132 | X0_1 : real; |
||

133 | X0_2 : real; |
||

134 | let |
||

135 | A_1 = -1.250000000000000; |
||

136 | A_2 = 1.000000000000000; |
||

137 | A_3 = -1.500000000000000; |
||

138 | A_4 = 0.000000000000000; |
||

139 | B_1 = 1.000000000000000; |
||

140 | B_2 = 0.000000000000000; |
||

141 | C_1 = 0.250000000000000; |
||

142 | C_2 = 0.750000000000000; |
||

143 | D_1 = 0.000000000000000; |
||

144 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

145 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

146 | Product1_1 = 1.0 * D_1 * In1_1; |
||

147 | Product2_1 = 1.0 * B_1 * In1_1; |
||

148 | Product2_2 = 1.0 * B_2 * In1_1; |
||

149 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

150 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

151 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

152 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

153 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

154 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

155 | Out1_1 = FinalSum_1; |
||

156 | tel |
||

157 | |||

158 | (* |
||

159 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter/DTFScalar/ForEach4 |
||

160 | *) |
||

161 | node ForEach4_18045_001(In1_1 : real; |
||

162 | __time_step : real; |
||

163 | __nb_step : int;) |
||

164 | returns(Out1_1 : real;); |
||

165 | var A_1 : real; |
||

166 | A_2 : real; |
||

167 | A_3 : real; |
||

168 | A_4 : real; |
||

169 | B_1 : real; |
||

170 | B_2 : real; |
||

171 | C_1 : real; |
||

172 | C_2 : real; |
||

173 | D_1 : real; |
||

174 | FinalSum_1 : real; |
||

175 | Product_1 : real; |
||

176 | Product1_1 : real; |
||

177 | Product2_1 : real; |
||

178 | Product2_2 : real; |
||

179 | Product3_1 : real; |
||

180 | Product3_2 : real; |
||

181 | Sum1_1 : real; |
||

182 | Sum1_2 : real; |
||

183 | X0_1 : real; |
||

184 | X0_2 : real; |
||

185 | let |
||

186 | A_1 = -1.250000000000000; |
||

187 | A_2 = 1.000000000000000; |
||

188 | A_3 = -1.500000000000000; |
||

189 | A_4 = 0.000000000000000; |
||

190 | B_1 = 1.000000000000000; |
||

191 | B_2 = 0.000000000000000; |
||

192 | C_1 = 0.250000000000000; |
||

193 | C_2 = 0.750000000000000; |
||

194 | D_1 = 0.000000000000000; |
||

195 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

196 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

197 | Product1_1 = 1.0 * D_1 * In1_1; |
||

198 | Product2_1 = 1.0 * B_1 * In1_1; |
||

199 | Product2_2 = 1.0 * B_2 * In1_1; |
||

200 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

201 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

202 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

203 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

204 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

205 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

206 | Out1_1 = FinalSum_1; |
||

207 | tel |
||

208 | |||

209 | (* |
||

210 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter/DTFScalar/ForEach5 |
||

211 | *) |
||

212 | node ForEach5_18077_001(In1_1 : real; |
||

213 | __time_step : real; |
||

214 | __nb_step : int;) |
||

215 | returns(Out1_1 : real;); |
||

216 | var A_1 : real; |
||

217 | A_2 : real; |
||

218 | A_3 : real; |
||

219 | A_4 : real; |
||

220 | B_1 : real; |
||

221 | B_2 : real; |
||

222 | C_1 : real; |
||

223 | C_2 : real; |
||

224 | D_1 : real; |
||

225 | FinalSum_1 : real; |
||

226 | Product_1 : real; |
||

227 | Product1_1 : real; |
||

228 | Product2_1 : real; |
||

229 | Product2_2 : real; |
||

230 | Product3_1 : real; |
||

231 | Product3_2 : real; |
||

232 | Sum1_1 : real; |
||

233 | Sum1_2 : real; |
||

234 | X0_1 : real; |
||

235 | X0_2 : real; |
||

236 | let |
||

237 | A_1 = -1.250000000000000; |
||

238 | A_2 = 1.000000000000000; |
||

239 | A_3 = -1.500000000000000; |
||

240 | A_4 = 0.000000000000000; |
||

241 | B_1 = 1.000000000000000; |
||

242 | B_2 = 0.000000000000000; |
||

243 | C_1 = 0.250000000000000; |
||

244 | C_2 = 0.750000000000000; |
||

245 | D_1 = 0.000000000000000; |
||

246 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

247 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

248 | Product1_1 = 1.0 * D_1 * In1_1; |
||

249 | Product2_1 = 1.0 * B_1 * In1_1; |
||

250 | Product2_2 = 1.0 * B_2 * In1_1; |
||

251 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

252 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

253 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

254 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

255 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

256 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

257 | Out1_1 = FinalSum_1; |
||

258 | tel |
||

259 | |||

260 | (* |
||

261 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter/DTFScalar/ForEach6 |
||

262 | *) |
||

263 | node ForEach6_18109_001(In1_1 : real; |
||

264 | __time_step : real; |
||

265 | __nb_step : int;) |
||

266 | returns(Out1_1 : real;); |
||

267 | var A_1 : real; |
||

268 | A_2 : real; |
||

269 | A_3 : real; |
||

270 | A_4 : real; |
||

271 | B_1 : real; |
||

272 | B_2 : real; |
||

273 | C_1 : real; |
||

274 | C_2 : real; |
||

275 | D_1 : real; |
||

276 | FinalSum_1 : real; |
||

277 | Product_1 : real; |
||

278 | Product1_1 : real; |
||

279 | Product2_1 : real; |
||

280 | Product2_2 : real; |
||

281 | Product3_1 : real; |
||

282 | Product3_2 : real; |
||

283 | Sum1_1 : real; |
||

284 | Sum1_2 : real; |
||

285 | X0_1 : real; |
||

286 | X0_2 : real; |
||

287 | let |
||

288 | A_1 = -1.250000000000000; |
||

289 | A_2 = 1.000000000000000; |
||

290 | A_3 = -1.500000000000000; |
||

291 | A_4 = 0.000000000000000; |
||

292 | B_1 = 1.000000000000000; |
||

293 | B_2 = 0.000000000000000; |
||

294 | C_1 = 0.250000000000000; |
||

295 | C_2 = 0.750000000000000; |
||

296 | D_1 = 0.000000000000000; |
||

297 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

298 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

299 | Product1_1 = 1.0 * D_1 * In1_1; |
||

300 | Product2_1 = 1.0 * B_1 * In1_1; |
||

301 | Product2_2 = 1.0 * B_2 * In1_1; |
||

302 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

303 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

304 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

305 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

306 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

307 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

308 | Out1_1 = FinalSum_1; |
||

309 | tel |
||

310 | |||

311 | (* |
||

312 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter/DTFScalar |
||

313 | *) |
||

314 | node DTFScalar_15525_958(In1_1 : real; |
||

315 | In1_2 : real; |
||

316 | In1_3 : real; |
||

317 | In1_4 : real; |
||

318 | In1_5 : real; |
||

319 | In1_6 : real; |
||

320 | __time_step : real; |
||

321 | __nb_step : int;) |
||

322 | returns(Out1_1 : real; |
||

323 | Out1_2 : real; |
||

324 | Out1_3 : real; |
||

325 | Out1_4 : real; |
||

326 | Out1_5 : real; |
||

327 | Out1_6 : real;); |
||

328 | var Concatenate_1_1 : real; |
||

329 | Concatenate_1_2 : real; |
||

330 | Concatenate_1_3 : real; |
||

331 | Concatenate_1_4 : real; |
||

332 | Concatenate_1_5 : real; |
||

333 | Concatenate_1_6 : real; |
||

334 | ForEach1_1 : real; |
||

335 | ForEach2_1 : real; |
||

336 | ForEach3_1 : real; |
||

337 | ForEach4_1 : real; |
||

338 | ForEach5_1 : real; |
||

339 | ForEach6_1 : real; |
||

340 | Selector_1_In1_1 : real; |
||

341 | Selector_2_In1_1 : real; |
||

342 | Selector_3_In1_1 : real; |
||

343 | Selector_4_In1_1 : real; |
||

344 | Selector_5_In1_1 : real; |
||

345 | Selector_6_In1_1 : real; |
||

346 | let |
||

347 | Concatenate_1_1 = ForEach1_1; |
||

348 | Concatenate_1_2 = ForEach2_1; |
||

349 | Concatenate_1_3 = ForEach3_1; |
||

350 | Concatenate_1_4 = ForEach4_1; |
||

351 | Concatenate_1_5 = ForEach5_1; |
||

352 | Concatenate_1_6 = ForEach6_1; |
||

353 | ForEach1_1 = ForEach1_17478_002(Selector_1_In1_1, __time_step, __nb_step); |
||

354 | ForEach2_1 = ForEach2_17517_002(Selector_2_In1_1, __time_step, __nb_step); |
||

355 | ForEach3_1 = ForEach3_18013_001(Selector_3_In1_1, __time_step, __nb_step); |
||

356 | ForEach4_1 = ForEach4_18045_001(Selector_4_In1_1, __time_step, __nb_step); |
||

357 | ForEach5_1 = ForEach5_18077_001(Selector_5_In1_1, __time_step, __nb_step); |
||

358 | ForEach6_1 = ForEach6_18109_001(Selector_6_In1_1, __time_step, __nb_step); |
||

359 | Selector_1_In1_1 = In1_1; |
||

360 | Selector_2_In1_1 = In1_2; |
||

361 | Selector_3_In1_1 = In1_3; |
||

362 | Selector_4_In1_1 = In1_4; |
||

363 | Selector_5_In1_1 = In1_5; |
||

364 | Selector_6_In1_1 = In1_6; |
||

365 | Out1_1 = Concatenate_1_1; |
||

366 | Out1_2 = Concatenate_1_2; |
||

367 | Out1_3 = Concatenate_1_3; |
||

368 | Out1_4 = Concatenate_1_4; |
||

369 | Out1_5 = Concatenate_1_5; |
||

370 | Out1_6 = Concatenate_1_6; |
||

371 | tel |
||

372 | |||

373 | (* |
||

374 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter |
||

375 | *) |
||

376 | node DiscreteFilter_255_045(U_1 : real; |
||

377 | U_2 : real; |
||

378 | U_3 : real; |
||

379 | U_4 : real; |
||

380 | U_5 : real; |
||

381 | U_6 : real; |
||

382 | __time_step : real; |
||

383 | __nb_step : int;) |
||

384 | returns(Y_1 : real; |
||

385 | Y_2 : real; |
||

386 | Y_3 : real; |
||

387 | Y_4 : real; |
||

388 | Y_5 : real; |
||

389 | Y_6 : real;); |
||

390 | var DTFScalar_1 : real; |
||

391 | DTFScalar_2 : real; |
||

392 | DTFScalar_3 : real; |
||

393 | DTFScalar_4 : real; |
||

394 | DTFScalar_5 : real; |
||

395 | DTFScalar_6 : real; |
||

396 | Reshape_1 : real; |
||

397 | Reshape_2 : real; |
||

398 | Reshape_3 : real; |
||

399 | Reshape_4 : real; |
||

400 | Reshape_5 : real; |
||

401 | Reshape_6 : real; |
||

402 | ReverseReshape_1 : real; |
||

403 | ReverseReshape_2 : real; |
||

404 | ReverseReshape_3 : real; |
||

405 | ReverseReshape_4 : real; |
||

406 | ReverseReshape_5 : real; |
||

407 | ReverseReshape_6 : real; |
||

408 | let |
||

409 | (DTFScalar_1, DTFScalar_2, DTFScalar_3, DTFScalar_4, DTFScalar_5, DTFScalar_6) = DTFScalar_15525_958(Reshape_1, Reshape_2, Reshape_3, Reshape_4, Reshape_5, Reshape_6, __time_step, __nb_step); |
||

410 | Reshape_1 = U_1; |
||

411 | Reshape_2 = U_2; |
||

412 | Reshape_3 = U_3; |
||

413 | Reshape_4 = U_4; |
||

414 | Reshape_5 = U_5; |
||

415 | Reshape_6 = U_6; |
||

416 | ReverseReshape_1 = DTFScalar_1; |
||

417 | ReverseReshape_2 = DTFScalar_2; |
||

418 | ReverseReshape_3 = DTFScalar_3; |
||

419 | ReverseReshape_4 = DTFScalar_4; |
||

420 | ReverseReshape_5 = DTFScalar_5; |
||

421 | ReverseReshape_6 = DTFScalar_6; |
||

422 | Y_1 = ReverseReshape_1; |
||

423 | Y_2 = ReverseReshape_2; |
||

424 | Y_3 = ReverseReshape_3; |
||

425 | Y_4 = ReverseReshape_4; |
||

426 | Y_5 = ReverseReshape_5; |
||

427 | Y_6 = ReverseReshape_6; |
||

428 | tel |
||

429 | |||

430 | (* |
||

431 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter1/DTFScalar/ForEach1 |
||

432 | *) |
||

433 | node ForEach1_261_040(In1_1 : real; |
||

434 | __time_step : real; |
||

435 | __nb_step : int;) |
||

436 | returns(Out1_1 : real;); |
||

437 | var A_1 : real; |
||

438 | A_2 : real; |
||

439 | A_3 : real; |
||

440 | A_4 : real; |
||

441 | B_1 : real; |
||

442 | B_2 : real; |
||

443 | C_1 : real; |
||

444 | C_2 : real; |
||

445 | D_1 : real; |
||

446 | FinalSum_1 : real; |
||

447 | Product_1 : real; |
||

448 | Product1_1 : real; |
||

449 | Product2_1 : real; |
||

450 | Product2_2 : real; |
||

451 | Product3_1 : real; |
||

452 | Product3_2 : real; |
||

453 | Sum1_1 : real; |
||

454 | Sum1_2 : real; |
||

455 | X0_1 : real; |
||

456 | X0_2 : real; |
||

457 | let |
||

458 | A_1 = -1.250000000000000; |
||

459 | A_2 = 1.000000000000000; |
||

460 | A_3 = -1.500000000000000; |
||

461 | A_4 = 0.000000000000000; |
||

462 | B_1 = 1.000000000000000; |
||

463 | B_2 = 0.000000000000000; |
||

464 | C_1 = 0.437500000000000; |
||

465 | C_2 = -0.375000000000000; |
||

466 | D_1 = 0.250000000000000; |
||

467 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

468 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

469 | Product1_1 = 1.0 * D_1 * In1_1; |
||

470 | Product2_1 = 1.0 * B_1 * In1_1; |
||

471 | Product2_2 = 1.0 * B_2 * In1_1; |
||

472 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

473 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

474 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

475 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

476 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

477 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

478 | Out1_1 = FinalSum_1; |
||

479 | tel |
||

480 | |||

481 | (* |
||

482 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter1/DTFScalar/ForEach2 |
||

483 | *) |
||

484 | node ForEach2_291_046(In1_1 : real; |
||

485 | __time_step : real; |
||

486 | __nb_step : int;) |
||

487 | returns(Out1_1 : real;); |
||

488 | var A_1 : real; |
||

489 | A_2 : real; |
||

490 | A_3 : real; |
||

491 | A_4 : real; |
||

492 | B_1 : real; |
||

493 | B_2 : real; |
||

494 | C_1 : real; |
||

495 | C_2 : real; |
||

496 | D_1 : real; |
||

497 | FinalSum_1 : real; |
||

498 | Product_1 : real; |
||

499 | Product1_1 : real; |
||

500 | Product2_1 : real; |
||

501 | Product2_2 : real; |
||

502 | Product3_1 : real; |
||

503 | Product3_2 : real; |
||

504 | Sum1_1 : real; |
||

505 | Sum1_2 : real; |
||

506 | X0_1 : real; |
||

507 | X0_2 : real; |
||

508 | let |
||

509 | A_1 = -1.250000000000000; |
||

510 | A_2 = 1.000000000000000; |
||

511 | A_3 = -1.500000000000000; |
||

512 | A_4 = 0.000000000000000; |
||

513 | B_1 = 1.000000000000000; |
||

514 | B_2 = 0.000000000000000; |
||

515 | C_1 = 0.437500000000000; |
||

516 | C_2 = -0.375000000000000; |
||

517 | D_1 = 0.250000000000000; |
||

518 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

519 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

520 | Product1_1 = 1.0 * D_1 * In1_1; |
||

521 | Product2_1 = 1.0 * B_1 * In1_1; |
||

522 | Product2_2 = 1.0 * B_2 * In1_1; |
||

523 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

524 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

525 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

526 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

527 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

528 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

529 | Out1_1 = FinalSum_1; |
||

530 | tel |
||

531 | |||

532 | (* |
||

533 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter1/DTFScalar/ForEach3 |
||

534 | *) |
||

535 | node ForEach3_321_045(In1_1 : real; |
||

536 | __time_step : real; |
||

537 | __nb_step : int;) |
||

538 | returns(Out1_1 : real;); |
||

539 | var A_1 : real; |
||

540 | A_2 : real; |
||

541 | A_3 : real; |
||

542 | A_4 : real; |
||

543 | B_1 : real; |
||

544 | B_2 : real; |
||

545 | C_1 : real; |
||

546 | C_2 : real; |
||

547 | D_1 : real; |
||

548 | FinalSum_1 : real; |
||

549 | Product_1 : real; |
||

550 | Product1_1 : real; |
||

551 | Product2_1 : real; |
||

552 | Product2_2 : real; |
||

553 | Product3_1 : real; |
||

554 | Product3_2 : real; |
||

555 | Sum1_1 : real; |
||

556 | Sum1_2 : real; |
||

557 | X0_1 : real; |
||

558 | X0_2 : real; |
||

559 | let |
||

560 | A_1 = -1.250000000000000; |
||

561 | A_2 = 1.000000000000000; |
||

562 | A_3 = -1.500000000000000; |
||

563 | A_4 = 0.000000000000000; |
||

564 | B_1 = 1.000000000000000; |
||

565 | B_2 = 0.000000000000000; |
||

566 | C_1 = 0.437500000000000; |
||

567 | C_2 = -0.375000000000000; |
||

568 | D_1 = 0.250000000000000; |
||

569 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

570 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

571 | Product1_1 = 1.0 * D_1 * In1_1; |
||

572 | Product2_1 = 1.0 * B_1 * In1_1; |
||

573 | Product2_2 = 1.0 * B_2 * In1_1; |
||

574 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

575 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

576 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

577 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

578 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

579 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

580 | Out1_1 = FinalSum_1; |
||

581 | tel |
||

582 | |||

583 | (* |
||

584 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter1/DTFScalar/ForEach4 |
||

585 | *) |
||

586 | node ForEach4_351_050(In1_1 : real; |
||

587 | __time_step : real; |
||

588 | __nb_step : int;) |
||

589 | returns(Out1_1 : real;); |
||

590 | var A_1 : real; |
||

591 | A_2 : real; |
||

592 | A_3 : real; |
||

593 | A_4 : real; |
||

594 | B_1 : real; |
||

595 | B_2 : real; |
||

596 | C_1 : real; |
||

597 | C_2 : real; |
||

598 | D_1 : real; |
||

599 | FinalSum_1 : real; |
||

600 | Product_1 : real; |
||

601 | Product1_1 : real; |
||

602 | Product2_1 : real; |
||

603 | Product2_2 : real; |
||

604 | Product3_1 : real; |
||

605 | Product3_2 : real; |
||

606 | Sum1_1 : real; |
||

607 | Sum1_2 : real; |
||

608 | X0_1 : real; |
||

609 | X0_2 : real; |
||

610 | let |
||

611 | A_1 = -1.250000000000000; |
||

612 | A_2 = 1.000000000000000; |
||

613 | A_3 = -1.500000000000000; |
||

614 | A_4 = 0.000000000000000; |
||

615 | B_1 = 1.000000000000000; |
||

616 | B_2 = 0.000000000000000; |
||

617 | C_1 = 0.437500000000000; |
||

618 | C_2 = -0.375000000000000; |
||

619 | D_1 = 0.250000000000000; |
||

620 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

621 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

622 | Product1_1 = 1.0 * D_1 * In1_1; |
||

623 | Product2_1 = 1.0 * B_1 * In1_1; |
||

624 | Product2_2 = 1.0 * B_2 * In1_1; |
||

625 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

626 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

627 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

628 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

629 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

630 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

631 | Out1_1 = FinalSum_1; |
||

632 | tel |
||

633 | |||

634 | (* |
||

635 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter1/DTFScalar/ForEach5 |
||

636 | *) |
||

637 | node ForEach5_381_042(In1_1 : real; |
||

638 | __time_step : real; |
||

639 | __nb_step : int;) |
||

640 | returns(Out1_1 : real;); |
||

641 | var A_1 : real; |
||

642 | A_2 : real; |
||

643 | A_3 : real; |
||

644 | A_4 : real; |
||

645 | B_1 : real; |
||

646 | B_2 : real; |
||

647 | C_1 : real; |
||

648 | C_2 : real; |
||

649 | D_1 : real; |
||

650 | FinalSum_1 : real; |
||

651 | Product_1 : real; |
||

652 | Product1_1 : real; |
||

653 | Product2_1 : real; |
||

654 | Product2_2 : real; |
||

655 | Product3_1 : real; |
||

656 | Product3_2 : real; |
||

657 | Sum1_1 : real; |
||

658 | Sum1_2 : real; |
||

659 | X0_1 : real; |
||

660 | X0_2 : real; |
||

661 | let |
||

662 | A_1 = -1.250000000000000; |
||

663 | A_2 = 1.000000000000000; |
||

664 | A_3 = -1.500000000000000; |
||

665 | A_4 = 0.000000000000000; |
||

666 | B_1 = 1.000000000000000; |
||

667 | B_2 = 0.000000000000000; |
||

668 | C_1 = 0.437500000000000; |
||

669 | C_2 = -0.375000000000000; |
||

670 | D_1 = 0.250000000000000; |
||

671 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

672 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

673 | Product1_1 = 1.0 * D_1 * In1_1; |
||

674 | Product2_1 = 1.0 * B_1 * In1_1; |
||

675 | Product2_2 = 1.0 * B_2 * In1_1; |
||

676 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

677 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

678 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

679 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

680 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

681 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

682 | Out1_1 = FinalSum_1; |
||

683 | tel |
||

684 | |||

685 | (* |
||

686 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter1/DTFScalar/ForEach6 |
||

687 | *) |
||

688 | node ForEach6_411_045(In1_1 : real; |
||

689 | __time_step : real; |
||

690 | __nb_step : int;) |
||

691 | returns(Out1_1 : real;); |
||

692 | var A_1 : real; |
||

693 | A_2 : real; |
||

694 | A_3 : real; |
||

695 | A_4 : real; |
||

696 | B_1 : real; |
||

697 | B_2 : real; |
||

698 | C_1 : real; |
||

699 | C_2 : real; |
||

700 | D_1 : real; |
||

701 | FinalSum_1 : real; |
||

702 | Product_1 : real; |
||

703 | Product1_1 : real; |
||

704 | Product2_1 : real; |
||

705 | Product2_2 : real; |
||

706 | Product3_1 : real; |
||

707 | Product3_2 : real; |
||

708 | Sum1_1 : real; |
||

709 | Sum1_2 : real; |
||

710 | X0_1 : real; |
||

711 | X0_2 : real; |
||

712 | let |
||

713 | A_1 = -1.250000000000000; |
||

714 | A_2 = 1.000000000000000; |
||

715 | A_3 = -1.500000000000000; |
||

716 | A_4 = 0.000000000000000; |
||

717 | B_1 = 1.000000000000000; |
||

718 | B_2 = 0.000000000000000; |
||

719 | C_1 = 0.437500000000000; |
||

720 | C_2 = -0.375000000000000; |
||

721 | D_1 = 0.250000000000000; |
||

722 | FinalSum_1 = 0.0 + Product1_1 + Product_1; |
||

723 | Product_1 = 0.0 + (C_1 * X0_1) + (C_2 * X0_2); |
||

724 | Product1_1 = 1.0 * D_1 * In1_1; |
||

725 | Product2_1 = 1.0 * B_1 * In1_1; |
||

726 | Product2_2 = 1.0 * B_2 * In1_1; |
||

727 | Product3_1 = 0.0 + (A_1 * X0_1) + (A_3 * X0_2); |
||

728 | Product3_2 = 0.0 + (A_2 * X0_1) + (A_4 * X0_2); |
||

729 | Sum1_1 = 0.0 + Product3_1 + Product2_1; |
||

730 | Sum1_2 = 0.0 + Product3_2 + Product2_2; |
||

731 | X0_1 = (0.000000000000000 -> (pre Sum1_1)); |
||

732 | X0_2 = (0.000000000000000 -> (pre Sum1_2)); |
||

733 | Out1_1 = FinalSum_1; |
||

734 | tel |
||

735 | |||

736 | (* |
||

737 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter1/DTFScalar |
||

738 | *) |
||

739 | node DTFScalar_258_042(In1_1 : real; |
||

740 | In1_2 : real; |
||

741 | In1_3 : real; |
||

742 | In1_4 : real; |
||

743 | In1_5 : real; |
||

744 | In1_6 : real; |
||

745 | __time_step : real; |
||

746 | __nb_step : int;) |
||

747 | returns(Out1_1 : real; |
||

748 | Out1_2 : real; |
||

749 | Out1_3 : real; |
||

750 | Out1_4 : real; |
||

751 | Out1_5 : real; |
||

752 | Out1_6 : real;); |
||

753 | var Concatenate_1_1 : real; |
||

754 | Concatenate_1_2 : real; |
||

755 | Concatenate_1_3 : real; |
||

756 | Concatenate_1_4 : real; |
||

757 | Concatenate_1_5 : real; |
||

758 | Concatenate_1_6 : real; |
||

759 | ForEach1_1 : real; |
||

760 | ForEach2_1 : real; |
||

761 | ForEach3_1 : real; |
||

762 | ForEach4_1 : real; |
||

763 | ForEach5_1 : real; |
||

764 | ForEach6_1 : real; |
||

765 | Selector_1_In1_1 : real; |
||

766 | Selector_2_In1_1 : real; |
||

767 | Selector_3_In1_1 : real; |
||

768 | Selector_4_In1_1 : real; |
||

769 | Selector_5_In1_1 : real; |
||

770 | Selector_6_In1_1 : real; |
||

771 | let |
||

772 | Concatenate_1_1 = ForEach1_1; |
||

773 | Concatenate_1_2 = ForEach2_1; |
||

774 | Concatenate_1_3 = ForEach3_1; |
||

775 | Concatenate_1_4 = ForEach4_1; |
||

776 | Concatenate_1_5 = ForEach5_1; |
||

777 | Concatenate_1_6 = ForEach6_1; |
||

778 | ForEach1_1 = ForEach1_261_040(Selector_1_In1_1, __time_step, __nb_step); |
||

779 | ForEach2_1 = ForEach2_291_046(Selector_2_In1_1, __time_step, __nb_step); |
||

780 | ForEach3_1 = ForEach3_321_045(Selector_3_In1_1, __time_step, __nb_step); |
||

781 | ForEach4_1 = ForEach4_351_050(Selector_4_In1_1, __time_step, __nb_step); |
||

782 | ForEach5_1 = ForEach5_381_042(Selector_5_In1_1, __time_step, __nb_step); |
||

783 | ForEach6_1 = ForEach6_411_045(Selector_6_In1_1, __time_step, __nb_step); |
||

784 | Selector_1_In1_1 = In1_1; |
||

785 | Selector_2_In1_1 = In1_2; |
||

786 | Selector_3_In1_1 = In1_3; |
||

787 | Selector_4_In1_1 = In1_4; |
||

788 | Selector_5_In1_1 = In1_5; |
||

789 | Selector_6_In1_1 = In1_6; |
||

790 | Out1_1 = Concatenate_1_1; |
||

791 | Out1_2 = Concatenate_1_2; |
||

792 | Out1_3 = Concatenate_1_3; |
||

793 | Out1_4 = Concatenate_1_4; |
||

794 | Out1_5 = Concatenate_1_5; |
||

795 | Out1_6 = Concatenate_1_6; |
||

796 | tel |
||

797 | |||

798 | (* |
||

799 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP/DiscreteFilter1 |
||

800 | *) |
||

801 | node DiscreteFilter1_256_044(U_1 : real; |
||

802 | U_2 : real; |
||

803 | U_3 : real; |
||

804 | U_4 : real; |
||

805 | U_5 : real; |
||

806 | U_6 : real; |
||

807 | __time_step : real; |
||

808 | __nb_step : int;) |
||

809 | returns(Y_1 : real; |
||

810 | Y_2 : real; |
||

811 | Y_3 : real; |
||

812 | Y_4 : real; |
||

813 | Y_5 : real; |
||

814 | Y_6 : real;); |
||

815 | var DTFScalar_1 : real; |
||

816 | DTFScalar_2 : real; |
||

817 | DTFScalar_3 : real; |
||

818 | DTFScalar_4 : real; |
||

819 | DTFScalar_5 : real; |
||

820 | DTFScalar_6 : real; |
||

821 | Reshape_1 : real; |
||

822 | Reshape_2 : real; |
||

823 | Reshape_3 : real; |
||

824 | Reshape_4 : real; |
||

825 | Reshape_5 : real; |
||

826 | Reshape_6 : real; |
||

827 | ReverseReshape_1 : real; |
||

828 | ReverseReshape_2 : real; |
||

829 | ReverseReshape_3 : real; |
||

830 | ReverseReshape_4 : real; |
||

831 | ReverseReshape_5 : real; |
||

832 | ReverseReshape_6 : real; |
||

833 | let |
||

834 | (DTFScalar_1, DTFScalar_2, DTFScalar_3, DTFScalar_4, DTFScalar_5, DTFScalar_6) = DTFScalar_258_042(Reshape_1, Reshape_2, Reshape_3, Reshape_4, Reshape_5, Reshape_6, __time_step, __nb_step); |
||

835 | Reshape_1 = U_1; |
||

836 | Reshape_2 = U_2; |
||

837 | Reshape_3 = U_3; |
||

838 | Reshape_4 = U_4; |
||

839 | Reshape_5 = U_5; |
||

840 | Reshape_6 = U_6; |
||

841 | ReverseReshape_1 = DTFScalar_1; |
||

842 | ReverseReshape_2 = DTFScalar_2; |
||

843 | ReverseReshape_3 = DTFScalar_3; |
||

844 | ReverseReshape_4 = DTFScalar_4; |
||

845 | ReverseReshape_5 = DTFScalar_5; |
||

846 | ReverseReshape_6 = DTFScalar_6; |
||

847 | Y_1 = ReverseReshape_1; |
||

848 | Y_2 = ReverseReshape_2; |
||

849 | Y_3 = ReverseReshape_3; |
||

850 | Y_4 = ReverseReshape_4; |
||

851 | Y_5 = ReverseReshape_5; |
||

852 | Y_6 = ReverseReshape_6; |
||

853 | tel |
||

854 | |||

855 | (* |
||

856 | Original block name: DiscreteFilter_1_orig_vs_preprocessed_PP |
||

857 | *) |
||

858 | node DiscreteFilter_1_orig_vs_preprocessed_PP(_virtual : bool;) |
||

859 | returns(Out1_1 : real; |
||

860 | Out1_2 : real; |
||

861 | Out1_3 : real; |
||

862 | Out1_4 : real; |
||

863 | Out1_5 : real; |
||

864 | Out1_6 : real; |
||

865 | Out2_1 : real; |
||

866 | Out2_2 : real; |
||

867 | Out2_3 : real; |
||

868 | Out2_4 : real; |
||

869 | Out2_5 : real; |
||

870 | Out2_6 : real;); |
||

871 | var Constant_1 : real; |
||

872 | Constant_2 : real; |
||

873 | Constant_3 : real; |
||

874 | Constant_4 : real; |
||

875 | Constant_5 : real; |
||

876 | Constant_6 : real; |
||

877 | DiscreteFilter_1 : real; |
||

878 | DiscreteFilter_2 : real; |
||

879 | DiscreteFilter_3 : real; |
||

880 | DiscreteFilter_4 : real; |
||

881 | DiscreteFilter_5 : real; |
||

882 | DiscreteFilter_6 : real; |
||

883 | DiscreteFilter1_1 : real; |
||

884 | DiscreteFilter1_2 : real; |
||

885 | DiscreteFilter1_3 : real; |
||

886 | DiscreteFilter1_4 : real; |
||

887 | DiscreteFilter1_5 : real; |
||

888 | DiscreteFilter1_6 : real; |
||

889 | __time_step : real; |
||

890 | __nb_step : int; |
||

891 | let |
||

892 | Constant_1 = 2.000000000000000; |
||

893 | Constant_2 = 1.000000000000000; |
||

894 | Constant_3 = 3.000000000000000; |
||

895 | Constant_4 = 0.500000000000000; |
||

896 | Constant_5 = 1.000000000000000; |
||

897 | Constant_6 = 0.500000000000000; |
||

898 | (DiscreteFilter_1, DiscreteFilter_2, DiscreteFilter_3, DiscreteFilter_4, DiscreteFilter_5, DiscreteFilter_6) = DiscreteFilter_255_045(Constant_1, Constant_2, Constant_3, Constant_4, Constant_5, Constant_6, __time_step, __nb_step); |
||

899 | (DiscreteFilter1_1, DiscreteFilter1_2, DiscreteFilter1_3, DiscreteFilter1_4, DiscreteFilter1_5, DiscreteFilter1_6) = DiscreteFilter1_256_044(Constant_1, Constant_2, Constant_3, Constant_4, Constant_5, Constant_6, __time_step, __nb_step); |
||

900 | Out1_1 = DiscreteFilter_1; |
||

901 | Out1_2 = DiscreteFilter_2; |
||

902 | Out1_3 = DiscreteFilter_3; |
||

903 | Out1_4 = DiscreteFilter_4; |
||

904 | Out1_5 = DiscreteFilter_5; |
||

905 | Out1_6 = DiscreteFilter_6; |
||

906 | Out2_1 = DiscreteFilter1_1; |
||

907 | Out2_2 = DiscreteFilter1_2; |
||

908 | Out2_3 = DiscreteFilter1_3; |
||

909 | Out2_4 = DiscreteFilter1_4; |
||

910 | Out2_5 = DiscreteFilter1_5; |
||

911 | Out2_6 = DiscreteFilter1_6; |
||

912 | __time_step = (0.0 -> ((pre __time_step) + 0.200000000000000)); |
||

913 | __nb_step = (0 -> ((pre __nb_step) + 1)); |
||

914 | tel |