1*d4f6e58fSAlex Bennée #include <stdio.h>
2*d4f6e58fSAlex Bennée #include <stdlib.h>
3*d4f6e58fSAlex Bennée #include <stdint.h>
4*d4f6e58fSAlex Bennée #include "sys.h"
5*d4f6e58fSAlex Bennée #include "crisutils.h"
6*d4f6e58fSAlex Bennée
7*d4f6e58fSAlex Bennée /* need to avoid acr as source here. */
cris_addc_m(int a,const int * b)8*d4f6e58fSAlex Bennée static always_inline int cris_addc_m(int a, const int *b)
9*d4f6e58fSAlex Bennée {
10*d4f6e58fSAlex Bennée asm volatile ("addc [%1], %0\n" : "+r" (a) : "r" (b));
11*d4f6e58fSAlex Bennée return a;
12*d4f6e58fSAlex Bennée }
13*d4f6e58fSAlex Bennée
14*d4f6e58fSAlex Bennée /* 'b' is a crisv32 constrain to avoid postinc with $acr. */
cris_addc_pi_m(int a,int ** b)15*d4f6e58fSAlex Bennée static always_inline int cris_addc_pi_m(int a, int **b)
16*d4f6e58fSAlex Bennée {
17*d4f6e58fSAlex Bennée asm volatile ("addc [%1+], %0\n" : "+r" (a), "+b" (*b));
18*d4f6e58fSAlex Bennée return a;
19*d4f6e58fSAlex Bennée }
20*d4f6e58fSAlex Bennée
21*d4f6e58fSAlex Bennée #define verify_addc_m(a, b, res, n, z, v, c) \
22*d4f6e58fSAlex Bennée { \
23*d4f6e58fSAlex Bennée int r; \
24*d4f6e58fSAlex Bennée r = cris_addc_m((a), (b)); \
25*d4f6e58fSAlex Bennée cris_tst_cc((n), (z), (v), (c)); \
26*d4f6e58fSAlex Bennée if (r != (res)) \
27*d4f6e58fSAlex Bennée err(); \
28*d4f6e58fSAlex Bennée }
29*d4f6e58fSAlex Bennée
30*d4f6e58fSAlex Bennée #define verify_addc_pi_m(a, b, res, n, z, v, c) \
31*d4f6e58fSAlex Bennée { \
32*d4f6e58fSAlex Bennée int r; \
33*d4f6e58fSAlex Bennée r = cris_addc_pi_m((a), (b)); \
34*d4f6e58fSAlex Bennée cris_tst_cc((n), (z), (v), (c)); \
35*d4f6e58fSAlex Bennée if (r != (res)) \
36*d4f6e58fSAlex Bennée err(); \
37*d4f6e58fSAlex Bennée }
38*d4f6e58fSAlex Bennée
39*d4f6e58fSAlex Bennée int x[] = { 0, 0, 2, -1, 0xffff, -1, 0x5432f789};
40*d4f6e58fSAlex Bennée
main(void)41*d4f6e58fSAlex Bennée int main(void)
42*d4f6e58fSAlex Bennée {
43*d4f6e58fSAlex Bennée int *p = (void *)&x[0];
44*d4f6e58fSAlex Bennée #if 1
45*d4f6e58fSAlex Bennée cris_tst_cc_init();
46*d4f6e58fSAlex Bennée asm volatile ("clearf cz");
47*d4f6e58fSAlex Bennée verify_addc_m(0, p, 0, 0, 0, 0, 0);
48*d4f6e58fSAlex Bennée
49*d4f6e58fSAlex Bennée cris_tst_cc_init();
50*d4f6e58fSAlex Bennée asm volatile ("setf z");
51*d4f6e58fSAlex Bennée verify_addc_m(0, p, 0, 0, 1, 0, 0);
52*d4f6e58fSAlex Bennée
53*d4f6e58fSAlex Bennée cris_tst_cc_init();
54*d4f6e58fSAlex Bennée asm volatile ("setf c");
55*d4f6e58fSAlex Bennée verify_addc_m(0, p, 1, 0, 0, 0, 0);
56*d4f6e58fSAlex Bennée
57*d4f6e58fSAlex Bennée cris_tst_cc_init();
58*d4f6e58fSAlex Bennée asm volatile ("clearf c");
59*d4f6e58fSAlex Bennée verify_addc_pi_m(0, &p, 0, 0, 1, 0, 0);
60*d4f6e58fSAlex Bennée
61*d4f6e58fSAlex Bennée p = &x[1];
62*d4f6e58fSAlex Bennée cris_tst_cc_init();
63*d4f6e58fSAlex Bennée asm volatile ("setf c");
64*d4f6e58fSAlex Bennée verify_addc_pi_m(0, &p, 1, 0, 0, 0, 0);
65*d4f6e58fSAlex Bennée
66*d4f6e58fSAlex Bennée if (p != &x[2])
67*d4f6e58fSAlex Bennée err();
68*d4f6e58fSAlex Bennée
69*d4f6e58fSAlex Bennée cris_tst_cc_init();
70*d4f6e58fSAlex Bennée asm volatile ("clearf c");
71*d4f6e58fSAlex Bennée verify_addc_pi_m(-1, &p, 1, 0, 0, 0, 1);
72*d4f6e58fSAlex Bennée
73*d4f6e58fSAlex Bennée if (p != &x[3])
74*d4f6e58fSAlex Bennée err();
75*d4f6e58fSAlex Bennée #endif
76*d4f6e58fSAlex Bennée p = &x[3];
77*d4f6e58fSAlex Bennée /* TODO: investigate why this one fails. */
78*d4f6e58fSAlex Bennée cris_tst_cc_init();
79*d4f6e58fSAlex Bennée asm volatile ("setf c");
80*d4f6e58fSAlex Bennée verify_addc_m(2, p, 2, 0, 0, 0, 1);
81*d4f6e58fSAlex Bennée p += 4;
82*d4f6e58fSAlex Bennée
83*d4f6e58fSAlex Bennée pass();
84*d4f6e58fSAlex Bennée return 0;
85*d4f6e58fSAlex Bennée }
86