add a testcase for the pic16 section handling stuff.

llvm-svn: 76579

some simple whitespace cleanup, avoid copying vectors for no reason
as much, etc.

llvm-svn: 76578

Diagnose when a destructor uses a unrelated class type as its name.

llvm-svn: 76577

Add the location of the tag keyword into TagDecl. From Enea
Zaffanella, with tweaks from Abramo Bagnara.

llvm-svn: 76576

Add StringRef::{substr, startswith}.

llvm-svn: 76559

Another rewriter bug exposed by recent coalescer changes. ReuseInfo::GetRegForReload() should make sure the "switched" register is in the desired register class. I'm surprised this hasn't caused more failures in the past.

llvm-svn: 76558

Add missing include.

llvm-svn: 76555

Switch this API to StringRef.

llvm-svn: 76554

Simplify / normalize some uses of Value::getName.

llvm-svn: 76553

Disambiguate an if statement.

llvm-svn: 76547

Remove the ASTContext parameter from Entity::getPrintableName().

llvm-svn: 76546

Add StringRef class, with fixes.

llvm-svn: 76543

unbreak unit-tests on gcc-4.4.

llvm-svn: 76542

Remove some unused code.

llvm-svn: 76541

Support adding relocations for data sections, handling the cases where
global declared symbols are initialized with references from other global
symbols.

llvm-svn: 76540

Add an assert for safety check.

llvm-svn: 76539

Fix a crash that occurs in this C++ case:

struct foo {
  static bool value;
};
bool (foo::value); // crash because of parens

llvm-svn: 76538

remove a very large testcase for now.

llvm-svn: 76537

Add jumps with 8-bit relocation for assembler / disassembler. Patch by Sean Callanan.

llvm-svn: 76536

Fix a dagga combiner bug: avoid creating illegal constant.

Is this really a winning transformation?
fold (shl (srl x, c1), c2) -> (shl (and x, (shl -1, c1)), (sub c2, c1)) or
                              (srl (and x, (shl -1, c1)), (sub c1, c2))

llvm-svn: 76535

Update for LLVM API change.

llvm-svn: 76534

Move a bit more state over to the LLVMContext.

llvm-svn: 76533

Keep only canonical Decls in Entities.

llvm-svn: 76532

Wire up CFG improvements for __builtin_choose_expr.

llvm-svn: 76531

Wire up CFG improvements for do { } while () when the condition is known.

llvm-svn: 76530

Wire up for statement CFG improvements for conditionals that are known.

llvm-svn: 76529

Add the following functions:

- SYSCALL (normal fast system call instruction) [0f 05]
- SYSENTER (system call entry instruction) [0f 34]
- SYSEXIT (system call exit instruction) [0f 35]
- SYSEXIT64 (system call exit instruction to 64-bit user code) [REX.W 0f 35]
- SYSRET (system call return instruction) [0f 07]

Patch by Sean Callanan.

llvm-svn: 76528

Add a testcase for PR2831.

llvm-svn: 76527

Add a testcase for PR4569, which is now fixed.

llvm-svn: 76526

Add an svn:ignore.

llvm-svn: 76525

Make the range calculations for addrecs to be more conservative,
as they aren't currently prepared to handle complicated overflow
cases.

llvm-svn: 76524

Whitespace cleanups.

llvm-svn: 76523

Wire up CFG improvements for while when the condition is known.

llvm-svn: 76522

Minor code simplification.

llvm-svn: 76521

Fix ARM isle code that optimize multiply by constants which are power-of-2 +/- 1.

llvm-svn: 76520

Cross RC coalescing is now on by default.

llvm-svn: 76519

Remove a file from the test directory that was added by mistake.

llvm-svn: 76518

revert 76503 while I figure out what's going on

llvm-svn: 76517

RegionStore:
-refactor logic for retrieving bindings from VarDecls into
 RegionStoreManager::RetrieveVar()
- improve RegionStoreManager::CastRetrievedVal() and SimpleSValuate::EvalCastNL
  to better handle casts of values of the same canonical type as well as
  casts of LocAsInteger values.

llvm-svn: 76516

Change the semantics for Entity.

Entity can now refer to declarations that are not visible outside the translation unit.
It is a wrapper of a pointer union, it's either a Decl* for declarations that don't
"cross" translation units, or an EntityImpl* which is associated with the specific "visible" Decl.

