148     if (test__muloti4(make_ti(0x00000000000000B5LL, 0x04F333F9DE5BE000LL),  in main()
149                       make_ti(0x0000000000000000LL, 0x00B504F333F9DE5BLL),  in main()
150                       make_ti(0x7FFFFFFFFFFFF328LL, 0xDF915DA296E8A000LL), 0))  in main()
153      if (test__muloti4(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
155                        make_ti(0x8000000000000000LL, 0x0000000000000001LL), 1))  in main()
158                        make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
159                        make_ti(0x8000000000000000LL, 0x0000000000000001LL), 1))  in main()
161     if (test__muloti4(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
163                       make_ti(0x8000000000000000LL, 0x0000000000000001LL), 0))  in main()
166                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
167                       make_ti(0x8000000000000000LL, 0x0000000000000001LL), 0))  in main()
169     if (test__muloti4(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
174                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
177     if (test__muloti4(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
179                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 0))  in main()
182                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
183                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 0))  in main()
185      if (test__muloti4(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
187                        make_ti(0x8000000000000000LL, 0x0000000000000001LL), 1))  in main()
190                        make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
191                        make_ti(0x8000000000000000LL, 0x0000000000000001LL), 1))  in main()
194      if (test__muloti4(make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
196                        make_ti(0x8000000000000000LL, 0x0000000000000000LL), 1))  in main()
199                        make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
200                        make_ti(0x8000000000000000LL, 0x0000000000000000LL), 1))  in main()
202      if (test__muloti4(make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
204                        make_ti(0x8000000000000000LL, 0x0000000000000000LL), 1))  in main()
207                        make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
208                        make_ti(0x8000000000000000LL, 0x0000000000000000LL), 1))  in main()
210     if (test__muloti4(make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
215                       make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
218     if (test__muloti4(make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
220                       make_ti(0x8000000000000000LL, 0x0000000000000000LL), 0))  in main()
223                       make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
224                       make_ti(0x8000000000000000LL, 0x0000000000000000LL), 0))  in main()
226      if (test__muloti4(make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
228                        make_ti(0x8000000000000000LL, 0x0000000000000000LL), 1))  in main()
231                        make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
232                        make_ti(0x8000000000000000LL, 0x0000000000000000LL), 1))  in main()
235      if (test__muloti4(make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
237                        make_ti(0x8000000000000000LL, 0x0000000000000001LL), 1))  in main()
240                        make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
241                        make_ti(0x8000000000000000LL, 0x0000000000000001LL), 1))  in main()
243     if (test__muloti4(make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
245                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 0))  in main()
248                       make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
249                       make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 0))  in main()
251     if (test__muloti4(make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
256                       make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
259     if (test__muloti4(make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
261                       make_ti(0x8000000000000000LL, 0x0000000000000001LL), 0))  in main()
264                       make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
265                       make_ti(0x8000000000000000LL, 0x0000000000000001LL), 0))  in main()
267      if (test__muloti4(make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
269                        make_ti(0x8000000000000000LL, 0x0000000000000000LL), 1))  in main()
272                        make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
273                        make_ti(0x8000000000000000LL, 0x0000000000000000LL), 1))  in main()