1*37b0dba4SPaolo Bonzini #include <assert.h>
2*37b0dba4SPaolo Bonzini #include <unistd.h>
3*37b0dba4SPaolo Bonzini #include <signal.h>
4*37b0dba4SPaolo Bonzini #include <stdint.h>
5*37b0dba4SPaolo Bonzini
6*37b0dba4SPaolo Bonzini #define CRF_LT (1 << 3)
7*37b0dba4SPaolo Bonzini #define CRF_GT (1 << 2)
8*37b0dba4SPaolo Bonzini #define CRF_EQ (1 << 1)
9*37b0dba4SPaolo Bonzini #define CRF_SO (1 << 0)
10*37b0dba4SPaolo Bonzini #define UNDEF 0
11*37b0dba4SPaolo Bonzini
12*37b0dba4SPaolo Bonzini #ifdef __has_builtin
13*37b0dba4SPaolo Bonzini #if !__has_builtin(__builtin_bcdsub)
14*37b0dba4SPaolo Bonzini #define NO_BUILTIN_BCDSUB
15*37b0dba4SPaolo Bonzini #endif
16*37b0dba4SPaolo Bonzini #endif
17*37b0dba4SPaolo Bonzini
18*37b0dba4SPaolo Bonzini #ifdef NO_BUILTIN_BCDSUB
19*37b0dba4SPaolo Bonzini #define BCDSUB(T, A, B, PS) \
20*37b0dba4SPaolo Bonzini ".long 4 << 26 | (" #T ") << 21 | (" #A ") << 16 | (" #B ") << 11" \
21*37b0dba4SPaolo Bonzini " | 1 << 10 | (" #PS ") << 9 | 65\n\t"
22*37b0dba4SPaolo Bonzini #else
23*37b0dba4SPaolo Bonzini #define BCDSUB(T, A, B, PS) "bcdsub. " #T ", " #A ", " #B ", " #PS "\n\t"
24*37b0dba4SPaolo Bonzini #endif
25*37b0dba4SPaolo Bonzini
26*37b0dba4SPaolo Bonzini #define TEST(AH, AL, BH, BL, PS, TH, TL, CR6) \
27*37b0dba4SPaolo Bonzini do { \
28*37b0dba4SPaolo Bonzini int cr = 0; \
29*37b0dba4SPaolo Bonzini uint64_t th, tl; \
30*37b0dba4SPaolo Bonzini /* \
31*37b0dba4SPaolo Bonzini * Use GPR pairs to load the VSR values and place the resulting VSR and\
32*37b0dba4SPaolo Bonzini * CR6 in th, tl, and cr. Note that we avoid newer instructions (e.g., \
33*37b0dba4SPaolo Bonzini * mtvsrdd/mfvsrld) so we can run this test on POWER8 machines. \
34*37b0dba4SPaolo Bonzini */ \
35*37b0dba4SPaolo Bonzini asm ("mtvsrd 32, %3\n\t" \
36*37b0dba4SPaolo Bonzini "mtvsrd 33, %4\n\t" \
37*37b0dba4SPaolo Bonzini "xxmrghd 32, 32, 33\n\t" \
38*37b0dba4SPaolo Bonzini "mtvsrd 33, %5\n\t" \
39*37b0dba4SPaolo Bonzini "mtvsrd 34, %6\n\t" \
40*37b0dba4SPaolo Bonzini "xxmrghd 33, 33, 34\n\t" \
41*37b0dba4SPaolo Bonzini BCDSUB(0, 0, 1, PS) \
42*37b0dba4SPaolo Bonzini "mfocrf %0, 0b10\n\t" \
43*37b0dba4SPaolo Bonzini "mfvsrd %1, 32\n\t" \
44*37b0dba4SPaolo Bonzini "xxswapd 32, 32\n\t" \
45*37b0dba4SPaolo Bonzini "mfvsrd %2, 32\n\t" \
46*37b0dba4SPaolo Bonzini : "=r" (cr), "=r" (th), "=r" (tl) \
47*37b0dba4SPaolo Bonzini : "r" (AH), "r" (AL), "r" (BH), "r" (BL) \
48*37b0dba4SPaolo Bonzini : "v0", "v1", "v2"); \
49*37b0dba4SPaolo Bonzini if (TH != UNDEF || TL != UNDEF) { \
50*37b0dba4SPaolo Bonzini assert(tl == TL); \
51*37b0dba4SPaolo Bonzini assert(th == TH); \
52*37b0dba4SPaolo Bonzini } \
53*37b0dba4SPaolo Bonzini assert((cr >> 4) == CR6); \
54*37b0dba4SPaolo Bonzini } while (0)
55*37b0dba4SPaolo Bonzini
56*37b0dba4SPaolo Bonzini /*
57*37b0dba4SPaolo Bonzini * Unbounded result is equal to zero:
58*37b0dba4SPaolo Bonzini * sign = (PS) ? 0b1111 : 0b1100
59*37b0dba4SPaolo Bonzini * CR6 = 0b0010
60*37b0dba4SPaolo Bonzini */
test_bcdsub_eq(void)61*37b0dba4SPaolo Bonzini void test_bcdsub_eq(void)
62*37b0dba4SPaolo Bonzini {
63*37b0dba4SPaolo Bonzini /* maximum positive BCD value */
64*37b0dba4SPaolo Bonzini TEST(0x9999999999999999, 0x999999999999999c,
65*37b0dba4SPaolo Bonzini 0x9999999999999999, 0x999999999999999c,
66*37b0dba4SPaolo Bonzini 0, 0x0, 0xc, CRF_EQ);
67*37b0dba4SPaolo Bonzini TEST(0x9999999999999999, 0x999999999999999c,
68*37b0dba4SPaolo Bonzini 0x9999999999999999, 0x999999999999999c,
69*37b0dba4SPaolo Bonzini 1, 0x0, 0xf, CRF_EQ);
70*37b0dba4SPaolo Bonzini }
71*37b0dba4SPaolo Bonzini
72*37b0dba4SPaolo Bonzini /*
73*37b0dba4SPaolo Bonzini * Unbounded result is greater than zero:
74*37b0dba4SPaolo Bonzini * sign = (PS) ? 0b1111 : 0b1100
75*37b0dba4SPaolo Bonzini * CR6 = (overflow) ? 0b0101 : 0b0100
76*37b0dba4SPaolo Bonzini */
test_bcdsub_gt(void)77*37b0dba4SPaolo Bonzini void test_bcdsub_gt(void)
78*37b0dba4SPaolo Bonzini {
79*37b0dba4SPaolo Bonzini /* maximum positive and negative one BCD values */
80*37b0dba4SPaolo Bonzini TEST(0x9999999999999999, 0x999999999999999c, 0x0, 0x1d, 0,
81*37b0dba4SPaolo Bonzini 0x0, 0xc, (CRF_GT | CRF_SO));
82*37b0dba4SPaolo Bonzini TEST(0x9999999999999999, 0x999999999999999c, 0x0, 0x1d, 1,
83*37b0dba4SPaolo Bonzini 0x0, 0xf, (CRF_GT | CRF_SO));
84*37b0dba4SPaolo Bonzini
85*37b0dba4SPaolo Bonzini TEST(0x9999999999999999, 0x999999999999998c, 0x0, 0x1d, 0,
86*37b0dba4SPaolo Bonzini 0x9999999999999999, 0x999999999999999c, CRF_GT);
87*37b0dba4SPaolo Bonzini TEST(0x9999999999999999, 0x999999999999998c, 0x0, 0x1d, 1,
88*37b0dba4SPaolo Bonzini 0x9999999999999999, 0x999999999999999f, CRF_GT);
89*37b0dba4SPaolo Bonzini }
90*37b0dba4SPaolo Bonzini
91*37b0dba4SPaolo Bonzini /*
92*37b0dba4SPaolo Bonzini * Unbounded result is less than zero:
93*37b0dba4SPaolo Bonzini * sign = 0b1101
94*37b0dba4SPaolo Bonzini * CR6 = (overflow) ? 0b1001 : 0b1000
95*37b0dba4SPaolo Bonzini */
test_bcdsub_lt(void)96*37b0dba4SPaolo Bonzini void test_bcdsub_lt(void)
97*37b0dba4SPaolo Bonzini {
98*37b0dba4SPaolo Bonzini /* positive zero and positive one BCD values */
99*37b0dba4SPaolo Bonzini TEST(0x0, 0xc, 0x0, 0x1c, 0, 0x0, 0x1d, CRF_LT);
100*37b0dba4SPaolo Bonzini TEST(0x0, 0xc, 0x0, 0x1c, 1, 0x0, 0x1d, CRF_LT);
101*37b0dba4SPaolo Bonzini
102*37b0dba4SPaolo Bonzini /* maximum negative and positive one BCD values */
103*37b0dba4SPaolo Bonzini TEST(0x9999999999999999, 0x999999999999999d, 0x0, 0x1c, 0,
104*37b0dba4SPaolo Bonzini 0x0, 0xd, (CRF_LT | CRF_SO));
105*37b0dba4SPaolo Bonzini TEST(0x9999999999999999, 0x999999999999999d, 0x0, 0x1c, 1,
106*37b0dba4SPaolo Bonzini 0x0, 0xd, (CRF_LT | CRF_SO));
107*37b0dba4SPaolo Bonzini }
108*37b0dba4SPaolo Bonzini
test_bcdsub_invalid(void)109*37b0dba4SPaolo Bonzini void test_bcdsub_invalid(void)
110*37b0dba4SPaolo Bonzini {
111*37b0dba4SPaolo Bonzini TEST(0x0, 0x1c, 0x0, 0xf00, 0, UNDEF, UNDEF, CRF_SO);
112*37b0dba4SPaolo Bonzini TEST(0x0, 0x1c, 0x0, 0xf00, 1, UNDEF, UNDEF, CRF_SO);
113*37b0dba4SPaolo Bonzini
114*37b0dba4SPaolo Bonzini TEST(0x0, 0xf00, 0x0, 0x1c, 0, UNDEF, UNDEF, CRF_SO);
115*37b0dba4SPaolo Bonzini TEST(0x0, 0xf00, 0x0, 0x1c, 1, UNDEF, UNDEF, CRF_SO);
116*37b0dba4SPaolo Bonzini
117*37b0dba4SPaolo Bonzini TEST(0x0, 0xbad, 0x0, 0xf00, 0, UNDEF, UNDEF, CRF_SO);
118*37b0dba4SPaolo Bonzini TEST(0x0, 0xbad, 0x0, 0xf00, 1, UNDEF, UNDEF, CRF_SO);
119*37b0dba4SPaolo Bonzini }
120*37b0dba4SPaolo Bonzini
main(void)121*37b0dba4SPaolo Bonzini int main(void)
122*37b0dba4SPaolo Bonzini {
123*37b0dba4SPaolo Bonzini struct sigaction action;
124*37b0dba4SPaolo Bonzini
125*37b0dba4SPaolo Bonzini action.sa_handler = _exit;
126*37b0dba4SPaolo Bonzini sigaction(SIGABRT, &action, NULL);
127*37b0dba4SPaolo Bonzini
128*37b0dba4SPaolo Bonzini test_bcdsub_eq();
129*37b0dba4SPaolo Bonzini test_bcdsub_gt();
130*37b0dba4SPaolo Bonzini test_bcdsub_lt();
131*37b0dba4SPaolo Bonzini test_bcdsub_invalid();
132*37b0dba4SPaolo Bonzini
133*37b0dba4SPaolo Bonzini return 0;
134*37b0dba4SPaolo Bonzini }
135