to make assumptions if the type is unsized.  We
just give up (and let the JIT handle it) instead.

llvm-svn: 147915

Don't assert but report & return a NULL type if we end up parsing a type we are in the middle of parsing.

llvm-svn: 147914

llvm-svn: 147913

Consider this code:

int h() {
  int x;
  try {
    x = f();
    g();
  } catch (...) {
    return x+1;
  }
  return x;
}

The variable x is undefined on the first edge to the landing pad, but it
has the f() return value on the second edge to the landing pad.

SplitAnalysis::getLastSplitPoint() would assume that the return value
from f() was live into the landing pad when f() throws, which is of
course impossible.

Detect these cases, and treat them as if the landing pad wasn't there.
This allows spill code to be inserted after the function call to f().

<rdar://problem/10664933>

llvm-svn: 147912

Delete the alternative implementation in LiveIntervalAnalysis.

These functions computed the same thing, but SplitAnalysis caches the
result.

llvm-svn: 147911

[asan] get rid of the scary TSD destructor code. Now, we store the leaky AsanThreadSummary in TSD and never remove it from there.

llvm-svn: 147910

llvm-svn: 147909

and also print out the full path and architecture.

llvm-svn: 147908

llvm-svn: 147907

to assume it's of pointer size.

llvm-svn: 147906

llvm-svn: 147905

Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up inlining for straight C calls.
My hope is to reimplement this from first principles based on the simplifications of removing unneeded node builders
and re-evaluating how C++ calls are handled in the CFG.  The hope is to turn inlining "on-by-default" as soon as possible
with a core set of things working well, and then expand over time.

llvm-svn: 147904

A couple of big refactorings: 1) Move most attributes of Atom down to DefinedAtom, so only atoms representing definitions need to implement them. 2) Remove definitionTentative, definitionWeak, mergeDuplicates, and autoHide.  Replace with merge and interposable attributes. 3) Make all methods on Atom be virtual so that future object file readers can lazily generated attributes

llvm-svn: 147903

the physical registers are not allocatable.

llvm-svn: 147902

It is incomplete and untested; passes the compilation only.

llvm-svn: 147901

new-expressions.

llvm-svn: 147900

with other symbols.

An object in the __cfstring section is suppoed to be filled with CFString
objects, which have a pointer to ___CFConstantStringClassReference followed by a
pointer to a __cstring. If we allow the object in the __cstring section to be
merged with another global, then it could end up in any section. Because the
linker is going to remove these symbols in the final executable, we shouldn't
bother to merge them.
<rdar://problem/10564621>

llvm-svn: 147899

This is a transitory commit for __dynamic_cast.  It contains debugging statements that are not intended to be in the finished product.  However some of the dubbing statements themselves contain important documentation such as how to navigate a __class_type_info hierarchy, documenting object offset and inheritance access.  The intention is that this debugging code will migrate into both actual code and comments.  And capturing it here so that there is no chance this stuff will be lost.

llvm-svn: 147898

the comment.

Fixes constvars.exp on the gdb test builder.

llvm-svn: 147897

llvm-svn: 147896

Add comment for build_and_run_with_source_atoms_expr() and remove redundant #include from basic_type.cpp.

llvm-svn: 147895

floating point type.

llvm-svn: 147894

the Test*Types*.py test cases.

llvm-svn: 147893

passed in floating point registers.

llvm-svn: 147892

llvm-svn: 147891

llvm-svn: 147890

llvm-svn: 147889

Add a test that checks the stack alignment of a simple function for
Darwin, Linux and NetBSD for 32bit and 64bit mode.

llvm-svn: 147888

floating point formats.

llvm-svn: 147887

llvm-svn: 147886

This function runs after all constant islands have been placed, and may
shrink some instructions to their 2-byte forms.  This can actually cause
some constant pool entries to move out of range because of growing
alignment padding.

Treat instructions that may be shrunk the same as inline asm - they
erode the known alignment bits.

Also reinstate an old assertion in verify(). It is correct now that
basic block offsets include alignments.

Add a single large test case that will hopefully exercise many parts of
the constant island pass.

<rdar://problem/10670199>

llvm-svn: 147885

llvm-svn: 147884

llvm-svn: 147883

When something goes wrong in type-checking a namespace definition, make the namespace declaration invalid

llvm-svn: 147882

failing test cases on our internal AVX nightly tester.
rdar://10663637

llvm-svn: 147881

llvm-svn: 147880

llvm-svn: 147878

functional change in r147860 to use DW_TAG_label's instead TAG_subprogram's.
This only changes names and updates comments.  No functional change.

llvm-svn: 147877

rdar://10663487

llvm-svn: 147876

llvm-svn: 147874