llvm-svn: 121968

non-type template parameters until we know that we have an actual
template declaration of some sort. This cannot be tested yet, but will
become important when we have template template parameter packs.

llvm-svn: 121967

Fix a bug in the loop in JumpThreading::ProcessThreadableEdges() where it could falsely produce a MultipleDestSentinel value if the first predecessor ended with an 'indirectbr'. If that happened, it caused an unnecessary FindMostPopularDest() call.
This wasn't a correctness problem, but it broke the fast path for single-predecessor blocks.

llvm-svn: 121966

dragonegg self-host buildbot.  Original commit message:

Add an InstCombine transform to recognize instances of manual overflow-safe addition
(performing the addition in a wider type and explicitly checking for overflow), and
fold them down to intrinsics.  This currently only supports signed-addition, but could
be generalized if someone works out the magic constant formulas for other operations.

llvm-svn: 121965

llvm-svn: 121964

llvm-svn: 121963

llvm-svn: 121962

test due to recent changes to the CFG.  The
diagnostic is somewhat in the wrong place, but
the -Wunreachable-code diagnostic needs to be
revamped anyway since most of the diagnostics
in this test case are redundant.

llvm-svn: 121961

implicit lvalue-to-rvalue casts that John McCall
recently introduced.  This causes a whole bunch
of logic in the analyzer for handling lvalues
to vanish.  It does, however, raise a few issues
in the analyzer w.r.t to modeling various constructs
(e.g., field accesses to compound literals).

The .c/.m analysis test cases that fail are
due to a missing lvalue-to-rvalue cast that
will get introduced into the AST.  The .cpp
failures were more than I could investigate in
one go, and the patch was already getting huge.
I have XFAILED some of these tests, and they
should obviously be further investigated.

Some highlights of this patch include:

- CFG no longer requires an lvalue bit for
  CFGElements
- StackFrameContext doesn't need an 'asLValue'
  flag
- The "VisitLValue" path from GRExprEngine has
  been eliminated.

Besides the test case failures (XFAILed), there
are surely other bugs that are fallout from
this change.

llvm-svn: 121960

llvm-svn: 121959

llvm-svn: 121958

llvm-svn: 121957

llvm-svn: 121956

of the entries there are useless for out of source builds.

llvm-svn: 121955

(from Sean's commit a minute ago)

llvm-svn: 121954

the MCCodeEmitter, which seems like a better organization.
 - Also, cleaned up some magic constants while in the area.

llvm-svn: 121953

can avoid running the code in the target if the
expression's result is known and the expression
has no side effects.

Right now this feature is quite conservative in
its guess about side effects, and it only computes
integer results, but the machinery to make it more
sophisticated is there.

llvm-svn: 121952

2. Fixed EmitLocalCommonSymbol for ELF (Yes, they exist. :)
   Test added.

llvm-svn: 121951

llvm-svn: 121950

 - Treaty talks on the non-proliferation of MC objects broke down.

llvm-svn: 121949

llvm-svn: 121948

llvm-svn: 121947

llvm-svn: 121946

llvm-svn: 121945

llvm-svn: 121944

   Extend Swig's include search path.

   Cover both /usr/include and /usr/local/include.  This should allow Swig to find
   system headers such as stdint.h on all platforms we currently support.

llvm-svn: 121943

On LLP64 Win64, 'states1' (for small version) was expanded to 'char *' for large version. Thus small version would be mischosen when nstates > 32 regardless of sizeof(long) on Win64.

llvm-svn: 121942

on a frame and to exercise the methods of SBSymbolContext.

llvm-svn: 121941

DeclarationNameInfo instances don't always have a non-NULL
TypeSourceInfo?

llvm-svn: 121940

(see PR4579).

llvm-svn: 121939

llvm-svn: 121938

IntervalMaps.

The IntervalMaps can have different template parameters, but the KeyT and Traits
types must be the same.

Tests are forthcoming.

llvm-svn: 121935

llvm-svn: 121934

in a forward @class object. // rdar://8774513

llvm-svn: 121933

it. I.e., it was always an immediate value.

llvm-svn: 121932

respectively.

It may be a bug that these opcodes are getting this far into machine code
generation.

llvm-svn: 121931

drive-by, make sure to check for unexpanded parameter packs within the
name of a declaration.

llvm-svn: 121930

llvm-svn: 121929

llvm-svn: 121928

llvm-svn: 121927