Convert a test to FileCheck.

llvm-svn: 76954

hoist section name uniquing logic up to the top-level SectionForGlobal
implementation, eliminating a dupe.

llvm-svn: 76953

Implement getSectionPrefixForUniqueGlobal to return null, indicating that
darwin does it's own unique and special and wonderful thing.

llvm-svn: 76952

reduce indentation

llvm-svn: 76951

simplify code by making special case more obvious

llvm-svn: 76950

the 'isWeakForLinker' code is common between functions and globals, hoist it
and simplify some other code.

llvm-svn: 76949

Replace UniqueSectionForGlobal with getSectionPrefixForUniqueGlobal.
The later doesn't depend on any crazy LLVM IR stuff, and this
pulls the concatenation of prefix with GV name (the root problem behind
PR4584) out one level.

llvm-svn: 76948

Introduce a new variant type 'TryResult' to represent the result of
TryEvaluateBool instead of using a raw 'int'.  This avoids any
confusion of how 'int' converts to bool, and makes the resultant code
easier to read.

Condense a bunch of 'addSuccessor()' calls in 'if ... else' to use the
ternary operator instead.

llvm-svn: 76947

document SectionFlags::Named better and make it more easily greppable by
eliminating isNamed.

llvm-svn: 76946

fix indentation.

llvm-svn: 76945

use section flags more correctly.

llvm-svn: 76944

Switch to raw_ostream.

llvm-svn: 76943

fix a mysterious and scary failure on test/CodeGen/X86/cstring.ll

llvm-svn: 76942

reduce api exposure: clients shouldn't call SectionKindForGlobal directly.

llvm-svn: 76941

Add getDecl() to CallGraph and CallGraphNode.

llvm-svn: 76940

Constify methods.

llvm-svn: 76939

make Constant::getRelocationInfo return an enum, as suggested by Duncan.

llvm-svn: 76938

remove more bits of small section support.

llvm-svn: 76937

remove more remnants of small section support.

llvm-svn: 76936

Remove SectionKind::Small*.  This was only used on mips, and is apparently
a sad mistake that is regretted. :)

llvm-svn: 76935

Test commit:  make a little stub routine for semantic checking of main().

llvm-svn: 76934

Enable the '-warn-security-syntactic' checker option by default.

llvm-svn: 76933

Implement new warning for functions declared 'noreturn' when they fall off the end.

llvm-svn: 76932

Get rid of the size parameter to AppendField. No functionality change.

llvm-svn: 76931

Thumb2 should use the register scavenger.

llvm-svn: 76930

Fix whitespace.

llvm-svn: 76929

Give SCEVAddRecExpr no-signed-overflow and no-unsigned-overflow flags.

llvm-svn: 76928

Give the SCEV class a SubclassData field.

llvm-svn: 76927

Fix whitespace.

llvm-svn: 76926

FLDD, FLDS, FCPYD, FCPYS, FSTD, FSTS, VMOVD, VMOVQ maps to the same instructions on all sub-targets.

llvm-svn: 76925

Mark destructor of Checker virtual.

llvm-svn: 76924

Add tests for handling of globals and tls on the XCore. These currently fail
but pass when run against r76652.

llvm-svn: 76923

Privatize the ConstantVector tables.

llvm-svn: 76922

Update insertps handling based on feedback.  Move to a v4f32 style
to support vector arguments and scalar arguments correctly. Update
lowering and fix comment to refer to pinsr* instead of insertps.

llvm-svn: 76921

Remove the IA-64 backend.

llvm-svn: 76920

Correctly handle the Thumb-2 imm8 addrmode. Specialize frame index elimination more exactly for Thumb-2 to get better code gen.

llvm-svn: 76919

We now do complete semantic checking for unions

llvm-svn: 76918

Update C++ status to reflect progress on out-of-line definitions of class template members

llvm-svn: 76917

This patch fixes the implementations of the __has_trivial_destructor
and __has_trivial_constructor builtin pseudo-functions and
additionally implements __has_trivial_copy and __has_trivial_assign,
from John McCall!

llvm-svn: 76916

