aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/tacle-bench-lift/liftlibio.c
blob: f61df2d01f91c4db7e93fa803c109e99606fadf6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
#include "liftlibio.h"

/* Global variables */
int lift_ctrl_io_in[10] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
int lift_ctrl_io_out[4] = {0, 0, 0, 0};
int lift_ctrl_io_analog[4] = {0, 0, 0, 0};
int lift_ctrl_io_led[16] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
int lift_ctrl_dly1;
int lift_ctrl_dly2;

/* Simulated hardware */
volatile int lift_simio_in;
volatile int lift_simio_out;
volatile int lift_simio_led;
volatile int lift_simio_adc1;
volatile int lift_simio_adc2;
volatile int lift_simio_adc3;

void lift_io_init()
{
  lift_ctrl_dly1 = 0;
  lift_ctrl_dly2 = 0;
}


void lift_ctrl_set_vals()
{
  int val = 0, i;
  _Pragma( "loopbound min 4 max 4" )
  for ( i = 4 - 1; i >= 0; --i ) {
    val <<= 1;
    val |= lift_ctrl_io_out[i] ? 1 : 0;
  }
  lift_simio_out = val;
  _Pragma( "loopbound min 16 max 16" )
  for ( i = 14 - 1; i >= 0; --i ) {
    val <<= 1;
    val |= lift_ctrl_io_led[i] ? 1 : 0;
  }
  lift_simio_led = val;
  lift_checksum += val;
}


void lift_ctrl_get_vals()
{
  int i;
  unsigned short int in0 = lift_simio_in;
  unsigned short int in1 = lift_ctrl_dly1;
  unsigned short int in2 = lift_ctrl_dly2;
  lift_ctrl_dly2 = lift_ctrl_dly1;
  lift_ctrl_dly1 = in0;
  /* majority voting for input values
     delays input value change by one period */
  _Pragma( "loopbound min 10 max 10" )
  for ( i = 0; i < 10; ++i ) {
    lift_ctrl_io_in[i] = ( ( in0 & 1 ) + ( in1 & 1 ) + ( in2 & 1 ) ) > 1;
    in0 >>= 1;
    in1 >>= 1;
    in2 >>= 1;
  }
  lift_ctrl_io_analog[0] = lift_simio_adc1;
  lift_ctrl_io_analog[1] = lift_simio_adc2;
  lift_ctrl_io_analog[2] = lift_simio_adc3;
}