Included is a test case for handling fields across translation units.

llvm-svn: 76515

define __STDC_VERSION__ processor token for c94

llvm-svn: 76514

Use temporary output to avoid running index-test with the same commands multiple times.

llvm-svn: 76513

Implement the virtual getNextRedeclaration() for ObjCMethodDecl.

If it's in an ObjCContainerDecl, its "redeclaration" is the method definition in the corresponding ObjCImplDecl.
If it's in an ObjCImplDecl, its "redeclaration" is the method in the interface.

llvm-svn: 76512

Add an assertion for the return value of Decl::getNextRedeclaration().

llvm-svn: 76511

Remove the ObjCCategoryImpls vector from Sema class.
Use ObjCInterfaceDecl::getCategoryClassMethod() and ObjCInterfaceDecl::getCategoryInstanceMethod() for the same functionality.

llvm-svn: 76510

Remove Sema::LookupObjCImplementation and replace it with just calling ObjCInterfaceDecl::getImplementation().

llvm-svn: 76509

- Introduce ASTContext::getObjCImplementation() and ASTContext::setObjCImplementation() which use a DenseMap to associate
  an interface/category with its implementation (if one exists).

- Introduce ObjCInterfaceDecl::get/setImplementation() and ObjCCategoryDecl::get/setImplementation() that use the above methods.

- Add a compiler error for when a category is reimplemented.

llvm-svn: 76508

Handle references from ObjCIvarRefExprs.

llvm-svn: 76507

Add '\n' to the end of error message.

llvm-svn: 76506

Add a comment to clarify why there isn't any code in this spot.

llvm-svn: 76505

Remove the code that tried to evaluate whether (A pred B) is known
by determining if (B pred (B-A)) is known, as it doesn't handle
overflow correctly.

llvm-svn: 76504

Make sure a global matching asm 'i' constraint gets its
flags set properly.  (hasMemory is clearly irrelevant
when matching 'i', I don't understand what this was
supposed to be doing.)
gcc.apple/asm-block-25.c (test passed before by
accident, but generated code was wrong)

llvm-svn: 76503

Move stripping of bitcasts in inline asm arguments
to a place where it affects everything.  Occurs
only on calls AFAIK.

llvm-svn: 76502

Add yet more analysis for CFGs involving conditionals that are actually constant.

llvm-svn: 76500

Move EmitCtorPrologue to CGCXX. Add an assert and FIXMEs.

llvm-svn: 76498

Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order
pointers.

Enhanced RegionStoreManager::Retrieve() to handle automatic casts when the
loaded value is different from the requested value. This should be refined over
time, but essentially we should always symbolicate locations as locations, and
convert them to non-locations on demand.

These changes now cause 'misc-ps.m' to pass again.

llvm-svn: 76497

Minor code simplification.

llvm-svn: 76496

Documentation for the new non-overflow and exact keywords.

llvm-svn: 76495

Improve message for bad destructor decl. Per Doug's comment.

llvm-svn: 76494

Early ir-gen for constructor prologue. This is on going.

llvm-svn: 76493

The upper argument of ConstantRange is exclusive, not inclusive.

llvm-svn: 76492

clean up some formatting, indent by 2 instead of 4.

llvm-svn: 76490

CMP and TST define CPSR, not use it.

llvm-svn: 76489

Reuse VarDecl::Init to store the default argument of a ParmVarDecl,
reducing the size of ParmVarDecl by one pointer. Also means that we'll
properly (de-)serialize default arguments in C++ PCH files.

llvm-svn: 76487

Re-apply 75490, 75806 and 76177 with fixes and tests.  Efficiency comes
next.

llvm-svn: 76486

Forgot this test earlier.

llvm-svn: 76485

This test now passes with RegionStore.

llvm-svn: 76484

Enhance GRExprEngine::EvalBind to handle some implicit casts from nonlocs to
locs and vis versa.

llvm-svn: 76483

Enhance SimpleSValuator to handle nonloc::LocAsInteger -> location casts.

llvm-svn: 76481

Simplify the code in DarwinTargetAsmInfo::emitUsedDirectiveFor so that humans can understand it.

llvm-svn: 76480

Pass in the unfortunately named "LessPrivatePrefix" for the
"LinkerPrivatePrefix". It seems to have been used in only one place before I
started this "linker_private" business. I'm thinking that a rename is in
order...

