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 two scopes. 83 assertEquals(2, frame.scopeCount()); 84 assertEquals(debug.ScopeType.Local, frame.scope(0).scopeType()); 85 assertEquals(debug.ScopeType.Global, frame.scope(1).scopeType()); 86 87 Object.keys(expected_locals).forEach(function (name) { 88 assertEquals(expected_locals[name], 89 frame.scope(0).scopeObject().value()[name]); 90 }); 91 92 for (var j = 0; j < expected_args.names.length; j++) { 93 var arg_name = expected_args.names[j]; 94 var arg_value = expected_args.values[j]; 95 assertEquals(arg_value, 96 frame.scope(0).scopeObject().value()[arg_name]); 97 } 98 99 // Evaluate in the inlined frame. 100 Object.keys(expected_locals).forEach(function (name) { 101 assertEquals(expected_locals[name], frame.evaluate(name).value()); 102 }); 103 104 for (var j = 0; j < expected_args.names.length; j++) { 105 var arg_name = expected_args.names[j]; 106 var arg_value = expected_args.values[j]; 107 assertEquals(arg_value, frame.evaluate(arg_name).value()); 108 assertEquals(arg_value, frame.evaluate('arguments['+j+']').value()); 109 } 110 111 var expected_args_sum = arraySum(expected_args.values); 112 var expected_locals_sum = 113 arraySum(Object.keys(expected_locals). 114 map(function (k) { return expected_locals[k]; })); 115 116 assertEquals(expected_locals_sum + expected_args_sum, 117 frame.evaluate(Object.keys(expected_locals).join('+') + 118 ' + ' + 119 expected_args.names.join('+')).value()); 120 121 var arguments_sum = expected_args.names.map(function(_, idx) { 122 return "arguments[" + idx + "]"; 123 }).join('+'); 124 assertEquals(expected_args_sum, 125 frame.evaluate(arguments_sum).value()); 126 } else { 127 // The bottom frame only have the global scope. 128 assertEquals(1, frame.scopeCount()); 129 assertEquals(debug.ScopeType.Global, frame.scope(0).scopeType()); 130 } 131 132 // Check the frame function. 133 switch (i) { 134 case 0: assertEquals(h, frame.func().value()); break; 135 case 1: assertEquals(g3, frame.func().value()); break; 136 case 2: assertEquals(g2, frame.func().value()); break; 137 case 3: assertEquals(g1, frame.func().value()); break; 138 case 4: assertEquals(f, frame.func().value()); break; 139 case 5: break; 140 default: assertUnreachable(); 141 } 142 143 // Check for construct call. 144 if (i == 4) { 145 assertEquals(testingConstructCall, frame.isConstructCall()); 146 } else if (i == 2) { 147 assertTrue(frame.isConstructCall()); 148 } else { 149 assertFalse(frame.isConstructCall()); 150 } 151 152 if (i > 4) { 153 assertFalse(frame.isOptimizedFrame()); 154 assertFalse(frame.isInlinedFrame()); 155 } 156 } 157 158 // Indicate that all was processed. 159 listenerComplete = true; 160 } 161 } catch (e) { 162 exception = e.toString() + e.stack; 163 }; 164 }; 165 166 for (var i = 0; i < 4; i++) f(expected.length - 1, 11, 12); 167 %OptimizeFunctionOnNextCall(f); 168 f(expected.length - 1, 11, 12); 169 170 // Add the debug event listener. 171 Debug.setListener(listener); 172 173 function h(i, x0, y0) { 174 var a0 = expected[i].locals.a0; 175 var b0 = expected[i].locals.b0; 176 debugger; // Breakpoint. 177 return a0 + b0; 178 } 179 180 function g3(i, x1, y1) { 181 var a1 = expected[i].locals.a1; 182 var b1 = expected[i].locals.b1; 183 h(i - 1, a1, b1); 184 return a1 + b1; 185 } 186 187 function g2(i) { 188 var a2 = expected[i].locals.a2; 189 var b2 = expected[i].locals.b2; 190 g3(i - 1, a2, b2); 191 return a2 + b2; 192 } 193 194 function g1(i, x3, y3, z3) { 195 var a3 = expected[i].locals.a3; 196 var b3 = expected[i].locals.b3; 197 new g2(i - 1, a3, b3); 198 return a3 + b3; 199 } 200 201 function f(i, x4, y4) { 202 var a4 = expected[i].locals.a4; 203 var b4 = expected[i].locals.b4; 204 g1(i - 1, a4, b4); 205 return a4 + b4; 206 } 207 208 // Test calling f normally and as a constructor. 209 f(expected.length - 1, 11, 12); 210 f(expected.length - 1, 11, 12, 0); 211 testingConstructCall = true; 212 new f(expected.length - 1, 11, 12); 213 new f(expected.length - 1, 11, 12, 0); 214 215 // Make sure that the debug event listener was invoked. 216 assertFalse(exception, "exception in listener " + exception) 217 assertTrue(listenerComplete); 218 219 // Throw away type information for next run. 220 gc(); 221 222 Debug.setListener(null); 223