Use isa<> instead of dyn_cast<>.

llvm-svn: 76767

"This patch implements the restrictions on union members detailed in
[class.union]p1", from John McCall!

llvm-svn: 76766

Add replaceAllUsesWith() to FE replace debug info constructs while building complex types.

llvm-svn: 76765

Do not print "metadata" twice while printing MDString.
This fixes unittest failure.

llvm-svn: 76764

Remove empty test.

llvm-svn: 76763

Eliminate a redudant check Eli pointed out.

llvm-svn: 76762

Fixed build warning. No functionality change.

llvm-svn: 76761

Move bug reporter "visitors" to their own file and make them part of the public
BugReporter API.  No real functionality change.

llvm-svn: 76760

Introduce MetadataBase, a base class for MDString and MDNode.
Derive MDString directly from MetadataBase.
Introduce new bitcode block to hold metadata.

llvm-svn: 76759

Allocate BaseOrMemberInitializers and CXXBaseSpecifier nodes
via ASTContext.

llvm-svn: 76758

Implement parsing and semantic analysis for out-of-line definitions of static
data members of class templates. We don't instantiate the definitions yet,
however.

llvm-svn: 76756

Fix a couple recent ABI regressions noticed during code review (fallout from the ObjC type system rewrite).

It's unfortunate that the mangling includes the low-level structs. Nevertheless, we need this for binary compatibility with GCC.

llvm-svn: 76755

Support writing a StringRef to a raw_ostream directly.

llvm-svn: 76754

Switch some functions from using x86 builtins to using vector
operations.

llvm-svn: 76753

Add some documentation, to make it so the next person doens't select
the wrong function.  :-)

llvm-svn: 76752

fix some wording problems Daniel pointed out, make a example actually real.

llvm-svn: 76751

doxygenify

llvm-svn: 76750

fix typo noticed by Duncan

llvm-svn: 76747

cast signed APInt constructor params to uint64_t to suppress signedness warning

llvm-svn: 76744

Fix <rdar://problem/6770276> Support Class<Proto> syntax.

llvm-svn: 76741

Test template instantiation for member functions of class templates defined
out of line.

llvm-svn: 76740

Add newline at end of file.

llvm-svn: 76736

Thread local globals don't require special handling by the linker and so can
be placed in the standard data / bss sections.

llvm-svn: 76735

Remove a comment that was copy+pasted from the wrong place,
there is no MachineFunction here.

llvm-svn: 76734

Revert commit 76707, it was breaking the llvm-gcc build
on linux platforms.  The binutils assembler does not
recognize the "s" flag, see for example
http://sourceware.org/binutils/docs/as/Section.html

llvm-svn: 76733

Don't give a massive inlining cost bonus to available_externally
functions with a single use; eliminating the single use may eliminate
the function from the current module, but usually doesn't eliminate
it from the final program.

llvm-svn: 76730

Don't forget D16 - D31 are clobbered by calls and sjlj eh.

llvm-svn: 76729

Add R12 to the list of registers clobbered by 16-bit Thumb calls as a pre-caution. r12 could be live once we have mixed 32-bit and 16-bit instructions.

llvm-svn: 76728

Fix a obvious copy-n-paste bug.

llvm-svn: 76727

Make vectorized floating-point comparisons work without crashing.

llvm-svn: 76726

Get rid one of the getRegisterNumbering. Also add D16 - D31.

llvm-svn: 76725

remove Bill from the author list: his contribution (describing llvm::Ostream
and friends) has been removed awhile ago.

llvm-svn: 76724

add some more topics to the coding standards doc:

* Use Early Exits and 'continue' to Simplify Code
* Turn Predicate Loops into Predicate Functions
* Spaces Before Parentheses
* Namespace Indentation
* Anonymous Namespaces

llvm-svn: 76723

Attempt to fix BuildBot breakage with MSVC.

llvm-svn: 76722

Restructure ProgramPoint to have the 'Kind' value be its own instance
variable.  This gives us much more flexibility with defining more
ProgramPoints, which is the direction we are heading.  The removal of
various bit-mangling of pointers also cleans up the logic.

llvm-svn: 76721

Temporarily disable most use of region casts in RegionStoreManager,
instead preferring to use the a region's actual type when creating
symbols and using the QualType passed to Retrieve for implicit
casting.  This preprocessor logic is temporary; eventually we will
either remove region casts or keep them.