llvm-svn: 76479

Remove an apparently unused forward class decl.

llvm-svn: 76476

Assembly and Bitcode support for unsigned/signed overflow flags and
exact sdiv flags.

llvm-svn: 76475

Remove an apparently unused header.

llvm-svn: 76473

Use TII->findCommutedOpIndices to find the commute operands (rather than guessing).

llvm-svn: 76472

Add XFAILED test.

llvm-svn: 76469

Add FIXME.

llvm-svn: 76466

Change the casting of linkage types into a map. This makes this much more robust
as it no longer depends upon two different enums being kept in sync with each
other.

llvm-svn: 76465

Clarify that OverflowingBinaryOperator is not used for SDiv, even though
SDiv is a binary operation that can overflow.

llvm-svn: 76464

Removed the DumpSymbolsandMacros and LoadSymbolsandMacros MCStreamer API as
the parsing of the .dump and .load should be done in the assembly parser and
not have any need for an MCStreamer API.  Changed the code for now so these
just produce an error saying these specific directives are not yet implemented
since they are likely no longer used and may never need to be implemented.

llvm-svn: 76462

Add MCAsmLexer interface.
 - This provides the AsmLexer interface to the target specific assembly parsers.

llvm-svn: 76460

Fix some sub-reg coalescing bugs where the coalescer wasn't updating the resulting interval's register class.

llvm-svn: 76458

Remove FIXME that was already fixed.

llvm-svn: 76457

Rename Mangler linkage enums to something less gross.

llvm-svn: 76456

Refactor metadata parsing routines into separate functions.

llvm-svn: 76455

When a field is variable-sized or is an array with a negative size,
don't replace the type of the field with 'int', from Enea Zaffanella!

llvm-svn: 76454

Add MCAsmParser interface.
 - This provides the AsmParser interface to the target specific assembly
   parsers.

llvm-svn: 76453

Update DataflowSolver to handle the case where a successor/predecessor block
could be NULL. This allows the solver to handle optimized CFGs where branches
can be determined during CFG-construction to be infeasible.

llvm-svn: 76452

Improve GCC compatibility by allowing static tentative definitions of
incomplete type (with a warning), from Enea Zaffanella!

llvm-svn: 76451

Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the case
where the true or false CFGBlock* for a branch could be NULL. This will handle
the case where we can determine during CFG construction that a branch is
infeasible.

llvm-svn: 76450

Build FileCheck from with CMake

llvm-svn: 76449

Put new enum at end of list to avoid changing ABI.

llvm-svn: 76447

remove TargetAsmInfo::ExpandInlineAsm

llvm-svn: 76445

5 cleanups to ObjCObjectPointerType work:

- Remove Sema::CheckPointeeTypesForAssignment(), a temporary API I added to ease migration to ObjCObjectPointerType. Convert Sema::CheckAssignmentConstraints() to no longer depend on the temporary API.
- Sema::ConvertDeclSpecToType(): Replace a couple FIXME's with an important comment/example.
- Sema::GetTypeForDeclarator(): Get the protocol's from the interface, NOT the declspec (to support the following C typedef idiom: "typedef C<P> T; T *obj").
- Sema::ObjCQualifiedIdTypesAreCompatible(): Removed some dead code.
- ASTContext::getObjCEncodingForTypeImpl(): Some minor cleanups.

llvm-svn: 76443

use ExpandInlineAsm on TargetLowering instead of TargetAsmInfo.

llvm-svn: 76442

Copy ExpandInlineAsm to TargetLowering from TargetAsmInfo.

llvm-svn: 76441

Drop UDivOperator and introduce SDivOperator. Thanks to Chris
for noticing this.

llvm-svn: 76440

add some fixme's and cleanups.  TargetAsmInfo shouldn't depend on VMCore eventually.

llvm-svn: 76439

Update this comment.

llvm-svn: 76438

Revert the addition of hasNoPointerOverflow to GEPOperator.
Getelementptrs that are defined to wrap are virtually useless to
optimization, and getelementptrs that are undefined on any kind
of overflow are too restrictive -- it's difficult to ensure that
all intermediate addresses are within bounds. I'm going to take
a different approach.

Remove a few optimizations that depended on this flag.

llvm-svn: 76437