sm1              1922 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              1923 src/dps8/dps8_math.c   if (islt_s128 (sm1, construct_s128 (0, 0)))
sm1              1924 src/dps8/dps8_math.c     sm1 = negate_s128 (sm1);
sm1              1928 src/dps8/dps8_math.c   SC_I_NEG (islt_s128 (sm1, sm2));
sm1              1930 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              1931 src/dps8/dps8_math.c   if (sm1 < 0)
sm1              1932 src/dps8/dps8_math.c     sm1 = - sm1;
sm1              1936 src/dps8/dps8_math.c   SC_I_NEG (sm1 < sm2);
sm1              3387 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              3389 src/dps8/dps8_math.c   SC_I_NEG (islt_s128 (sm1, sm2));
sm1              3431 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              3433 src/dps8/dps8_math.c   SC_I_NEG (sm1 < sm2);
sm1              3558 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              3559 src/dps8/dps8_math.c   if (sm1.h < 0)
sm1              3560 src/dps8/dps8_math.c     sm1 = negate_s128 (sm1);
sm1              3565 src/dps8/dps8_math.c   SC_I_NEG (islt_s128 (sm1, sm2));
sm1              3568 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              3569 src/dps8/dps8_math.c   if (sm1 < 0)
sm1              3570 src/dps8/dps8_math.c     sm1 = - sm1;
sm1              3575 src/dps8/dps8_math.c   SC_I_NEG (sm1 < sm2);