Output UTF-16 string literals independent of host byte order.
 - Steve, can you take a look at this? It seems like this code should live
   elsewhere, and there is a FIXME about having Sema validates the UTF-8 to
   UTF-16 conversion.

llvm-svn: 76915

Added a 2+-byte NOP instruction to the Intel tables,
for the assembler/disassembler to use.

llvm-svn: 76914

Diagnose when base classes and members to be intialized
with constructors don't have a matching constructor.

llvm-svn: 76913

Privatize the ConstantStruct table.

llvm-svn: 76912

Refactor and push the evaluation as late as possible.

llvm-svn: 76911

Write space padding as one string to speed up comment printing.

llvm-svn: 76910

Thumb2 does not allow the use of "pc" register as part of the load / store address.

llvm-svn: 76909

Factor out map lookup for CFString constants.

llvm-svn: 76908

Don't just store the field/bit field info one field, do it for all fields in the union.

llvm-svn: 76907

Some cleanups suggested by Daniel.

llvm-svn: 76906

Implement: <rdar://problem/6335715> rule request: gets() buffer overflow

llvm-svn: 76905

Fixing unittests on 32-bit Darwin, using 0x...ULL instead of 0x...U .

llvm-svn: 76904

Fix another thinko.

llvm-svn: 76903

Re-committing r76828 with the JIT memory manager changes now that the build
bots like the BumpPtrAllocator changes.

llvm-svn: 76902

Add comments.

llvm-svn: 76901

Refine checking and diagnostics for use of floating point variable as a counter.
This implements <rdar://problem/6336718> and checks for CERT secure coding
advisory FLP30-C.

llvm-svn: 76900

"fix" PR4612, which is a crash on:
%0 = malloc [3758096384 x i32]

The "malloc" instruction doesn't support 64-bits correctly (see PR715),
and should be removed.  Victor is actively working on fixing this, in
the meantime just don't crash.

llvm-svn: 76899

Correct a  thinko in bitfield layout code. Fixes PR4611.

llvm-svn: 76898

Simplify, NFC.

llvm-svn: 76897

Fix PR4614: the Intel C compiler defines _GNUC__
but does not provide __builtin_bswap32/64.

llvm-svn: 76896

Revert r75581: it causes massive breakage in the Ada
testsuite, due to exception handling not working
correctly.  Maybe because the libgcc unwinder is
miscompiled - not sure, and I won't have time to
look into it before leaving on holiday.  Note that
miscompilations of libgcc are not picked up by the
nightly testers, because they dynamically link with
libgcc, so pick up the system version rather than
the version built as part of llvm-gcc.  This is a
nasty flaw in the nightly testers.  (On the other
hand the Ada testsuite links with the just built
libgcc).

llvm-svn: 76895

Switch ValueSymbolTable to StringRef based API.

llvm-svn: 76894

Add llvm::Value::getNameRef, for help in API migration.

llvm-svn: 76893

Re-committing changes from r76825 to BumpPtrAllocator with a fix and tests for
an off-by-one error.

llvm-svn: 76891

Fix up ARM constant island pass for Thumb2.

Also fixed up code to fully use the SoImm field for ADR on ARM mode.

llvm-svn: 76890

Since we have moved unified assembly, switch to ADR instruction instead of a the difficult-to-read .set + add syntax to materialize pc-relative address.

Turns out this also fixed a poor code selection on Thumb1. I have no idea why we were using a mov + add to do the same thing as ADR before.

llvm-svn: 76889

Convert StringMap to using StringRef for its APIs.
 - Yay for '-'s and simplifications!

 - I kept StringMap::GetOrCreateValue for compatibility purposes, this can
   eventually go away. Likewise the StringMapEntry Create functions still follow
   the old style.

 - NIFC.

llvm-svn: 76888

Switch the driver back to always using clang-cc by default (for C++, and
regardless of the architecture).
 - This is a good default for development & testing; for example without this
   any tests using 'clang' in the test suite will fail on PowerPC, since the
   driver will avoid using clang.

 - We don't want to actually ship something built this way, but that should be
   handled via some sort of configuration file.

llvm-svn: 76886

Simplify.

llvm-svn: 76885