Temporarily toggle (via preprocessor directives) that SymbolicRegions
with heap storage are not undefined, but instead should be
symbolicated.  If we want to model that a SymbolicRegion is
uninitialized, we can explicitly model that by binding UndefinedVal to
that region.  It turns out that we want to treat most heap objects as
being defined, not the other way around.

llvm-svn: 76720

Fix a crasher in StoreManager::InvalidateRegion() caused by using the
'cast type' of a region to invalidate its binding.  This only occurs
when using RegionStoreManager, as it records the cast type.  I'm
currently considering removing the notion of a cast type (see
comments in code).

llvm-svn: 76719

fix some formatting stuff, patch by Edward O'Callaghan!

llvm-svn: 76718

Preserve address space information through member accesses, e.g.,
   __attribute__((address_space(1))) struct {int arr[ 3 ]; }  *p1;
   ... = p1->arr[2];  // load from address space 1

llvm-svn: 76717

Remove an unneeded header.

llvm-svn: 76716

Remove intrinsic support for __builtin_ia32_vec_set_v16qi and
__builtin_ia32_vec_set_v4si as these should be lowered in the
front-end to inserts.

llvm-svn: 76714

Add support for MMX VSETCC.

llvm-svn: 76713

Added the unconditional JMP with an 8-bit relocation for the
assembler / disassembler.

llvm-svn: 76712

Add an entry.

llvm-svn: 76711

inline the two MergeableConstSection implementations into their
only caller.

llvm-svn: 76710

Prep for new warning.

llvm-svn: 76709

Minor mod. per Doug's comment.

llvm-svn: 76708

set the ELF "small" flag on objects that end up in .rodata.cst4 consistently,
updating a mips testcase to expect it.

llvm-svn: 76707

don't set the small flag yet.

llvm-svn: 76706

remove the SelectSectionForMachineConst hook, replacing it with
a new getSectionForMergableConstant hook.  This removes one dependence
of TAI on Type, and provides the hook with enough info to make the
right decision based on whether the global has relocations etc.

llvm-svn: 76705

Complain if we're entering the context of a dependent nested-name-specifier but
cannot match that nested-name-specifier to a class template or class template
partial specialization.

llvm-svn: 76704

Let each target determines whether a machine instruction is dead. If true, that allows late codeine passes to delete it.

This is considered a workaround. The problem is some targets are not modeling side effects correctly. PPC is apparently one of those. This patch allows ppc llvm-gcc to bootstrap on Darwin. Once we find out which instruction definitions are wrong, we can remove the PPCInstrInfo workaround.

llvm-svn: 76703

Get rid of the Pass+Context magic.

llvm-svn: 76702

reimplement Constant::ContainsRelocations as
Constant::getRelocationInfo(), which has a much simpler
to use API.  It still should not be part of libvmcore, but
is better than it was.  Also teach it to be smart about
hidden visibility.

llvm-svn: 76700

Misc. doc fixes following suggestions from Eli.

llvm-svn: 76699

Fixing cp island pass. Step 1: Determine whether the constant pool offset can be
negative on an individual bases rather than basing on whether it's in thumb
mode.

llvm-svn: 76698

Fix comment.

llvm-svn: 76693

Basic parsing and semantic analysis for out-of-line definitions of the
member functions of class templates, e.g.,

  template<typename T>
  struct X {
    void f(T);
  };

  template<typename T> X<T>::f(T) { /* ... */ }

llvm-svn: 76692

Revert this, we can now avoid error cascades better.

llvm-svn: 76691

Revert this, was a bug in my new warning code, not the test case.

llvm-svn: 76690

simplify code now that it is inlined.

llvm-svn: 76689

Exposed PHIElimination pass within CodeGen.

llvm-svn: 76688

Revert this, we have a better way to do this.

llvm-svn: 76687

Now that RelocBehaviour() is never overloaded, it doesn't need to be
virtual.  Just inline it into its two current call sites in preparation
for simplifying the code.

llvm-svn: 76686

Revert this, we have a better way to handle this.

llvm-svn: 76685

Add intrinsic for __builtin_ia32_vec_set_v4si which turns out to be
pinsrd in sse4.1.

llvm-svn: 76684

this doesn't break any of the 4 ia64 tests.

llvm-svn: 76683

alpha doesn't need to redefine this: it only supports PIC codegen anyway.

llvm-svn: 76682

Revert recent change, I now have a better way to solve this (thanks Chris).

