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 |