tests/inputs/wdp.c

   1 int N;
   2 #pragma parameter N 8 16
   3
   4 int _Source_x(void);
   5 void _Source_yt(int *y, int *t);
   6 int _Source_z(void);
   7 int F1(int);
   8 int F2(int);
   9 int F3(int);
  10 void F4(int, int, int *, int *);
  11
  12 int t1(int z);
  13 int t2(int x);
  14
  15 void wdp(void)
  16 {
  17         int x[N], y[N + 1], t[N + 1], z[N + 2];
  18
  19         for (int i = 0; i < N; ++i)
  20                 x[i] = _Source_x();
  21
  22         for (int i = 0; i < N + 1; ++i)
  23                 _Source_yt(&y[i], &t[i]);
  24
  25         for (int i = 0; i < N + 2; ++i)
  26                 z[i] = _Source_z();
  27
  28         for (int i = 0; i < N; ++i) {
  29                 if (t1(z[i]))
  30                         x[i] = F1(x[i]);
  31                 if (t2(x[i])) {
  32                         y[i + 1] = F2(y[i]);
  33                         t[i] = F3(t[i]);
  34                 }
  35                 F4(y[i + 1], z[i], &y[i + 1], &z[i + 2]);
  36         }
  37 }
  38
  39 int t1(int z)
  40 {
  41         return z == 0;
  42 }
  43
  44 int t2(int x)
  45 {
  46         return x * x > 100;
  47 }