Lines Matching defs:s1
1636 register pword *s1, *s2;
1651 s1 = d1++;
1652 Dereference_(s1);
1653 if (IsInteger(s1->tag)) {
1655 from1 = to1 = s1->val.nint;
1656 } else if (!IsFdInterval(s1->val, s1->tag)) {
1657 tag1 = s1->tag.kernel;
1659 s1 = s1->val.ptr + 1;
1660 t1 = s1++;
1662 Dereference_(s1);
1664 to1 = s1->val.nint;
1714 res = ec_compare_terms(s1->val, s1->tag, s2->val, s2->tag);
1726 p->val.all = s1->val.all;
1727 p++->tag.kernel = s1->tag.kernel;
1736 s1 = d1++;
1737 Dereference_(s1);
1738 if (IsInteger(s1->tag)) {
1740 from1 = to1 = s1->val.nint;
1741 } else if (!IsFdInterval(s1->val, s1->tag)) {
1742 tag1 = s1->tag.kernel;
1744 s1 = s1->val.ptr + 1;
1745 t1 = s1++;
1747 Dereference_(s1);
1749 to1 = s1->val.nint;
1792 register pword *s1, *s2;
1819 s1 = d1++;
1820 Dereference_(s1);
1821 if (!IsFdInterval(s1->val, s1->tag)) {
1822 tag1 = s1->tag.kernel;
1823 from1 = to1 = s1->val.nint;
1825 s1 = s1->val.ptr + 1;
1826 t1 = s1++;
1828 Dereference_(s1);
1830 to1 = s1->val.nint;
1880 comp = ec_compare_terms(s1->val, s1->tag, s2->val, s2->tag);
1919 s1 = d1++;
1920 Dereference_(s1);
1921 if (IsInteger(s1->tag)) {
1922 from1 = to1 = s1->val.nint;
1924 } else if (!IsFdInterval(s1->val, s1->tag)) {
1925 tag1 = s1->tag.kernel;
1927 s1 = s1->val.ptr + 1;
1928 t1 = s1++;
1930 Dereference_(s1);
1932 to1 = s1->val.nint;
1974 register pword *s1, *s2;
2014 s1 = d1++;
2015 Dereference_(s1);
2016 if (!IsFdInterval(s1->val, s1->tag)) {
2017 tag1 = s1->tag.kernel;
2018 from1 = to1 = s1->val.nint;
2020 s1 = s1->val.ptr + 1;
2021 t1 = s1++;
2023 Dereference_(s1);
2025 to1 = s1->val.nint;
2063 res = ec_compare_terms(s1->val, s1->tag, s2->val, s2->tag);
2101 p->val.all = s1->val.all;
2102 p++->tag.kernel = s1->tag.kernel;
2115 s1 = d1++;
2116 Dereference_(s1);
2117 if (IsInteger(s1->tag)) {
2118 from1 = to1 = s1->val.nint;
2120 } else if (!IsFdInterval(s1->val, s1->tag)) {
2121 tag1 = s1->tag.kernel;
2123 s1 = s1->val.ptr + 1;
2124 t1 = s1++;
2126 Dereference_(s1);
2128 to1 = s1->val.nint;
2228 register pword *s1, *s2;
2268 s1 = d1++;
2269 Dereference_(s1);
2270 if (IsInteger(s1->tag)) {
2272 from1 = to1 = s1->val.nint;
2275 } else if (!IsFdInterval(s1->val, s1->tag)) {
2276 tag1 = s1->tag.kernel;
2279 s1 = s1->val.ptr + 1;
2280 t1 = s1++;
2282 Dereference_(s1);
2284 to1 = s1->val.nint;
2322 res = ec_compare_terms(s1->val, s1->tag, s2->val, s2->tag);
2335 p->val.all = s1->val.all;
2336 p++->tag.kernel = s1->tag.kernel;
2370 s1 = d1++;
2371 Dereference_(s1);
2372 if (IsInteger(s1->tag)) {
2374 from1 = to1 = s1->val.nint;
2377 } else if (!IsFdInterval(s1->val, s1->tag)) {
2378 tag1 = s1->tag.kernel;
2381 s1 = s1->val.ptr + 1;
2382 t1 = s1++;
2384 Dereference_(s1);
2386 to1 = s1->val.nint;