llvm-svn: 76559

llvm-svn: 76543

llvm-svn: 76542

return the smallest union of two ranges instead of just any range that happens
to contain the union.

llvm-svn: 76360

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

 - Reid, please check, I'm not sure if this is what was intended.

llvm-svn: 76286

Also a test commit.

llvm-svn: 76276

 - Patch by Ryan Flynn!

llvm-svn: 76081

llvm-svn: 75703

llvm-svn: 75583

again to Daniel Dunbar and KLEE!

llvm-svn: 75449

Found by Daniel Dunbar and KLEE.

llvm-svn: 75448

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

generally return Full on all wrapped inputs. "Fixes" PR4545.

llvm-svn: 75444

large as the full set, only those one size smaller. Thanks to Daniel Dunbar
who found this bug using Klee!

llvm-svn: 75443

llvm-svn: 75422

llvm-svn: 75413

Some = [10, 2730). A subset of that is [1024..2048) which covers every possible
10-bit pattern.

llvm-svn: 75411

llvm-svn: 75410

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

changes.

llvm-svn: 75369

llvm-svn: 75364

llvm-svn: 75262

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

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

default, this option is not enabled to support clients who rely on
this behavior.

Fixes http://llvm.org/PR4483

A patch to allocate additional memory for globals after we run out is
forthcoming.

Patch by Reid Kleckner!

llvm-svn: 75059

  !0 = constant metadata !{...}

llvm-svn: 75057

Simplify MDNode printing.

llvm-svn: 75053

llvm-svn: 74640

llvm-svn: 74622

in APIntTest.cpp.

llvm-svn: 74550

llvm-svn: 74531

 - Apologies in advance for the noise.

llvm-svn: 74530

llvm-svn: 74441

Also don't call finalizers for LoopPass if initialization was not called.
Add a unittest that tests that these methods are called, in the proper
order, and the correct number of times.

llvm-svn: 74438

emitted or the machine code for a function is freed.  Chris mentioned that we
may also want a notification when a stub is emitted, but that'll be a future
change.  I intend to use this to tell oprofile where functions are emitted and
what lines correspond to what addresses.

llvm-svn: 74157

llvm-svn: 74109

reintroduce them later.

Also, don't require MCSection* when creating a symbol.

llvm-svn: 74081

llvm-svn: 74076

llvm-svn: 74044