128     if (test__mulvti3(make_ti(0x00000000000000B5LL, 0x04F333F9DE5BE000LL),  in main()
129                       make_ti(0x0000000000000000LL, 0x00B504F333F9DE5BLL),  in main()
130                       make_ti(0x7FFFFFFFFFFFF328LL, 0xDF915DA296E8A000LL)))  in main()
141     if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
143                       make_ti(0x8000000000000000LL, 0x0000000000000001LL)))  in main()
146                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
147                       make_ti(0x8000000000000000LL, 0x0000000000000001LL)))  in main()
149     if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
154                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
157     if (test__mulvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
159                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))  in main()
162                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
163                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))  in main()
190     if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
195                       make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
198     if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
200                       make_ti(0x8000000000000000LL, 0x0000000000000000LL)))  in main()
203                       make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
204                       make_ti(0x8000000000000000LL, 0x0000000000000000LL)))  in main()
223     if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
225                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))  in main()
228                       make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
229                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))  in main()
231     if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
236                       make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
239     if (test__mulvti3(make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
241                       make_ti(0x8000000000000000LL, 0x0000000000000001LL)))  in main()
244                       make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
245                       make_ti(0x8000000000000000LL, 0x0000000000000001LL)))  in main()