Home | History | Annotate | Download | only in mjsunit
      1 // Copyright 2012 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 // Flags: --expose-debug-as debug --expose-gc --allow-natives-syntax
     29 // Flags: --inline-construct
     30 
     31 // Get the Debug object exposed from the debug context global object.
     32 Debug = debug.Debug
     33 
     34 var listenerComplete = false;
     35 var exception = false;
     36 
     37 var testingConstructCall = false;
     38 
     39 var expected = [
     40   { locals: {a0: 1, b0: 2},
     41     args: { names: ["i", "x0", "y0"], values: [0, 3, 4] } },
     42   { locals: {a1: 3, b1: 4},
     43     args: { names: ["i", "x1", "y1"], values: [1, 5, 6] } },
     44   { locals: {a2: 5, b2: 6},
     45     args: { names: ["i"], values: [2] } },
     46   { locals: {a3: 7, b3: 8},
     47     args: { names: ["i", "x3", "y3", "z3"], values: [3, 9, 10, undefined] } },
     48   { locals: {a4: 9, b4: 10},
     49     args: { names: ["i", "x4", "y4"], values: [4, 11, 12] } }
     50 ];
     51 
     52 function arraySum(arr) {
     53   return arr.reduce(function (a, b) { return a + b; }, 0);
     54 }
     55 
     56 function listener(event, exec_state, event_data, data) {
     57   try {
     58     if (event == Debug.DebugEvent.Break)
     59     {
     60       assertEquals(6, exec_state.frameCount());
     61 
     62       for (var i = 0; i < exec_state.frameCount(); i++) {
     63         var frame = exec_state.frame(i);
     64         if (i < exec_state.frameCount() - 1) {
     65           var expected_args = expected[i].args;
     66           var expected_locals = expected[i].locals;
     67 
     68           // All frames except the bottom one have expected locals.
     69           var locals = {};
     70           for (var j = 0; j < frame.localCount(); j++) {
     71             locals[frame.localName(j)] = frame.localValue(j).value();
     72           }
     73           assertPropertiesEqual(expected_locals, locals);
     74 
     75           // All frames except the bottom one have expected arguments.
     76           for (var j = 0; j < expected_args.names.length; j++) {
     77             assertEquals(expected_args.names[j], frame.argumentName(j));
     78             assertEquals(expected_args.values[j],
     79                          frame.argumentValue(j).value());
     80           }
     81 
     82           // All frames except the bottom one have three scopes.
     83           assertEquals(3, frame.scopeCount());
     84           assertEquals(debug.ScopeType.Local, frame.scope(0).scopeType());
     85           assertEquals(debug.ScopeType.Script, frame.scope(1).scopeType());
     86           assertEquals(debug.ScopeType.Global, frame.scope(2).scopeType());
     87 
     88           Object.keys(expected_locals).forEach(function (name) {
     89             assertEquals(expected_locals[name],
     90                          frame.scope(0).scopeObject().value()[name]);
     91           });
     92 
     93           for (var j = 0; j < expected_args.names.length; j++) {
     94             var arg_name = expected_args.names[j];
     95             var arg_value = expected_args.values[j];
     96             assertEquals(arg_value,
     97                          frame.scope(0).scopeObject().value()[arg_name]);
     98           }
     99 
    100           // Evaluate in the inlined frame.
    101           Object.keys(expected_locals).forEach(function (name) {
    102             assertEquals(expected_locals[name], frame.evaluate(name).value());
    103           });
    104 
    105           for (var j = 0; j < expected_args.names.length; j++) {
    106             var arg_name = expected_args.names[j];
    107             var arg_value = expected_args.values[j];
    108             assertEquals(arg_value, frame.evaluate(arg_name).value());
    109             assertEquals(arg_value, frame.evaluate('arguments['+j+']').value());
    110           }
    111 
    112           var expected_args_sum = arraySum(expected_args.values);
    113           var expected_locals_sum =
    114               arraySum(Object.keys(expected_locals).
    115                        map(function (k) { return expected_locals[k]; }));
    116 
    117           assertEquals(expected_locals_sum + expected_args_sum,
    118                        frame.evaluate(Object.keys(expected_locals).join('+') +
    119                                       ' + ' +
    120                                       expected_args.names.join('+')).value());
    121 
    122           var arguments_sum = expected_args.names.map(function(_, idx) {
    123             return "arguments[" + idx + "]";
    124           }).join('+');
    125           assertEquals(expected_args_sum,
    126                        frame.evaluate(arguments_sum).value());
    127         } else {
    128           // The bottom frame only have the script scope and the global scope.
    129           assertEquals(2, frame.scopeCount());
    130           assertEquals(debug.ScopeType.Script, frame.scope(0).scopeType());
    131           assertEquals(debug.ScopeType.Global, frame.scope(1).scopeType());
    132         }
    133 
    134         // Check the frame function.
    135         switch (i) {
    136           case 0: assertEquals(h, frame.func().value()); break;
    137           case 1: assertEquals(g3, frame.func().value()); break;
    138           case 2: assertEquals(g2, frame.func().value()); break;
    139           case 3: assertEquals(g1, frame.func().value()); break;
    140           case 4: assertEquals(f, frame.func().value()); break;
    141           case 5: break;
    142           default: assertUnreachable();
    143         }
    144 
    145         // Check for construct call.
    146         if (i == 4) {
    147           assertEquals(testingConstructCall, frame.isConstructCall());
    148         } else if (i == 2) {
    149           assertTrue(frame.isConstructCall());
    150         } else {
    151           assertFalse(frame.isConstructCall());
    152         }
    153 
    154         if (i > 4) {
    155           assertFalse(frame.isOptimizedFrame());
    156           assertFalse(frame.isInlinedFrame());
    157         }
    158       }
    159 
    160       // Indicate that all was processed.
    161       listenerComplete = true;
    162     }
    163   } catch (e) {
    164     exception = e.toString() + e.stack;
    165   };
    166 };
    167 
    168 for (var i = 0; i < 4; i++) f(expected.length - 1, 11, 12);
    169 %OptimizeFunctionOnNextCall(f);
    170 f(expected.length - 1, 11, 12);
    171 
    172 // Add the debug event listener.
    173 Debug.setListener(listener);
    174 
    175 function h(i, x0, y0) {
    176   var a0 = expected[i].locals.a0;
    177   var b0 = expected[i].locals.b0;
    178   debugger;  // Breakpoint.
    179   return a0 + b0;
    180 }
    181 
    182 function g3(i, x1, y1) {
    183   var a1 = expected[i].locals.a1;
    184   var b1 = expected[i].locals.b1;
    185   h(i - 1, a1, b1);
    186   return a1 + b1;
    187 }
    188 
    189 function g2(i) {
    190   var a2 = expected[i].locals.a2;
    191   var b2 = expected[i].locals.b2;
    192   g3(i - 1, a2, b2);
    193   return a2 + b2;
    194 }
    195 
    196 function g1(i, x3, y3, z3) {
    197   var a3 = expected[i].locals.a3;
    198   var b3 = expected[i].locals.b3;
    199   new g2(i - 1, a3, b3);
    200   return a3 + b3;
    201 }
    202 
    203 function f(i, x4, y4) {
    204   var a4 = expected[i].locals.a4;
    205   var b4 = expected[i].locals.b4;
    206   g1(i - 1, a4, b4);
    207   return a4 + b4;
    208 }
    209 
    210 // Test calling f normally and as a constructor.
    211 f(expected.length - 1, 11, 12);
    212 f(expected.length - 1, 11, 12, 0);
    213 testingConstructCall = true;
    214 new f(expected.length - 1, 11, 12);
    215 new f(expected.length - 1, 11, 12, 0);
    216 
    217 // Make sure that the debug event listener was invoked.
    218 assertFalse(exception, "exception in listener " + exception)
    219 assertTrue(listenerComplete);
    220 
    221 // Throw away type information for next run.
    222 gc();
    223 
    224 Debug.setListener(null);
    225