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
|
require_vector_vs;
P_64_PROFILE_BASE()
P_64_PROFILE_PARAM(true, false)
bool sat = false;
sreg_t mres0 = -(sreg_t)P_SW(rs1, 0) * P_SW(rs2, 0);
sreg_t mres1 = -(sreg_t)P_SW(rs1, 1) * P_SW(rs2, 1);
sreg_t res;
if (xlen == 32) {
rd = (sat_add<int64_t, uint64_t>(rd, mres0, sat));
} else {
if ((rd ^ mres0) < 0) {
res = rd + mres0;
rd = (sat_add<int64_t, uint64_t>(res, mres1, sat));
} else if ((rd ^ mres1) < 0) {
res = rd + mres1;
rd = (sat_add<int64_t, uint64_t>(res, mres0, sat));
} else {
rd = (sat_add<int64_t, uint64_t>(rd, mres0, sat));
P_SET_OV(sat);
rd = (sat_add<int64_t, uint64_t>(rd, mres1, sat));
}
}
P_SET_OV(sat);
P_64_PROFILE_END()
|
