64     if (test__negvti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL)))  in main()
66     if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL)))  in main()
68     if (test__negvti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL)))  in main()
70     if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL)))  in main()
72     if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL)))  in main()
74     if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))  in main()
76     if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL)))  in main()
78     if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))  in main()
80     if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL)))  in main()
82     if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL)))  in main()
84     if (test__negvti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))  in main()
86     if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))  in main()
88     if (test__negvti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))  in main()
90     if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))  in main()
92     if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL)))  in main()
94     if (test__negvti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))  in main()
96     if (test__negvti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL)))  in main()
100     if (test__negvti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL)))  in main()
102     if (test__negvti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))  in main()