We don't need to keep track of the packed alignment, just whether the struct is packed or not. Fixes PR4610.

llvm-svn: 76884

Fix frame index elimination to correctly handle thumb-2 addressing modes that don't allow negative offsets. During frame elimination convert *i12 opcode to a *i8 when necessary due to a negative offset.

llvm-svn: 76883

Move the LLVM field number for bit fields into the BitFieldInfo structure, since it's meaning is completely different than for non-bit fields.

llvm-svn: 76882

Clean up the ActOnTag action, so that there is only a single entry
point that covers templates and non-templates. This should eliminate
the flood of warnings I introduced yesterday.

Removed the ActOnClassTemplate action, which is no longer used.

llvm-svn: 76881

FileCheck'ize and expand LDA testcases.

llvm-svn: 76880

emit simple node was using different labels for fields than the rest of the graph writter

llvm-svn: 76879

Unbreak the CMake build

llvm-svn: 76878

Cache dependence computation using FoldingSet.

This introduces an LDA-internal DependencePair class. The intention is,
that this is a place where dependence testers can store various results
such as SCEVs describing conflicting iterations, breaking conditions,
distance/direction vectors, etc.

llvm-svn: 76877

Add two nodes to the call graph:
 - Root is the main function or 0.
 - ExternalCallingNode has edges to all external functions.

llvm-svn: 76876

Add template specializations to view the call graph in dot format.
 - change the DenseMap used in callgraph to std::map, since DenseMap cannot
   be used with mapped_iterator and friends.

llvm-svn: 76874

constify methods.

llvm-svn: 76873

80 col violation.

llvm-svn: 76872

Add getter methods.

llvm-svn: 76871

Add newline at EOF.

llvm-svn: 76870

enhance DepthFirstIterator to support more robust operations in the face
of code mutating the graph while it is being traversed.  Patch by
Olaf Krzikalla!

llvm-svn: 76869

testcase for PR4590

llvm-svn: 76868

refactor a blob of code out to a new 'FoldOrOfFCmps' function and
simplify it.

llvm-svn: 76866

For real this time: PHI Def & Kill tracking added to PHIElimination.

llvm-svn: 76865

merge vector-casts-0.ll into vector-casts.ll

llvm-svn: 76864

Make some existing optimizations that would only trigger on scalars
also apply to vectors.  This allows us to compile this:

#include <emmintrin.h>
__m128i a(__m128 a, __m128 b) { return a==a & b==b; }
__m128i b(__m128 a, __m128 b) { return a!=a | b!=b; }

to:

_a:
cmpordps %xmm1, %xmm0
ret
_b:
cmpunordps %xmm1, %xmm0
ret

with clang instead of to a ton of horrible code.

llvm-svn: 76863

Shield clang from LLVM API changes, until the dust settles.

llvm-svn: 76862

convert a test to filecheck format.  This fixes an endemic problem
with negative tests: this test wasn't checking what it thought it was
because it was grepping .bc, not .ll.

llvm-svn: 76861

rename test

llvm-svn: 76860

refactor a bunch of code out into a helper function,
no functionality change.

llvm-svn: 76859

Fix test case, which has a control-reaches-end-of-non-void warning that was
being masked by previous bug.

llvm-svn: 76858

Use llvm::BitVector instead of managing memory by hand.
 - As it happens, this also fixes a use-of-uninitialized memory that was causing
   non-deterministic test failures.

llvm-svn: 76857

Set field info for unions.

llvm-svn: 76856

remove a really old and dead header

llvm-svn: 76855

Use arrays as union padding. Also, since the resulting struct will always contain a single element and either a single i8 element or an array of i8s, there's no reason to use a packed struct.

llvm-svn: 76854

merge one more sse41 test into sse41.ll

llvm-svn: 76853

merge another sse41 test into sse41.ll

llvm-svn: 76852

Revert r76831, there are many Analyzer test failures on multiple platforms.

--- Reverse-merging r76831 into '.':
U    include/clang/Analysis/PathSensitive/GRExprEngine.h
U    lib/Analysis/GRExprEngine.cpp

llvm-svn: 76851