62     if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL),  in main()
63                      make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL)))  in main()
65     if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000002LL),  in main()
66                      make_ti(0x0000000000000000LL, 0x00000000FFFFFFFELL)))  in main()
68     if (test__negti2(make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL),  in main()
69                      make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL)))  in main()
71     if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000001LL),  in main()
72                      make_ti(0x0000000000000000LL, 0x00000000FFFFFFFFLL)))  in main()
74     if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL),  in main()
75                      make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))  in main()
77     if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL),  in main()
78                      make_ti(0x0000000000000000LL, 0x0000000100000000LL)))  in main()
80     if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL),  in main()
81                      make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))  in main()
83     if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL),  in main()
84                      make_ti(0x0000000000000000LL, 0x0000000200000000LL)))  in main()
86     if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000300000000LL),  in main()
87                      make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL)))  in main()
89     if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFD00000000LL),  in main()
90                      make_ti(0x0000000000000000LL, 0x0000000300000000LL)))  in main()
92     if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL),  in main()
93                      make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))  in main()
95     if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL),  in main()
96                      make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL)))  in main()
98     if (test__negti2(make_ti(0x0000000000000000LL, 0x7FFFFFFFFFFFFFFFLL),  in main()
99                      make_ti(0xFFFFFFFFFFFFFFFFLL, 0x8000000000000001LL)))  in main()
101     if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL),  in main()
102                      make_ti(0x0000000000000000LL, 0x0000000200000000LL)))  in main()
104     if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000200000000LL),  in main()
105                      make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFE00000000LL)))  in main()
107     if (test__negti2(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL),  in main()
108                      make_ti(0x0000000000000000LL, 0x0000000100000000LL)))  in main()
110     if (test__negti2(make_ti(0x0000000000000000LL, 0x0000000100000000LL),  in main()
111                      make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFF00000000LL)))  in main()
113     if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000000LL),  in main()
114                      make_ti(0x8000000000000000LL, 0x0000000000000000LL)))  in main()
116     if (test__negti2(make_ti(0x8000000000000000LL, 0x0000000000000001LL),  in main()
117                      make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))  in main()
119     if (test__negti2(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),  in main()
120                      make_ti(0x8000000000000000LL, 0x0000000000000001LL)))  in main()