This adds location info for all llvm_unreachable calls (which is a macro now) in
!NDEBUG builds.
In NDEBUG builds location info and the message is off (it only prints
"UREACHABLE executed").

llvm-svn: 75640

Fix by making the LLVM_UNREACHABLE pass __FILE__ and __LINE__ to
llvm_unreachable.

llvm-svn: 75631

llvm-svn: 75489

Make some more changes suggested by Chris.  Manipulators go away.

llvm-svn: 75472

llvm-svn: 75451

again to Daniel Dunbar and KLEE!

llvm-svn: 75449

Found by Daniel Dunbar and KLEE.

llvm-svn: 75448

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

 - Patch by Viktor Kutuzov!

 - Minor tweak by me to add llvm_unreachable calls on FIXMEd error paths.

llvm-svn: 75424

llvm-svn: 75413

llvm-svn: 75410

Make llvm_unreachable take an optional string, thus moving the cerr<< out of
line.
LLVM_UNREACHABLE is now a simple wrapper that makes the message go away for
NDEBUG builds.

llvm-svn: 75379

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

llvm-svn: 75366

and abort()/exit() -> llvm_report_error().

llvm-svn: 75363

per icmp predicate out of predsimplify and into ConstantRange.

Add another utility method that determines whether one range is a subset of
another. Combine with the former to determine whether icmp pred range, range
is known to be true or not.

llvm-svn: 75357

Make changes suggested by Chris and eliminate newly-added raw_ostream
hooks as they're no longer needed.

The major change with this patch is to make formatted_raw_ostream usable
by any client of raw_ostream.

llvm-svn: 75283

Add some hooks that a redesigned AsmStream needs to do its job.  These
allow derived classes to examine the stream buffer before it's flushed.

llvm-svn: 75199

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

Add support for other GraphViz display tools.  This can help
with very large graphs, where dot isn't necessarily the 
most visually pleasing way of looking at the graph.

llvm-svn: 75144

Allow users of GraphWriter to display graphs asynchronously.  This
provides a way to quickly dump a bunch of graph information to dot files
and display them.  It's a timesaver when working on large systems.

llvm-svn: 75056

llvm-svn: 74936

llvm-svn: 74931

llvm-svn: 74923

This will replace exit()/abort() style error handling with an API
that allows clients to register custom error handling hooks.
The default is to call exit(1) when no error handler is provided.

llvm-svn: 74922

llvm-svn: 74735

it to print them.  This gives us column numbers in the diag line.  Before:

t.s:4: error: unexpected token in argument list
 mov %eax %edx
          ^

now:
t.s:4:11: error: unexpected token in argument list
 mov %eax %edx
          ^

llvm-svn: 74732

llvm-svn: 74645

 - Patch by Viktor Kutuzov, with tweaks by me.

llvm-svn: 74608

in APIntTest.cpp.

llvm-svn: 74550

llvm-svn: 74515

llvm-svn: 74510

This will allow it to be used in unittests that use gtest's
EXPECT_EQ.

llvm-svn: 74494

 - Don't print "Parsing" in front of every message.

 - Take additional "type" argument which is prepended to the message (with ": ")
   if given.

 - Update clients to print errors (warnings) as:
<filename>:<line number>: error(warning): ...

llvm-svn: 74489

llvm-svn: 74422

llvm-svn: 74294

llvm-svn: 74285

llvm-svn: 74227