| OLD | NEW | 
|---|
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project authors. All rights reserved. | 
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without | 
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are | 
| 4 // met: | 4 // met: | 
| 5 // | 5 // | 
| 6 //     * Redistributions of source code must retain the above copyright | 6 //     * Redistributions of source code must retain the above copyright | 
| 7 //       notice, this list of conditions and the following disclaimer. | 7 //       notice, this list of conditions and the following disclaimer. | 
| 8 //     * Redistributions in binary form must reproduce the above | 8 //     * Redistributions in binary form must reproduce the above | 
| 9 //       copyright notice, this list of conditions and the following | 9 //       copyright notice, this list of conditions and the following | 
| 10 //       disclaimer in the documentation and/or other materials provided | 10 //       disclaimer in the documentation and/or other materials provided | 
| 11 //       with the distribution. | 11 //       with the distribution. | 
| 12 //     * Neither the name of Google Inc. nor the names of its | 12 //     * Neither the name of Google Inc. nor the names of its | 
| 13 //       contributors may be used to endorse or promote products derived | 13 //       contributors may be used to endorse or promote products derived | 
| 14 //       from this software without specific prior written permission. | 14 //       from this software without specific prior written permission. | 
| 15 // | 15 // | 
| 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | 
| 17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | 17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | 
| 18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | 18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | 
| 19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | 19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | 
| 20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | 20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | 
| 21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | 21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | 
| 22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | 22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | 
| 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | 
| 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | 
| 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | 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. | 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | 
| 27 | 27 | 
| 28 #include "hydrogen-sce.h" | 28 var extend = function (d, b) { | 
| 29 #include "v8.h" | 29   function __() { this.constructor = d; } | 
|  | 30   __.prototype = b.prototype; | 
|  | 31   d.prototype = new __(); | 
|  | 32 }; | 
| 30 | 33 | 
| 31 namespace v8 { | 34 var Car = (function (Super) { | 
| 32 namespace internal { | 35   var Car = function () { | 
|  | 36     var self = this; | 
| 33 | 37 | 
| 34 void HStackCheckEliminationPhase::Run() { | 38     Super.call(self); | 
| 35   // For each loop block walk the dominator tree from the backwards branch to | 39 | 
| 36   // the loop header. If a call instruction is encountered the backwards branch | 40     Object.defineProperties(self, { | 
| 37   // is dominated by a call and the stack check in the backwards branch can be | 41       "make": { | 
| 38   // removed. | 42         enumerable: true, | 
| 39   for (int i = 0; i < graph()->blocks()->length(); i++) { | 43         configurable: true, | 
| 40     HBasicBlock* block = graph()->blocks()->at(i); | 44         get: function () { | 
| 41     if (block->IsLoopHeader()) { | 45           return "Ford"; | 
| 42       HBasicBlock* back_edge = block->loop_information()->GetLastBackEdge(); |  | 
| 43       HBasicBlock* dominator = back_edge; |  | 
| 44       while (true) { |  | 
| 45         for (HInstructionIterator it(dominator); !it.Done(); it.Advance()) { |  | 
| 46           if (it.Current()->IsCall()) { |  | 
| 47             block->loop_information()->stack_check()->Eliminate(); |  | 
| 48             break; |  | 
| 49           } |  | 
| 50         } | 46         } | 
|  | 47       } | 
|  | 48     }); | 
| 51 | 49 | 
| 52         // Done when the loop header is processed. | 50     self.copy = function () { | 
| 53         if (dominator == block) break; | 51       throw new Error("Meant to be overriden"); | 
|  | 52     }; | 
| 54 | 53 | 
| 55         // Move up the dominator tree. | 54     return self; | 
| 56         dominator = dominator->dominator(); | 55   }; | 
|  | 56 | 
|  | 57   extend(Car, Super); | 
|  | 58 | 
|  | 59   return Car; | 
|  | 60 }(Object)); | 
|  | 61 | 
|  | 62 | 
|  | 63 var SuperCar = ((function (Super) { | 
|  | 64   var SuperCar = function (make) { | 
|  | 65     var self = this; | 
|  | 66 | 
|  | 67     Super.call(self); | 
|  | 68 | 
|  | 69 | 
|  | 70     Object.defineProperties(self, { | 
|  | 71       "make": { | 
|  | 72         enumerable: true, | 
|  | 73         configurable: true, | 
|  | 74         get: function () { | 
|  | 75           return make; | 
|  | 76         } | 
| 57       } | 77       } | 
| 58     } | 78     }); | 
| 59   } |  | 
| 60 } |  | 
| 61 | 79 | 
| 62 } }  // namespace v8::internal | 80     // Convert self.copy from CONSTANT to FIELD. | 
|  | 81     self.copy = function () { }; | 
|  | 82 | 
|  | 83     return self; | 
|  | 84   }; | 
|  | 85   extend(SuperCar, Super); | 
|  | 86   return SuperCar; | 
|  | 87 })(Car)); | 
|  | 88 | 
|  | 89 assertEquals("Ford", new Car().make); | 
|  | 90 assertEquals("Bugatti", new SuperCar("Bugatti").make); | 
|  | 91 assertEquals("Lambo", new SuperCar("Lambo").make); | 
|  | 92 assertEquals("Shelby", new SuperCar("Shelby").make); | 
| OLD | NEW | 
|---|