SIGNEXT72_128    1180 src/dps8/dps8_math.c   int128 t = SIGNEXT72_128(m2);
SIGNEXT72_128    1182 src/dps8/dps8_math.c   int128 m3 = multiply_s128 (SIGNEXT72_128(m1), cast_s128 (ut));
SIGNEXT72_128    1185 src/dps8/dps8_math.c   int128 m3 = (SIGNEXT72_128(m1) * (SIGNEXT72_128(m2) >> 44));
SIGNEXT72_128    1791 src/dps8/dps8_math.c   SC_I_NEG (islt_s128 (SIGNEXT72_128(m1), SIGNEXT72_128(m2)));
SIGNEXT72_128    1794 src/dps8/dps8_math.c   SC_I_NEG ((int128)SIGNEXT72_128(m1) < (int128)SIGNEXT72_128(m2));
SIGNEXT72_128    1922 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    1925 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    1930 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    1933 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    2371 src/dps8/dps8_math.c   int128 m2s = rshift_s128 (SIGNEXT72_128(m2), 8);
SIGNEXT72_128    2375 src/dps8/dps8_math.c   int128 m1h = rshift_s128 (SIGNEXT72_128(m1), 64);
SIGNEXT72_128    2385 src/dps8/dps8_math.c   int128 m2s = SIGNEXT72_128(m2) >> 8;
SIGNEXT72_128    2389 src/dps8/dps8_math.c   int128 m1h = SIGNEXT72_128(m1) >> 64;
SIGNEXT72_128    3387 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    3388 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    3431 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    3432 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    3558 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    3561 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    3568 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    3571 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    1116 src/dps8/dps8_utils.c     int128 op1s =  SIGNEXT72_128 (and_128 (op1, MASK72));
SIGNEXT72_128    1117 src/dps8/dps8_utils.c     int128 op2s =  SIGNEXT72_128 (and_128 (op2, MASK72));
SIGNEXT72_128    1123 src/dps8/dps8_utils.c     int128 op1s =  SIGNEXT72_128 (op1 & MASK72);
SIGNEXT72_128    1124 src/dps8/dps8_utils.c     int128 op2s =  SIGNEXT72_128 (op2 & MASK72);