Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (1.39 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:21:00
5
node  _NOT_Bitwise_Signed(x : int;)
6
returns(y : int;);
7
let
8
	y = ((- x) - 1);
9
tel
10
11
node  _NOT_Bitwise_Unsigned_8(x : int;)
12
returns(y : int;);
13
let
14
	y = (255 - x);
15
tel
16
17
(*
18
Original block name: BitwiseNOT_PP
19
*)
20
node  BitwiseNOT_PP(In1_1 : int;
21
	In4_1 : int;
22
	In4_2 : int;
23
	In4_3 : int;
24
	In5_1 : int;
25
	In5_2 : int;
26
	In5_3 : int;
27
	In6_1 : int;)
28
returns(Out1_1 : int;
29
	Out2_1 : int;
30
	Out2_2 : int;
31
	Out2_3 : int;
32
	Out3_1 : int;
33
	Out3_2 : int;
34
	Out3_3 : int;
35
	Out4_1 : int;);
36
var Bitwise_1 : int;
37
	Bitwise1_1 : int;
38
	Bitwise1_2 : int;
39
	Bitwise1_3 : int;
40
	Bitwise2_1 : int;
41
	Bitwise2_2 : int;
42
	Bitwise2_3 : int;
43
	Bitwise3_1 : int;
44
	__time_step : real;
45
	__nb_step : int;
46
let
47
	Bitwise_1 = _NOT_Bitwise_Unsigned_8(In1_1);
48
	Bitwise1_1 = _NOT_Bitwise_Unsigned_8(In4_1);
49
	Bitwise1_2 = _NOT_Bitwise_Unsigned_8(In4_2);
50
	Bitwise1_3 = _NOT_Bitwise_Unsigned_8(In4_3);
51
	Bitwise2_1 = _NOT_Bitwise_Signed(In5_1);
52
	Bitwise2_2 = _NOT_Bitwise_Signed(In5_2);
53
	Bitwise2_3 = _NOT_Bitwise_Signed(In5_3);
54
	Bitwise3_1 = _NOT_Bitwise_Signed(In6_1);
55
	Out1_1 = Bitwise_1;
56
	Out2_1 = Bitwise1_1;
57
	Out2_2 = Bitwise1_2;
58
	Out2_3 = Bitwise1_3;
59
	Out3_1 = Bitwise2_1;
60
	Out3_2 = Bitwise2_2;
61
	Out3_3 = Bitwise2_3;
62
	Out4_1 = Bitwise3_1;
63
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
64
	__nb_step = (0 -> ((pre __nb_step) + 1));
65
tel