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 1794 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1805 | 1805 |
1806 | 1806 |
1807 void HRangeAnalysis::InferControlFlowRange(HCompareIDAndBranch* test, | 1807 void HRangeAnalysis::InferControlFlowRange(HCompareIDAndBranch* test, |
1808 HBasicBlock* dest) { | 1808 HBasicBlock* dest) { |
1809 ASSERT((test->FirstSuccessor() == dest) == (test->SecondSuccessor() != dest)); | 1809 ASSERT((test->FirstSuccessor() == dest) == (test->SecondSuccessor() != dest)); |
1810 if (test->representation().IsInteger32()) { | 1810 if (test->representation().IsInteger32()) { |
1811 Token::Value op = test->token(); | 1811 Token::Value op = test->token(); |
1812 if (test->SecondSuccessor() == dest) { | 1812 if (test->SecondSuccessor() == dest) { |
1813 op = Token::NegateCompareOp(op); | 1813 op = Token::NegateCompareOp(op); |
1814 } | 1814 } |
1815 Token::Value inverted_op = Token::InvertCompareOp(op); | 1815 Token::Value inverted_op = Token::ReverseCompareOp(op); |
1816 UpdateControlFlowRange(op, test->left(), test->right()); | 1816 UpdateControlFlowRange(op, test->left(), test->right()); |
1817 UpdateControlFlowRange(inverted_op, test->right(), test->left()); | 1817 UpdateControlFlowRange(inverted_op, test->right(), test->left()); |
1818 } | 1818 } |
1819 } | 1819 } |
1820 | 1820 |
1821 | 1821 |
1822 // We know that value [op] other. Use this information to update the range on | 1822 // We know that value [op] other. Use this information to update the range on |
1823 // value. | 1823 // value. |
1824 void HRangeAnalysis::UpdateControlFlowRange(Token::Value op, | 1824 void HRangeAnalysis::UpdateControlFlowRange(Token::Value op, |
1825 HValue* value, | 1825 HValue* value, |
(...skipping 8797 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
10623 } | 10623 } |
10624 } | 10624 } |
10625 | 10625 |
10626 #ifdef DEBUG | 10626 #ifdef DEBUG |
10627 if (graph_ != NULL) graph_->Verify(false); // No full verify. | 10627 if (graph_ != NULL) graph_->Verify(false); // No full verify. |
10628 if (allocator_ != NULL) allocator_->Verify(); | 10628 if (allocator_ != NULL) allocator_->Verify(); |
10629 #endif | 10629 #endif |
10630 } | 10630 } |
10631 | 10631 |
10632 } } // namespace v8::internal | 10632 } } // namespace v8::internal |
OLD | NEW |