sm1              1918 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              1919 src/dps8/dps8_math.c   if (islt_s128 (sm1, construct_s128 (0, 0)))
sm1              1920 src/dps8/dps8_math.c     sm1 = negate_s128 (sm1);
sm1              1924 src/dps8/dps8_math.c   SC_I_NEG (islt_s128 (sm1, sm2));
sm1              1926 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              1927 src/dps8/dps8_math.c   if (sm1 < 0)
sm1              1928 src/dps8/dps8_math.c     sm1 = - sm1;
sm1              1932 src/dps8/dps8_math.c   SC_I_NEG (sm1 < sm2);
sm1              3376 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              3378 src/dps8/dps8_math.c   SC_I_NEG (islt_s128 (sm1, sm2));
sm1              3420 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              3422 src/dps8/dps8_math.c   SC_I_NEG (sm1 < sm2);
sm1              3547 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              3548 src/dps8/dps8_math.c   if (sm1.h < 0)
sm1              3549 src/dps8/dps8_math.c     sm1 = negate_s128 (sm1);
sm1              3554 src/dps8/dps8_math.c   SC_I_NEG (islt_s128 (sm1, sm2));
sm1              3557 src/dps8/dps8_math.c   int128 sm1 = SIGNEXT72_128 (m1);
sm1              3558 src/dps8/dps8_math.c   if (sm1 < 0)
sm1              3559 src/dps8/dps8_math.c     sm1 = - sm1;
sm1              3564 src/dps8/dps8_math.c   SC_I_NEG (sm1 < sm2);