OLD | NEW |
1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include <utility> | 5 #include <utility> |
6 | 6 |
7 #include "src/compiler/pipeline.h" | 7 #include "src/compiler/pipeline.h" |
8 #include "src/execution.h" | 8 #include "src/execution.h" |
9 #include "src/handles.h" | 9 #include "src/handles.h" |
10 #include "src/interpreter/bytecode-array-builder.h" | 10 #include "src/interpreter/bytecode-array-builder.h" |
(...skipping 2817 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2828 for (size_t i = 0; i < arraysize(const_decl); i++) { | 2828 for (size_t i = 0; i < arraysize(const_decl); i++) { |
2829 ScopedVector<char> script(1024); | 2829 ScopedVector<char> script(1024); |
2830 SNPrintF(script, "%s %s %s", prologue, const_decl[i].code_snippet, | 2830 SNPrintF(script, "%s %s %s", prologue, const_decl[i].code_snippet, |
2831 epilogue); | 2831 epilogue); |
2832 | 2832 |
2833 BytecodeGraphTester tester(isolate, zone, script.start(), "*"); | 2833 BytecodeGraphTester tester(isolate, zone, script.start(), "*"); |
2834 auto callable = tester.GetCallable<>(); | 2834 auto callable = tester.GetCallable<>(); |
2835 Handle<Object> return_value = callable().ToHandleChecked(); | 2835 Handle<Object> return_value = callable().ToHandleChecked(); |
2836 CHECK(return_value->SameValue(*const_decl[i].return_value())); | 2836 CHECK(return_value->SameValue(*const_decl[i].return_value())); |
2837 } | 2837 } |
2838 | |
2839 // Tests for Legacy constant. | |
2840 bool old_flag_legacy_const = FLAG_legacy_const; | |
2841 FLAG_legacy_const = true; | |
2842 | |
2843 ExpectedSnippet<0> legacy_const_decl[] = { | |
2844 {"return outerConst = 23;", {handle(Smi::FromInt(23), isolate)}}, | |
2845 {"outerConst = 30; return outerConst;", | |
2846 {handle(Smi::FromInt(10), isolate)}}, | |
2847 }; | |
2848 | |
2849 for (size_t i = 0; i < arraysize(legacy_const_decl); i++) { | |
2850 ScopedVector<char> script(1024); | |
2851 SNPrintF(script, "%s %s %s", prologue, legacy_const_decl[i].code_snippet, | |
2852 epilogue); | |
2853 | |
2854 BytecodeGraphTester tester(isolate, zone, script.start(), "*"); | |
2855 auto callable = tester.GetCallable<>(); | |
2856 Handle<Object> return_value = callable().ToHandleChecked(); | |
2857 CHECK(return_value->SameValue(*legacy_const_decl[i].return_value())); | |
2858 } | |
2859 | |
2860 FLAG_legacy_const = old_flag_legacy_const; | |
2861 } | 2838 } |
2862 | 2839 |
2863 TEST(BytecodeGraphBuilderIllegalConstDeclaration) { | 2840 TEST(BytecodeGraphBuilderIllegalConstDeclaration) { |
2864 HandleAndZoneScope scope; | 2841 HandleAndZoneScope scope; |
2865 Isolate* isolate = scope.main_isolate(); | 2842 Isolate* isolate = scope.main_isolate(); |
2866 Zone* zone = scope.main_zone(); | 2843 Zone* zone = scope.main_zone(); |
2867 | 2844 |
2868 ExpectedSnippet<0, const char*> illegal_const_decl[] = { | 2845 ExpectedSnippet<0, const char*> illegal_const_decl[] = { |
2869 {"const x = x = 10 + 3; return x;", | 2846 {"const x = x = 10 + 3; return x;", |
2870 {"Uncaught ReferenceError: x is not defined"}}, | 2847 {"Uncaught ReferenceError: x is not defined"}}, |
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2904 BytecodeGraphTester tester(isolate, zone, script.start()); | 2881 BytecodeGraphTester tester(isolate, zone, script.start()); |
2905 v8::Local<v8::String> message = tester.CheckThrowsReturnMessage()->Get(); | 2882 v8::Local<v8::String> message = tester.CheckThrowsReturnMessage()->Get(); |
2906 v8::Local<v8::String> expected_string = | 2883 v8::Local<v8::String> expected_string = |
2907 v8_str(illegal_const_decl[i].return_value()); | 2884 v8_str(illegal_const_decl[i].return_value()); |
2908 CHECK( | 2885 CHECK( |
2909 message->Equals(CcTest::isolate()->GetCurrentContext(), expected_string) | 2886 message->Equals(CcTest::isolate()->GetCurrentContext(), expected_string) |
2910 .FromJust()); | 2887 .FromJust()); |
2911 } | 2888 } |
2912 } | 2889 } |
2913 | 2890 |
2914 TEST(BytecodeGraphBuilderLegacyConstDeclaration) { | |
2915 bool old_flag_legacy_const = FLAG_legacy_const; | |
2916 FLAG_legacy_const = true; | |
2917 | |
2918 HandleAndZoneScope scope; | |
2919 Isolate* isolate = scope.main_isolate(); | |
2920 Zone* zone = scope.main_zone(); | |
2921 | |
2922 ExpectedSnippet<0> snippets[] = { | |
2923 {"const x = (x = 10) + 3; return x;", | |
2924 {handle(Smi::FromInt(13), isolate)}}, | |
2925 {"const x = 10; x = 20; return x;", {handle(Smi::FromInt(10), isolate)}}, | |
2926 {"var a = 10;\n" | |
2927 "for (var i = 0; i < 10; ++i) {\n" | |
2928 " const x = i;\n" // Legacy constants are not block scoped. | |
2929 " a = a + x;\n" | |
2930 "}\n" | |
2931 "return a;\n", | |
2932 {handle(Smi::FromInt(10), isolate)}}, | |
2933 {"const x = 20; eval('x = 10;'); return x;", | |
2934 {handle(Smi::FromInt(20), isolate)}}, | |
2935 }; | |
2936 | |
2937 for (size_t i = 0; i < arraysize(snippets); i++) { | |
2938 ScopedVector<char> script(1024); | |
2939 SNPrintF(script, "function %s() { %s }\n%s();", kFunctionName, | |
2940 snippets[i].code_snippet, kFunctionName); | |
2941 | |
2942 BytecodeGraphTester tester(isolate, zone, script.start()); | |
2943 auto callable = tester.GetCallable<>(); | |
2944 Handle<Object> return_value = callable().ToHandleChecked(); | |
2945 CHECK(return_value->SameValue(*snippets[i].return_value())); | |
2946 } | |
2947 | |
2948 FLAG_legacy_const = old_flag_legacy_const; | |
2949 } | |
2950 | |
2951 TEST(BytecodeGraphBuilderDebuggerStatement) { | 2891 TEST(BytecodeGraphBuilderDebuggerStatement) { |
2952 FLAG_expose_debug_as = "debug"; | 2892 FLAG_expose_debug_as = "debug"; |
2953 HandleAndZoneScope scope; | 2893 HandleAndZoneScope scope; |
2954 Isolate* isolate = scope.main_isolate(); | 2894 Isolate* isolate = scope.main_isolate(); |
2955 Zone* zone = scope.main_zone(); | 2895 Zone* zone = scope.main_zone(); |
2956 | 2896 |
2957 ExpectedSnippet<0> snippet = { | 2897 ExpectedSnippet<0> snippet = { |
2958 "var Debug = debug.Debug;" | 2898 "var Debug = debug.Debug;" |
2959 "var count = 0;" | 2899 "var count = 0;" |
2960 "function f() {" | 2900 "function f() {" |
(...skipping 14 matching lines...) Expand all Loading... |
2975 | 2915 |
2976 BytecodeGraphTester tester(isolate, zone, script.start()); | 2916 BytecodeGraphTester tester(isolate, zone, script.start()); |
2977 auto callable = tester.GetCallable<>(); | 2917 auto callable = tester.GetCallable<>(); |
2978 Handle<Object> return_value = callable().ToHandleChecked(); | 2918 Handle<Object> return_value = callable().ToHandleChecked(); |
2979 CHECK(return_value->SameValue(*snippet.return_value())); | 2919 CHECK(return_value->SameValue(*snippet.return_value())); |
2980 } | 2920 } |
2981 | 2921 |
2982 } // namespace compiler | 2922 } // namespace compiler |
2983 } // namespace internal | 2923 } // namespace internal |
2984 } // namespace v8 | 2924 } // namespace v8 |
OLD | NEW |