TEST_SADDOV       158 src/test-arith.c     TEST_SADDOV(1, 1, 2, 0);
TEST_SADDOV       160 src/test-arith.c     TEST_SADDOV(-1, -1, -2, 0);
TEST_SADDOV       162 src/test-arith.c     TEST_SADDOV(SMAX, 0, SMAX, 0);
TEST_SADDOV       164 src/test-arith.c     TEST_SADDOV(SMAX, 1, 0, 1);
TEST_SADDOV       166 src/test-arith.c     TEST_SADDOV(SMAX, 2, 0, 1);
TEST_SADDOV       168 src/test-arith.c     TEST_SADDOV(SMAX, -1, SMAX-1, 0);
TEST_SADDOV       170 src/test-arith.c     TEST_SADDOV(SMAX, -SMAX, 0, 0);
TEST_SADDOV       172 src/test-arith.c     TEST_SADDOV(SMAX, -SMAX-1, -1, 0);
TEST_SADDOV       174 src/test-arith.c     TEST_SADDOV(SMAX/2, SMAX/2, SMAX-1, 0);
TEST_SADDOV       176 src/test-arith.c     TEST_SADDOV(SMAX/2, -(SMAX/2), 0, 0);
TEST_SADDOV       178 src/test-arith.c     TEST_SADDOV(-(SMAX/2), -(SMAX/2), -(SMAX-1), 0);
TEST_SADDOV       180 src/test-arith.c     TEST_SADDOV(0, -SMAX, -SMAX, 0);
TEST_SADDOV       182 src/test-arith.c     TEST_SADDOV(-1, -SMAX, SMIN, 0);
TEST_SADDOV       184 src/test-arith.c     TEST_SADDOV(-2, -SMAX, 0, -1);
TEST_SADDOV       186 src/test-arith.c     TEST_SADDOV(-SMAX, -2, 0, -1);
TEST_SADDOV       188 src/test-arith.c     TEST_SADDOV(-SMAX, -SMAX, 0, -1);
TEST_SADDOV       190 src/test-arith.c     TEST_SADDOV(-SMAX, SMIN, 0, -1);