OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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 156 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
167 } | 167 } |
168 | 168 |
169 | 169 |
170 // This method is recursive but it is guaranteed to terminate because | 170 // This method is recursive but it is guaranteed to terminate because |
171 // RedefinedOperand() always dominates "this". | 171 // RedefinedOperand() always dominates "this". |
172 bool HValue::IsRelationTrue(NumericRelation relation, | 172 bool HValue::IsRelationTrue(NumericRelation relation, |
173 HValue* other, | 173 HValue* other, |
174 int offset, | 174 int offset, |
175 int scale) { | 175 int scale) { |
176 if (this == other) { | 176 if (this == other) { |
177 return NumericRelation::Eq().Implies(relation); | 177 return scale == 0 && relation.IsExtendable(offset); |
178 } | 178 } |
179 | 179 |
180 // Test the direct relation. | 180 // Test the direct relation. |
181 if (IsRelationTrueInternal(relation, other, offset, scale)) return true; | 181 if (IsRelationTrueInternal(relation, other, offset, scale)) return true; |
182 | 182 |
183 // If scale is 0 try the reversed relation. | 183 // If scale is 0 try the reversed relation. |
184 if (scale == 0 && | 184 if (scale == 0 && |
185 // TODO(mmassi): do we need the full, recursive IsRelationTrue? | 185 // TODO(mmassi): do we need the full, recursive IsRelationTrue? |
186 other->IsRelationTrueInternal(relation.Reversed(), this, -offset)) { | 186 other->IsRelationTrueInternal(relation.Reversed(), this, -offset)) { |
187 return true; | 187 return true; |
(...skipping 3330 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3518 | 3518 |
3519 | 3519 |
3520 void HCheckFunction::Verify() { | 3520 void HCheckFunction::Verify() { |
3521 HInstruction::Verify(); | 3521 HInstruction::Verify(); |
3522 ASSERT(HasNoUses()); | 3522 ASSERT(HasNoUses()); |
3523 } | 3523 } |
3524 | 3524 |
3525 #endif | 3525 #endif |
3526 | 3526 |
3527 } } // namespace v8::internal | 3527 } } // namespace v8::internal |
OLD | NEW |