Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(8)

Side by Side Diff: test/cctest/test-regexp.cc

Issue 10995: * Remove an unused layer of abstraction by not having both a macro assembler ... (Closed) Base URL: http://v8.googlecode.com/svn/branches/bleeding_edge/
Patch Set: Created 12 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
1 // Copyright 2008 the V8 project authors. All rights reserved. 1 // Copyright 2008 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 18 matching lines...) Expand all
29 #include <stdlib.h> 29 #include <stdlib.h>
30 #include <set> 30 #include <set>
31 31
32 #include "v8.h" 32 #include "v8.h"
33 33
34 #include "cctest.h" 34 #include "cctest.h"
35 #include "zone-inl.h" 35 #include "zone-inl.h"
36 #include "parser.h" 36 #include "parser.h"
37 #include "ast.h" 37 #include "ast.h"
38 #include "jsregexp-inl.h" 38 #include "jsregexp-inl.h"
39 #include "assembler-irregexp.h"
40 #include "regexp-macro-assembler.h" 39 #include "regexp-macro-assembler.h"
41 #include "regexp-macro-assembler-irregexp.h" 40 #include "regexp-macro-assembler-irregexp.h"
42 #ifdef ARM 41 #ifdef ARM
43 #include "regexp-macro-assembler-arm.h" 42 #include "regexp-macro-assembler-arm.h"
44 #else // IA32 43 #else // IA32
45 #include "macro-assembler-ia32.h" 44 #include "macro-assembler-ia32.h"
46 #include "regexp-macro-assembler-ia32.h" 45 #include "regexp-macro-assembler-ia32.h"
47 #endif 46 #endif
48 #include "interpreter-irregexp.h" 47 #include "interpreter-irregexp.h"
49 48
(...skipping 462 matching lines...) Expand 10 before | Expand all | Expand 10 after
512 uc16* range = ranges[j]; 511 uc16* range = ranges[j];
513 bool is_on = false; 512 bool is_on = false;
514 for (int k = 0; !is_on && (k < 2 * kRangeSize); k += 2) 513 for (int k = 0; !is_on && (k < 2 * kRangeSize); k += 2)
515 is_on = (range[k] <= p && p <= range[k + 1]); 514 is_on = (range[k] <= p && p <= range[k + 1]);
516 CHECK_EQ(is_on, outs->Get(j)); 515 CHECK_EQ(is_on, outs->Get(j));
517 } 516 }
518 } 517 }
519 } 518 }
520 519
521 520
522 TEST(Assembler) {
523 V8::Initialize(NULL);
524 byte codes[1024];
525 IrregexpAssembler assembler(Vector<byte>(codes, 1024));
526 #define __ assembler.
527 Label advance;
528 Label look_for_foo;
529 Label fail;
530 __ GoTo(&look_for_foo);
531 __ Bind(&advance);
532 __ AdvanceCP(1);
533 __ Bind(&look_for_foo);
534 __ LoadCurrentChar(0, &fail);
535 __ CheckNotCharacter('f', &advance);
536 __ LoadCurrentChar(1, &fail);
537 __ CheckNotCharacter('o', &advance);
538 __ LoadCurrentChar(2, &fail);
539 __ CheckNotCharacter('o', &advance);
540 __ WriteCurrentPositionToRegister(0);
541 __ WriteCurrentPositionToRegister(1, 2);
542 __ Succeed();
543 __ Bind(&fail);
544 __ Fail();
545
546 v8::HandleScope scope;
547 Handle<ByteArray> array = Factory::NewByteArray(assembler.length());
548 assembler.Copy(array->GetDataStartAddress());
549 int captures[2];
550
551 Handle<String> f1 =
552 Factory::NewStringFromAscii(CStrVector("Now is the time"));
553 Handle<String> f1_16 = RegExpImpl::StringToTwoByte(f1);
554 CHECK(!IrregexpInterpreter::Match(array, f1_16, captures, 0));
555
556 Handle<String> f2 = Factory::NewStringFromAscii(CStrVector("foo bar baz"));
557 Handle<String> f2_16 = RegExpImpl::StringToTwoByte(f2);
558 CHECK(IrregexpInterpreter::Match(array, f2_16, captures, 0));
559 CHECK_EQ(0, captures[0]);
560 CHECK_EQ(2, captures[1]);
561
562 Handle<String> f3 = Factory::NewStringFromAscii(CStrVector("tomfoolery"));
563 Handle<String> f3_16 = RegExpImpl::StringToTwoByte(f3);
564 CHECK(IrregexpInterpreter::Match(array, f3_16, captures, 0));
565 CHECK_EQ(3, captures[0]);
566 CHECK_EQ(5, captures[1]);
567 }
568
569
570 TEST(Assembler2) {
571 V8::Initialize(NULL);
572 byte codes[1024];
573 IrregexpAssembler assembler(Vector<byte>(codes, 1024));
574 #define __ assembler.
575 // /^.*foo/
576 Label more_dots;
577 Label unwind_dot;
578 Label failure;
579 Label foo;
580 Label foo_failed;
581 Label dot_match;
582 // ^
583 __ PushCurrentPosition();
584 __ PushRegister(0);
585 __ WriteCurrentPositionToRegister(0);
586 __ PushBacktrack(&failure);
587 __ GoTo(&dot_match);
588 // .*
589 __ Bind(&more_dots);
590 __ AdvanceCP(1);
591 __ Bind(&dot_match);
592 __ PushCurrentPosition();
593 __ PushBacktrack(&unwind_dot);
594 __ LoadCurrentChar(0, &foo);
595 __ CheckNotCharacter('\n', &more_dots);
596 // foo
597 __ Bind(&foo);
598 __ CheckNotCharacter('f', &foo_failed);
599 __ LoadCurrentChar(1, &foo_failed);
600 __ CheckNotCharacter('o', &foo_failed);
601 __ LoadCurrentChar(2, &foo_failed);
602 __ CheckNotCharacter('o', &foo_failed);
603 __ WriteCurrentPositionToRegister(1, 2);
604 __ Succeed();
605 __ Break();
606
607 __ Bind(&foo_failed);
608 __ PopBacktrack();
609 __ Break();
610
611 __ Bind(&unwind_dot);
612 __ PopCurrentPosition();
613 __ LoadCurrentChar(0, &foo_failed);
614 __ GoTo(&foo);
615
616 __ Bind(&failure);
617 __ PopRegister(0);
618 __ PopCurrentPosition();
619 __ Fail();
620
621 v8::HandleScope scope;
622 Handle<ByteArray> array = Factory::NewByteArray(assembler.length());
623 assembler.Copy(array->GetDataStartAddress());
624 int captures[2];
625
626 Handle<String> f1 =
627 Factory::NewStringFromAscii(CStrVector("Now is the time"));
628 Handle<String> f1_16 = RegExpImpl::StringToTwoByte(f1);
629 CHECK(!IrregexpInterpreter::Match(array, f1_16, captures, 0));
630
631 Handle<String> f2 = Factory::NewStringFromAscii(CStrVector("foo bar baz"));
632 Handle<String> f2_16 = RegExpImpl::StringToTwoByte(f2);
633 CHECK(IrregexpInterpreter::Match(array, f2_16, captures, 0));
634 CHECK_EQ(0, captures[0]);
635 CHECK_EQ(2, captures[1]);
636
637 Handle<String> f3 = Factory::NewStringFromAscii(CStrVector("tomfoolery"));
638 Handle<String> f3_16 = RegExpImpl::StringToTwoByte(f3);
639 CHECK(IrregexpInterpreter::Match(array, f3_16, captures, 0));
640 CHECK_EQ(0, captures[0]);
641 CHECK_EQ(5, captures[1]);
642
643 Handle<String> f4 =
644 Factory::NewStringFromAscii(CStrVector("football buffoonery"));
645 Handle<String> f4_16 = RegExpImpl::StringToTwoByte(f4);
646 CHECK(IrregexpInterpreter::Match(array, f4_16, captures, 0));
647 CHECK_EQ(0, captures[0]);
648 CHECK_EQ(14, captures[1]);
649
650 Handle<String> f5 =
651 Factory::NewStringFromAscii(CStrVector("walking\nbarefoot"));
652 Handle<String> f5_16 = RegExpImpl::StringToTwoByte(f5);
653 CHECK(!IrregexpInterpreter::Match(array, f5_16, captures, 0));
654 }
655
656
657 TEST(MacroAssembler) { 521 TEST(MacroAssembler) {
658 V8::Initialize(NULL); 522 V8::Initialize(NULL);
659 byte codes[1024]; 523 byte codes[1024];
660 IrregexpAssembler assembler(Vector<byte>(codes, 1024)); 524 RegExpMacroAssemblerIrregexp m(Vector<byte>(codes, 1024));
661 RegExpMacroAssemblerIrregexp m(&assembler);
662 // ^f(o)o. 525 // ^f(o)o.
663 Label fail, fail2, start; 526 Label fail, fail2, start;
664 uc16 foo_chars[3]; 527 uc16 foo_chars[3];
665 foo_chars[0] = 'f'; 528 foo_chars[0] = 'f';
666 foo_chars[1] = 'o'; 529 foo_chars[1] = 'o';
667 foo_chars[2] = 'o'; 530 foo_chars[2] = 'o';
668 Vector<const uc16> foo(foo_chars, 3); 531 Vector<const uc16> foo(foo_chars, 3);
669 m.SetRegister(4, 42); 532 m.SetRegister(4, 42);
670 m.PushRegister(4); 533 m.PushRegister(4);
671 m.AdvanceRegister(4, 42); 534 m.AdvanceRegister(4, 42);
(...skipping 16 matching lines...) Expand all
688 m.Bind(&fail); 551 m.Bind(&fail);
689 m.Backtrack(); 552 m.Backtrack();
690 m.Succeed(); 553 m.Succeed();
691 554
692 m.Bind(&fail2); 555 m.Bind(&fail2);
693 m.PopRegister(0); 556 m.PopRegister(0);
694 m.Fail(); 557 m.Fail();
695 558
696 v8::HandleScope scope; 559 v8::HandleScope scope;
697 560
698 Handle<ByteArray> array = Factory::NewByteArray(assembler.length()); 561 Handle<ByteArray> array = Handle<ByteArray>::cast(m.GetCode());
699 assembler.Copy(array->GetDataStartAddress());
700 int captures[5]; 562 int captures[5];
701 563
702 Handle<String> f1 = 564 Handle<String> f1 =
703 Factory::NewStringFromAscii(CStrVector("foobar")); 565 Factory::NewStringFromAscii(CStrVector("foobar"));
704 Handle<String> f1_16 = RegExpImpl::StringToTwoByte(f1); 566 Handle<String> f1_16 = RegExpImpl::StringToTwoByte(f1);
705 CHECK(IrregexpInterpreter::Match(array, f1_16, captures, 0)); 567 CHECK(IrregexpInterpreter::Match(array, f1_16, captures, 0));
706 CHECK_EQ(0, captures[0]); 568 CHECK_EQ(0, captures[0]);
707 CHECK_EQ(3, captures[1]); 569 CHECK_EQ(3, captures[1]);
708 CHECK_EQ(1, captures[2]); 570 CHECK_EQ(1, captures[2]);
709 CHECK_EQ(2, captures[3]); 571 CHECK_EQ(2, captures[3]);
(...skipping 511 matching lines...) Expand 10 before | Expand all | Expand 10 after
1221 // whole block at a time. 1083 // whole block at a time.
1222 TestSimpleRangeCaseIndependence(CharacterRange('A', 'k'), 1084 TestSimpleRangeCaseIndependence(CharacterRange('A', 'k'),
1223 CharacterRange('a', 'z')); 1085 CharacterRange('a', 'z'));
1224 } 1086 }
1225 1087
1226 1088
1227 TEST(Graph) { 1089 TEST(Graph) {
1228 V8::Initialize(NULL); 1090 V8::Initialize(NULL);
1229 Execute("foo$(?!bar)", false, true); 1091 Execute("foo$(?!bar)", false, true);
1230 } 1092 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698