| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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 "src/v8.h" | 5 #include "src/v8.h" |
| 6 | 6 |
| 7 #include "test/cctest/compiler/function-tester.h" | 7 #include "test/cctest/compiler/function-tester.h" |
| 8 | 8 |
| 9 using namespace v8::internal; | 9 using namespace v8::internal; |
| 10 using namespace v8::internal::compiler; | 10 using namespace v8::internal::compiler; |
| 11 uint32_t flags = CompilationInfo::kInliningEnabled; | 11 uint32_t flags = CompilationInfo::kInliningEnabled; |
| 12 | 12 |
| 13 TEST(IsSmi) { | 13 TEST(IsSmi) { |
| 14 FLAG_turbo_inlining_intrinsics = true; | |
| 15 FLAG_turbo_deoptimization = true; | 14 FLAG_turbo_deoptimization = true; |
| 16 FunctionTester T("(function(a) { return %_IsSmi(a); })", flags); | 15 FunctionTester T("(function(a) { return %_IsSmi(a); })", flags); |
| 17 | 16 |
| 18 T.CheckTrue(T.Val(1)); | 17 T.CheckTrue(T.Val(1)); |
| 19 T.CheckFalse(T.Val(1.1)); | 18 T.CheckFalse(T.Val(1.1)); |
| 20 T.CheckFalse(T.Val(-0.0)); | 19 T.CheckFalse(T.Val(-0.0)); |
| 21 T.CheckTrue(T.Val(-2)); | 20 T.CheckTrue(T.Val(-2)); |
| 22 T.CheckFalse(T.Val(-2.3)); | 21 T.CheckFalse(T.Val(-2.3)); |
| 23 T.CheckFalse(T.undefined()); | 22 T.CheckFalse(T.undefined()); |
| 24 } | 23 } |
| 25 | 24 |
| 26 | 25 |
| 27 TEST(IsNonNegativeSmi) { | 26 TEST(IsNonNegativeSmi) { |
| 28 FLAG_turbo_inlining_intrinsics = true; | |
| 29 FLAG_turbo_deoptimization = true; | 27 FLAG_turbo_deoptimization = true; |
| 30 FunctionTester T("(function(a) { return %_IsNonNegativeSmi(a); })", flags); | 28 FunctionTester T("(function(a) { return %_IsNonNegativeSmi(a); })", flags); |
| 31 | 29 |
| 32 T.CheckTrue(T.Val(1)); | 30 T.CheckTrue(T.Val(1)); |
| 33 T.CheckFalse(T.Val(1.1)); | 31 T.CheckFalse(T.Val(1.1)); |
| 34 T.CheckFalse(T.Val(-0.0)); | 32 T.CheckFalse(T.Val(-0.0)); |
| 35 T.CheckFalse(T.Val(-2)); | 33 T.CheckFalse(T.Val(-2)); |
| 36 T.CheckFalse(T.Val(-2.3)); | 34 T.CheckFalse(T.Val(-2.3)); |
| 37 T.CheckFalse(T.undefined()); | 35 T.CheckFalse(T.undefined()); |
| 38 } | 36 } |
| 39 | 37 |
| 40 | 38 |
| 41 TEST(IsMinusZero) { | 39 TEST(IsMinusZero) { |
| 42 FLAG_turbo_inlining_intrinsics = true; | |
| 43 FLAG_turbo_deoptimization = true; | 40 FLAG_turbo_deoptimization = true; |
| 44 FunctionTester T("(function(a) { return %_IsMinusZero(a); })", flags); | 41 FunctionTester T("(function(a) { return %_IsMinusZero(a); })", flags); |
| 45 | 42 |
| 46 T.CheckFalse(T.Val(1)); | 43 T.CheckFalse(T.Val(1)); |
| 47 T.CheckFalse(T.Val(1.1)); | 44 T.CheckFalse(T.Val(1.1)); |
| 48 T.CheckTrue(T.Val(-0.0)); | 45 T.CheckTrue(T.Val(-0.0)); |
| 49 T.CheckFalse(T.Val(-2)); | 46 T.CheckFalse(T.Val(-2)); |
| 50 T.CheckFalse(T.Val(-2.3)); | 47 T.CheckFalse(T.Val(-2.3)); |
| 51 T.CheckFalse(T.undefined()); | 48 T.CheckFalse(T.undefined()); |
| 52 } | 49 } |
| 53 | 50 |
| 54 | 51 |
| 55 TEST(IsArray) { | 52 TEST(IsArray) { |
| 56 FLAG_turbo_inlining_intrinsics = true; | |
| 57 FLAG_turbo_deoptimization = true; | 53 FLAG_turbo_deoptimization = true; |
| 58 FunctionTester T("(function(a) { return %_IsArray(a); })", flags); | 54 FunctionTester T("(function(a) { return %_IsArray(a); })", flags); |
| 59 | 55 |
| 60 T.CheckFalse(T.NewObject("(function() {})")); | 56 T.CheckFalse(T.NewObject("(function() {})")); |
| 61 T.CheckTrue(T.NewObject("([1])")); | 57 T.CheckTrue(T.NewObject("([1])")); |
| 62 T.CheckFalse(T.NewObject("({})")); | 58 T.CheckFalse(T.NewObject("({})")); |
| 63 T.CheckFalse(T.NewObject("(/x/)")); | 59 T.CheckFalse(T.NewObject("(/x/)")); |
| 64 T.CheckFalse(T.undefined()); | 60 T.CheckFalse(T.undefined()); |
| 65 T.CheckFalse(T.null()); | 61 T.CheckFalse(T.null()); |
| 66 T.CheckFalse(T.Val("x")); | 62 T.CheckFalse(T.Val("x")); |
| 67 T.CheckFalse(T.Val(1)); | 63 T.CheckFalse(T.Val(1)); |
| 68 } | 64 } |
| 69 | 65 |
| 70 | 66 |
| 71 TEST(IsObject) { | 67 TEST(IsObject) { |
| 72 FLAG_turbo_inlining_intrinsics = true; | |
| 73 FLAG_turbo_deoptimization = true; | 68 FLAG_turbo_deoptimization = true; |
| 74 FunctionTester T("(function(a) { return %_IsObject(a); })", flags); | 69 FunctionTester T("(function(a) { return %_IsObject(a); })", flags); |
| 75 | 70 |
| 76 T.CheckFalse(T.NewObject("(function() {})")); | 71 T.CheckFalse(T.NewObject("(function() {})")); |
| 77 T.CheckTrue(T.NewObject("([1])")); | 72 T.CheckTrue(T.NewObject("([1])")); |
| 78 T.CheckTrue(T.NewObject("({})")); | 73 T.CheckTrue(T.NewObject("({})")); |
| 79 T.CheckTrue(T.NewObject("(/x/)")); | 74 T.CheckTrue(T.NewObject("(/x/)")); |
| 80 T.CheckFalse(T.undefined()); | 75 T.CheckFalse(T.undefined()); |
| 81 T.CheckTrue(T.null()); | 76 T.CheckTrue(T.null()); |
| 82 T.CheckFalse(T.Val("x")); | 77 T.CheckFalse(T.Val("x")); |
| 83 T.CheckFalse(T.Val(1)); | 78 T.CheckFalse(T.Val(1)); |
| 84 } | 79 } |
| 85 | 80 |
| 86 | 81 |
| 87 TEST(IsFunction) { | 82 TEST(IsFunction) { |
| 88 FLAG_turbo_inlining_intrinsics = true; | |
| 89 FLAG_turbo_deoptimization = true; | 83 FLAG_turbo_deoptimization = true; |
| 90 FunctionTester T("(function(a) { return %_IsFunction(a); })", flags); | 84 FunctionTester T("(function(a) { return %_IsFunction(a); })", flags); |
| 91 | 85 |
| 92 T.CheckTrue(T.NewObject("(function() {})")); | 86 T.CheckTrue(T.NewObject("(function() {})")); |
| 93 T.CheckFalse(T.NewObject("([1])")); | 87 T.CheckFalse(T.NewObject("([1])")); |
| 94 T.CheckFalse(T.NewObject("({})")); | 88 T.CheckFalse(T.NewObject("({})")); |
| 95 T.CheckFalse(T.NewObject("(/x/)")); | 89 T.CheckFalse(T.NewObject("(/x/)")); |
| 96 T.CheckFalse(T.undefined()); | 90 T.CheckFalse(T.undefined()); |
| 97 T.CheckFalse(T.null()); | 91 T.CheckFalse(T.null()); |
| 98 T.CheckFalse(T.Val("x")); | 92 T.CheckFalse(T.Val("x")); |
| 99 T.CheckFalse(T.Val(1)); | 93 T.CheckFalse(T.Val(1)); |
| 100 } | 94 } |
| 101 | 95 |
| 102 | 96 |
| 103 TEST(IsRegExp) { | 97 TEST(IsRegExp) { |
| 104 FLAG_turbo_inlining_intrinsics = true; | |
| 105 FLAG_turbo_deoptimization = true; | 98 FLAG_turbo_deoptimization = true; |
| 106 FunctionTester T("(function(a) { return %_IsRegExp(a); })", flags); | 99 FunctionTester T("(function(a) { return %_IsRegExp(a); })", flags); |
| 107 | 100 |
| 108 T.CheckFalse(T.NewObject("(function() {})")); | 101 T.CheckFalse(T.NewObject("(function() {})")); |
| 109 T.CheckFalse(T.NewObject("([1])")); | 102 T.CheckFalse(T.NewObject("([1])")); |
| 110 T.CheckFalse(T.NewObject("({})")); | 103 T.CheckFalse(T.NewObject("({})")); |
| 111 T.CheckTrue(T.NewObject("(/x/)")); | 104 T.CheckTrue(T.NewObject("(/x/)")); |
| 112 T.CheckFalse(T.undefined()); | 105 T.CheckFalse(T.undefined()); |
| 113 T.CheckFalse(T.null()); | 106 T.CheckFalse(T.null()); |
| 114 T.CheckFalse(T.Val("x")); | 107 T.CheckFalse(T.Val("x")); |
| 115 T.CheckFalse(T.Val(1)); | 108 T.CheckFalse(T.Val(1)); |
| 116 } | 109 } |
| 117 | 110 |
| 118 | 111 |
| 119 TEST(ClassOf) { | 112 TEST(ClassOf) { |
| 120 FLAG_turbo_inlining_intrinsics = true; | |
| 121 FLAG_turbo_deoptimization = true; | 113 FLAG_turbo_deoptimization = true; |
| 122 FunctionTester T("(function(a) { return %_ClassOf(a); })", flags); | 114 FunctionTester T("(function(a) { return %_ClassOf(a); })", flags); |
| 123 | 115 |
| 124 T.CheckCall(T.Val("Function"), T.NewObject("(function() {})")); | 116 T.CheckCall(T.Val("Function"), T.NewObject("(function() {})")); |
| 125 T.CheckCall(T.Val("Array"), T.NewObject("([1])")); | 117 T.CheckCall(T.Val("Array"), T.NewObject("([1])")); |
| 126 T.CheckCall(T.Val("Object"), T.NewObject("({})")); | 118 T.CheckCall(T.Val("Object"), T.NewObject("({})")); |
| 127 T.CheckCall(T.Val("RegExp"), T.NewObject("(/x/)")); | 119 T.CheckCall(T.Val("RegExp"), T.NewObject("(/x/)")); |
| 128 T.CheckCall(T.null(), T.undefined()); | 120 T.CheckCall(T.null(), T.undefined()); |
| 129 T.CheckCall(T.null(), T.null()); | 121 T.CheckCall(T.null(), T.null()); |
| 130 T.CheckCall(T.null(), T.Val("x")); | 122 T.CheckCall(T.null(), T.Val("x")); |
| 131 T.CheckCall(T.null(), T.Val(1)); | 123 T.CheckCall(T.null(), T.Val(1)); |
| 132 } | 124 } |
| 133 | 125 |
| 134 | 126 |
| 135 TEST(ObjectEquals) { | 127 TEST(ObjectEquals) { |
| 136 FLAG_turbo_inlining_intrinsics = true; | |
| 137 FLAG_turbo_deoptimization = true; | 128 FLAG_turbo_deoptimization = true; |
| 138 FunctionTester T("(function(a,b) { return %_ObjectEquals(a,b); })", flags); | 129 FunctionTester T("(function(a,b) { return %_ObjectEquals(a,b); })", flags); |
| 139 CompileRun("var o = {}"); | 130 CompileRun("var o = {}"); |
| 140 | 131 |
| 141 T.CheckTrue(T.NewObject("(o)"), T.NewObject("(o)")); | 132 T.CheckTrue(T.NewObject("(o)"), T.NewObject("(o)")); |
| 142 T.CheckTrue(T.Val("internal"), T.Val("internal")); | 133 T.CheckTrue(T.Val("internal"), T.Val("internal")); |
| 143 T.CheckTrue(T.true_value(), T.true_value()); | 134 T.CheckTrue(T.true_value(), T.true_value()); |
| 144 T.CheckFalse(T.true_value(), T.false_value()); | 135 T.CheckFalse(T.true_value(), T.false_value()); |
| 145 T.CheckFalse(T.NewObject("({})"), T.NewObject("({})")); | 136 T.CheckFalse(T.NewObject("({})"), T.NewObject("({})")); |
| 146 T.CheckFalse(T.Val("a"), T.Val("b")); | 137 T.CheckFalse(T.Val("a"), T.Val("b")); |
| 147 } | 138 } |
| 148 | 139 |
| 149 | 140 |
| 150 TEST(ValueOf) { | 141 TEST(ValueOf) { |
| 151 FLAG_turbo_inlining_intrinsics = true; | |
| 152 FLAG_turbo_deoptimization = true; | 142 FLAG_turbo_deoptimization = true; |
| 153 FunctionTester T("(function(a) { return %_ValueOf(a); })", flags); | 143 FunctionTester T("(function(a) { return %_ValueOf(a); })", flags); |
| 154 | 144 |
| 155 T.CheckCall(T.Val("a"), T.Val("a")); | 145 T.CheckCall(T.Val("a"), T.Val("a")); |
| 156 T.CheckCall(T.Val("b"), T.NewObject("(new String('b'))")); | 146 T.CheckCall(T.Val("b"), T.NewObject("(new String('b'))")); |
| 157 T.CheckCall(T.Val(123), T.Val(123)); | 147 T.CheckCall(T.Val(123), T.Val(123)); |
| 158 T.CheckCall(T.Val(456), T.NewObject("(new Number(456))")); | 148 T.CheckCall(T.Val(456), T.NewObject("(new Number(456))")); |
| 159 } | 149 } |
| 160 | 150 |
| 161 | 151 |
| 162 TEST(SetValueOf) { | 152 TEST(SetValueOf) { |
| 163 FLAG_turbo_inlining_intrinsics = true; | |
| 164 FLAG_turbo_deoptimization = true; | 153 FLAG_turbo_deoptimization = true; |
| 165 FunctionTester T("(function(a,b) { return %_SetValueOf(a,b); })", flags); | 154 FunctionTester T("(function(a,b) { return %_SetValueOf(a,b); })", flags); |
| 166 | 155 |
| 167 T.CheckCall(T.Val("a"), T.NewObject("(new String)"), T.Val("a")); | 156 T.CheckCall(T.Val("a"), T.NewObject("(new String)"), T.Val("a")); |
| 168 T.CheckCall(T.Val(123), T.NewObject("(new Number)"), T.Val(123)); | 157 T.CheckCall(T.Val(123), T.NewObject("(new Number)"), T.Val(123)); |
| 169 T.CheckCall(T.Val("x"), T.undefined(), T.Val("x")); | 158 T.CheckCall(T.Val("x"), T.undefined(), T.Val("x")); |
| 170 } | 159 } |
| 171 | 160 |
| 172 | 161 |
| 173 TEST(StringCharFromCode) { | 162 TEST(StringCharFromCode) { |
| 174 FLAG_turbo_inlining_intrinsics = true; | |
| 175 FLAG_turbo_deoptimization = true; | 163 FLAG_turbo_deoptimization = true; |
| 176 FunctionTester T("(function(a) { return %_StringCharFromCode(a); })", flags); | 164 FunctionTester T("(function(a) { return %_StringCharFromCode(a); })", flags); |
| 177 | 165 |
| 178 T.CheckCall(T.Val("a"), T.Val(97)); | 166 T.CheckCall(T.Val("a"), T.Val(97)); |
| 179 T.CheckCall(T.Val("\xE2\x9D\x8A"), T.Val(0x274A)); | 167 T.CheckCall(T.Val("\xE2\x9D\x8A"), T.Val(0x274A)); |
| 180 T.CheckCall(T.Val(""), T.undefined()); | 168 T.CheckCall(T.Val(""), T.undefined()); |
| 181 } | 169 } |
| 182 | 170 |
| 183 | 171 |
| 184 TEST(StringCharAt) { | 172 TEST(StringCharAt) { |
| 185 FLAG_turbo_inlining_intrinsics = true; | |
| 186 FLAG_turbo_deoptimization = true; | 173 FLAG_turbo_deoptimization = true; |
| 187 FunctionTester T("(function(a,b) { return %_StringCharAt(a,b); })", flags); | 174 FunctionTester T("(function(a,b) { return %_StringCharAt(a,b); })", flags); |
| 188 | 175 |
| 189 T.CheckCall(T.Val("e"), T.Val("huge fan!"), T.Val(3)); | 176 T.CheckCall(T.Val("e"), T.Val("huge fan!"), T.Val(3)); |
| 190 T.CheckCall(T.Val("f"), T.Val("\xE2\x9D\x8A fan!"), T.Val(2)); | 177 T.CheckCall(T.Val("f"), T.Val("\xE2\x9D\x8A fan!"), T.Val(2)); |
| 191 T.CheckCall(T.Val(""), T.Val("not a fan!"), T.Val(23)); | 178 T.CheckCall(T.Val(""), T.Val("not a fan!"), T.Val(23)); |
| 192 } | 179 } |
| 193 | 180 |
| 194 | 181 |
| 195 TEST(StringCharCodeAt) { | 182 TEST(StringCharCodeAt) { |
| 196 FLAG_turbo_inlining_intrinsics = true; | |
| 197 FLAG_turbo_deoptimization = true; | 183 FLAG_turbo_deoptimization = true; |
| 198 FunctionTester T("(function(a,b) { return %_StringCharCodeAt(a,b); })", | 184 FunctionTester T("(function(a,b) { return %_StringCharCodeAt(a,b); })", |
| 199 flags); | 185 flags); |
| 200 | 186 |
| 201 T.CheckCall(T.Val('e'), T.Val("huge fan!"), T.Val(3)); | 187 T.CheckCall(T.Val('e'), T.Val("huge fan!"), T.Val(3)); |
| 202 T.CheckCall(T.Val('f'), T.Val("\xE2\x9D\x8A fan!"), T.Val(2)); | 188 T.CheckCall(T.Val('f'), T.Val("\xE2\x9D\x8A fan!"), T.Val(2)); |
| 203 T.CheckCall(T.nan(), T.Val("not a fan!"), T.Val(23)); | 189 T.CheckCall(T.nan(), T.Val("not a fan!"), T.Val(23)); |
| 204 } | 190 } |
| 205 | 191 |
| 206 | 192 |
| 207 TEST(StringAdd) { | 193 TEST(StringAdd) { |
| 208 FLAG_turbo_inlining_intrinsics = true; | |
| 209 FLAG_turbo_deoptimization = true; | 194 FLAG_turbo_deoptimization = true; |
| 210 FunctionTester T("(function(a,b) { return %_StringAdd(a,b); })", flags); | 195 FunctionTester T("(function(a,b) { return %_StringAdd(a,b); })", flags); |
| 211 | 196 |
| 212 T.CheckCall(T.Val("aaabbb"), T.Val("aaa"), T.Val("bbb")); | 197 T.CheckCall(T.Val("aaabbb"), T.Val("aaa"), T.Val("bbb")); |
| 213 T.CheckCall(T.Val("aaa"), T.Val("aaa"), T.Val("")); | 198 T.CheckCall(T.Val("aaa"), T.Val("aaa"), T.Val("")); |
| 214 T.CheckCall(T.Val("bbb"), T.Val(""), T.Val("bbb")); | 199 T.CheckCall(T.Val("bbb"), T.Val(""), T.Val("bbb")); |
| 215 } | 200 } |
| 216 | 201 |
| 217 | 202 |
| 218 TEST(StringSubString) { | 203 TEST(StringSubString) { |
| 219 FLAG_turbo_inlining_intrinsics = true; | |
| 220 FLAG_turbo_deoptimization = true; | 204 FLAG_turbo_deoptimization = true; |
| 221 FunctionTester T("(function(a,b) { return %_SubString(a,b,b+3); })", flags); | 205 FunctionTester T("(function(a,b) { return %_SubString(a,b,b+3); })", flags); |
| 222 | 206 |
| 223 T.CheckCall(T.Val("aaa"), T.Val("aaabbb"), T.Val(0.0)); | 207 T.CheckCall(T.Val("aaa"), T.Val("aaabbb"), T.Val(0.0)); |
| 224 T.CheckCall(T.Val("abb"), T.Val("aaabbb"), T.Val(2)); | 208 T.CheckCall(T.Val("abb"), T.Val("aaabbb"), T.Val(2)); |
| 225 T.CheckCall(T.Val("aaa"), T.Val("aaa"), T.Val(0.0)); | 209 T.CheckCall(T.Val("aaa"), T.Val("aaa"), T.Val(0.0)); |
| 226 } | 210 } |
| 227 | 211 |
| 228 | 212 |
| 229 TEST(StringCompare) { | 213 TEST(StringCompare) { |
| 230 FLAG_turbo_inlining_intrinsics = true; | |
| 231 FLAG_turbo_deoptimization = true; | 214 FLAG_turbo_deoptimization = true; |
| 232 FunctionTester T("(function(a,b) { return %_StringCompare(a,b); })", flags); | 215 FunctionTester T("(function(a,b) { return %_StringCompare(a,b); })", flags); |
| 233 | 216 |
| 234 T.CheckCall(T.Val(-1), T.Val("aaa"), T.Val("bbb")); | 217 T.CheckCall(T.Val(-1), T.Val("aaa"), T.Val("bbb")); |
| 235 T.CheckCall(T.Val(0.0), T.Val("bbb"), T.Val("bbb")); | 218 T.CheckCall(T.Val(0.0), T.Val("bbb"), T.Val("bbb")); |
| 236 T.CheckCall(T.Val(+1), T.Val("ccc"), T.Val("bbb")); | 219 T.CheckCall(T.Val(+1), T.Val("ccc"), T.Val("bbb")); |
| 237 } | 220 } |
| 238 | 221 |
| 239 | 222 |
| 240 TEST(CallFunction) { | 223 TEST(CallFunction) { |
| 241 FLAG_turbo_inlining_intrinsics = true; | |
| 242 FLAG_turbo_deoptimization = true; | 224 FLAG_turbo_deoptimization = true; |
| 243 FunctionTester T("(function(a,b) { return %_CallFunction(a, 1, 2, 3, b); })", | 225 FunctionTester T("(function(a,b) { return %_CallFunction(a, 1, 2, 3, b); })", |
| 244 flags); | 226 flags); |
| 245 CompileRun("function f(a,b,c) { return a + b + c + this.d; }"); | 227 CompileRun("function f(a,b,c) { return a + b + c + this.d; }"); |
| 246 | 228 |
| 247 T.CheckCall(T.Val(129), T.NewObject("({d:123})"), T.NewObject("f")); | 229 T.CheckCall(T.Val(129), T.NewObject("({d:123})"), T.NewObject("f")); |
| 248 T.CheckCall(T.Val("6x"), T.NewObject("({d:'x'})"), T.NewObject("f")); | 230 T.CheckCall(T.Val("6x"), T.NewObject("({d:'x'})"), T.NewObject("f")); |
| 249 } | 231 } |
| OLD | NEW |