OLD | NEW |
---|---|
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #include "vm/flow_graph_range_analysis.h" | 5 #include "vm/flow_graph_range_analysis.h" |
6 #include "vm/unit_test.h" | 6 #include "vm/unit_test.h" |
7 | 7 |
8 namespace dart { | 8 namespace dart { |
9 | 9 |
10 TEST_CASE(RangeTests) { | 10 TEST_CASE(RangeTests) { |
(...skipping 58 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
69 RangeBoundary(-60), RangeBoundary(-20)); | 69 RangeBoundary(-60), RangeBoundary(-20)); |
70 TEST_RANGE_OP(Range::Shl, 5, 10, -2, 2, | 70 TEST_RANGE_OP(Range::Shl, 5, 10, -2, 2, |
71 RangeBoundary(5), RangeBoundary(40)); | 71 RangeBoundary(5), RangeBoundary(40)); |
72 TEST_RANGE_OP(Range::Shl, -15, 100, 0, 64, | 72 TEST_RANGE_OP(Range::Shl, -15, 100, 0, 64, |
73 RangeBoundary::NegativeInfinity(), | 73 RangeBoundary::NegativeInfinity(), |
74 RangeBoundary::PositiveInfinity()); | 74 RangeBoundary::PositiveInfinity()); |
75 TEST_RANGE_OP(Range::Shl, -1, 1, 63, 63, | 75 TEST_RANGE_OP(Range::Shl, -1, 1, 63, 63, |
76 RangeBoundary(kMinInt64), | 76 RangeBoundary(kMinInt64), |
77 RangeBoundary::PositiveInfinity()); | 77 RangeBoundary::PositiveInfinity()); |
78 if (kBitsPerWord == 64) { | 78 if (kBitsPerWord == 64) { |
79 #if 0 | |
turnidge
2016/05/12 20:06:05
Ignore this change -- I need it because I am on th
turnidge
2016/05/13 15:49:35
I fixed the warning I was seeing in the most recen
| |
79 TEST_RANGE_OP_SMI(Range::Shl, -1, 1, 62, 62, | 80 TEST_RANGE_OP_SMI(Range::Shl, -1, 1, 62, 62, |
80 RangeBoundary(kSmiMin), | 81 RangeBoundary(kSmiMin), |
81 RangeBoundary(kSmiMax)); | 82 RangeBoundary(kSmiMax)); |
82 TEST_RANGE_OP_SMI(Range::Shl, -1, 1, 30, 30, | 83 TEST_RANGE_OP_SMI(Range::Shl, -1, 1, 30, 30, |
83 RangeBoundary(-1 << 30), | 84 RangeBoundary(-1 << 30), |
84 RangeBoundary(1 << 30)); | 85 RangeBoundary(1 << 30)); |
86 #endif | |
85 } else { | 87 } else { |
86 TEST_RANGE_OP_SMI(Range::Shl, -1, 1, 30, 30, | 88 TEST_RANGE_OP_SMI(Range::Shl, -1, 1, 30, 30, |
87 RangeBoundary(kSmiMin), | 89 RangeBoundary(kSmiMin), |
88 RangeBoundary(kSmiMax)); | 90 RangeBoundary(kSmiMax)); |
89 TEST_RANGE_OP_SMI(Range::Shl, -1, 1, 62, 62, | 91 TEST_RANGE_OP_SMI(Range::Shl, -1, 1, 62, 62, |
90 RangeBoundary(kSmiMin), | 92 RangeBoundary(kSmiMin), |
91 RangeBoundary(kSmiMax)); | 93 RangeBoundary(kSmiMax)); |
92 } | 94 } |
93 TEST_RANGE_OP(Range::Shl, 0, 100, 0, 64, | 95 TEST_RANGE_OP(Range::Shl, 0, 100, 0, 64, |
94 RangeBoundary(0), RangeBoundary::PositiveInfinity()); | 96 RangeBoundary(0), RangeBoundary::PositiveInfinity()); |
(...skipping 604 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
699 p_infinity, | 701 p_infinity, |
700 size).IsMaximumOrAbove(size)); | 702 size).IsMaximumOrAbove(size)); |
701 | 703 |
702 EXPECT(RangeBoundary::JoinMax( | 704 EXPECT(RangeBoundary::JoinMax( |
703 p_infinity, | 705 p_infinity, |
704 RangeBoundary::FromConstant(1), | 706 RangeBoundary::FromConstant(1), |
705 size).IsMaximumOrAbove(size)); | 707 size).IsMaximumOrAbove(size)); |
706 } | 708 } |
707 | 709 |
708 } // namespace dart | 710 } // namespace dart |
OLD | NEW |