47     if (test__powixf2(INFINITY, 0, 1))  in main()
58     if (test__powixf2(-INFINITY, 0, 1))  in main()
100     if (test__powixf2(INFINITY, 1, INFINITY))  in main()
102     if (test__powixf2(INFINITY, 2, INFINITY))  in main()
104     if (test__powixf2(INFINITY, 3, INFINITY))  in main()
106     if (test__powixf2(INFINITY, 4, INFINITY))  in main()
108     if (test__powixf2(INFINITY, 0x7FFFFFFE, INFINITY))  in main()
110     if (test__powixf2(INFINITY, 0x7FFFFFFF, INFINITY))  in main()
113     if (test__powixf2(-INFINITY, 1, -INFINITY))  in main()
115     if (test__powixf2(-INFINITY, 2, INFINITY))  in main()
117     if (test__powixf2(-INFINITY, 3, -INFINITY))  in main()
119     if (test__powixf2(-INFINITY, 4, INFINITY))  in main()
121     if (test__powixf2(-INFINITY, 0x7FFFFFFE, INFINITY))  in main()
123     if (test__powixf2(-INFINITY, 0x7FFFFFFF, -INFINITY))  in main()
126     if (test__powixf2(0, -1, INFINITY))  in main()
128     if (test__powixf2(0, -2, INFINITY))  in main()
130     if (test__powixf2(0, -3, INFINITY))  in main()
132     if (test__powixf2(0, -4, INFINITY))  in main()
134     if (test__powixf2(0, 0x80000002, INFINITY))  in main()
136     if (test__powixf2(0, 0x80000001, INFINITY))  in main()
138     if (test__powixf2(0, 0x80000000, INFINITY))  in main()
141     if (test__powixf2(-0., -1, -INFINITY))  in main()
143     if (test__powixf2(-0., -2, INFINITY))  in main()
145     if (test__powixf2(-0., -3, -INFINITY))  in main()
147     if (test__powixf2(-0., -4, INFINITY))  in main()
149     if (test__powixf2(-0., 0x80000002, INFINITY))  in main()
151     if (test__powixf2(-0., 0x80000001, -INFINITY))  in main()
153     if (test__powixf2(-0., 0x80000000, INFINITY))  in main()
171     if (test__powixf2(INFINITY, -1, 0))  in main()
173     if (test__powixf2(INFINITY, -2, 0))  in main()
175     if (test__powixf2(INFINITY, -3, 0))  in main()
177     if (test__powixf2(INFINITY, -4, 0))  in main()
179     if (test__powixf2(INFINITY, 0x80000002, 0))  in main()
181     if (test__powixf2(INFINITY, 0x80000001, 0))  in main()
183     if (test__powixf2(INFINITY, 0x80000000, 0))  in main()
186     if (test__powixf2(-INFINITY, -1, -0.))  in main()
188     if (test__powixf2(-INFINITY, -2, 0))  in main()
190     if (test__powixf2(-INFINITY, -3, -0.))  in main()
192     if (test__powixf2(-INFINITY, -4, 0))  in main()
194     if (test__powixf2(-INFINITY, 0x80000002, 0))  in main()
196     if (test__powixf2(-INFINITY, 0x80000001, -0.))  in main()
198     if (test__powixf2(-INFINITY, 0x80000000, 0))  in main()