1 /* Unit test suite for Rtl large integer functions
2  *
3  * Copyright 2003 Thomas Mertes
4  *
5  * This library is free software; you can redistribute it and/or
6  * modify it under the terms of the GNU Lesser General Public
7  * License as published by the Free Software Foundation; either
8  * version 2.1 of the License, or (at your option) any later version.
9  *
10  * This library is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13  * Lesser General Public License for more details.
14  *
15  * You should have received a copy of the GNU Lesser General Public
16  * License along with this library; if not, write to the Free Software
17  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
18  *
19  * NOTES
20  * We use function pointers here as there is no import library for NTDLL on
21  * windows.
22  */
23 
24 #include <stdlib.h>
25 
26 #include "ntdll_test.h"
27 
28 
29 /* Function ptrs for ntdll calls */
30 static HMODULE hntdll = 0;
31 static LONGLONG (WINAPI *pRtlExtendedMagicDivide)(LONGLONG, LONGLONG, INT);
32 static VOID     (WINAPI *pRtlFreeAnsiString)(PSTRING);
33 static NTSTATUS (WINAPI *pRtlInt64ToUnicodeString)(ULONGLONG, ULONG, UNICODE_STRING *);
34 static NTSTATUS (WINAPI *pRtlLargeIntegerToChar)(ULONGLONG *, ULONG, ULONG, PCHAR);
35 static NTSTATUS (WINAPI *pRtlUnicodeStringToAnsiString)(STRING *, const UNICODE_STRING *, BOOLEAN);
36 
37 
38 static void InitFunctionPtrs(void)
39 {
40     hntdll = LoadLibraryA("ntdll.dll");
41     ok(hntdll != 0, "LoadLibrary failed\n");
42     if (hntdll) {
43 	pRtlExtendedMagicDivide = (void *)GetProcAddress(hntdll, "RtlExtendedMagicDivide");
44 	pRtlFreeAnsiString = (void *)GetProcAddress(hntdll, "RtlFreeAnsiString");
45 	pRtlInt64ToUnicodeString = (void *)GetProcAddress(hntdll, "RtlInt64ToUnicodeString");
46 	pRtlLargeIntegerToChar = (void *)GetProcAddress(hntdll, "RtlLargeIntegerToChar");
47 	pRtlUnicodeStringToAnsiString = (void *)GetProcAddress(hntdll, "RtlUnicodeStringToAnsiString");
48     } /* if */
49 }
50 
51 #define ULL(a,b) (((ULONGLONG)(a) << 32) | (b))
52 
53 typedef struct {
54     LONGLONG a;
55     LONGLONG b;
56     INT shift;
57     LONGLONG result;
58 } magic_divide_t;
59 
60 static const magic_divide_t magic_divide[] = {
61     {                          3,  ULL(0x55555555,0x55555555), 0,                   0}, /* 1 */
62     {                  333333333,  ULL(0x55555555,0x55555555), 0,           111111110}, /* 111111111 */
63     { ULL(0x7fffffff,0xffffffff),  ULL(0x55555555,0x55555555), 0,  ULL(0x2aaaaaaa,0xaaaaaaaa)},
64     {                          3,  ULL(0xaaaaaaaa,0xaaaaaaaa), 1,                   0}, /* 1 */
65     {                  333333333,  ULL(0xaaaaaaaa,0xaaaaaaaa), 1,           111111110}, /* 111111111 */
66     { ULL(0x7fffffff,0xffffffff),  ULL(0xaaaaaaaa,0xaaaaaaaa), 1,  ULL(0x2aaaaaaa,0xaaaaaaaa)},
67     {                         -3,  ULL(0x55555555,0x55555555), 0,                   0}, /* -1 */
68     {                 -333333333,  ULL(0x55555555,0x55555555), 0,          -111111110}, /* -111111111 */
69     {-ULL(0x7fffffff,0xffffffff),  ULL(0x55555555,0x55555555), 0, -ULL(0x2aaaaaaa,0xaaaaaaaa)},
70     {                         -3,  ULL(0xaaaaaaaa,0xaaaaaaaa), 1,                   0}, /* -1 */
71     {                 -333333333,  ULL(0xaaaaaaaa,0xaaaaaaaa), 1,          -111111110}, /* -111111111 */
72     {-ULL(0x7fffffff,0xffffffff),  ULL(0xaaaaaaaa,0xaaaaaaaa), 1, -ULL(0x2aaaaaaa,0xaaaaaaaa)},
73     {                         -3, -ULL(0x55555555,0x55555555), 0,                  -2}, /* -1 */
74     {                 -333333333, -ULL(0x55555555,0x55555555), 0,          -222222222}, /* -111111111 */
75     {-ULL(0x7fffffff,0xffffffff), -ULL(0x55555555,0x55555555), 0, -ULL(0x55555555,0x55555554)},
76     {                         -3, -ULL(0xaaaaaaaa,0xaaaaaaaa), 1,                   0}, /* -1 */
77     {                 -333333333, -ULL(0xaaaaaaaa,0xaaaaaaaa), 1,           -55555555}, /* -111111111 */
78     {-ULL(0x7fffffff,0xffffffff), -ULL(0xaaaaaaaa,0xaaaaaaaa), 1, -ULL(0x15555555,0x55555555)},
79     {                          3, -ULL(0x55555555,0x55555555), 0,                   2}, /* -1 */
80     {                  333333333, -ULL(0x55555555,0x55555555), 0,           222222222}, /* -111111111 */
81     { ULL(0x7fffffff,0xffffffff), -ULL(0x55555555,0x55555555), 0,  ULL(0x55555555,0x55555554)},
82     {                          3, -ULL(0xaaaaaaaa,0xaaaaaaaa), 1,                   0}, /* -1 */
83     {                  333333333, -ULL(0xaaaaaaaa,0xaaaaaaaa), 1,            55555555}, /* -111111111 */
84     { ULL(0x7fffffff,0xffffffff), -ULL(0xaaaaaaaa,0xaaaaaaaa), 1,  ULL(0x15555555,0x55555555)},
85     {                          3,  ULL(0xaaaaaaaa,0xaaaaa800), 1,                   0}, /* 1 */
86     {                  333333333,  ULL(0xaaaaaaaa,0xaaaaa800), 1,           111111110}, /* 111111111 */
87     { ULL(0x7fffffff,0xffffffff),  ULL(0xaaaaaaaa,0xaaaaa800), 1,  ULL(0x2aaaaaaa,0xaaaaa9ff)}, /* 0x2aaaaaaaaaaaaaaa */
88     {                          5,  ULL(0x33333333,0x333333ff), 0,                   1},
89     {                  555555555,  ULL(0x33333333,0x333333ff), 0,           111111111},
90     { ULL(0x7fffffff,0xffffffff),  ULL(0x33333333,0x333333ff), 0,  ULL(0x19999999,0x999999ff)}, /* 0x199999999999999a */
91     {                          5,  ULL(0x66666666,0x666667fe), 1,                   1},
92     {                  555555555,  ULL(0x66666666,0x666667fe), 1,           111111111},
93     { ULL(0x7fffffff,0xffffffff),  ULL(0x66666666,0x666667fe), 1,  ULL(0x19999999,0x999999ff)}, /* 0x199999999999999a */
94     {                          5,  ULL(0xcccccccc,0xcccccffd), 2,                   1},
95     {                  555555555,  ULL(0xcccccccc,0xcccccffd), 2,           111111111},
96     { ULL(0x7fffffff,0xffffffff),  ULL(0xcccccccc,0xcccccffd), 2,  ULL(0x19999999,0x999999ff)}, /* 0x199999999999999a */
97     { ULL(0x00000add,0xcafeface),  ULL(0x002f1e28,0xfd1b5cca), 33,                  1},
98     { ULL(0x081ac1b9,0xc2310a80),  ULL(0x002f1e28,0xfd1b5cca), 33,             0xbeef},
99     { ULL(0x74ae3b5f,0x1558c800),  ULL(0x002f1e28,0xfd1b5cca), 33,            0xabcde},
100     { ULL(0x00000add,0xcafeface),  ULL(0x2f1e28fd,0x1b5cca00), 41,                  1},
101     { ULL(0x081ac1b9,0xc2310a80),  ULL(0x2f1e28fd,0x1b5cca00), 41,             0xbeef},
102     { ULL(0x74ae3b5f,0x1558c800),  ULL(0x2f1e28fd,0x1b5cca00), 41,            0xabcde},
103 
104 };
105 #define NB_MAGIC_DIVIDE (sizeof(magic_divide)/sizeof(*magic_divide))
106 
107 
108 static void test_RtlExtendedMagicDivide(void)
109 {
110     int i;
111     LONGLONG result;
112 
113     for (i = 0; i < NB_MAGIC_DIVIDE; i++) {
114 	result = pRtlExtendedMagicDivide(magic_divide[i].a, magic_divide[i].b, magic_divide[i].shift);
115 	ok(result == magic_divide[i].result,
116            "call failed: RtlExtendedMagicDivide(0x%x%08x, 0x%x%08x, %d) has result 0x%x%08x, expected 0x%x%08x\n",
117 	   (DWORD)(magic_divide[i].a >> 32), (DWORD)magic_divide[i].a, (DWORD)(magic_divide[i].b >> 32),
118 	   (DWORD)magic_divide[i].b, magic_divide[i].shift, (DWORD)(result >> 32), (DWORD)result,
119 	   (DWORD)(magic_divide[i].result >> 32), (DWORD)magic_divide[i].result);
120     }
121 }
122 
123 
124 #define LARGE_STRI_BUFFER_LENGTH 67
125 
126 typedef struct {
127     int base;
128     ULONGLONG value;
129     USHORT Length;
130     USHORT MaximumLength;
131     const char *Buffer;
132     NTSTATUS result;
133 } largeint2str_t;
134 
135 /*
136  * The native DLL does produce garbage or STATUS_BUFFER_OVERFLOW for
137  * base 2, 8 and 16 when the value is larger than 0xFFFFFFFF.
138  * Therefore these testcases are commented out.
139  */
140 
141 static const largeint2str_t largeint2str[] = {
142     {10,          123,  3, 11, "123\0---------------------------------------------------------------", STATUS_SUCCESS},
143 
144     { 0,  0x80000000U, 10, 11, "2147483648\0--------------------------------------------------------", STATUS_SUCCESS},
145     { 0,  -2147483647, 20, 21, "18446744071562067969\0----------------------------------------------", STATUS_SUCCESS},
146     { 0,           -2, 20, 21, "18446744073709551614\0----------------------------------------------", STATUS_SUCCESS},
147     { 0,           -1, 20, 21, "18446744073709551615\0----------------------------------------------", STATUS_SUCCESS},
148     { 0,            0,  1, 11, "0\0-----------------------------------------------------------------", STATUS_SUCCESS},
149     { 0,            1,  1, 11, "1\0-----------------------------------------------------------------", STATUS_SUCCESS},
150     { 0,           12,  2, 11, "12\0----------------------------------------------------------------", STATUS_SUCCESS},
151     { 0,          123,  3, 11, "123\0---------------------------------------------------------------", STATUS_SUCCESS},
152     { 0,         1234,  4, 11, "1234\0--------------------------------------------------------------", STATUS_SUCCESS},
153     { 0,        12345,  5, 11, "12345\0-------------------------------------------------------------", STATUS_SUCCESS},
154     { 0,       123456,  6, 11, "123456\0------------------------------------------------------------", STATUS_SUCCESS},
155     { 0,      1234567,  7, 11, "1234567\0-----------------------------------------------------------", STATUS_SUCCESS},
156     { 0,     12345678,  8, 11, "12345678\0----------------------------------------------------------", STATUS_SUCCESS},
157     { 0,    123456789,  9, 11, "123456789\0---------------------------------------------------------", STATUS_SUCCESS},
158     { 0,   2147483646, 10, 11, "2147483646\0--------------------------------------------------------", STATUS_SUCCESS},
159     { 0,   2147483647, 10, 11, "2147483647\0--------------------------------------------------------", STATUS_SUCCESS},
160     { 0,  2147483648U, 10, 11, "2147483648\0--------------------------------------------------------", STATUS_SUCCESS},
161     { 0,  2147483649U, 10, 11, "2147483649\0--------------------------------------------------------", STATUS_SUCCESS},
162     { 0,  4294967294U, 10, 11, "4294967294\0--------------------------------------------------------", STATUS_SUCCESS},
163     { 0,  4294967295U, 10, 11, "4294967295\0--------------------------------------------------------", STATUS_SUCCESS},
164     { 0,  ULL(0x2,0xdfdc1c35), 11, 12, "12345678901\0-------------------------------------------------------", STATUS_SUCCESS},
165     { 0,  ULL(0xe5,0xf4c8f374), 12, 13, "987654321012\0------------------------------------------------------", STATUS_SUCCESS},
166     { 0,  ULL(0x1c0,0xfc161e3e), 13, 14, "1928374656574\0-----------------------------------------------------", STATUS_SUCCESS},
167     { 0, ULL(0xbad,0xcafeface), 14, 15, "12841062955726\0----------------------------------------------------", STATUS_SUCCESS},
168     { 0, ULL(0x5bad,0xcafeface), 15, 16, "100801993177806\0---------------------------------------------------", STATUS_SUCCESS},
169     { 0, ULL(0xaface,0xbeefcafe), 16, 20, "3090515640699646\0--------------------------------------------------", STATUS_SUCCESS},
170     { 0, ULL(0xa5beef,0xabcdcafe), 17, 20, "46653307746110206\0-------------------------------------------------", STATUS_SUCCESS},
171     { 0, ULL(0x1f8cf9b,0xf2df3af1), 18, 20, "142091656963767025\0------------------------------------------------", STATUS_SUCCESS},
172     { 0, ULL(0x0fffffff,0xffffffff), 19, 20, "1152921504606846975\0-----------------------------------------------", STATUS_SUCCESS},
173     { 0, ULL(0xffffffff,0xfffffffe), 20, 21, "18446744073709551614\0----------------------------------------------", STATUS_SUCCESS},
174     { 0, ULL(0xffffffff,0xffffffff), 20, 21, "18446744073709551615\0----------------------------------------------", STATUS_SUCCESS},
175 
176     { 2,  0x80000000U, 32, 33, "10000000000000000000000000000000\0----------------------------------", STATUS_SUCCESS},
177 /*
178  *  { 2,  -2147483647, 64, 65, "1111111111111111111111111111111110000000000000000000000000000001\0--", STATUS_SUCCESS},
179  *  { 2,           -2, 64, 65, "1111111111111111111111111111111111111111111111111111111111111110\0--", STATUS_SUCCESS},
180  *  { 2,           -1, 64, 65, "1111111111111111111111111111111111111111111111111111111111111111\0--", STATUS_SUCCESS},
181  */
182     { 2,            0,  1, 33, "0\0-----------------------------------------------------------------", STATUS_SUCCESS},
183     { 2,            1,  1, 33, "1\0-----------------------------------------------------------------", STATUS_SUCCESS},
184     { 2,           10,  4, 33, "1010\0--------------------------------------------------------------", STATUS_SUCCESS},
185     { 2,          100,  7, 33, "1100100\0-----------------------------------------------------------", STATUS_SUCCESS},
186     { 2,         1000, 10, 33, "1111101000\0--------------------------------------------------------", STATUS_SUCCESS},
187     { 2,        10000, 14, 33, "10011100010000\0----------------------------------------------------", STATUS_SUCCESS},
188     { 2,        32767, 15, 33, "111111111111111\0---------------------------------------------------", STATUS_SUCCESS},
189     { 2,        32768, 16, 33, "1000000000000000\0--------------------------------------------------", STATUS_SUCCESS},
190     { 2,        65535, 16, 33, "1111111111111111\0--------------------------------------------------", STATUS_SUCCESS},
191     { 2,       100000, 17, 33, "11000011010100000\0-------------------------------------------------", STATUS_SUCCESS},
192     { 2,      1000000, 20, 33, "11110100001001000000\0----------------------------------------------", STATUS_SUCCESS},
193     { 2,     10000000, 24, 33, "100110001001011010000000\0------------------------------------------", STATUS_SUCCESS},
194     { 2,    100000000, 27, 33, "101111101011110000100000000\0---------------------------------------", STATUS_SUCCESS},
195     { 2,   1000000000, 30, 33, "111011100110101100101000000000\0------------------------------------", STATUS_SUCCESS},
196     { 2,   1073741823, 30, 33, "111111111111111111111111111111\0------------------------------------", STATUS_SUCCESS},
197     { 2,   2147483646, 31, 33, "1111111111111111111111111111110\0-----------------------------------", STATUS_SUCCESS},
198     { 2,   2147483647, 31, 33, "1111111111111111111111111111111\0-----------------------------------", STATUS_SUCCESS},
199     { 2,  2147483648U, 32, 33, "10000000000000000000000000000000\0----------------------------------", STATUS_SUCCESS},
200     { 2,  2147483649U, 32, 33, "10000000000000000000000000000001\0----------------------------------", STATUS_SUCCESS},
201     { 2,  4294967294U, 32, 33, "11111111111111111111111111111110\0----------------------------------", STATUS_SUCCESS},
202     { 2,   0xFFFFFFFF, 32, 33, "11111111111111111111111111111111\0----------------------------------", STATUS_SUCCESS},
203 /*
204  *  { 2,  0x1FFFFFFFF, 33, 34, "111111111111111111111111111111111\0---------------------------------", STATUS_SUCCESS},
205  *  { 2,  0x3FFFFFFFF, 34, 35, "1111111111111111111111111111111111\0--------------------------------", STATUS_SUCCESS},
206  *  { 2,  0x7FFFFFFFF, 35, 36, "11111111111111111111111111111111111\0-------------------------------", STATUS_SUCCESS},
207  *  { 2,  0xFFFFFFFFF, 36, 37, "111111111111111111111111111111111111\0------------------------------", STATUS_SUCCESS},
208  *  { 2, 0x1FFFFFFFFF, 37, 38, "1111111111111111111111111111111111111\0-----------------------------", STATUS_SUCCESS},
209  *  { 2, 0x3FFFFFFFFF, 38, 39, "11111111111111111111111111111111111111\0----------------------------", STATUS_SUCCESS},
210  *  { 2, 0x7FFFFFFFFF, 39, 40, "111111111111111111111111111111111111111\0---------------------------", STATUS_SUCCESS},
211  *  { 2, 0xFFFFFFFFFF, 40, 41, "1111111111111111111111111111111111111111\0--------------------------", STATUS_SUCCESS},
212  */
213 
214     { 8,  0x80000000U, 11, 12, "20000000000\0-------------------------------------------------------", STATUS_SUCCESS},
215 /*
216  *  { 8,  -2147483647, 22, 23, "1777777777760000000001\0--------------------------------------------", STATUS_SUCCESS},
217  *  { 8,           -2, 22, 23, "1777777777777777777776\0--------------------------------------------", STATUS_SUCCESS},
218  *  { 8,           -1, 22, 23, "1777777777777777777777\0--------------------------------------------", STATUS_SUCCESS},
219  */
220     { 8,            0,  1, 12, "0\0-----------------------------------------------------------------", STATUS_SUCCESS},
221     { 8,            1,  1, 12, "1\0-----------------------------------------------------------------", STATUS_SUCCESS},
222     { 8,   2147483646, 11, 12, "17777777776\0-------------------------------------------------------", STATUS_SUCCESS},
223     { 8,   2147483647, 11, 12, "17777777777\0-------------------------------------------------------", STATUS_SUCCESS},
224     { 8,  2147483648U, 11, 12, "20000000000\0-------------------------------------------------------", STATUS_SUCCESS},
225     { 8,  2147483649U, 11, 12, "20000000001\0-------------------------------------------------------", STATUS_SUCCESS},
226     { 8,  4294967294U, 11, 12, "37777777776\0-------------------------------------------------------", STATUS_SUCCESS},
227     { 8,  4294967295U, 11, 12, "37777777777\0-------------------------------------------------------", STATUS_SUCCESS},
228 
229     {10,  0x80000000U, 10, 11, "2147483648\0--------------------------------------------------------", STATUS_SUCCESS},
230     {10,  -2147483647, 20, 21, "18446744071562067969\0----------------------------------------------", STATUS_SUCCESS},
231     {10,           -2, 20, 21, "18446744073709551614\0----------------------------------------------", STATUS_SUCCESS},
232     {10,           -1, 20, 21, "18446744073709551615\0----------------------------------------------", STATUS_SUCCESS},
233     {10,            0,  1, 11, "0\0-----------------------------------------------------------------", STATUS_SUCCESS},
234     {10,            1,  1, 11, "1\0-----------------------------------------------------------------", STATUS_SUCCESS},
235     {10,   2147483646, 10, 11, "2147483646\0--------------------------------------------------------", STATUS_SUCCESS},
236     {10,   2147483647, 10, 11, "2147483647\0--------------------------------------------------------", STATUS_SUCCESS},
237     {10,  2147483648U, 10, 11, "2147483648\0--------------------------------------------------------", STATUS_SUCCESS},
238     {10,  2147483649U, 10, 11, "2147483649\0--------------------------------------------------------", STATUS_SUCCESS},
239     {10,  4294967294U, 10, 11, "4294967294\0--------------------------------------------------------", STATUS_SUCCESS},
240     {10,  4294967295U, 10, 11, "4294967295\0--------------------------------------------------------", STATUS_SUCCESS},
241 
242     {16,                  0,  1,  9, "0\0-----------------------------------------------------------------", STATUS_SUCCESS},
243     {16,                  1,  1,  9, "1\0-----------------------------------------------------------------", STATUS_SUCCESS},
244     {16,         2147483646,  8,  9, "7FFFFFFE\0----------------------------------------------------------", STATUS_SUCCESS},
245     {16,         2147483647,  8,  9, "7FFFFFFF\0----------------------------------------------------------", STATUS_SUCCESS},
246     {16,         0x80000000,  8,  9, "80000000\0----------------------------------------------------------", STATUS_SUCCESS},
247     {16,         0x80000001,  8,  9, "80000001\0----------------------------------------------------------", STATUS_SUCCESS},
248     {16,         0xFFFFFFFE,  8,  9, "FFFFFFFE\0----------------------------------------------------------", STATUS_SUCCESS},
249     {16,         0xFFFFFFFF,  8,  9, "FFFFFFFF\0----------------------------------------------------------", STATUS_SUCCESS},
250 /*
251  *  {16,        0x100000000,  9, 10, "100000000\0---------------------------------------------------------", STATUS_SUCCESS},
252  *  {16,      0xBADDEADBEEF, 11, 12, "BADDEADBEEF\0-------------------------------------------------------", STATUS_SUCCESS},
253  *  {16, 0x8000000000000000, 16, 17, "8000000000000000\0--------------------------------------------------", STATUS_SUCCESS},
254  *  {16, 0xFEDCBA9876543210, 16, 17, "FEDCBA9876543210\0--------------------------------------------------", STATUS_SUCCESS},
255  *  {16, 0xFFFFFFFF80000001, 16, 17, "FFFFFFFF80000001\0--------------------------------------------------", STATUS_SUCCESS},
256  *  {16, 0xFFFFFFFFFFFFFFFE, 16, 17, "FFFFFFFFFFFFFFFE\0--------------------------------------------------", STATUS_SUCCESS},
257  *  {16, 0xFFFFFFFFFFFFFFFF, 16, 17, "FFFFFFFFFFFFFFFF\0--------------------------------------------------", STATUS_SUCCESS},
258  */
259 
260     { 2,        32768, 16, 17, "1000000000000000\0--------------------------------------------------", STATUS_SUCCESS},
261     { 2,        32768, 16, 16, "1000000000000000---------------------------------------------------",  STATUS_SUCCESS},
262     { 2,        65536, 17, 18, "10000000000000000\0-------------------------------------------------", STATUS_SUCCESS},
263     { 2,        65536, 17, 17, "10000000000000000--------------------------------------------------",  STATUS_SUCCESS},
264     { 2,       131072, 18, 19, "100000000000000000\0------------------------------------------------", STATUS_SUCCESS},
265     { 2,       131072, 18, 18, "100000000000000000-------------------------------------------------",  STATUS_SUCCESS},
266     {16,   0xffffffff,  8,  9, "FFFFFFFF\0----------------------------------------------------------", STATUS_SUCCESS},
267     {16,   0xffffffff,  8,  8, "FFFFFFFF-----------------------------------------------------------",  STATUS_SUCCESS},
268     {16,   0xffffffff,  8,  7, "-------------------------------------------------------------------",  STATUS_BUFFER_OVERFLOW},
269     {16,          0xa,  1,  2, "A\0-----------------------------------------------------------------", STATUS_SUCCESS},
270     {16,          0xa,  1,  1, "A------------------------------------------------------------------",  STATUS_SUCCESS},
271     {16,            0,  1,  0, "-------------------------------------------------------------------",  STATUS_BUFFER_OVERFLOW},
272     {20,   0xdeadbeef,  0,  9, "-------------------------------------------------------------------",  STATUS_INVALID_PARAMETER},
273     {-8,     07654321,  0, 12, "-------------------------------------------------------------------",  STATUS_INVALID_PARAMETER},
274 };
275 #define NB_LARGEINT2STR (sizeof(largeint2str)/sizeof(*largeint2str))
276 
277 
278 static void one_RtlInt64ToUnicodeString_test(int test_num, const largeint2str_t *largeint2str)
279 {
280     int pos;
281     WCHAR expected_str_Buffer[LARGE_STRI_BUFFER_LENGTH + 1];
282     UNICODE_STRING expected_unicode_string;
283     STRING expected_ansi_str;
284     WCHAR str_Buffer[LARGE_STRI_BUFFER_LENGTH + 1];
285     UNICODE_STRING unicode_string;
286     STRING ansi_str;
287     NTSTATUS result;
288 
289 #ifdef _WIN64
290     if (largeint2str->value >> 32 == 0xffffffff)  /* this crashes on 64-bit Vista */
291     {
292         skip( "Value ffffffff%08x broken on 64-bit windows\n", (DWORD)largeint2str->value );
293         return;
294     }
295 #endif
296 
297     for (pos = 0; pos < LARGE_STRI_BUFFER_LENGTH; pos++) {
298 	expected_str_Buffer[pos] = largeint2str->Buffer[pos];
299     } /* for */
300     expected_unicode_string.Length = largeint2str->Length * sizeof(WCHAR);
301     expected_unicode_string.MaximumLength = largeint2str->MaximumLength * sizeof(WCHAR);
302     expected_unicode_string.Buffer = expected_str_Buffer;
303     pRtlUnicodeStringToAnsiString(&expected_ansi_str, &expected_unicode_string, 1);
304 
305     for (pos = 0; pos < LARGE_STRI_BUFFER_LENGTH; pos++) {
306 	str_Buffer[pos] = '-';
307     } /* for */
308     unicode_string.Length = 0;
309     unicode_string.MaximumLength = largeint2str->MaximumLength * sizeof(WCHAR);
310     unicode_string.Buffer = str_Buffer;
311 
312     if (largeint2str->base == 0) {
313 	result = pRtlInt64ToUnicodeString(largeint2str->value, 10, &unicode_string);
314     } else {
315 	result = pRtlInt64ToUnicodeString(largeint2str->value, largeint2str->base, &unicode_string);
316     } /* if */
317     pRtlUnicodeStringToAnsiString(&ansi_str, &unicode_string, 1);
318     if (result == STATUS_BUFFER_OVERFLOW) {
319 	/* On BUFFER_OVERFLOW the string Buffer should be unchanged */
320 	for (pos = 0; pos < LARGE_STRI_BUFFER_LENGTH; pos++) {
321 	    expected_str_Buffer[pos] = '-';
322 	} /* for */
323 	/* w2k: The native function has two reasons for BUFFER_OVERFLOW: */
324 	/* If the value is too large to convert: The Length is unchanged */
325 	/* If str is too small to hold the string: Set str->Length to the length */
326 	/* the string would have (which can be larger than the MaximumLength). */
327 	/* To allow all this in the tests we do the following: */
328 	if (expected_unicode_string.Length >= 64) {
329 	    /* The value is too large to convert only triggered when testing native */
330 	    /* Length is not filled with the expected string length (garbage?) */
331 	    expected_unicode_string.Length = unicode_string.Length;
332 	} /* if */
333     } else {
334 	ok(result == largeint2str->result,
335            "(test %d): RtlInt64ToUnicodeString(0x%x%08x, %d, [out]) has result %x, expected: %x\n",
336 	   test_num, (DWORD)(largeint2str->value >> 32), (DWORD)largeint2str->value,
337 	   largeint2str->base, result, largeint2str->result);
338 	if (result == STATUS_SUCCESS) {
339 	    ok(unicode_string.Buffer[unicode_string.Length/sizeof(WCHAR)] == '\0',
340                "(test %d): RtlInt64ToUnicodeString(0x%x%08x, %d, [out]) string \"%s\" is not NULL terminated\n",
341 	       test_num, (DWORD)(largeint2str->value >> 32), (DWORD)largeint2str->value,
342 	       largeint2str->base, ansi_str.Buffer);
343 	} /* if */
344     } /* if */
345     ok(memcmp(unicode_string.Buffer, expected_unicode_string.Buffer, LARGE_STRI_BUFFER_LENGTH * sizeof(WCHAR)) == 0,
346        "(test %d): RtlInt64ToUnicodeString(0x%x%08x, %d, [out]) assigns string \"%s\", expected: \"%s\"\n",
347        test_num, (DWORD)(largeint2str->value >>32), (DWORD)largeint2str->value, largeint2str->base,
348        ansi_str.Buffer, expected_ansi_str.Buffer);
349     ok(unicode_string.Length == expected_unicode_string.Length,
350        "(test %d): RtlInt64ToUnicodeString(0x%x%08x, %d, [out]) string has Length %d, expected: %d\n",
351        test_num, (DWORD)(largeint2str->value >> 32), (DWORD)largeint2str->value, largeint2str->base,
352        unicode_string.Length, expected_unicode_string.Length);
353     ok(unicode_string.MaximumLength == expected_unicode_string.MaximumLength,
354        "(test %d): RtlInt64ToUnicodeString(0x%x%08x, %d, [out]) string has MaximumLength %d, expected: %d\n",
355        test_num, (DWORD)(largeint2str->value >> 32), (DWORD)largeint2str->value, largeint2str->base,
356        unicode_string.MaximumLength, expected_unicode_string.MaximumLength);
357     pRtlFreeAnsiString(&expected_ansi_str);
358     pRtlFreeAnsiString(&ansi_str);
359 }
360 
361 
362 static void test_RtlInt64ToUnicodeString(void)
363 {
364     int test_num;
365 
366     for (test_num = 0; test_num < NB_LARGEINT2STR; test_num++) {
367 	one_RtlInt64ToUnicodeString_test(test_num, &largeint2str[test_num]);
368     } /* for */
369 }
370 
371 
372 static void one_RtlLargeIntegerToChar_test(int test_num, const largeint2str_t *largeint2str)
373 {
374     NTSTATUS result;
375     char dest_str[LARGE_STRI_BUFFER_LENGTH + 1];
376     ULONGLONG value;
377 
378 #ifdef _WIN64
379     if (largeint2str->value >> 32 == 0xffffffff)  /* this crashes on 64-bit Vista */
380     {
381         skip( "Value ffffffff%08x broken on 64-bit windows\n", (DWORD)largeint2str->value );
382         return;
383     }
384 #endif
385 
386     memset(dest_str, '-', LARGE_STRI_BUFFER_LENGTH);
387     dest_str[LARGE_STRI_BUFFER_LENGTH] = '\0';
388     value = largeint2str->value;
389     if (largeint2str->base == 0) {
390 	result = pRtlLargeIntegerToChar(&value, 10, largeint2str->MaximumLength, dest_str);
391     } else {
392 	result = pRtlLargeIntegerToChar(&value, largeint2str->base, largeint2str->MaximumLength, dest_str);
393     } /* if */
394     ok(result == largeint2str->result,
395        "(test %d): RtlLargeIntegerToChar(0x%x%08x, %d, %d, [out]) has result %x, expected: %x\n",
396        test_num, (DWORD)(largeint2str->value >> 32), (DWORD)largeint2str->value, largeint2str->base,
397        largeint2str->MaximumLength, result, largeint2str->result);
398     ok(memcmp(dest_str, largeint2str->Buffer, LARGE_STRI_BUFFER_LENGTH) == 0,
399        "(test %d): RtlLargeIntegerToChar(0x%x%08x, %d, %d, [out]) assigns string \"%s\", expected: \"%s\"\n",
400        test_num, (DWORD)(largeint2str->value >> 32), (DWORD)largeint2str->value, largeint2str->base,
401        largeint2str->MaximumLength, dest_str, largeint2str->Buffer);
402 }
403 
404 
405 static void test_RtlLargeIntegerToChar(void)
406 {
407     NTSTATUS result;
408     int test_num;
409     ULONGLONG value;
410 
411     for (test_num = 0; test_num < NB_LARGEINT2STR; test_num++) {
412 	one_RtlLargeIntegerToChar_test(test_num, &largeint2str[test_num]);
413     } /* for */
414 
415     value = largeint2str[0].value;
416     result = pRtlLargeIntegerToChar(&value, 20, largeint2str[0].MaximumLength, NULL);
417     ok(result == STATUS_INVALID_PARAMETER,
418        "(test a): RtlLargeIntegerToChar(0x%x%08x, %d, %d, NULL) has result %x, expected: %x\n",
419        (DWORD)(largeint2str[0].value >> 32), (DWORD)largeint2str[0].value, 20,
420        largeint2str[0].MaximumLength, result, STATUS_INVALID_PARAMETER);
421 
422     result = pRtlLargeIntegerToChar(&value, 20, 0, NULL);
423     ok(result == STATUS_INVALID_PARAMETER,
424        "(test b): RtlLargeIntegerToChar(0x%x%08x, %d, %d, NULL) has result %x, expected: %x\n",
425        (DWORD)(largeint2str[0].value >> 32), (DWORD)largeint2str[0].value, 20,
426        largeint2str[0].MaximumLength, result, STATUS_INVALID_PARAMETER);
427 
428     result = pRtlLargeIntegerToChar(&value, largeint2str[0].base, 0, NULL);
429     ok(result == STATUS_BUFFER_OVERFLOW,
430        "(test c): RtlLargeIntegerToChar(0x%x%08x, %d, %d, NULL) has result %x, expected: %x\n",
431        (DWORD)(largeint2str[0].value >> 32), (DWORD)largeint2str[0].value,
432        largeint2str[0].base, 0, result, STATUS_BUFFER_OVERFLOW);
433 
434     result = pRtlLargeIntegerToChar(&value, largeint2str[0].base, largeint2str[0].MaximumLength, NULL);
435     ok(result == STATUS_ACCESS_VIOLATION,
436        "(test d): RtlLargeIntegerToChar(0x%x%08x, %d, %d, NULL) has result %x, expected: %x\n",
437        (DWORD)(largeint2str[0].value >> 32), (DWORD)largeint2str[0].value,
438        largeint2str[0].base, largeint2str[0].MaximumLength, result, STATUS_ACCESS_VIOLATION);
439 }
440 
441 
442 START_TEST(large_int)
443 {
444     InitFunctionPtrs();
445 
446     if (pRtlExtendedMagicDivide)
447         test_RtlExtendedMagicDivide();
448     if (pRtlInt64ToUnicodeString)
449 	    test_RtlInt64ToUnicodeString();
450     if (pRtlLargeIntegerToChar)
451         test_RtlLargeIntegerToChar();
452 }
453