- Jul 18, 2009
-
-
Nick Lewycky authored
all values belonging to the intersection will belong to the resulting range. The former was inconsistent about that point (either way is fine, just pick one.) This is part of PR4545. llvm-svn: 76289
-
- Jul 15, 2009
-
-
Owen Anderson authored
llvm-svn: 75703
-
- Jul 13, 2009
-
-
Nick Lewycky authored
again to Daniel Dunbar and KLEE! llvm-svn: 75449
-
Nick Lewycky authored
Found by Daniel Dunbar and KLEE. llvm-svn: 75448
-
Owen Anderson authored
Begin the painful process of tearing apart the rat'ss nest that is Constants.cpp and ConstantFold.cpp. This involves temporarily hard wiring some parts to use the global context. This isn't ideal, but it's the only way I could figure out to make this process vaguely incremental. llvm-svn: 75445
-
Nick Lewycky authored
generally return Full on all wrapped inputs. "Fixes" PR4545. llvm-svn: 75444
-
Nick Lewycky authored
large as the full set, only those one size smaller. Thanks to Daniel Dunbar who found this bug using Klee! llvm-svn: 75443
-
- Jul 12, 2009
-
-
Nick Lewycky authored
llvm-svn: 75413
-
Nick Lewycky authored
Some = [10, 2730). A subset of that is [1024..2048) which covers every possible 10-bit pattern. llvm-svn: 75411
-
Nick Lewycky authored
llvm-svn: 75410
-
- Jul 11, 2009
-
-
Nick Lewycky authored
A full set is a constant range that represents any number. If you take the umax of that and [5, 10) you end up with [5, INT_MAX] because the values less than 5 would be umax's against a value which is at least 5. llvm-svn: 75372
-
Nick Lewycky authored
changes. llvm-svn: 75369
-
- Jul 10, 2009
-
-
Owen Anderson authored
llvm-svn: 75262
-
Dan Gohman authored
merge the new functionality and unittests into ConstantRange. Thanks to Nick Lewycky for pointing out that it isn't necessary to have two separate classes here. llvm-svn: 75191
-
Dan Gohman authored
what ConstantRange does for unsigned integers. Factor out a common base class for common functionality. Add some new functions for performing arithmetic on constant ranges. Some of these are currently just stubbed out with conservative implementations. Add unittests for ConstantRange and ConstantSignedRange. llvm-svn: 75177
-
- May 18, 2009
-
-
Daniel Dunbar authored
llvm-svn: 71993
-
- May 02, 2009
-
-
Dan Gohman authored
to make the copy constructor and destructor protected, and corresponding adjustments to the unittests. llvm-svn: 70644
-
- Apr 27, 2009
-
-
Jeffrey Yasskin authored
the comparison operators were not only unnecessary in the presence of the implicit conversion; they caused ambiguous overload errors. So I deleted them. llvm-svn: 70243
-
- Apr 26, 2009
-
-
Chris Lattner authored
Patch by Jeffrey Yasskin! llvm-svn: 70084
-
- Apr 02, 2009
-
-
Bill Wendling authored
llvm-svn: 68258
-
- Apr 01, 2009
-
-
Misha Brukman authored
llvm-svn: 68249
-
- Mar 19, 2009
-
-
Misha Brukman authored
llvm-svn: 67326
-
- Mar 17, 2009
-
-
Daniel Dunbar authored
llvm-svn: 67083
-