blob: b77ac6aece0ced9428423aba7b64378aa7120b6d [file] [log] [blame]
Dan Gohmana3755d82009-07-09 22:07:27 +00001//===- llvm/unittest/Support/ConstantRangeTest.cpp - ConstantRange tests --===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "llvm/Support/ConstantRange.h"
11
12#include "gtest/gtest.h"
13
14using namespace llvm;
15
16namespace {
17
Nick Lewycky44b3e8d2009-07-11 18:43:20 +000018class ConstantRangeTest : public ::testing::Test {
19protected:
20 static ConstantRange Full;
21 static ConstantRange Empty;
22 static ConstantRange One;
23 static ConstantRange Some;
24 static ConstantRange Wrap;
25};
Dan Gohmana3755d82009-07-09 22:07:27 +000026
Nick Lewycky44b3e8d2009-07-11 18:43:20 +000027ConstantRange ConstantRangeTest::Full(16);
28ConstantRange ConstantRangeTest::Empty(16, false);
29ConstantRange ConstantRangeTest::One(APInt(16, 0xa));
30ConstantRange ConstantRangeTest::Some(APInt(16, 0xa), APInt(16, 0xaaa));
31ConstantRange ConstantRangeTest::Wrap(APInt(16, 0xaaa), APInt(16, 0xa));
32
33TEST_F(ConstantRangeTest, Basics) {
Dan Gohmana3755d82009-07-09 22:07:27 +000034 EXPECT_TRUE(Full.isFullSet());
35 EXPECT_FALSE(Full.isEmptySet());
36 EXPECT_FALSE(Full.isWrappedSet());
37 EXPECT_TRUE(Full.contains(APInt(16, 0x0)));
38 EXPECT_TRUE(Full.contains(APInt(16, 0x9)));
39 EXPECT_TRUE(Full.contains(APInt(16, 0xa)));
40 EXPECT_TRUE(Full.contains(APInt(16, 0xaa9)));
41 EXPECT_TRUE(Full.contains(APInt(16, 0xaaa)));
42
43 EXPECT_FALSE(Empty.isFullSet());
44 EXPECT_TRUE(Empty.isEmptySet());
45 EXPECT_FALSE(Empty.isWrappedSet());
46 EXPECT_FALSE(Empty.contains(APInt(16, 0x0)));
47 EXPECT_FALSE(Empty.contains(APInt(16, 0x9)));
48 EXPECT_FALSE(Empty.contains(APInt(16, 0xa)));
49 EXPECT_FALSE(Empty.contains(APInt(16, 0xaa9)));
50 EXPECT_FALSE(Empty.contains(APInt(16, 0xaaa)));
51
52 EXPECT_FALSE(One.isFullSet());
53 EXPECT_FALSE(One.isEmptySet());
54 EXPECT_FALSE(One.isWrappedSet());
55 EXPECT_FALSE(One.contains(APInt(16, 0x0)));
56 EXPECT_FALSE(One.contains(APInt(16, 0x9)));
57 EXPECT_TRUE(One.contains(APInt(16, 0xa)));
58 EXPECT_FALSE(One.contains(APInt(16, 0xaa9)));
59 EXPECT_FALSE(One.contains(APInt(16, 0xaaa)));
60
61 EXPECT_FALSE(Some.isFullSet());
62 EXPECT_FALSE(Some.isEmptySet());
63 EXPECT_FALSE(Some.isWrappedSet());
64 EXPECT_FALSE(Some.contains(APInt(16, 0x0)));
65 EXPECT_FALSE(Some.contains(APInt(16, 0x9)));
66 EXPECT_TRUE(Some.contains(APInt(16, 0xa)));
67 EXPECT_TRUE(Some.contains(APInt(16, 0xaa9)));
68 EXPECT_FALSE(Some.contains(APInt(16, 0xaaa)));
69
70 EXPECT_FALSE(Wrap.isFullSet());
71 EXPECT_FALSE(Wrap.isEmptySet());
72 EXPECT_TRUE(Wrap.isWrappedSet());
73 EXPECT_TRUE(Wrap.contains(APInt(16, 0x0)));
74 EXPECT_TRUE(Wrap.contains(APInt(16, 0x9)));
75 EXPECT_FALSE(Wrap.contains(APInt(16, 0xa)));
76 EXPECT_FALSE(Wrap.contains(APInt(16, 0xaa9)));
77 EXPECT_TRUE(Wrap.contains(APInt(16, 0xaaa)));
Nick Lewycky44b3e8d2009-07-11 18:43:20 +000078}
Dan Gohmana3755d82009-07-09 22:07:27 +000079
Nick Lewycky44b3e8d2009-07-11 18:43:20 +000080TEST_F(ConstantRangeTest, Equality) {
Dan Gohmana3755d82009-07-09 22:07:27 +000081 EXPECT_EQ(Full, Full);
82 EXPECT_EQ(Empty, Empty);
83 EXPECT_EQ(One, One);
84 EXPECT_EQ(Some, Some);
85 EXPECT_EQ(Wrap, Wrap);
86 EXPECT_NE(Full, Empty);
87 EXPECT_NE(Full, One);
88 EXPECT_NE(Full, Some);
89 EXPECT_NE(Full, Wrap);
90 EXPECT_NE(Empty, One);
91 EXPECT_NE(Empty, Some);
92 EXPECT_NE(Empty, Wrap);
93 EXPECT_NE(One, Some);
94 EXPECT_NE(One, Wrap);
95 EXPECT_NE(Some, Wrap);
Nick Lewycky44b3e8d2009-07-11 18:43:20 +000096}
Dan Gohmana3755d82009-07-09 22:07:27 +000097
Nick Lewycky44b3e8d2009-07-11 18:43:20 +000098TEST_F(ConstantRangeTest, SingleElement) {
Dan Gohmana3755d82009-07-09 22:07:27 +000099 EXPECT_EQ(Full.getSingleElement(), static_cast<APInt *>(NULL));
100 EXPECT_EQ(Empty.getSingleElement(), static_cast<APInt *>(NULL));
101 EXPECT_EQ(*One.getSingleElement(), APInt(16, 0xa));
102 EXPECT_EQ(Some.getSingleElement(), static_cast<APInt *>(NULL));
103 EXPECT_EQ(Wrap.getSingleElement(), static_cast<APInt *>(NULL));
104
105 EXPECT_FALSE(Full.isSingleElement());
106 EXPECT_FALSE(Empty.isSingleElement());
107 EXPECT_TRUE(One.isSingleElement());
108 EXPECT_FALSE(Some.isSingleElement());
109 EXPECT_FALSE(Wrap.isSingleElement());
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000110}
Dan Gohmana3755d82009-07-09 22:07:27 +0000111
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000112TEST_F(ConstantRangeTest, GetSetSize) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000113 EXPECT_EQ(Full.getSetSize(), APInt(16, 0));
114 EXPECT_EQ(Empty.getSetSize(), APInt(16, 0));
115 EXPECT_EQ(One.getSetSize(), APInt(16, 1));
116 EXPECT_EQ(Some.getSetSize(), APInt(16, 0xaa0));
117 EXPECT_EQ(Wrap.getSetSize(), APInt(16, 0x10000 - 0xaa0));
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000118}
Dan Gohmana3755d82009-07-09 22:07:27 +0000119
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000120TEST_F(ConstantRangeTest, GetMinsAndMaxes) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000121 EXPECT_EQ(Full.getUnsignedMax(), APInt(16, UINT16_MAX));
122 EXPECT_EQ(One.getUnsignedMax(), APInt(16, 0xa));
123 EXPECT_EQ(Some.getUnsignedMax(), APInt(16, 0xaa9));
124 EXPECT_EQ(Wrap.getUnsignedMax(), APInt(16, UINT16_MAX));
125
126 EXPECT_EQ(Full.getUnsignedMin(), APInt(16, 0));
127 EXPECT_EQ(One.getUnsignedMin(), APInt(16, 0xa));
128 EXPECT_EQ(Some.getUnsignedMin(), APInt(16, 0xa));
129 EXPECT_EQ(Wrap.getUnsignedMin(), APInt(16, 0));
130
131 EXPECT_EQ(Full.getSignedMax(), APInt(16, INT16_MAX));
132 EXPECT_EQ(One.getSignedMax(), APInt(16, 0xa));
133 EXPECT_EQ(Some.getSignedMax(), APInt(16, 0xaa9));
134 EXPECT_EQ(Wrap.getSignedMax(), APInt(16, INT16_MAX));
135
136 EXPECT_EQ(Full.getSignedMin(), APInt(16, INT16_MIN));
137 EXPECT_EQ(One.getSignedMin(), APInt(16, 0xa));
138 EXPECT_EQ(Some.getSignedMin(), APInt(16, 0xa));
139 EXPECT_EQ(Wrap.getSignedMin(), APInt(16, INT16_MIN));
Nick Lewycky780905e2009-07-13 04:50:21 +0000140
141 // Found by Klee
142 EXPECT_EQ(ConstantRange(APInt(4, 7), APInt(4, 0)).getSignedMax(),
143 APInt(4, 7));
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000144}
Dan Gohmana3755d82009-07-09 22:07:27 +0000145
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000146TEST_F(ConstantRangeTest, Trunc) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000147 ConstantRange TFull = Full.truncate(10);
148 ConstantRange TEmpty = Empty.truncate(10);
149 ConstantRange TOne = One.truncate(10);
150 ConstantRange TSome = Some.truncate(10);
151 ConstantRange TWrap = Wrap.truncate(10);
152 EXPECT_TRUE(TFull.isFullSet());
153 EXPECT_TRUE(TEmpty.isEmptySet());
154 EXPECT_EQ(TOne, ConstantRange(APInt(One.getLower()).trunc(10),
155 APInt(One.getUpper()).trunc(10)));
Dan Gohmana3755d82009-07-09 22:07:27 +0000156 EXPECT_TRUE(TSome.isFullSet());
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000157}
Dan Gohmana3755d82009-07-09 22:07:27 +0000158
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000159TEST_F(ConstantRangeTest, ZExt) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000160 ConstantRange ZFull = Full.zeroExtend(20);
161 ConstantRange ZEmpty = Empty.zeroExtend(20);
162 ConstantRange ZOne = One.zeroExtend(20);
163 ConstantRange ZSome = Some.zeroExtend(20);
164 ConstantRange ZWrap = Wrap.zeroExtend(20);
165 EXPECT_EQ(ZFull, ConstantRange(APInt(20, 0), APInt(20, 0x10000)));
166 EXPECT_TRUE(ZEmpty.isEmptySet());
167 EXPECT_EQ(ZOne, ConstantRange(APInt(One.getLower()).zext(20),
168 APInt(One.getUpper()).zext(20)));
169 EXPECT_EQ(ZSome, ConstantRange(APInt(Some.getLower()).zext(20),
170 APInt(Some.getUpper()).zext(20)));
171 EXPECT_EQ(ZWrap, ConstantRange(APInt(Wrap.getLower()).zext(20),
172 APInt(Wrap.getUpper()).zext(20)));
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000173}
Dan Gohmana3755d82009-07-09 22:07:27 +0000174
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000175TEST_F(ConstantRangeTest, SExt) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000176 ConstantRange SFull = Full.signExtend(20);
177 ConstantRange SEmpty = Empty.signExtend(20);
178 ConstantRange SOne = One.signExtend(20);
179 ConstantRange SSome = Some.signExtend(20);
180 ConstantRange SWrap = Wrap.signExtend(20);
181 EXPECT_EQ(SFull, ConstantRange(APInt(20, INT16_MIN, true),
Nick Lewyckyff84de72009-07-13 04:17:23 +0000182 APInt(20, INT16_MAX + 1, true)));
Dan Gohmana3755d82009-07-09 22:07:27 +0000183 EXPECT_TRUE(SEmpty.isEmptySet());
184 EXPECT_EQ(SOne, ConstantRange(APInt(One.getLower()).sext(20),
185 APInt(One.getUpper()).sext(20)));
186 EXPECT_EQ(SSome, ConstantRange(APInt(Some.getLower()).sext(20),
187 APInt(Some.getUpper()).sext(20)));
188 EXPECT_EQ(SWrap, ConstantRange(APInt(Wrap.getLower()).sext(20),
189 APInt(Wrap.getUpper()).sext(20)));
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000190}
191
192TEST_F(ConstantRangeTest, IntersectWith) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000193 EXPECT_TRUE(Empty.intersectWith(Full).isEmptySet());
194 EXPECT_TRUE(Empty.intersectWith(Empty).isEmptySet());
195 EXPECT_TRUE(Empty.intersectWith(One).isEmptySet());
196 EXPECT_TRUE(Empty.intersectWith(Some).isEmptySet());
197 EXPECT_TRUE(Empty.intersectWith(Wrap).isEmptySet());
198 EXPECT_TRUE(Full.intersectWith(Full).isFullSet());
199 EXPECT_TRUE(Some.intersectWith(Some) == Some);
200 EXPECT_TRUE(Some.intersectWith(One) == One);
201 EXPECT_TRUE(Full.intersectWith(One) == One);
202 EXPECT_TRUE(Full.intersectWith(Some) == Some);
203 EXPECT_TRUE(Some.intersectWith(Wrap).isEmptySet());
204 EXPECT_TRUE(One.intersectWith(Wrap).isEmptySet());
205 EXPECT_EQ(One.intersectWith(Wrap), Wrap.intersectWith(One));
206
Nick Lewycky3a4a8842009-07-18 06:34:42 +0000207 // Klee generated testcase from PR4545.
208 // The intersection of i16 [4, 2) and [6, 5) is disjoint, looking like
209 // 01..4.6789ABCDEF where the dots represent values not in the intersection.
210 ConstantRange LHS(APInt(16, 4), APInt(16, 2));
211 ConstantRange RHS(APInt(16, 6), APInt(16, 5));
212 EXPECT_EQ(LHS.intersectWith(RHS), LHS);
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000213}
Dan Gohmana3755d82009-07-09 22:07:27 +0000214
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000215TEST_F(ConstantRangeTest, UnionWith) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000216 EXPECT_EQ(Wrap.unionWith(One),
217 ConstantRange(APInt(16, 0xaaa), APInt(16, 0xb)));
218 EXPECT_EQ(One.unionWith(Wrap), Wrap.unionWith(One));
219 EXPECT_TRUE(Empty.unionWith(Empty).isEmptySet());
220 EXPECT_TRUE(Full.unionWith(Full).isFullSet());
221 EXPECT_TRUE(Some.unionWith(Wrap).isFullSet());
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000222}
Dan Gohmana3755d82009-07-09 22:07:27 +0000223
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000224TEST_F(ConstantRangeTest, SubtractAPInt) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000225 EXPECT_TRUE(Full.subtract(APInt(16, 4)).isFullSet());
226 EXPECT_TRUE(Empty.subtract(APInt(16, 4)).isEmptySet());
227 EXPECT_EQ(Some.subtract(APInt(16, 4)),
228 ConstantRange(APInt(16, 0x6), APInt(16, 0xaa6)));
229 EXPECT_EQ(Wrap.subtract(APInt(16, 4)),
230 ConstantRange(APInt(16, 0xaa6), APInt(16, 0x6)));
231 EXPECT_EQ(One.subtract(APInt(16, 4)),
232 ConstantRange(APInt(16, 0x6)));
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000233}
Dan Gohmana3755d82009-07-09 22:07:27 +0000234
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000235TEST_F(ConstantRangeTest, Add) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000236 EXPECT_TRUE(Full.add(APInt(16, 4)).isFullSet());
Nick Lewyckycf9e07d2009-07-13 02:49:08 +0000237 EXPECT_EQ(Full.add(Full), Full);
Dan Gohman38b06442009-07-09 23:16:10 +0000238 EXPECT_EQ(Full.add(Empty), Empty);
239 EXPECT_EQ(Full.add(One), Full);
240 EXPECT_EQ(Full.add(Some), Full);
241 EXPECT_EQ(Full.add(Wrap), Full);
242 EXPECT_EQ(Empty.add(Empty), Empty);
243 EXPECT_EQ(Empty.add(One), Empty);
244 EXPECT_EQ(Empty.add(Some), Empty);
245 EXPECT_EQ(Empty.add(Wrap), Empty);
Dan Gohmana3755d82009-07-09 22:07:27 +0000246 EXPECT_TRUE(Empty.add(APInt(16, 4)).isEmptySet());
247 EXPECT_EQ(Some.add(APInt(16, 4)),
248 ConstantRange(APInt(16, 0xe), APInt(16, 0xaae)));
249 EXPECT_EQ(Wrap.add(APInt(16, 4)),
250 ConstantRange(APInt(16, 0xaae), APInt(16, 0xe)));
251 EXPECT_EQ(One.add(APInt(16, 4)),
252 ConstantRange(APInt(16, 0xe)));
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000253}
Dan Gohmana3755d82009-07-09 22:07:27 +0000254
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000255TEST_F(ConstantRangeTest, Multiply) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000256 EXPECT_EQ(Full.multiply(Full), Full);
257 EXPECT_EQ(Full.multiply(Empty), Empty);
258 EXPECT_EQ(Full.multiply(One), Full);
259 EXPECT_EQ(Full.multiply(Some), Full);
260 EXPECT_EQ(Full.multiply(Wrap), Full);
261 EXPECT_EQ(Empty.multiply(Empty), Empty);
262 EXPECT_EQ(Empty.multiply(One), Empty);
263 EXPECT_EQ(Empty.multiply(Some), Empty);
264 EXPECT_EQ(Empty.multiply(Wrap), Empty);
Nick Lewycky2ff893f2009-07-12 02:19:05 +0000265 EXPECT_EQ(One.multiply(One), ConstantRange(APInt(16, 0xa*0xa),
266 APInt(16, 0xa*0xa + 1)));
267 EXPECT_EQ(One.multiply(Some), ConstantRange(APInt(16, 0xa*0xa),
268 APInt(16, 0xa*0xaa9 + 1)));
269 EXPECT_TRUE(One.multiply(Wrap).isFullSet());
270 EXPECT_TRUE(Some.multiply(Some).isFullSet());
Dan Gohmana3755d82009-07-09 22:07:27 +0000271 EXPECT_EQ(Some.multiply(Wrap), Full);
Dan Gohmana3755d82009-07-09 22:07:27 +0000272 EXPECT_EQ(Wrap.multiply(Wrap), Full);
Nick Lewyckyf1db1202009-07-13 03:27:41 +0000273
274 // http://llvm.org/PR4545
275 EXPECT_EQ(ConstantRange(APInt(4, 1), APInt(4, 6)).multiply(
276 ConstantRange(APInt(4, 6), APInt(4, 2))),
277 ConstantRange(4, /*isFullSet=*/true));
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000278}
Dan Gohmana3755d82009-07-09 22:07:27 +0000279
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000280TEST_F(ConstantRangeTest, UMax) {
281 EXPECT_TRUE(Full.umax(Full).isFullSet());
282 EXPECT_TRUE(Full.umax(Empty).isEmptySet());
Nick Lewycky646ca922009-07-11 19:22:21 +0000283 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000284 EXPECT_TRUE(Full.umax(Wrap).isFullSet());
Nick Lewycky646ca922009-07-11 19:22:21 +0000285 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000286 EXPECT_EQ(Empty.umax(Empty), Empty);
287 EXPECT_EQ(Empty.umax(Some), Empty);
288 EXPECT_EQ(Empty.umax(Wrap), Empty);
289 EXPECT_EQ(Empty.umax(One), Empty);
290 EXPECT_EQ(Some.umax(Some), Some);
291 EXPECT_EQ(Some.umax(Wrap), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
292 EXPECT_EQ(Some.umax(One), Some);
293 // TODO: ConstantRange is currently over-conservative here.
294 EXPECT_EQ(Wrap.umax(Wrap), Full);
295 EXPECT_EQ(Wrap.umax(One), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
296 EXPECT_EQ(One.umax(One), One);
297}
298
299TEST_F(ConstantRangeTest, SMax) {
Dan Gohman38b06442009-07-09 23:16:10 +0000300 EXPECT_TRUE(Full.smax(Full).isFullSet());
301 EXPECT_TRUE(Full.smax(Empty).isEmptySet());
Nick Lewycky646ca922009-07-11 19:22:21 +0000302 EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa),
303 APInt::getSignedMinValue(16)));
Dan Gohman38b06442009-07-09 23:16:10 +0000304 EXPECT_TRUE(Full.smax(Wrap).isFullSet());
Nick Lewycky646ca922009-07-11 19:22:21 +0000305 EXPECT_EQ(Full.smax(One), ConstantRange(APInt(16, 0xa),
306 APInt::getSignedMinValue(16)));
Dan Gohmana3755d82009-07-09 22:07:27 +0000307 EXPECT_EQ(Empty.smax(Empty), Empty);
Dan Gohmana3755d82009-07-09 22:07:27 +0000308 EXPECT_EQ(Empty.smax(Some), Empty);
309 EXPECT_EQ(Empty.smax(Wrap), Empty);
Dan Gohman38b06442009-07-09 23:16:10 +0000310 EXPECT_EQ(Empty.smax(One), Empty);
311 EXPECT_EQ(Some.smax(Some), Some);
312 EXPECT_EQ(Some.smax(Wrap), ConstantRange(APInt(16, 0xa),
Nick Lewycky646ca922009-07-11 19:22:21 +0000313 APInt(16, INT16_MIN)));
Dan Gohman38b06442009-07-09 23:16:10 +0000314 EXPECT_EQ(Some.smax(One), Some);
315 EXPECT_EQ(Wrap.smax(One), ConstantRange(APInt(16, 0xa),
Nick Lewycky646ca922009-07-11 19:22:21 +0000316 APInt(16, INT16_MIN)));
Dan Gohman38b06442009-07-09 23:16:10 +0000317 EXPECT_EQ(One.smax(One), One);
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000318}
Dan Gohmana3755d82009-07-09 22:07:27 +0000319
Nick Lewycky44b3e8d2009-07-11 18:43:20 +0000320TEST_F(ConstantRangeTest, UDiv) {
Dan Gohmana3755d82009-07-09 22:07:27 +0000321 EXPECT_EQ(Full.udiv(Full), Full);
322 EXPECT_EQ(Full.udiv(Empty), Empty);
Nick Lewycky956daf02009-07-12 05:18:18 +0000323 EXPECT_EQ(Full.udiv(One), ConstantRange(APInt(16, 0),
324 APInt(16, 0xffff / 0xa + 1)));
325 EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0),
326 APInt(16, 0xffff / 0xa + 1)));
Dan Gohmana3755d82009-07-09 22:07:27 +0000327 EXPECT_EQ(Full.udiv(Wrap), Full);
328 EXPECT_EQ(Empty.udiv(Empty), Empty);
329 EXPECT_EQ(Empty.udiv(One), Empty);
330 EXPECT_EQ(Empty.udiv(Some), Empty);
331 EXPECT_EQ(Empty.udiv(Wrap), Empty);
Nick Lewycky956daf02009-07-12 05:18:18 +0000332 EXPECT_EQ(One.udiv(One), ConstantRange(APInt(16, 1)));
333 EXPECT_EQ(One.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 2)));
334 EXPECT_EQ(One.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb)));
335 EXPECT_EQ(Some.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 0x111)));
336 EXPECT_EQ(Some.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));
Dan Gohmana3755d82009-07-09 22:07:27 +0000337 EXPECT_EQ(Wrap.udiv(Wrap), Full);
Dan Gohmana3755d82009-07-09 22:07:27 +0000338}
339
340} // anonymous namespace