llvm-svn: 76681

Add some support for iterative coalescers to calculate a joined live
range's weight properly.  This is turned off right now in the sense that
you'll get an assert if you get into a situation that can only be caused
by an iterative coalescer.  All other code paths operate exactly as
before so there is no functional change with this patch.  The asserts
should be disabled if/when an iterative coalescer gets added to trunk.

llvm-svn: 76680

no really, I can spell!

llvm-svn: 76679

add an API so target-independent codegen can determine if a constant
pool entry will require relocations against it.  I implemented this
conservatively for ARM, someone who is knowledgable about it should
see if this can be improved.

llvm-svn: 76678

Fix long-lurking bug in ObjCSummaryCache revealed by Torok's recent memory
poisoning changes to DenseMap. We were using an iterator after it had been
invalidated by an insertion into the DenseMap.

llvm-svn: 76677

Convert instcombine from using using getAnalysis<TargetData> to
getAnalysisIfAvailable<TargetData>.

llvm-svn: 76676

Permit the IntPtrTy argument to isEliminableCastPair to be null,
to help support use when TargetData is not available.

llvm-svn: 76675

fix typo

llvm-svn: 76674

Change ELFCodeEmitter logic to emit the constant pool and jump tables to
their appropriate sections before the code itself. They need to be emitted
before the function because on some targets (x86 but not x86_64) the later
may reference a JT or CP entry address

llvm-svn: 76672

Replace the original ad-hoc code for determining whether (v pred w) implies
(x pred y) with more thorough code that does more complete canonicalization
before resorting to range checks. This helps it find more cases where
the canonicalized expressions match.

llvm-svn: 76671

Prep for new warning.

llvm-svn: 76670

Remove a big test case.

llvm-svn: 76669

Various doc updates from Edward O'Callaghan!

llvm-svn: 76668

remove the last bits of SectionFlagsForGlobal.  There is some flag here that
depends on XS1A, but I think the ReadOnlySection is already set up for this
and there is no testcase that this breaks.  If this is really needed, we can
add the appropriate parameterization to TargetAsmInfo in the future to support
this.

llvm-svn: 76667

don't mask out the small flag and then reapply it later.

llvm-svn: 76666

if Xcore doesn't support TLS, it doesn't have to worry about thread local LLVM IR, it should be rejected by a front-end.

llvm-svn: 76665

remove the Xcore implementation of SelectSectionForGlobal.  While you have
to twist your brain to see it, I believe it is the same as ELFTargetAsmInfo::SelectSectionForGlobal.

llvm-svn: 76664

Patch to accomodate Doug's comment on default
destruction of base/members for each destructor AST.

llvm-svn: 76663

simplify based on the fact that darwin always uses L/l.

llvm-svn: 76662

make some stuff private.

llvm-svn: 76661

improve comments.

llvm-svn: 76660

Remove the XCore custom implementation of MergeableConstSection, relying on
the generic ELF version instead.  This will result in its mergable constant
sections getting named ".rodata.cst4" instead of ".cp.const4", but the
linker looks at the section flags, not the name of the section AFAICT.

llvm-svn: 76659

Fix ocaml tests for 64-bit MacOS systems.  LLVM is currently built
as 32-bit code by default, and if gcc defaults to 64-bit code then ocamlc
requires a -cc "gcc -arch i386" option.  We were hardcoding -cc g++
and throwing away any other compiler options that were determined when
ocamlc was configured and built.

llvm-svn: 76658

Reorder the "Metadata" entry to match the C bindings.
This fixes a regression in the vmcore.ml dejagnu test.

llvm-svn: 76657

Remove stale comment and fix RUN line.

llvm-svn: 76656

Add missing include

llvm-svn: 76655

inline a trivial method into its only call site and fix indentation of cases

llvm-svn: 76654

Remove some overridden functions in XCoreTargetAsmInfo that are
implemented exactly the same way as its ELFTargetAsmInfo subclass
has them.

llvm-svn: 76653

Add test case for PR 4596, which is already fixed due to Steve Naroff's overhaul of the Objective-C type system, but isn't in a checker build yet.

llvm-svn: 76648

Patch by Stefan Bühler: Escape text in macro expansion when emitting HTML in the HTMLRewriter.

This fixes PR 4602.

llvm-svn: 76647

revert r76602, 76603, and r76615, pending design discussions.

llvm-svn: 76646

minor cleanups.

llvm-svn: 76645