| OLD | NEW |
| (Empty) |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | |
| 2 // Redistribution and use in source and binary forms, with or without | |
| 3 // modification, are permitted provided that the following conditions are | |
| 4 // met: | |
| 5 // | |
| 6 // * Redistributions of source code must retain the above copyright | |
| 7 // notice, this list of conditions and the following disclaimer. | |
| 8 // * Redistributions in binary form must reproduce the above | |
| 9 // copyright notice, this list of conditions and the following | |
| 10 // disclaimer in the documentation and/or other materials provided | |
| 11 // with the distribution. | |
| 12 // * Neither the name of Google Inc. nor the names of its | |
| 13 // contributors may be used to endorse or promote products derived | |
| 14 // from this software without specific prior written permission. | |
| 15 // | |
| 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | |
| 17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | |
| 18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | |
| 19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | |
| 20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | |
| 21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | |
| 22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | |
| 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | |
| 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | |
| 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | |
| 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
| 27 | |
| 28 #include <limits.h> | |
| 29 | |
| 30 #include "v8.h" | |
| 31 | |
| 32 #include "api.h" | |
| 33 #include "isolate.h" | |
| 34 #include "compilation-cache.h" | |
| 35 #include "execution.h" | |
| 36 #include "snapshot.h" | |
| 37 #include "platform.h" | |
| 38 #include "utils.h" | |
| 39 #include "cctest.h" | |
| 40 #include "parser.h" | |
| 41 #include "unicode-inl.h" | |
| 42 | |
| 43 using ::v8::Context; | |
| 44 using ::v8::Extension; | |
| 45 using ::v8::Function; | |
| 46 using ::v8::FunctionTemplate; | |
| 47 using ::v8::Handle; | |
| 48 using ::v8::HandleScope; | |
| 49 using ::v8::Local; | |
| 50 using ::v8::Message; | |
| 51 using ::v8::MessageCallback; | |
| 52 using ::v8::Object; | |
| 53 using ::v8::ObjectTemplate; | |
| 54 using ::v8::Persistent; | |
| 55 using ::v8::Script; | |
| 56 using ::v8::StackTrace; | |
| 57 using ::v8::String; | |
| 58 using ::v8::TryCatch; | |
| 59 using ::v8::Undefined; | |
| 60 using ::v8::V8; | |
| 61 using ::v8::Value; | |
| 62 | |
| 63 static void ExpectBoolean(bool expected, Local<Value> result) { | |
| 64 CHECK(result->IsBoolean()); | |
| 65 CHECK_EQ(expected, result->BooleanValue()); | |
| 66 } | |
| 67 | |
| 68 | |
| 69 static void ExpectInt32(int32_t expected, Local<Value> result) { | |
| 70 CHECK(result->IsInt32()); | |
| 71 CHECK_EQ(expected, result->Int32Value()); | |
| 72 } | |
| 73 | |
| 74 | |
| 75 static void ExpectNumber(double expected, Local<Value> result) { | |
| 76 CHECK(result->IsNumber()); | |
| 77 CHECK_EQ(expected, result->NumberValue()); | |
| 78 } | |
| 79 | |
| 80 | |
| 81 static void ExpectUndefined(Local<Value> result) { | |
| 82 CHECK(result->IsUndefined()); | |
| 83 } | |
| 84 | |
| 85 | |
| 86 // Tests are sorted by order of implementation. | |
| 87 | |
| 88 TEST(simple_value) { | |
| 89 LocalContext env; | |
| 90 v8::HandleScope scope(env->GetIsolate()); | |
| 91 Local<Value> result = CompileRun("0x271828;"); | |
| 92 ExpectInt32(0x271828, result); | |
| 93 } | |
| 94 | |
| 95 | |
| 96 TEST(global_variable) { | |
| 97 LocalContext env; | |
| 98 v8::HandleScope scope(env->GetIsolate()); | |
| 99 Local<Value> result = CompileRun("var my_global_var = 0x123; my_global_var;"); | |
| 100 ExpectInt32(0x123, result); | |
| 101 } | |
| 102 | |
| 103 | |
| 104 TEST(simple_function_call) { | |
| 105 LocalContext env; | |
| 106 v8::HandleScope scope(env->GetIsolate()); | |
| 107 Local<Value> result = CompileRun( | |
| 108 "function foo() { return 0x314; }" | |
| 109 "foo();"); | |
| 110 ExpectInt32(0x314, result); | |
| 111 } | |
| 112 | |
| 113 | |
| 114 TEST(binary_op) { | |
| 115 LocalContext env; | |
| 116 v8::HandleScope scope(env->GetIsolate()); | |
| 117 Local<Value> result = CompileRun( | |
| 118 "function foo() {" | |
| 119 " var a = 0x1200;" | |
| 120 " var b = 0x0035;" | |
| 121 " return 2 * (a + b - 1);" | |
| 122 "}" | |
| 123 "foo();"); | |
| 124 ExpectInt32(0x2468, result); | |
| 125 } | |
| 126 | |
| 127 static void if_comparison_testcontext_helper( | |
| 128 char const * op, | |
| 129 char const * lhs, | |
| 130 char const * rhs, | |
| 131 int expect) { | |
| 132 char buffer[256]; | |
| 133 snprintf(buffer, sizeof(buffer), | |
| 134 "var lhs = %s;" | |
| 135 "var rhs = %s;" | |
| 136 "if ( lhs %s rhs ) { 1; }" | |
| 137 "else { 0; }", | |
| 138 lhs, rhs, op); | |
| 139 Local<Value> result = CompileRun(buffer); | |
| 140 ExpectInt32(expect, result); | |
| 141 } | |
| 142 | |
| 143 static void if_comparison_effectcontext_helper( | |
| 144 char const * op, | |
| 145 char const * lhs, | |
| 146 char const * rhs, | |
| 147 int expect) { | |
| 148 char buffer[256]; | |
| 149 snprintf(buffer, sizeof(buffer), | |
| 150 "var lhs = %s;" | |
| 151 "var rhs = %s;" | |
| 152 "var test = lhs %s rhs;" | |
| 153 "if ( test ) { 1; }" | |
| 154 "else { 0; }", | |
| 155 lhs, rhs, op); | |
| 156 Local<Value> result = CompileRun(buffer); | |
| 157 ExpectInt32(expect, result); | |
| 158 } | |
| 159 | |
| 160 static void if_comparison_helper( | |
| 161 char const * op, | |
| 162 int expect_when_lt, | |
| 163 int expect_when_eq, | |
| 164 int expect_when_gt) { | |
| 165 // TODO(all): Non-SMI tests. | |
| 166 | |
| 167 if_comparison_testcontext_helper(op, "1", "3", expect_when_lt); | |
| 168 if_comparison_testcontext_helper(op, "5", "5", expect_when_eq); | |
| 169 if_comparison_testcontext_helper(op, "9", "7", expect_when_gt); | |
| 170 | |
| 171 if_comparison_effectcontext_helper(op, "1", "3", expect_when_lt); | |
| 172 if_comparison_effectcontext_helper(op, "5", "5", expect_when_eq); | |
| 173 if_comparison_effectcontext_helper(op, "9", "7", expect_when_gt); | |
| 174 } | |
| 175 | |
| 176 | |
| 177 TEST(if_comparison) { | |
| 178 LocalContext env; | |
| 179 v8::HandleScope scope(env->GetIsolate()); | |
| 180 | |
| 181 if_comparison_helper("<", 1, 0, 0); | |
| 182 if_comparison_helper("<=", 1, 1, 0); | |
| 183 if_comparison_helper("==", 0, 1, 0); | |
| 184 if_comparison_helper("===", 0, 1, 0); | |
| 185 if_comparison_helper(">=", 0, 1, 1); | |
| 186 if_comparison_helper(">", 0, 0, 1); | |
| 187 if_comparison_helper("!=", 1, 0, 1); | |
| 188 if_comparison_helper("!==", 1, 0, 1); | |
| 189 } | |
| 190 | |
| 191 | |
| 192 TEST(unary_plus) { | |
| 193 LocalContext env; | |
| 194 v8::HandleScope scope(env->GetIsolate()); | |
| 195 Local<Value> result; | |
| 196 // SMI | |
| 197 result = CompileRun("var a = 1234; +a"); | |
| 198 ExpectInt32(1234, result); | |
| 199 // Number | |
| 200 result = CompileRun("var a = 1234.5; +a"); | |
| 201 ExpectNumber(1234.5, result); | |
| 202 // String (SMI) | |
| 203 result = CompileRun("var a = '1234'; +a"); | |
| 204 ExpectInt32(1234, result); | |
| 205 // String (Number) | |
| 206 result = CompileRun("var a = '1234.5'; +a"); | |
| 207 ExpectNumber(1234.5, result); | |
| 208 // Check side effects. | |
| 209 result = CompileRun("var a = 1234; +(a = 4321); a"); | |
| 210 ExpectInt32(4321, result); | |
| 211 } | |
| 212 | |
| 213 | |
| 214 TEST(unary_minus) { | |
| 215 LocalContext env; | |
| 216 v8::HandleScope scope(env->GetIsolate()); | |
| 217 Local<Value> result; | |
| 218 result = CompileRun("var a = 1234; -a"); | |
| 219 ExpectInt32(-1234, result); | |
| 220 result = CompileRun("var a = 1234.5; -a"); | |
| 221 ExpectNumber(-1234.5, result); | |
| 222 result = CompileRun("var a = 1234; -(a = 4321); a"); | |
| 223 ExpectInt32(4321, result); | |
| 224 result = CompileRun("var a = '1234'; -a"); | |
| 225 ExpectInt32(-1234, result); | |
| 226 result = CompileRun("var a = '1234.5'; -a"); | |
| 227 ExpectNumber(-1234.5, result); | |
| 228 } | |
| 229 | |
| 230 | |
| 231 TEST(unary_void) { | |
| 232 LocalContext env; | |
| 233 v8::HandleScope scope(env->GetIsolate()); | |
| 234 Local<Value> result; | |
| 235 result = CompileRun("var a = 1234; void (a);"); | |
| 236 ExpectUndefined(result); | |
| 237 result = CompileRun("var a = 0; void (a = 42); a"); | |
| 238 ExpectInt32(42, result); | |
| 239 result = CompileRun("var a = 0; void (a = 42);"); | |
| 240 ExpectUndefined(result); | |
| 241 } | |
| 242 | |
| 243 | |
| 244 TEST(unary_not) { | |
| 245 LocalContext env; | |
| 246 v8::HandleScope scope(env->GetIsolate()); | |
| 247 Local<Value> result; | |
| 248 result = CompileRun("var a = 1234; !a"); | |
| 249 ExpectBoolean(false, result); | |
| 250 result = CompileRun("var a = 0; !a"); | |
| 251 ExpectBoolean(true, result); | |
| 252 result = CompileRun("var a = 0; !(a = 1234); a"); | |
| 253 ExpectInt32(1234, result); | |
| 254 result = CompileRun("var a = '1234'; !a"); | |
| 255 ExpectBoolean(false, result); | |
| 256 result = CompileRun("var a = ''; !a"); | |
| 257 ExpectBoolean(true, result); | |
| 258 result = CompileRun("var a = 1234; !!a"); | |
| 259 ExpectBoolean(true, result); | |
| 260 result = CompileRun("var a = 0; !!a"); | |
| 261 ExpectBoolean(false, result); | |
| 262 result = CompileRun("var a = 0; if ( !a ) { 1; } else { 0; }"); | |
| 263 ExpectInt32(1, result); | |
| 264 result = CompileRun("var a = 1; if ( !a ) { 1; } else { 0; }"); | |
| 265 ExpectInt32(0, result); | |
| 266 } | |
| OLD | NEW |