40 template <typename Input1, typename Input2, typename Output>
45     static_assert(std::is_same_v<Output, decltype(std::gcd(value1, value2))>, "");  in test0()
46     static_assert(std::is_same_v<Output, decltype(std::gcd(value2, value1))>, "");  in test0()
47     assert(static_cast<Output>(out) == std::gcd(value1, value2));  in test0()
62             using Output = std::common_type_t<S1, S2>;  in do_test()  typedef
63             accumulate &= test0<S1, S2, Output>(TC.x, TC.y, TC.expect);  in do_test()
64             accumulate &= test0<S1, S2, Output>(-TC.x, TC.y, TC.expect);  in do_test()
65             accumulate &= test0<S1, S2, Output>(TC.x, -TC.y, TC.expect);  in do_test()
66             accumulate &= test0<S1, S2, Output>(-TC.x, -TC.y, TC.expect);  in do_test()
67             accumulate &= test0<S2, S1, Output>(TC.x, TC.y, TC.expect);  in do_test()
68             accumulate &= test0<S2, S1, Output>(-TC.x, TC.y, TC.expect);  in do_test()
69             accumulate &= test0<S2, S1, Output>(TC.x, -TC.y, TC.expect);  in do_test()
70             accumulate &= test0<S2, S1, Output>(-TC.x, -TC.y, TC.expect);  in do_test()
73             using Output = std::common_type_t<U1, U2>;  in do_test()  typedef
74             accumulate &= test0<U1, U2, Output>(TC.x, TC.y, TC.expect);  in do_test()
75             accumulate &= test0<U2, U1, Output>(TC.x, TC.y, TC.expect);  in do_test()
78             using Output = std::common_type_t<S1, U2>;  in do_test()  typedef
79             accumulate &= test0<S1, U2, Output>(TC.x, TC.y, TC.expect);  in do_test()
80             accumulate &= test0<U2, S1, Output>(TC.x, TC.y, TC.expect);  in do_test()
81             accumulate &= test0<S1, U2, Output>(-TC.x, TC.y, TC.expect);  in do_test()
82             accumulate &= test0<U2, S1, Output>(TC.x, -TC.y, TC.expect);  in do_test()
85             using Output = std::common_type_t<S2, U1>;  in do_test()  typedef
86             accumulate &= test0<S2, U1, Output>(TC.x, TC.y, TC.expect);  in do_test()
87             accumulate &= test0<U1, S2, Output>(TC.x, TC.y, TC.expect);  in do_test()
88             accumulate &= test0<S2, U1, Output>(-TC.x, TC.y, TC.expect);  in do_test()
89             accumulate &= test0<U1, S2, Output>(TC.x, -TC.y, TC.expect);  in do_test()