ager@chromium.org | 9258b6b | 2008-09-11 09:11:10 +0000 | [diff] [blame] | 1 | // Copyright 2006-2008 the V8 project authors. All rights reserved. |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 2 | |
| 3 | // Check that we can traverse very deep stacks of ConsStrings using |
| 4 | // StringInputBuffer. Check that Get(int) works on very deep stacks |
| 5 | // of ConsStrings. These operations may not be very fast, but they |
| 6 | // should be possible without getting errors due to too deep recursion. |
| 7 | |
| 8 | #include <stdlib.h> |
| 9 | |
| 10 | #include "v8.h" |
| 11 | |
ager@chromium.org | 5ec4892 | 2009-05-05 07:25:34 +0000 | [diff] [blame] | 12 | #include "api.h" |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 13 | #include "factory.h" |
| 14 | #include "cctest.h" |
ager@chromium.org | 41826e7 | 2009-03-30 13:30:57 +0000 | [diff] [blame] | 15 | #include "zone-inl.h" |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 16 | |
| 17 | unsigned int seed = 123; |
| 18 | |
| 19 | static uint32_t gen() { |
| 20 | uint64_t z; |
| 21 | z = seed; |
| 22 | z *= 279470273; |
| 23 | z %= 4294967291U; |
| 24 | seed = static_cast<unsigned int>(z); |
| 25 | return static_cast<uint32_t>(seed >> 16); |
| 26 | } |
| 27 | |
| 28 | |
| 29 | using namespace v8::internal; |
| 30 | |
| 31 | static v8::Persistent<v8::Context> env; |
| 32 | |
| 33 | |
| 34 | static void InitializeVM() { |
| 35 | if (env.IsEmpty()) { |
| 36 | v8::HandleScope scope; |
| 37 | const char* extensions[] = { "v8/print" }; |
| 38 | v8::ExtensionConfiguration config(1, extensions); |
| 39 | env = v8::Context::New(&config); |
| 40 | } |
| 41 | v8::HandleScope scope; |
| 42 | env->Enter(); |
| 43 | } |
| 44 | |
| 45 | |
| 46 | static const int NUMBER_OF_BUILDING_BLOCKS = 128; |
| 47 | static const int DEEP_DEPTH = 8 * 1024; |
| 48 | static const int SUPER_DEEP_DEPTH = 80 * 1024; |
| 49 | |
| 50 | |
ager@chromium.org | 4af710e | 2009-09-15 12:20:11 +0000 | [diff] [blame] | 51 | class Resource: public v8::String::ExternalStringResource, |
| 52 | public ZoneObject { |
| 53 | public: |
| 54 | explicit Resource(Vector<const uc16> string): data_(string.start()) { |
| 55 | length_ = string.length(); |
| 56 | } |
| 57 | virtual const uint16_t* data() const { return data_; } |
| 58 | virtual size_t length() const { return length_; } |
| 59 | |
| 60 | private: |
| 61 | const uc16* data_; |
| 62 | size_t length_; |
| 63 | }; |
| 64 | |
| 65 | |
sgjesse@chromium.org | ac6aa17 | 2009-12-04 12:29:05 +0000 | [diff] [blame] | 66 | class AsciiResource: public v8::String::ExternalAsciiStringResource, |
| 67 | public ZoneObject { |
| 68 | public: |
| 69 | explicit AsciiResource(Vector<const char> string): data_(string.start()) { |
| 70 | length_ = string.length(); |
| 71 | } |
| 72 | virtual const char* data() const { return data_; } |
| 73 | virtual size_t length() const { return length_; } |
| 74 | |
| 75 | private: |
| 76 | const char* data_; |
| 77 | size_t length_; |
| 78 | }; |
| 79 | |
| 80 | |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 81 | static void InitializeBuildingBlocks( |
| 82 | Handle<String> building_blocks[NUMBER_OF_BUILDING_BLOCKS]) { |
ager@chromium.org | 41826e7 | 2009-03-30 13:30:57 +0000 | [diff] [blame] | 83 | // A list of pointers that we don't have any interest in cleaning up. |
| 84 | // If they are reachable from a root then leak detection won't complain. |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 85 | for (int i = 0; i < NUMBER_OF_BUILDING_BLOCKS; i++) { |
| 86 | int len = gen() % 16; |
| 87 | if (len > 14) { |
| 88 | len += 1234; |
| 89 | } |
| 90 | switch (gen() % 4) { |
| 91 | case 0: { |
| 92 | uc16 buf[2000]; |
| 93 | for (int j = 0; j < len; j++) { |
| 94 | buf[j] = gen() % 65536; |
| 95 | } |
| 96 | building_blocks[i] = |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 97 | FACTORY->NewStringFromTwoByte(Vector<const uc16>(buf, len)); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 98 | for (int j = 0; j < len; j++) { |
ager@chromium.org | bb29dc9 | 2009-03-24 13:25:23 +0000 | [diff] [blame] | 99 | CHECK_EQ(buf[j], building_blocks[i]->Get(j)); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 100 | } |
| 101 | break; |
| 102 | } |
| 103 | case 1: { |
| 104 | char buf[2000]; |
| 105 | for (int j = 0; j < len; j++) { |
| 106 | buf[j] = gen() % 128; |
| 107 | } |
| 108 | building_blocks[i] = |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 109 | FACTORY->NewStringFromAscii(Vector<const char>(buf, len)); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 110 | for (int j = 0; j < len; j++) { |
ager@chromium.org | bb29dc9 | 2009-03-24 13:25:23 +0000 | [diff] [blame] | 111 | CHECK_EQ(buf[j], building_blocks[i]->Get(j)); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 112 | } |
| 113 | break; |
| 114 | } |
| 115 | case 2: { |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 116 | uc16* buf = ZONE->NewArray<uc16>(len); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 117 | for (int j = 0; j < len; j++) { |
| 118 | buf[j] = gen() % 65536; |
| 119 | } |
| 120 | Resource* resource = new Resource(Vector<const uc16>(buf, len)); |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 121 | building_blocks[i] = FACTORY->NewExternalStringFromTwoByte(resource); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 122 | for (int j = 0; j < len; j++) { |
ager@chromium.org | bb29dc9 | 2009-03-24 13:25:23 +0000 | [diff] [blame] | 123 | CHECK_EQ(buf[j], building_blocks[i]->Get(j)); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 124 | } |
| 125 | break; |
| 126 | } |
| 127 | case 3: { |
| 128 | char* buf = NewArray<char>(len); |
| 129 | for (int j = 0; j < len; j++) { |
| 130 | buf[j] = gen() % 128; |
| 131 | } |
| 132 | building_blocks[i] = |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 133 | FACTORY->NewStringFromAscii(Vector<const char>(buf, len)); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 134 | for (int j = 0; j < len; j++) { |
ager@chromium.org | bb29dc9 | 2009-03-24 13:25:23 +0000 | [diff] [blame] | 135 | CHECK_EQ(buf[j], building_blocks[i]->Get(j)); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 136 | } |
ager@chromium.org | bb29dc9 | 2009-03-24 13:25:23 +0000 | [diff] [blame] | 137 | DeleteArray<char>(buf); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 138 | break; |
| 139 | } |
| 140 | } |
| 141 | } |
| 142 | } |
| 143 | |
| 144 | |
| 145 | static Handle<String> ConstructLeft( |
| 146 | Handle<String> building_blocks[NUMBER_OF_BUILDING_BLOCKS], |
| 147 | int depth) { |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 148 | Handle<String> answer = FACTORY->NewStringFromAscii(CStrVector("")); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 149 | for (int i = 0; i < depth; i++) { |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 150 | answer = FACTORY->NewConsString( |
ager@chromium.org | 870a0b6 | 2008-11-04 11:43:05 +0000 | [diff] [blame] | 151 | answer, |
ager@chromium.org | bb29dc9 | 2009-03-24 13:25:23 +0000 | [diff] [blame] | 152 | building_blocks[i % NUMBER_OF_BUILDING_BLOCKS]); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 153 | } |
| 154 | return answer; |
| 155 | } |
| 156 | |
| 157 | |
| 158 | static Handle<String> ConstructRight( |
| 159 | Handle<String> building_blocks[NUMBER_OF_BUILDING_BLOCKS], |
| 160 | int depth) { |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 161 | Handle<String> answer = FACTORY->NewStringFromAscii(CStrVector("")); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 162 | for (int i = depth - 1; i >= 0; i--) { |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 163 | answer = FACTORY->NewConsString( |
ager@chromium.org | 870a0b6 | 2008-11-04 11:43:05 +0000 | [diff] [blame] | 164 | building_blocks[i % NUMBER_OF_BUILDING_BLOCKS], |
ager@chromium.org | bb29dc9 | 2009-03-24 13:25:23 +0000 | [diff] [blame] | 165 | answer); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 166 | } |
| 167 | return answer; |
| 168 | } |
| 169 | |
| 170 | |
| 171 | static Handle<String> ConstructBalancedHelper( |
| 172 | Handle<String> building_blocks[NUMBER_OF_BUILDING_BLOCKS], |
| 173 | int from, |
| 174 | int to) { |
ager@chromium.org | 3a37e9b | 2009-04-27 09:26:21 +0000 | [diff] [blame] | 175 | CHECK(to > from); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 176 | if (to - from == 1) { |
| 177 | return building_blocks[from % NUMBER_OF_BUILDING_BLOCKS]; |
| 178 | } |
| 179 | if (to - from == 2) { |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 180 | return FACTORY->NewConsString( |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 181 | building_blocks[from % NUMBER_OF_BUILDING_BLOCKS], |
ager@chromium.org | bb29dc9 | 2009-03-24 13:25:23 +0000 | [diff] [blame] | 182 | building_blocks[(from+1) % NUMBER_OF_BUILDING_BLOCKS]); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 183 | } |
ager@chromium.org | 870a0b6 | 2008-11-04 11:43:05 +0000 | [diff] [blame] | 184 | Handle<String> part1 = |
| 185 | ConstructBalancedHelper(building_blocks, from, from + ((to - from) / 2)); |
| 186 | Handle<String> part2 = |
| 187 | ConstructBalancedHelper(building_blocks, from + ((to - from) / 2), to); |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 188 | return FACTORY->NewConsString(part1, part2); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 189 | } |
| 190 | |
| 191 | |
| 192 | static Handle<String> ConstructBalanced( |
| 193 | Handle<String> building_blocks[NUMBER_OF_BUILDING_BLOCKS]) { |
| 194 | return ConstructBalancedHelper(building_blocks, 0, DEEP_DEPTH); |
| 195 | } |
| 196 | |
| 197 | |
| 198 | static StringInputBuffer buffer; |
| 199 | |
| 200 | |
| 201 | static void Traverse(Handle<String> s1, Handle<String> s2) { |
| 202 | int i = 0; |
| 203 | buffer.Reset(*s1); |
| 204 | StringInputBuffer buffer2(*s2); |
| 205 | while (buffer.has_more()) { |
| 206 | CHECK(buffer2.has_more()); |
| 207 | uint16_t c = buffer.GetNext(); |
| 208 | CHECK_EQ(c, buffer2.GetNext()); |
| 209 | i++; |
| 210 | } |
| 211 | CHECK_EQ(s1->length(), i); |
| 212 | CHECK_EQ(s2->length(), i); |
| 213 | } |
| 214 | |
| 215 | |
| 216 | static void TraverseFirst(Handle<String> s1, Handle<String> s2, int chars) { |
| 217 | int i = 0; |
| 218 | buffer.Reset(*s1); |
| 219 | StringInputBuffer buffer2(*s2); |
| 220 | while (buffer.has_more() && i < chars) { |
| 221 | CHECK(buffer2.has_more()); |
| 222 | uint16_t c = buffer.GetNext(); |
| 223 | CHECK_EQ(c, buffer2.GetNext()); |
| 224 | i++; |
| 225 | } |
ager@chromium.org | bb29dc9 | 2009-03-24 13:25:23 +0000 | [diff] [blame] | 226 | s1->Get(s1->length() - 1); |
| 227 | s2->Get(s2->length() - 1); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 228 | } |
| 229 | |
| 230 | |
| 231 | TEST(Traverse) { |
| 232 | printf("TestTraverse\n"); |
| 233 | InitializeVM(); |
| 234 | v8::HandleScope scope; |
| 235 | Handle<String> building_blocks[NUMBER_OF_BUILDING_BLOCKS]; |
danno@chromium.org | 40cb878 | 2011-05-25 07:58:50 +0000 | [diff] [blame] | 236 | ZoneScope zone(Isolate::Current(), DELETE_ON_EXIT); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 237 | InitializeBuildingBlocks(building_blocks); |
| 238 | Handle<String> flat = ConstructBalanced(building_blocks); |
| 239 | FlattenString(flat); |
| 240 | Handle<String> left_asymmetric = ConstructLeft(building_blocks, DEEP_DEPTH); |
| 241 | Handle<String> right_asymmetric = ConstructRight(building_blocks, DEEP_DEPTH); |
| 242 | Handle<String> symmetric = ConstructBalanced(building_blocks); |
| 243 | printf("1\n"); |
| 244 | Traverse(flat, symmetric); |
| 245 | printf("2\n"); |
| 246 | Traverse(flat, left_asymmetric); |
| 247 | printf("3\n"); |
| 248 | Traverse(flat, right_asymmetric); |
| 249 | printf("4\n"); |
| 250 | Handle<String> left_deep_asymmetric = |
| 251 | ConstructLeft(building_blocks, SUPER_DEEP_DEPTH); |
| 252 | Handle<String> right_deep_asymmetric = |
| 253 | ConstructRight(building_blocks, SUPER_DEEP_DEPTH); |
| 254 | printf("5\n"); |
| 255 | TraverseFirst(left_asymmetric, left_deep_asymmetric, 1050); |
| 256 | printf("6\n"); |
| 257 | TraverseFirst(left_asymmetric, right_deep_asymmetric, 65536); |
| 258 | printf("7\n"); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 259 | FlattenString(left_asymmetric); |
| 260 | printf("10\n"); |
| 261 | Traverse(flat, left_asymmetric); |
| 262 | printf("11\n"); |
| 263 | FlattenString(right_asymmetric); |
| 264 | printf("12\n"); |
| 265 | Traverse(flat, right_asymmetric); |
| 266 | printf("14\n"); |
| 267 | FlattenString(symmetric); |
| 268 | printf("15\n"); |
| 269 | Traverse(flat, symmetric); |
| 270 | printf("16\n"); |
| 271 | FlattenString(left_deep_asymmetric); |
| 272 | printf("18\n"); |
| 273 | } |
| 274 | |
| 275 | |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 276 | static const int DEEP_ASCII_DEPTH = 100000; |
| 277 | |
| 278 | |
| 279 | TEST(DeepAscii) { |
| 280 | printf("TestDeepAscii\n"); |
| 281 | InitializeVM(); |
| 282 | v8::HandleScope scope; |
| 283 | |
| 284 | char* foo = NewArray<char>(DEEP_ASCII_DEPTH); |
| 285 | for (int i = 0; i < DEEP_ASCII_DEPTH; i++) { |
| 286 | foo[i] = "foo "[i % 4]; |
| 287 | } |
| 288 | Handle<String> string = |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 289 | FACTORY->NewStringFromAscii(Vector<const char>(foo, DEEP_ASCII_DEPTH)); |
| 290 | Handle<String> foo_string = FACTORY->NewStringFromAscii(CStrVector("foo")); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 291 | for (int i = 0; i < DEEP_ASCII_DEPTH; i += 10) { |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 292 | string = FACTORY->NewConsString(string, foo_string); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 293 | } |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 294 | Handle<String> flat_string = FACTORY->NewConsString(string, foo_string); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 295 | FlattenString(flat_string); |
| 296 | |
| 297 | for (int i = 0; i < 500; i++) { |
| 298 | TraverseFirst(flat_string, string, DEEP_ASCII_DEPTH); |
| 299 | } |
ager@chromium.org | bb29dc9 | 2009-03-24 13:25:23 +0000 | [diff] [blame] | 300 | DeleteArray<char>(foo); |
mads.s.ager@gmail.com | 9a4089a | 2008-09-01 08:55:01 +0000 | [diff] [blame] | 301 | } |
ager@chromium.org | 9258b6b | 2008-09-11 09:11:10 +0000 | [diff] [blame] | 302 | |
| 303 | |
| 304 | TEST(Utf8Conversion) { |
| 305 | // Smoke test for converting strings to utf-8. |
| 306 | InitializeVM(); |
| 307 | v8::HandleScope handle_scope; |
| 308 | // A simple ascii string |
| 309 | const char* ascii_string = "abcdef12345"; |
ager@chromium.org | c4c9272 | 2009-11-18 14:12:51 +0000 | [diff] [blame] | 310 | int len = |
| 311 | v8::String::New(ascii_string, |
| 312 | StrLength(ascii_string))->Utf8Length(); |
| 313 | CHECK_EQ(StrLength(ascii_string), len); |
ager@chromium.org | 9258b6b | 2008-09-11 09:11:10 +0000 | [diff] [blame] | 314 | // A mixed ascii and non-ascii string |
| 315 | // U+02E4 -> CB A4 |
| 316 | // U+0064 -> 64 |
| 317 | // U+12E4 -> E1 8B A4 |
| 318 | // U+0030 -> 30 |
| 319 | // U+3045 -> E3 81 85 |
| 320 | const uint16_t mixed_string[] = {0x02E4, 0x0064, 0x12E4, 0x0030, 0x3045}; |
| 321 | // The characters we expect to be output |
| 322 | const unsigned char as_utf8[11] = {0xCB, 0xA4, 0x64, 0xE1, 0x8B, 0xA4, 0x30, |
| 323 | 0xE3, 0x81, 0x85, 0x00}; |
| 324 | // The number of bytes expected to be written for each length |
| 325 | const int lengths[12] = {0, 0, 2, 3, 3, 3, 6, 7, 7, 7, 10, 11}; |
ager@chromium.org | 357bf65 | 2010-04-12 11:30:10 +0000 | [diff] [blame] | 326 | const int char_lengths[12] = {0, 0, 1, 2, 2, 2, 3, 4, 4, 4, 5, 5}; |
ager@chromium.org | 9258b6b | 2008-09-11 09:11:10 +0000 | [diff] [blame] | 327 | v8::Handle<v8::String> mixed = v8::String::New(mixed_string, 5); |
| 328 | CHECK_EQ(10, mixed->Utf8Length()); |
| 329 | // Try encoding the string with all capacities |
| 330 | char buffer[11]; |
| 331 | const char kNoChar = static_cast<char>(-1); |
| 332 | for (int i = 0; i <= 11; i++) { |
| 333 | // Clear the buffer before reusing it |
| 334 | for (int j = 0; j < 11; j++) |
| 335 | buffer[j] = kNoChar; |
ager@chromium.org | 357bf65 | 2010-04-12 11:30:10 +0000 | [diff] [blame] | 336 | int chars_written; |
| 337 | int written = mixed->WriteUtf8(buffer, i, &chars_written); |
ager@chromium.org | 9258b6b | 2008-09-11 09:11:10 +0000 | [diff] [blame] | 338 | CHECK_EQ(lengths[i], written); |
ager@chromium.org | 357bf65 | 2010-04-12 11:30:10 +0000 | [diff] [blame] | 339 | CHECK_EQ(char_lengths[i], chars_written); |
ager@chromium.org | 9258b6b | 2008-09-11 09:11:10 +0000 | [diff] [blame] | 340 | // Check that the contents are correct |
| 341 | for (int j = 0; j < lengths[i]; j++) |
| 342 | CHECK_EQ(as_utf8[j], static_cast<unsigned char>(buffer[j])); |
| 343 | // Check that the rest of the buffer hasn't been touched |
| 344 | for (int j = lengths[i]; j < 11; j++) |
| 345 | CHECK_EQ(kNoChar, buffer[j]); |
| 346 | } |
| 347 | } |
kasperl@chromium.org | acae378 | 2009-04-11 09:17:08 +0000 | [diff] [blame] | 348 | |
| 349 | |
sgjesse@chromium.org | ac6aa17 | 2009-12-04 12:29:05 +0000 | [diff] [blame] | 350 | TEST(ExternalShortStringAdd) { |
danno@chromium.org | 40cb878 | 2011-05-25 07:58:50 +0000 | [diff] [blame] | 351 | ZoneScope zone(Isolate::Current(), DELETE_ON_EXIT); |
sgjesse@chromium.org | ac6aa17 | 2009-12-04 12:29:05 +0000 | [diff] [blame] | 352 | |
| 353 | InitializeVM(); |
| 354 | v8::HandleScope handle_scope; |
| 355 | |
| 356 | // Make sure we cover all always-flat lengths and at least one above. |
| 357 | static const int kMaxLength = 20; |
| 358 | CHECK_GT(kMaxLength, i::String::kMinNonFlatLength); |
| 359 | |
| 360 | // Allocate two JavaScript arrays for holding short strings. |
| 361 | v8::Handle<v8::Array> ascii_external_strings = |
| 362 | v8::Array::New(kMaxLength + 1); |
| 363 | v8::Handle<v8::Array> non_ascii_external_strings = |
| 364 | v8::Array::New(kMaxLength + 1); |
| 365 | |
| 366 | // Generate short ascii and non-ascii external strings. |
| 367 | for (int i = 0; i <= kMaxLength; i++) { |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 368 | char* ascii = ZONE->NewArray<char>(i + 1); |
sgjesse@chromium.org | ac6aa17 | 2009-12-04 12:29:05 +0000 | [diff] [blame] | 369 | for (int j = 0; j < i; j++) { |
| 370 | ascii[j] = 'a'; |
| 371 | } |
| 372 | // Terminating '\0' is left out on purpose. It is not required for external |
| 373 | // string data. |
| 374 | AsciiResource* ascii_resource = |
| 375 | new AsciiResource(Vector<const char>(ascii, i)); |
| 376 | v8::Local<v8::String> ascii_external_string = |
| 377 | v8::String::NewExternal(ascii_resource); |
| 378 | |
| 379 | ascii_external_strings->Set(v8::Integer::New(i), ascii_external_string); |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 380 | uc16* non_ascii = ZONE->NewArray<uc16>(i + 1); |
sgjesse@chromium.org | ac6aa17 | 2009-12-04 12:29:05 +0000 | [diff] [blame] | 381 | for (int j = 0; j < i; j++) { |
| 382 | non_ascii[j] = 0x1234; |
| 383 | } |
| 384 | // Terminating '\0' is left out on purpose. It is not required for external |
| 385 | // string data. |
| 386 | Resource* resource = new Resource(Vector<const uc16>(non_ascii, i)); |
| 387 | v8::Local<v8::String> non_ascii_external_string = |
| 388 | v8::String::NewExternal(resource); |
| 389 | non_ascii_external_strings->Set(v8::Integer::New(i), |
| 390 | non_ascii_external_string); |
ager@chromium.org | 5ec4892 | 2009-05-05 07:25:34 +0000 | [diff] [blame] | 391 | } |
| 392 | |
sgjesse@chromium.org | ac6aa17 | 2009-12-04 12:29:05 +0000 | [diff] [blame] | 393 | // Add the arrays with the short external strings in the global object. |
| 394 | v8::Handle<v8::Object> global = env->Global(); |
| 395 | global->Set(v8_str("external_ascii"), ascii_external_strings); |
| 396 | global->Set(v8_str("external_non_ascii"), non_ascii_external_strings); |
| 397 | global->Set(v8_str("max_length"), v8::Integer::New(kMaxLength)); |
kasperl@chromium.org | acae378 | 2009-04-11 09:17:08 +0000 | [diff] [blame] | 398 | |
sgjesse@chromium.org | ac6aa17 | 2009-12-04 12:29:05 +0000 | [diff] [blame] | 399 | // Add short external ascii and non-ascii strings checking the result. |
| 400 | static const char* source = |
| 401 | "function test() {" |
| 402 | " var ascii_chars = 'aaaaaaaaaaaaaaaaaaaa';" |
| 403 | " var non_ascii_chars = '\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234\\u1234';" //NOLINT |
| 404 | " if (ascii_chars.length != max_length) return 1;" |
| 405 | " if (non_ascii_chars.length != max_length) return 2;" |
| 406 | " var ascii = Array(max_length + 1);" |
| 407 | " var non_ascii = Array(max_length + 1);" |
| 408 | " for (var i = 0; i <= max_length; i++) {" |
| 409 | " ascii[i] = ascii_chars.substring(0, i);" |
| 410 | " non_ascii[i] = non_ascii_chars.substring(0, i);" |
| 411 | " };" |
| 412 | " for (var i = 0; i <= max_length; i++) {" |
| 413 | " if (ascii[i] != external_ascii[i]) return 3;" |
| 414 | " if (non_ascii[i] != external_non_ascii[i]) return 4;" |
| 415 | " for (var j = 0; j < i; j++) {" |
| 416 | " if (external_ascii[i] !=" |
| 417 | " (external_ascii[j] + external_ascii[i - j])) return 5;" |
| 418 | " if (external_non_ascii[i] !=" |
| 419 | " (external_non_ascii[j] + external_non_ascii[i - j])) return 6;" |
| 420 | " if (non_ascii[i] != (non_ascii[j] + non_ascii[i - j])) return 7;" |
| 421 | " if (ascii[i] != (ascii[j] + ascii[i - j])) return 8;" |
| 422 | " if (ascii[i] != (external_ascii[j] + ascii[i - j])) return 9;" |
| 423 | " if (ascii[i] != (ascii[j] + external_ascii[i - j])) return 10;" |
| 424 | " if (non_ascii[i] !=" |
| 425 | " (external_non_ascii[j] + non_ascii[i - j])) return 11;" |
| 426 | " if (non_ascii[i] !=" |
| 427 | " (non_ascii[j] + external_non_ascii[i - j])) return 12;" |
| 428 | " }" |
| 429 | " }" |
| 430 | " return 0;" |
| 431 | "};" |
| 432 | "test()"; |
| 433 | CHECK_EQ(0, |
| 434 | v8::Script::Compile(v8::String::New(source))->Run()->Int32Value()); |
| 435 | } |
lrn@chromium.org | 1af7e1b | 2010-06-07 11:12:01 +0000 | [diff] [blame] | 436 | |
| 437 | |
| 438 | TEST(CachedHashOverflow) { |
| 439 | // We incorrectly allowed strings to be tagged as array indices even if their |
| 440 | // values didn't fit in the hash field. |
| 441 | // See http://code.google.com/p/v8/issues/detail?id=728 |
danno@chromium.org | 40cb878 | 2011-05-25 07:58:50 +0000 | [diff] [blame] | 442 | ZoneScope zone(Isolate::Current(), DELETE_ON_EXIT); |
lrn@chromium.org | 1af7e1b | 2010-06-07 11:12:01 +0000 | [diff] [blame] | 443 | |
| 444 | InitializeVM(); |
| 445 | v8::HandleScope handle_scope; |
| 446 | // Lines must be executed sequentially. Combining them into one script |
| 447 | // makes the bug go away. |
| 448 | const char* lines[] = { |
| 449 | "var x = [];", |
| 450 | "x[4] = 42;", |
| 451 | "var s = \"1073741828\";", |
| 452 | "x[s];", |
| 453 | "x[s] = 37;", |
| 454 | "x[4];", |
| 455 | "x[s];", |
| 456 | NULL |
| 457 | }; |
| 458 | |
| 459 | Handle<Smi> fortytwo(Smi::FromInt(42)); |
| 460 | Handle<Smi> thirtyseven(Smi::FromInt(37)); |
| 461 | Handle<Object> results[] = { |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 462 | FACTORY->undefined_value(), |
lrn@chromium.org | 1af7e1b | 2010-06-07 11:12:01 +0000 | [diff] [blame] | 463 | fortytwo, |
sgjesse@chromium.org | ea88ce9 | 2011-03-23 11:19:56 +0000 | [diff] [blame] | 464 | FACTORY->undefined_value(), |
| 465 | FACTORY->undefined_value(), |
lrn@chromium.org | 1af7e1b | 2010-06-07 11:12:01 +0000 | [diff] [blame] | 466 | thirtyseven, |
| 467 | fortytwo, |
| 468 | thirtyseven // Bug yielded 42 here. |
| 469 | }; |
| 470 | |
| 471 | const char* line; |
| 472 | for (int i = 0; (line = lines[i]); i++) { |
| 473 | printf("%s\n", line); |
| 474 | v8::Local<v8::Value> result = |
| 475 | v8::Script::Compile(v8::String::New(line))->Run(); |
| 476 | CHECK_EQ(results[i]->IsUndefined(), result->IsUndefined()); |
| 477 | CHECK_EQ(results[i]->IsNumber(), result->IsNumber()); |
| 478 | if (result->IsNumber()) { |
lrn@chromium.org | 303ada7 | 2010-10-27 09:33:13 +0000 | [diff] [blame] | 479 | CHECK_EQ(Smi::cast(results[i]->ToSmi()->ToObjectChecked())->value(), |
lrn@chromium.org | 1af7e1b | 2010-06-07 11:12:01 +0000 | [diff] [blame] | 480 | result->ToInt32()->Value()); |
| 481 | } |
| 482 | } |
| 483 | } |