llvm-svn: 127580

Instead of storing an ASTContext* in FunctionProtoTypes with computed noexcept specifiers, unique FunctionProtoTypes with a ContextualFoldingSet, as suggested by John McCall.

llvm-svn: 127568

No change in functionality intended.

llvm-svn: 127538

Change the interface to expose the new information and deal with the enormous fallout.
Introduce the new ExceptionSpecificationType value EST_DynamicNone to more easily deal with empty throw specifications.
Update the tests for noexcept and fix the various bugs uncovered, such as lack of tentative parsing support.

llvm-svn: 127537

functionality intended.

llvm-svn: 127513

llvm-svn: 127494

extending the existing support for sizeof and alignof.  Original
patch by Guy Benyei.

llvm-svn: 127475

avoid converting to bits and back again. No change in functionality
intended.

llvm-svn: 127455

lib/CodeGen/CGCall.cpp: Don't invoke multiple Builder.CreateBitCast() on Builder.CreateMemCpy. Or we would see sideeffect incompatibility among gcc and clang.

llvm-svn: 127405

llvm-svn: 127330

llvm-svn: 127324

recomputation.

llvm-svn: 127322

llvm-svn: 127319

simplify the logic of initializing function parameters so that we don't need
both a variable declaration and a type in FunctionArgList.  This also means
that we need to propagate the CGFunctionInfo down in a lot of places rather
than recalculating it from the FAL.  There's more we can do to eliminate
redundancy here, and I've left FIXMEs behind to do it.

llvm-svn: 127314

variable that just happens to be stored in a wierd place.

llvm-svn: 127235

for a local variable.

llvm-svn: 127227

llvm-svn: 127225

clobber with the 'y' constraint. Otherwise, we get the wrong return type and an
assert, because it created a '<1 x i64>' vector type instead of the x86_mmx
type.

llvm-svn: 127185

CodeGenFunction::GenerateBlockFunction() should initialize DebugInfo just like CodeGenFunction::GenerateCode()

llvm-svn: 127174

DebugInfo can be enabled or disabled at function level (e.g. using an attribute). However, at module level it is determined by command line option and the state of command line option does not change during compilation. Make this layering explicit and fix accidental cases where the code generator was checking whether module has debug info enabled instead of checking whether debug info is enabled for this function or not.

llvm-svn: 127165

21 int main() {
22  A a;

For example, here user would expect to stop at line 22, even if A's constructor leads to a call through CXXDefaultArgExpr.

This fixes ostream-defined.exp regression from gdb testsuite.

llvm-svn: 127164

trivial to check this.  Adjust for style.

llvm-svn: 127151

allocation and therefore requires a null-check.  We were doing that, but
we weren't treating the new-initializer as being conditionally executed,
which means it was possible to get ill-formed IR as in PR9298.

llvm-svn: 127147

corner cases like the one in PR9301." which caused PR9416. 

llvm-svn: 127136

llvm-svn: 127121

llvm-svn: 127082

llvm-svn: 127039

Emit a stop point before a call expression so that debugger has some chance of getting some footing when user wants to stop at 2nd bar() in following expression when all function calls are inlined.
  = bar() + ... + bar() + ...

clang keeps track of column numbers, so we could put location entries for all subexpressions but that will significantly bloat debug info in general, but a location for call expression is helpful here.

llvm-svn: 127018

this can have any optimization effect, given the opacity of objects pointers,
but you never know.

llvm-svn: 126990

llvm-svn: 126989

bugs with such types.  Not sure this is quite how I want the desugaring
and a.k.a. logic to go, but it suffices.

llvm-svn: 126986

This fixes few blocks.exp regressions.

llvm-svn: 126960

llvm-svn: 126890

This reverts commit 126863.

llvm-svn: 126886

llvm-svn: 126883

This reverts commit 126865.

llvm-svn: 126876

llvm-svn: 126874

// rdar://8604515.

llvm-svn: 126869

llvm-svn: 126865

llvm-svn: 126863