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