SIGNEXT72_128    1176 src/dps8/dps8_math.c   int128 t = SIGNEXT72_128(m2);
SIGNEXT72_128    1178 src/dps8/dps8_math.c   int128 m3 = multiply_s128 (SIGNEXT72_128(m1), cast_s128 (ut));
SIGNEXT72_128    1181 src/dps8/dps8_math.c   int128 m3 = (SIGNEXT72_128(m1) * (SIGNEXT72_128(m2) >> 44));
SIGNEXT72_128    1787 src/dps8/dps8_math.c   SC_I_NEG (islt_s128 (SIGNEXT72_128(m1), SIGNEXT72_128(m2)));
SIGNEXT72_128    1790 src/dps8/dps8_math.c   SC_I_NEG ((int128)SIGNEXT72_128(m1) < (int128)SIGNEXT72_128(m2));
SIGNEXT72_128    1918 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    1921 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    1926 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    1929 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    2367 src/dps8/dps8_math.c   int128 m2s = rshift_s128 (SIGNEXT72_128(m2), 8);
SIGNEXT72_128    2371 src/dps8/dps8_math.c   int128 m1h = rshift_s128 (SIGNEXT72_128(m1), 64);
SIGNEXT72_128    2381 src/dps8/dps8_math.c   int128 m2s = SIGNEXT72_128(m2) >> 8;
SIGNEXT72_128    2385 src/dps8/dps8_math.c   int128 m1h = SIGNEXT72_128(m1) >> 64;
SIGNEXT72_128    3376 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    3377 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    3420 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    3421 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    3547 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    3550 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    3557 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
SIGNEXT72_128    3560 src/dps8/dps8_math.c   int128 sm2 = SIGNEXT72_128 (m2);
SIGNEXT72_128    1093 src/dps8/dps8_utils.c     int128 op1s =  SIGNEXT72_128 (and_128 (op1, MASK72));
SIGNEXT72_128    1094 src/dps8/dps8_utils.c     int128 op2s =  SIGNEXT72_128 (and_128 (op2, MASK72));
SIGNEXT72_128    1100 src/dps8/dps8_utils.c     int128 op1s =  SIGNEXT72_128 (op1 & MASK72);
SIGNEXT72_128    1101 src/dps8/dps8_utils.c     int128 op2s =  SIGNEXT72_128 (op2 & MASK72);