| OLD | NEW |
| 1 // Copyright 2008 the V8 project authors. All rights reserved. | 1 // Copyright 2008 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 |
| (...skipping 51 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 62 __ jmp(&entry_label_); | 62 __ jmp(&entry_label_); |
| 63 } | 63 } |
| 64 | 64 |
| 65 | 65 |
| 66 void JumpTarget::DoBranch(Condition cc, Hint ignored) { | 66 void JumpTarget::DoBranch(Condition cc, Hint ignored) { |
| 67 ASSERT(cgen()->has_valid_frame()); | 67 ASSERT(cgen()->has_valid_frame()); |
| 68 | 68 |
| 69 if (entry_frame_set_) { | 69 if (entry_frame_set_) { |
| 70 // Backward branch. We have an expected frame to merge to on the | 70 // Backward branch. We have an expected frame to merge to on the |
| 71 // backward edge. | 71 // backward edge. |
| 72 if (cc == al) { | 72 cgen()->frame()->MergeTo(&entry_frame_, cc); |
| 73 cgen()->frame()->MergeTo(&entry_frame_); | |
| 74 } else { | |
| 75 // We can't do conditional merges yet so you have to ensure that all | |
| 76 // conditional branches to the JumpTarget have the same virtual frame. | |
| 77 ASSERT(cgen()->frame()->Equals(&entry_frame_)); | |
| 78 } | |
| 79 } else { | 73 } else { |
| 80 // Clone the current frame to use as the expected one at the target. | 74 // Clone the current frame to use as the expected one at the target. |
| 81 set_entry_frame(cgen()->frame()); | 75 set_entry_frame(cgen()->frame()); |
| 82 } | 76 } |
| 83 __ b(cc, &entry_label_); | 77 __ b(cc, &entry_label_); |
| 78 if (cc == al) { |
| 79 cgen()->DeleteFrame(); |
| 80 } |
| 84 } | 81 } |
| 85 | 82 |
| 86 | 83 |
| 87 void JumpTarget::Call() { | 84 void JumpTarget::Call() { |
| 88 // Call is used to push the address of the catch block on the stack as | 85 // Call is used to push the address of the catch block on the stack as |
| 89 // a return address when compiling try/catch and try/finally. We | 86 // a return address when compiling try/catch and try/finally. We |
| 90 // fully spill the frame before making the call. The expected frame | 87 // fully spill the frame before making the call. The expected frame |
| 91 // at the label (which should be the only one) is the spilled current | 88 // at the label (which should be the only one) is the spilled current |
| 92 // frame plus an in-memory return address. The "fall-through" frame | 89 // frame plus an in-memory return address. The "fall-through" frame |
| 93 // at the return site is the spilled current frame. | 90 // at the return site is the spilled current frame. |
| (...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 133 __ bind(&entry_label_); | 130 __ bind(&entry_label_); |
| 134 } | 131 } |
| 135 | 132 |
| 136 | 133 |
| 137 #undef __ | 134 #undef __ |
| 138 | 135 |
| 139 | 136 |
| 140 } } // namespace v8::internal | 137 } } // namespace v8::internal |
| 141 | 138 |
| 142 #endif // V8_TARGET_ARCH_ARM | 139 #endif // V8_TARGET_ARCH_ARM |
| OLD | NEW |