dist/gcc/poly-int.h

768 template<typename Ca, typename Cb, typename Cc>
770 coeffs_in_range_p (const Ca &a, const Cb &b, const Cc &c)
775 template<unsigned int N, typename Ca, typename Cb, typename Cc>
777 coeffs_in_range_p (const poly_int_pod<N, Ca> &a, const Cb &b, const Cc &c)
837 template<unsigned int N, typename Ca, typename Cb>
838 inline POLY_POLY_RESULT (N, Ca, Cb)
839 operator + (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
841   typedef POLY_CAST (Ca, Cb) NCa;
842   typedef POLY_POLY_COEFF (Ca, Cb) C;
849 template<unsigned int N, typename Ca, typename Cb>
850 inline POLY_CONST_RESULT (N, Ca, Cb)
851 operator + (const poly_int_pod<N, Ca> &a, const Cb &b)
853   typedef POLY_CAST (Ca, Cb) NCa;
854   typedef POLY_CONST_COEFF (Ca, Cb) C;
863 template<unsigned int N, typename Ca, typename Cb>
864 inline CONST_POLY_RESULT (N, Ca, Cb)
865 operator + (const Ca &a, const poly_int_pod<N, Cb> &b)
867   typedef POLY_CAST (Cb, Ca) NCb;
868   typedef CONST_POLY_COEFF (Ca, Cb) C;
880 template<unsigned int N, typename Ca, typename Cb>
881 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
882 add (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
884   typedef WI_BINARY_RESULT (Ca, Cb) C;
891 template<unsigned int N, typename Ca, typename Cb>
892 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
893 add (const poly_int_pod<N, Ca> &a, const Cb &b)
895   typedef WI_BINARY_RESULT (Ca, Cb) C;
900 				      wi::ints_for<Cb>::zero (b)));
904 template<unsigned int N, typename Ca, typename Cb>
905 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
906 add (const Ca &a, const poly_int_pod<N, Cb> &b)
908   typedef WI_BINARY_RESULT (Ca, Cb) C;
917 template<unsigned int N, typename Ca, typename Cb>
918 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
919 add (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b,
922   typedef WI_BINARY_RESULT (Ca, Cb) C;
936 template<unsigned int N, typename Ca, typename Cb>
937 inline POLY_POLY_RESULT (N, Ca, Cb)
938 operator - (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
940   typedef POLY_CAST (Ca, Cb) NCa;
941   typedef POLY_POLY_COEFF (Ca, Cb) C;
948 template<unsigned int N, typename Ca, typename Cb>
949 inline POLY_CONST_RESULT (N, Ca, Cb)
950 operator - (const poly_int_pod<N, Ca> &a, const Cb &b)
952   typedef POLY_CAST (Ca, Cb) NCa;
953   typedef POLY_CONST_COEFF (Ca, Cb) C;
962 template<unsigned int N, typename Ca, typename Cb>
963 inline CONST_POLY_RESULT (N, Ca, Cb)
964 operator - (const Ca &a, const poly_int_pod<N, Cb> &b)
966   typedef POLY_CAST (Cb, Ca) NCb;
967   typedef CONST_POLY_COEFF (Ca, Cb) C;
979 template<unsigned int N, typename Ca, typename Cb>
980 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
981 sub (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
983   typedef WI_BINARY_RESULT (Ca, Cb) C;
990 template<unsigned int N, typename Ca, typename Cb>
991 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
992 sub (const poly_int_pod<N, Ca> &a, const Cb &b)
994   typedef WI_BINARY_RESULT (Ca, Cb) C;
999 				      wi::ints_for<Cb>::zero (b)));
1003 template<unsigned int N, typename Ca, typename Cb>
1004 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
1005 sub (const Ca &a, const poly_int_pod<N, Cb> &b)
1007   typedef WI_BINARY_RESULT (Ca, Cb) C;
1016 template<unsigned int N, typename Ca, typename Cb>
1017 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
1018 sub (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b,
1021   typedef WI_BINARY_RESULT (Ca, Cb) C;
1087 template<unsigned int N, typename Ca, typename Cb>
1088 inline POLY_CONST_RESULT (N, Ca, Cb)
1089 operator * (const poly_int_pod<N, Ca> &a, const Cb &b)
1091   typedef POLY_CAST (Ca, Cb) NCa;
1092   typedef POLY_CONST_COEFF (Ca, Cb) C;
1099 template<unsigned int N, typename Ca, typename Cb>
1100 inline CONST_POLY_RESULT (N, Ca, Cb)
1101 operator * (const Ca &a, const poly_int_pod<N, Cb> &b)
1103   typedef POLY_CAST (Ca, Cb) NCa;
1104   typedef CONST_POLY_COEFF (Ca, Cb) C;
1114 template<unsigned int N, typename Ca, typename Cb>
1115 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
1116 mul (const poly_int_pod<N, Ca> &a, const Cb &b)
1118   typedef WI_BINARY_RESULT (Ca, Cb) C;
1125 template<unsigned int N, typename Ca, typename Cb>
1126 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
1127 mul (const Ca &a, const poly_int_pod<N, Cb> &b)
1129   typedef WI_BINARY_RESULT (Ca, Cb) C;
1136 template<unsigned int N, typename Ca, typename Cb>
1137 inline poly_int<N, WI_BINARY_RESULT (Ca, Cb)>
1138 mul (const poly_int_pod<N, Ca> &a, const Cb &b,
1141   typedef WI_BINARY_RESULT (Ca, Cb) C;
1154 template<unsigned int N, typename Ca, typename Cb>
1156 operator << (const poly_int_pod<N, Ca> &a, const Cb &b)
1169 template<unsigned int N, typename Ca, typename Cb>
1171 lshift (const poly_int_pod<N, Ca> &a, const Cb &b)
1184 template<typename Ca, typename Cb>
1186 maybe_eq_2 (const Ca &a0, const Ca &a1, const Cb &b0, const Cb &b1)
1205 template<typename Ca, typename Cb>
1207 maybe_eq_2 (const Ca &a0, const Ca &a1, const Cb &b)
1224 template<unsigned int N, typename Ca, typename Cb>
1226 maybe_eq (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
1234 template<unsigned int N, typename Ca, typename Cb>
1235 inline typename if_nonpoly<Cb, bool>::type
1236 maybe_eq (const poly_int_pod<N, Ca> &a, const Cb &b)
1244 template<unsigned int N, typename Ca, typename Cb>
1246 maybe_eq (const Ca &a, const poly_int_pod<N, Cb> &b)
1254 template<typename Ca, typename Cb>
1255 inline typename if_nonpoly2<Ca, Cb, bool>::type
1256 maybe_eq (const Ca &a, const Cb &b)
1263 template<unsigned int N, typename Ca, typename Cb>
1265 maybe_ne (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
1274 template<unsigned int N, typename Ca, typename Cb>
1275 inline typename if_nonpoly<Cb, bool>::type
1276 maybe_ne (const poly_int_pod<N, Ca> &a, const Cb &b)
1285 template<unsigned int N, typename Ca, typename Cb>
1287 maybe_ne (const Ca &a, const poly_int_pod<N, Cb> &b)
1296 template<typename Ca, typename Cb>
1297 inline typename if_nonpoly2<Ca, Cb, bool>::type
1298 maybe_ne (const Ca &a, const Cb &b)
1312 template<unsigned int N, typename Ca, typename Cb>
1314 maybe_le (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
1323 template<unsigned int N, typename Ca, typename Cb>
1324 inline typename if_nonpoly<Cb, bool>::type
1325 maybe_le (const poly_int_pod<N, Ca> &a, const Cb &b)
1334 template<unsigned int N, typename Ca, typename Cb>
1336 maybe_le (const Ca &a, const poly_int_pod<N, Cb> &b)
1345 template<typename Ca, typename Cb>
1346 inline typename if_nonpoly2<Ca, Cb, bool>::type
1347 maybe_le (const Ca &a, const Cb &b)
1354 template<unsigned int N, typename Ca, typename Cb>
1356 maybe_lt (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
1365 template<unsigned int N, typename Ca, typename Cb>
1366 inline typename if_nonpoly<Cb, bool>::type
1367 maybe_lt (const poly_int_pod<N, Ca> &a, const Cb &b)
1376 template<unsigned int N, typename Ca, typename Cb>
1378 maybe_lt (const Ca &a, const poly_int_pod<N, Cb> &b)
1387 template<typename Ca, typename Cb>
1388 inline typename if_nonpoly2<Ca, Cb, bool>::type
1389 maybe_lt (const Ca &a, const Cb &b)
1430 template<unsigned int N, typename Ca, typename Cb>
1431 inline POLY_POLY_RESULT (N, Ca, Cb)
1432 ordered_min (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
1444 template<unsigned int N, typename Ca, typename Cb>
1445 inline CONST_POLY_RESULT (N, Ca, Cb)
1446 ordered_min (const Ca &a, const poly_int_pod<N, Cb> &b)
1458 template<unsigned int N, typename Ca, typename Cb>
1459 inline POLY_CONST_RESULT (N, Ca, Cb)
1460 ordered_min (const poly_int_pod<N, Ca> &a, const Cb &b)
1478 template<unsigned int N, typename Ca, typename Cb>
1479 inline POLY_POLY_RESULT (N, Ca, Cb)
1480 ordered_max (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
1492 template<unsigned int N, typename Ca, typename Cb>
1493 inline CONST_POLY_RESULT (N, Ca, Cb)
1494 ordered_max (const Ca &a, const poly_int_pod<N, Cb> &b)
1506 template<unsigned int N, typename Ca, typename Cb>
1507 inline POLY_CONST_RESULT (N, Ca, Cb)
1508 ordered_max (const poly_int_pod<N, Ca> &a, const Cb &b)
1533 template<unsigned int N, typename Ca, typename Cb>
1534 inline POLY_CONST_COEFF (Ca, Cb)
1535 constant_lower_bound_with_limit (const poly_int_pod<N, Ca> &a, const Cb &b)
1545 template<unsigned int N, typename Ca, typename Cb>
1546 inline POLY_CONST_COEFF (Ca, Cb)
1547 constant_upper_bound_with_limit (const poly_int_pod<N, Ca> &a, const Cb &b)
1558 template<unsigned int N, typename Ca, typename Cb>
1559 inline POLY_CONST_RESULT (N, Ca, Cb)
1560 lower_bound (const poly_int_pod<N, Ca> &a, const Cb &b)
1562   typedef POLY_CAST (Ca, Cb) NCa;
1563   typedef POLY_CAST (Cb, Ca) NCb;
1564   typedef POLY_INT_TYPE (Cb) ICb;
1565   typedef POLY_CONST_COEFF (Ca, Cb) C;
1575 template<unsigned int N, typename Ca, typename Cb>
1576 inline CONST_POLY_RESULT (N, Ca, Cb)
1577 lower_bound (const Ca &a, const poly_int_pod<N, Cb> &b)
1582 template<unsigned int N, typename Ca, typename Cb>
1583 inline POLY_POLY_RESULT (N, Ca, Cb)
1584 lower_bound (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
1586   typedef POLY_CAST (Ca, Cb) NCa;
1587   typedef POLY_CAST (Cb, Ca) NCb;
1588   typedef POLY_POLY_COEFF (Ca, Cb) C;
1596 template<typename Ca, typename Cb>
1597 inline CONST_CONST_RESULT (N, Ca, Cb)
1598 lower_bound (const Ca &a, const Cb &b)
1607 template<unsigned int N, typename Ca, typename Cb>
1608 inline POLY_CONST_RESULT (N, Ca, Cb)
1609 upper_bound (const poly_int_pod<N, Ca> &a, const Cb &b)
1611   typedef POLY_CAST (Ca, Cb) NCa;
1612   typedef POLY_CAST (Cb, Ca) NCb;
1613   typedef POLY_INT_TYPE (Cb) ICb;
1614   typedef POLY_CONST_COEFF (Ca, Cb) C;
1624 template<unsigned int N, typename Ca, typename Cb>
1625 inline CONST_POLY_RESULT (N, Ca, Cb)
1626 upper_bound (const Ca &a, const poly_int_pod<N, Cb> &b)
1631 template<unsigned int N, typename Ca, typename Cb>
1632 inline POLY_POLY_RESULT (N, Ca, Cb)
1633 upper_bound (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
1635   typedef POLY_CAST (Ca, Cb) NCa;
1636   typedef POLY_CAST (Cb, Ca) NCb;
1637   typedef POLY_POLY_COEFF (Ca, Cb) C;
1669 template<unsigned int N, typename Ca, typename Cb>
1670 POLY_CONST_RESULT (N, Ca, Cb)
1671 common_multiple (const poly_int_pod<N, Ca> &a, Cb b)
1677 template<unsigned int N, typename Ca, typename Cb>
1678 inline CONST_POLY_RESULT (N, Ca, Cb)
1679 common_multiple (const Ca &a, const poly_int_pod<N, Cb> &b)
1692 template<unsigned int N, typename Ca, typename Cb>
1693 POLY_POLY_RESULT (N, Ca, Cb)
1695 		       const poly_int_pod<N, Cb> &b)
1702   typedef POLY_CAST (Ca, Cb) NCa;
1703   typedef POLY_CAST (Cb, Ca) NCb;
1704   typedef POLY_BINARY_COEFF (Ca, Cb) C;
1731 template<unsigned int N, typename Ca, typename Cb>
1734 			const poly_int_pod<N, Cb> &b)
1744 template<unsigned int N, typename Ca, typename Cb>
1746 can_align_p (const poly_int_pod<N, Ca> &value, Cb align)
1757 template<unsigned int N, typename Ca, typename Cb>
1759 can_align_up (const poly_int_pod<N, Ca> &value, Cb align,
1771 template<unsigned int N, typename Ca, typename Cb>
1773 can_align_down (const poly_int_pod<N, Ca> &value, Cb align,
1786 template<unsigned int N, typename Ca, typename Cb, typename Cc>
1789 			    const poly_int_pod<N, Cb> &b,
1793   poly_int<N, Cb> aligned_b;
1803 template<unsigned int N, typename Ca, typename Cb, typename Cc>
1806 			      const poly_int_pod<N, Cb> &b,
1810   poly_int<N, Cb> aligned_b;
1823 template<unsigned int N, typename Ca, typename Cb>
1825 force_align_up (const poly_int_pod<N, Ca> &value, Cb align)
1838 template<unsigned int N, typename Ca, typename Cb>
1840 force_align_down (const poly_int_pod<N, Ca> &value, Cb align)
1850 template<unsigned int N, typename Ca, typename Cb>
1852 aligned_lower_bound (const poly_int_pod<N, Ca> &value, Cb align)
1867 template<unsigned int N, typename Ca, typename Cb>
1869 aligned_upper_bound (const poly_int_pod<N, Ca> &value, Cb align)
1886 template<unsigned int N, typename Ca, typename Cb>
1888 force_align_down_and_div (const poly_int_pod<N, Ca> &value, Cb align)
1910 template<unsigned int N, typename Ca, typename Cb>
1912 force_align_up_and_div (const poly_int_pod<N, Ca> &value, Cb align)
1930 template<unsigned int N, typename Ca, typename Cb, typename Cm>
1932 known_misalignment (const poly_int_pod<N, Ca> &value, Cb align, Cm *misalign)
1945 template<unsigned int N, typename Ca, typename Cb>
1947 force_get_misalignment (const poly_int_pod<N, Ca> &a, Cb align)
1970 template<unsigned int N, typename Ca, typename Cb, typename Cr>
1971 inline typename if_nonpoly<Cb, bool>::type
1972 can_ior_p (const poly_int_pod<N, Ca> &a, Cb b, Cr *result)
1989 template<unsigned int N, typename Ca, typename Cb, typename Cm>
1990 inline typename if_nonpoly<Cb, bool>::type
1991 constant_multiple_p (const poly_int_pod<N, Ca> &a, Cb b, Cm *multiple)
1993   typedef POLY_CAST (Ca, Cb) NCa;
1994   typedef POLY_CAST (Cb, Ca) NCb;
2004 template<unsigned int N, typename Ca, typename Cb, typename Cm>
2006 constant_multiple_p (Ca a, const poly_int_pod<N, Cb> &b, Cm *multiple)
2008   typedef POLY_CAST (Ca, Cb) NCa;
2009   typedef POLY_CAST (Cb, Ca) NCb;
2021 template<unsigned int N, typename Ca, typename Cb, typename Cm>
2024 		     const poly_int_pod<N, Cb> &b, Cm *multiple)
2026   typedef POLY_CAST (Ca, Cb) NCa;
2027   typedef POLY_CAST (Cb, Ca) NCb;
2029   typedef POLY_INT_TYPE (Cb) ICb;
2030   typedef POLY_BINARY_COEFF (Ca, Cb) C;
2049 template<typename Ca, typename Cb>
2050 inline typename if_nonpoly2<Ca, Cb, bool>::type
2051 multiple_p (Ca a, Cb b)
2058 template<unsigned int N, typename Ca, typename Cb>
2059 inline typename if_nonpoly<Cb, bool>::type
2060 multiple_p (const poly_int_pod<N, Ca> &a, Cb b)
2070 template<unsigned int N, typename Ca, typename Cb>
2072 multiple_p (Ca a, const poly_int_pod<N, Cb> &b)
2084 template<unsigned int N, typename Ca, typename Cb>
2086 multiple_p (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
2097 template<typename Ca, typename Cb, typename Cm>
2098 inline typename if_nonpoly2<Ca, Cb, bool>::type
2099 multiple_p (Ca a, Cb b, Cm *multiple)
2110 template<unsigned int N, typename Ca, typename Cb, typename Cm>
2111 inline typename if_nonpoly<Cb, bool>::type
2112 multiple_p (const poly_int_pod<N, Ca> &a, Cb b, poly_int_pod<N, Cm> *multiple)
2124 template<unsigned int N, typename Ca, typename Cb, typename Cm>
2126 multiple_p (Ca a, const poly_int_pod<N, Cb> &b, Cm *multiple)
2128   typedef POLY_CAST (Ca, Cb) NCa;
2142 template<unsigned int N, typename Ca, typename Cb, typename Cm>
2144 multiple_p (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b,
2154 template<unsigned int N, typename Ca, typename Cb>
2155 inline POLY_CONST_RESULT (N, Ca, Cb)
2156 exact_div (const poly_int_pod<N, Ca> &a, Cb b)
2158   typedef POLY_CONST_COEFF (Ca, Cb) C;
2170 template<unsigned int N, typename Ca, typename Cb>
2171 inline POLY_POLY_RESULT (N, Ca, Cb)
2172 exact_div (const poly_int_pod<N, Ca> &a, const poly_int_pod<N, Cb> &b)
2177   typedef POLY_CAST (Ca, Cb) NCa;
2178   typedef POLY_CAST (Cb, Ca) NCb;
2179   typedef POLY_BINARY_COEFF (Ca, Cb) C;
2180   typedef POLY_INT_TYPE (Cb) int_type;
2201 template<unsigned int N, typename Ca, typename Cb, typename Cq>
2202 inline typename if_nonpoly2<Cb, Cq, bool>::type
2203 can_div_trunc_p (const poly_int_pod<N, Ca> &a, Cb b, Cq *quotient)
2205   typedef POLY_CAST (Ca, Cb) NCa;
2206   typedef POLY_CAST (Cb, Ca) NCb;
2217 template<unsigned int N, typename Ca, typename Cb, typename Cq>
2220 		 const poly_int_pod<N, Cb> &b,
2225   typedef POLY_CAST (Ca, Cb) NCa;
2226   typedef POLY_CAST (Cb, Ca) NCb;
2228   typedef POLY_INT_TYPE (Cb) ICb;
2229   typedef POLY_BINARY_COEFF (Ca, Cb) C;
2325 template<unsigned int N, typename Ca, typename Cb, typename Cq, typename Cr>
2328 		 const poly_int_pod<N, Cb> &b,
2345 template<unsigned int N, typename Ca, typename Cb, typename Cq>
2346 inline typename if_nonpoly<Cb, bool>::type
2347 can_div_trunc_p (const poly_int_pod<N, Ca> &a, Cb b,
2361 template<unsigned int N, typename Ca, typename Cb, typename Cq, typename Cr>
2362 inline typename if_nonpoly<Cb, bool>::type
2363 can_div_trunc_p (const poly_int_pod<N, Ca> &a, Cb b,
2378 template<unsigned int N, typename Ca, typename Cb, typename Cq>
2381 		 const poly_int_pod<N, Cb> &b,
2401 template<unsigned int N, typename Ca, typename Cb, typename Cq>
2404 			  const poly_int_pod<N, Cb> &b,