src/v8/test/cctest/compiler/test-run-jsbranches.cc

   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
   3 // found in the LICENSE file.
   4
   5 #include "src/v8.h"
   6
   7 #include "test/cctest/compiler/function-tester.h"
   8
   9 using namespace v8::internal;
  10 using namespace v8::internal::compiler;
  11
  12 TEST(Conditional) {
  13   FunctionTester T("(function(a) { return a ? 23 : 42; })");
  14
  15   T.CheckCall(T.Val(23), T.true_value(), T.undefined());
  16   T.CheckCall(T.Val(42), T.false_value(), T.undefined());
  17   T.CheckCall(T.Val(42), T.undefined(), T.undefined());
  18   T.CheckCall(T.Val(42), T.Val(0.0), T.undefined());
  19   T.CheckCall(T.Val(23), T.Val(999), T.undefined());
  20   T.CheckCall(T.Val(23), T.Val("x"), T.undefined());
  21 }
  22
  23
  24 TEST(LogicalAnd) {
  25   FunctionTester T("(function(a,b) { return a && b; })");
  26
  27   T.CheckCall(T.true_value(), T.true_value(), T.true_value());
  28   T.CheckCall(T.false_value(), T.false_value(), T.true_value());
  29   T.CheckCall(T.false_value(), T.true_value(), T.false_value());
  30   T.CheckCall(T.false_value(), T.false_value(), T.false_value());
  31
  32   T.CheckCall(T.Val(999), T.Val(777), T.Val(999));
  33   T.CheckCall(T.Val(0.0), T.Val(0.0), T.Val(999));
  34   T.CheckCall(T.Val("b"), T.Val("a"), T.Val("b"));
  35 }
  36
  37
  38 TEST(LogicalOr) {
  39   FunctionTester T("(function(a,b) { return a || b; })");
  40
  41   T.CheckCall(T.true_value(), T.true_value(), T.true_value());
  42   T.CheckCall(T.true_value(), T.false_value(), T.true_value());
  43   T.CheckCall(T.true_value(), T.true_value(), T.false_value());
  44   T.CheckCall(T.false_value(), T.false_value(), T.false_value());
  45
  46   T.CheckCall(T.Val(777), T.Val(777), T.Val(999));
  47   T.CheckCall(T.Val(999), T.Val(0.0), T.Val(999));
  48   T.CheckCall(T.Val("a"), T.Val("a"), T.Val("b"));
  49 }
  50
  51
  52 TEST(LogicalEffect) {
  53   FunctionTester T("(function(a,b) { a && (b = a); return b; })");
  54
  55   T.CheckCall(T.true_value(), T.true_value(), T.true_value());
  56   T.CheckCall(T.true_value(), T.false_value(), T.true_value());
  57   T.CheckCall(T.true_value(), T.true_value(), T.false_value());
  58   T.CheckCall(T.false_value(), T.false_value(), T.false_value());
  59
  60   T.CheckCall(T.Val(777), T.Val(777), T.Val(999));
  61   T.CheckCall(T.Val(999), T.Val(0.0), T.Val(999));
  62   T.CheckCall(T.Val("a"), T.Val("a"), T.Val("b"));
  63 }
  64
  65
  66 TEST(IfStatement) {
  67   FunctionTester T("(function(a) { if (a) { return 1; } else { return 2; } })");
  68
  69   T.CheckCall(T.Val(1), T.true_value(), T.undefined());
  70   T.CheckCall(T.Val(2), T.false_value(), T.undefined());
  71   T.CheckCall(T.Val(2), T.undefined(), T.undefined());
  72   T.CheckCall(T.Val(2), T.Val(0.0), T.undefined());
  73   T.CheckCall(T.Val(1), T.Val(999), T.undefined());
  74   T.CheckCall(T.Val(1), T.Val("x"), T.undefined());
  75 }
  76
  77
  78 TEST(DoWhileStatement) {
  79   FunctionTester T("(function(a,b) { do { a+=23; } while(a < b) return a; })");
  80
  81   T.CheckCall(T.Val(24), T.Val(1), T.Val(1));
  82   T.CheckCall(T.Val(24), T.Val(1), T.Val(23));
  83   T.CheckCall(T.Val(47), T.Val(1), T.Val(25));
  84   T.CheckCall(T.Val("str23"), T.Val("str"), T.Val("str"));
  85 }
  86
  87
  88 TEST(WhileStatement) {
  89   FunctionTester T("(function(a,b) { while(a < b) { a+=23; } return a; })");
  90
  91   T.CheckCall(T.Val(1), T.Val(1), T.Val(1));
  92   T.CheckCall(T.Val(24), T.Val(1), T.Val(23));
  93   T.CheckCall(T.Val(47), T.Val(1), T.Val(25));
  94   T.CheckCall(T.Val("str"), T.Val("str"), T.Val("str"));
  95 }
  96
  97
  98 TEST(ForStatement) {
  99   FunctionTester T("(function(a,b) { for (; a < b; a+=23) {} return a; })");
 100
 101   T.CheckCall(T.Val(1), T.Val(1), T.Val(1));
 102   T.CheckCall(T.Val(24), T.Val(1), T.Val(23));
 103   T.CheckCall(T.Val(47), T.Val(1), T.Val(25));
 104   T.CheckCall(T.Val("str"), T.Val("str"), T.Val("str"));
 105 }
 106
 107
 108 static void TestForIn(const char* code) {
 109   FunctionTester T(code);
 110   T.CheckCall(T.undefined(), T.undefined());
 111   T.CheckCall(T.undefined(), T.null());
 112   T.CheckCall(T.undefined(), T.NewObject("({})"));
 113   T.CheckCall(T.undefined(), T.Val(1));
 114   T.CheckCall(T.Val("2"), T.Val("str"));
 115   T.CheckCall(T.Val("a"), T.NewObject("({'a' : 1})"));
 116   T.CheckCall(T.Val("2"), T.NewObject("([1, 2, 3])"));
 117   T.CheckCall(T.Val("a"), T.NewObject("({'a' : 1, 'b' : 1})"), T.Val("b"));
 118   T.CheckCall(T.Val("1"), T.NewObject("([1, 2, 3])"), T.Val("2"));
 119 }
 120
 121
 122 TEST(ForInStatement) {
 123   // Variable assignment.
 124   TestForIn(
 125       "(function(a, b) {"
 126       "var last;"
 127       "for (var x in a) {"
 128       "  if (b) { delete a[b]; b = undefined; }"
 129       "  last = x;"
 130       "}"
 131       "return last;})");
 132   // Indexed assignment.
 133   TestForIn(
 134       "(function(a, b) {"
 135       "var array = [0, 1, undefined];"
 136       "for (array[2] in a) {"
 137       "  if (b) { delete a[b]; b = undefined; }"
 138       "}"
 139       "return array[2];})");
 140   // Named assignment.
 141   TestForIn(
 142       "(function(a, b) {"
 143       "var obj = {'a' : undefined};"
 144       "for (obj.a in a) {"
 145       "  if (b) { delete a[b]; b = undefined; }"
 146       "}"
 147       "return obj.a;})");
 148 }
 149
 150
 151 TEST(ForInContinueStatement) {
 152   const char* src =
 153       "(function(a,b) {"
 154       "  var r = '-';"
 155       "  for (var x in a) {"
 156       "    r += 'A-';"
 157       "    if (b) continue;"
 158       "    r += 'B-';"
 159       "  }"
 160       "  return r;"
 161       "})";
 162   FunctionTester T(src);
 163
 164   T.CheckCall(T.Val("-A-B-"), T.NewObject("({x:1})"), T.false_value());
 165   T.CheckCall(T.Val("-A-B-A-B-"), T.NewObject("({x:1,y:2})"), T.false_value());
 166   T.CheckCall(T.Val("-A-"), T.NewObject("({x:1})"), T.true_value());
 167   T.CheckCall(T.Val("-A-A-"), T.NewObject("({x:1,y:2})"), T.true_value());
 168 }
 169
 170
 171 TEST(SwitchStatement) {
 172   const char* src =
 173       "(function(a,b) {"
 174       "  var r = '-';"
 175       "  switch (a) {"
 176       "    case 'x'    : r += 'X-';"
 177       "    case b + 'b': r += 'B-';"
 178       "    default     : r += 'D-';"
 179       "    case 'y'    : r += 'Y-';"
 180       "  }"
 181       "  return r;"
 182       "})";
 183   FunctionTester T(src);
 184
 185   T.CheckCall(T.Val("-X-B-D-Y-"), T.Val("x"), T.Val("B"));
 186   T.CheckCall(T.Val("-B-D-Y-"), T.Val("Bb"), T.Val("B"));
 187   T.CheckCall(T.Val("-D-Y-"), T.Val("z"), T.Val("B"));
 188   T.CheckCall(T.Val("-Y-"), T.Val("y"), T.Val("B"));
 189
 190   CompileRun("var c = 0; var o = { toString:function(){return c++} };");
 191   T.CheckCall(T.Val("-D-Y-"), T.Val("1b"), T.NewObject("o"));
 192   T.CheckCall(T.Val("-B-D-Y-"), T.Val("1b"), T.NewObject("o"));
 193   T.CheckCall(T.Val("-D-Y-"), T.Val("1b"), T.NewObject("o"));
 194 }
 195
 196
 197 TEST(BlockBreakStatement) {
 198   FunctionTester T("(function(a,b) { L:{ if (a) break L; b=1; } return b; })");
 199
 200   T.CheckCall(T.Val(7), T.true_value(), T.Val(7));
 201   T.CheckCall(T.Val(1), T.false_value(), T.Val(7));
 202 }
 203
 204
 205 TEST(BlockReturnStatement) {
 206   FunctionTester T("(function(a,b) { L:{ if (a) b=1; return b; } })");
 207
 208   T.CheckCall(T.Val(1), T.true_value(), T.Val(7));
 209   T.CheckCall(T.Val(7), T.false_value(), T.Val(7));
 210 }
 211
 212
 213 TEST(NestedIfConditional) {
 214   FunctionTester T("(function(a,b) { if (a) { b = (b?b:7) + 1; } return b; })");
 215
 216   T.CheckCall(T.Val(4), T.false_value(), T.Val(4));
 217   T.CheckCall(T.Val(6), T.true_value(), T.Val(5));
 218   T.CheckCall(T.Val(8), T.true_value(), T.undefined());
 219 }
 220
 221
 222 TEST(NestedIfLogical) {
 223   const char* src =
 224       "(function(a,b) {"
 225       "  if (a || b) { return 1; } else { return 2; }"
 226       "})";
 227   FunctionTester T(src);
 228
 229   T.CheckCall(T.Val(1), T.true_value(), T.true_value());
 230   T.CheckCall(T.Val(1), T.false_value(), T.true_value());
 231   T.CheckCall(T.Val(1), T.true_value(), T.false_value());
 232   T.CheckCall(T.Val(2), T.false_value(), T.false_value());
 233   T.CheckCall(T.Val(1), T.Val(1.0), T.Val(1.0));
 234   T.CheckCall(T.Val(1), T.Val(0.0), T.Val(1.0));
 235   T.CheckCall(T.Val(1), T.Val(1.0), T.Val(0.0));
 236   T.CheckCall(T.Val(2), T.Val(0.0), T.Val(0.0));
 237 }
 238
 239
 240 TEST(NestedIfElseFor) {
 241   const char* src =
 242       "(function(a,b) {"
 243       "  if (!a) { return b - 3; } else { for (; a < b; a++); }"
 244       "  return a;"
 245       "})";
 246   FunctionTester T(src);
 247
 248   T.CheckCall(T.Val(1), T.false_value(), T.Val(4));
 249   T.CheckCall(T.Val(2), T.true_value(), T.Val(2));
 250   T.CheckCall(T.Val(3), T.Val(3), T.Val(1));
 251 }
 252
 253
 254 TEST(NestedWhileWhile) {
 255   const char* src =
 256       "(function(a) {"
 257       "  var i = a; while (false) while(false) return i;"
 258       "  return i;"
 259       "})";
 260   FunctionTester T(src);
 261
 262   T.CheckCall(T.Val(2.0), T.Val(2.0), T.Val(-1.0));
 263   T.CheckCall(T.Val(65.0), T.Val(65.0), T.Val(-1.0));
 264 }
 265
 266
 267 TEST(NestedForIf) {
 268   FunctionTester T("(function(a,b) { for (; a > 1; a--) if (b) return 1; })");
 269
 270   T.CheckCall(T.Val(1), T.Val(3), T.true_value());
 271   T.CheckCall(T.undefined(), T.Val(2), T.false_value());
 272   T.CheckCall(T.undefined(), T.Val(1), T.null());
 273 }
 274
 275
 276 TEST(NestedForConditional) {
 277   FunctionTester T("(function(a,b) { for (; a > 1; a--) return b ? 1 : 2; })");
 278
 279   T.CheckCall(T.Val(1), T.Val(3), T.true_value());
 280   T.CheckCall(T.Val(2), T.Val(2), T.false_value());
 281   T.CheckCall(T.undefined(), T.Val(1), T.null());
 282 }
 283
 284
 285 TEST(IfTrue) {
 286   FunctionTester T("(function(a,b) { if (true) return a; return b; })");
 287
 288   T.CheckCall(T.Val(55), T.Val(55), T.Val(11));
 289   T.CheckCall(T.Val(666), T.Val(666), T.Val(-444));
 290 }
 291
 292
 293 TEST(TernaryTrue) {
 294   FunctionTester T("(function(a,b) { return true ? a : b; })");
 295
 296   T.CheckCall(T.Val(77), T.Val(77), T.Val(11));
 297   T.CheckCall(T.Val(111), T.Val(111), T.Val(-444));
 298 }
 299
 300
 301 TEST(IfFalse) {
 302   FunctionTester T("(function(a,b) { if (false) return a; return b; })");
 303
 304   T.CheckCall(T.Val(11), T.Val(22), T.Val(11));
 305   T.CheckCall(T.Val(-555), T.Val(333), T.Val(-555));
 306 }
 307
 308
 309 TEST(TernaryFalse) {
 310   FunctionTester T("(function(a,b) { return false ? a : b; })");
 311
 312   T.CheckCall(T.Val(99), T.Val(33), T.Val(99));
 313   T.CheckCall(T.Val(-99), T.Val(-33), T.Val(-99));
 314 }
 315
 316
 317 TEST(WhileTrue) {
 318   FunctionTester T("(function(a,b) { while (true) return a; return b; })");
 319
 320   T.CheckCall(T.Val(551), T.Val(551), T.Val(111));
 321   T.CheckCall(T.Val(661), T.Val(661), T.Val(-444));
 322 }
 323
 324
 325 TEST(WhileFalse) {
 326   FunctionTester T("(function(a,b) { while (false) return a; return b; })");
 327
 328   T.CheckCall(T.Val(115), T.Val(551), T.Val(115));
 329   T.CheckCall(T.Val(-445), T.Val(661), T.Val(-445));
 330 }
 331
 332
 333 TEST(DoWhileTrue) {
 334   FunctionTester T(
 335       "(function(a,b) { do { return a; } while (true); return b; })");
 336
 337   T.CheckCall(T.Val(7551), T.Val(7551), T.Val(7111));
 338   T.CheckCall(T.Val(7661), T.Val(7661), T.Val(-7444));
 339 }
 340
 341
 342 TEST(DoWhileFalse) {
 343   FunctionTester T(
 344       "(function(a,b) { do { "
 345       "; } while (false); return b; })");
 346
 347   T.CheckCall(T.Val(8115), T.Val(8551), T.Val(8115));
 348   T.CheckCall(T.Val(-8445), T.Val(8661), T.Val(-8445));
 349 }
 350
 351
 352 TEST(EmptyFor) {
 353   FunctionTester T("(function(a,b) { if (a) for(;;) ; return b; })");
 354
 355   T.CheckCall(T.Val(8126.1), T.Val(0.0), T.Val(8126.1));
 356   T.CheckCall(T.Val(1123.1), T.Val(0.0), T.Val(1123.1));
 357 }