Update isl.

llvm-svn: 145933

CodeGen: Style improvements.

llvm-svn: 145932

Suggest typo corrections for implicit function declarations.

A mistyped function call becomes an inmplicit function declaration in C.
Suggest typo correction when one can be found.

llvm-svn: 145930

Add X86ISD::HADD/HSUB to getTargetNodeName

llvm-svn: 145929

Extend warnings for missing '@end'.
Fixes PR2709.

llvm-svn: 145928

Fix a bunch of SSE/AVX patterns to use v2i64/v4i64 loads since all other integer vector loads are promoted to those.

llvm-svn: 145927

Merge floating point and integer UNPCK X86ISD node types.

llvm-svn: 145926

test/MC: Introduce MC/MachO/ARM, and relocate relax-thumb2-branches.s into it.

FIXME: Restore more other arch-dependent MachO tests. (eg. r126401 and r133856)
llvm-svn: 145925

Clean up some of the shuffle decoding code for UNPCK instructions. Add instruction commenting for AVX/AVX2 forms for integer UNPCKs.

llvm-svn: 145924

ARM mode 'mul' operand ordering tweak.

Same as r145922, just for ARM mode.

llvm-svn: 145923

Thumb2: MUL two-operand form encoding operand order fix.

Fix the alias to encode 'mul r5, r6' as if it were 'mul r5, r6, r5' so we
match gas.

rdar://10532439

llvm-svn: 145922

Merge isSHUFPMask and isCommutedSHUFPMask into single function that can do both. Do the same for the 256-bit version. Use loops to reduce size of isVSHUFPYMask. Fix test cases that were incorrectly passing due to isCommutedSHUFPMask not checking for the vector being 128-bit. This caused some 256-bit shuffles to be incorrectly commuted.

llvm-svn: 145921

<rdar://problem/10487848>

Protect a member variable from being modified by multiple threads.

llvm-svn: 145920

Thumb2 encoding choice correction for PLD.

Using encoding T1 for offset of #0 and encoding T2 for #-0.

rdar://10532413

llvm-svn: 145919

Switch a cast to a dyn_cast and check the pointer before using.  Fixes a crash
in the following code:

void test4(bool (&x)(void)) {
  while (x);
}

llvm-svn: 145918

Skip over lldb-93.

llvm-svn: 145917

test/MC: Move relax-thumb2-branches.s from MC/MachO/ to MC/ARM.

MC/MachO assumes x86.

llvm-svn: 145916

Fix test for unrelated changes.

llvm-svn: 145915

As part of the work to make Objective-C type information
from symbols more accessible, I have added a second
map to the ClangASTImporter: the ObjCInterfaceMetaMap.
This map keeps track of all type definitions found for
a particular Objective-C interface, allowing the
ClangASTSource to refer to all possible sources when
looking for method definitions.

There is a bug in lookup that I still need to figure out,
but after that we should be able to report full method
information for Objective-C classes shown in symbols.

Also fixed some errors I ran into when enabling the maps
for the persistent type store.  The persistent type store
previously did not use the ClangASTImporter to import
types, instead using ASTImporters that got allocated each
time a type needed copying.  To support the requirements
of the persistent type store -- namely, that types must be
copied, completed, and then completely severed from their
origin in the parser's AST context (which will go away) --
I added a new function called DeportType which severs all
these connections.

llvm-svn: 145914

Fix a subtle semantic issue with poison values that came up in
recent discussions. Poison can't make every value that depends on
it act in maximally undefined ways, because the optimizer may still
hoist code following the usual rules for undef. Make Poison invoke
its full undefined behavior only when it reaches an instruction with
externally visible side effects.

llvm-svn: 145913

Use branches instead of jumps + variable cleanup. Testcase coming next. Patch by Jack Carter

llvm-svn: 145912

Explicit symbols for gnu mimicing relocations. Patch by Jack Carter

llvm-svn: 145911

Add register HWR29 numbering. Patch by Jack Carter

llvm-svn: 145910

Stack realignment is a tristate. Add -mno-stackrealign to turn off all stack
realignment, even with locals with alignment exceeding the ABI guarantee.

llvm-svn: 145909

Line up the comments in a code example.

llvm-svn: 145908

Rename "Trap Values" to "Poison Values", to better reflect their
purpose, and to avoid ambiguity with other uses of the word "trap"
in LangRef.

llvm-svn: 145907

LSR: prune undesirable formulae early.

It's always good to prune early, but formulae that are unsatisfactory
in their own right need to be removed before running any other pruning
heuristics. We easily avoid generating such formulae, but we need them
as an intermediate basis for forming other good formulae.

llvm-svn: 145906

Minor comment update.

llvm-svn: 145905

Fix an extremely stupid bug causing terrible miscompilations
of &= on pseudo-objects.

llvm-svn: 145904

Mix some minor misuse of MachineBasicBlock iterator.

llvm-svn: 145903

Removed isWinToJoinCrossClass from the register coalescer.

The new register allocator is much more able to split back up ranges too constrained by register classes.

Fixes <rdar://problem/10466609>

llvm-svn: 145899

allow TinyPtrVector to implicitly convert to ArrayRef.

llvm-svn: 145898

Kill off the LoopSplitter. It's not being used or maintained.

llvm-svn: 145897

Add a comment.

llvm-svn: 145896

Tidy up value checking.

llvm-svn: 145895

MipsAsmBackend.cpp, PPCAsmBackend.cpp: Fix -Asserts build to appease msvc.

llvm-svn: 145894

Update PBQP's analysis usage to reflect the requirements of the inline spiller.

llvm-svn: 145893

Set a flag on the AST type dump to see Objective-C
methods.  The Clang dump is now much more verbose,
but when somebody types "target modules lookup -t"
that is typically what they're looking for.

llvm-svn: 145892

[arm-fast-isel] Doublewords only require word-alignment.
rdar://10528060

llvm-svn: 145891

Align ARM constant pool islands via their basic block.

Previously, all ARM::CONSTPOOL_ENTRY instructions had a hardwired
alignment of 4 bytes emitted by ARMAsmPrinter.  Now the same alignment
is set on the basic block.

This is in preparation of supporting ARM constant pool islands with
different alignments.

llvm-svn: 145890

Use logarithmic units for basic block alignment.

This was actually a bit of a mess. TLI.setPrefLoopAlignment was clearly
documented as taking log2(bytes) units, but the x86 target would still
set a preferred loop alignment of '16'.

CodePlacementOpt passed this number on to the basic block, and
AsmPrinter interpreted it as bytes.

Now both MachineFunction and MachineBasicBlock use logarithmic
alignments.

Obviously, MachineConstantPool still measures alignments in bytes, so we
can emulate the thrill of using as.

llvm-svn: 145889

The compact encoding of the registers are 3-bits each. Make sure we shift the
value over that much.

llvm-svn: 145888

Implement inferred submodules support, which (when requested)
implicitly generates submodules corresponding to the headers that fall
within a module.

llvm-svn: 145887

[asan] remove format warnings in sysinfo/sysinfo.cc

llvm-svn: 145886

Fix ARM handling of tBcc branch relaxation.

rdar://10069056

llvm-svn: 145885

Correct typo in method name (AddSymbolFileRepresendation...)

llvm-svn: 145884

Use an existing function.

llvm-svn: 145883

Fix unclear wording.

llvm-svn: 145882

Move target-specific logic out of generic MCAssembler.

Whether a fixup needs relaxation for the associated instruction is a
target-specific function, as the FIXME indicated. Create a hook for that
and use it.

llvm-svn: 145881

Expose a switch for the new gcov format.

llvm-svn: 145880

Probably not a good idea to convert a single vector load into a memcpy.  We
don't do this now, but add a test case to prevent this from happening in the
future.
Additional test for rdar://9892684

llvm-svn: 145879

Tidy up. Hard tabs.

llvm-svn: 145878

Tidy up. Hard tabs.

llvm-svn: 145877

All these arguments are default anyways.

llvm-svn: 145876

Tidy up. 80 columns.

llvm-svn: 145875

Make sure we perform lvalue-to-rvalue conversions for enum initializers.  PR11484.

llvm-svn: 145874

Switch MCAssembler to method names starting w/ lower-case.

per http://llvm.org/docs/CodingStandards.html#ll_naming

llvm-svn: 145873

objc: put out more coherent warning when method definition
attributes don't match its declaration. // rdar://10529259.

llvm-svn: 145872

Simple branch relaxation for Thumb2 Bcc instructions.

Not right yet, as the rules for when to relax in the MCAssembler aren't
(yet) correct for ARM. This is a step in the proper direction, though.

llvm-svn: 145871

Tidy up.

llvm-svn: 145870

Silence tsan false-positives (tsan can't track things which are only safe due to
memory fences) in statistics registration, which works the same way that
ManagedStatic registration does.

llvm-svn: 145869

Add -mstack-alignment=X and fix -mstackrealign handling now that the
backend options are gone.

llvm-svn: 145868

More refactoring of objc rewriter.

llvm-svn: 145867

Update comment.

llvm-svn: 145866

Make the MemCpyOptimizer a bit more aggressive.  I can't think of a scenerio
where this would be bad as the backend shouldn't have a problem inlining small
memcpys.
rdar://10510150

llvm-svn: 145865

Parse inferred submodules in module maps, track their contents in
Module, and (de-)serialize this information. Semantics of inferred
submodules to follow.

llvm-svn: 145864

Tweak ADDrr fix. Bad check for explicit .w

llvm-svn: 145863

Make EmitAggregateCopy take an alignment argument.  Make EmitFinalDestCopy pass in the correct alignment when known.

The test includes a FIXME for a related case involving calls; it's a bit more complicated to fix because the RValue class doesn't keep track of alignment.

<rdar://problem/10463337>

llvm-svn: 145862

Update tests for r145860. Add a few new ones.

llvm-svn: 145861

Thumb2 prefer ADD register encoding T2 to T3 when possible.

rdar://10529664

llvm-svn: 145860

[libclang] When indexing a field in a C++ class, return an entity
of kind CXIdxEntity_CXXInstanceVariable. rdar://10522503.

llvm-svn: 145859

[analyzer] Rely on LLVM Dominators in Clang dominator computation.

(Previously, Clang used it's implementation of dominators.)

The patch is contributed by Guoping Long!

llvm-svn: 145858

[analyzer] Mark ConstraintManager::canReasonAbout as protected.

llvm-svn: 145857

[analyzer] Simplify the condition.

This is a fixup for r145832.

The extra clauses do not matter after we remove the dependency on canReasonAbout(InitVal) in r145832.

llvm-svn: 145856

[analyzer] Simplify the expected-warning statement.

llvm-svn: 145855

Move 'returns_twice' definition into alphabetical place.

llvm-svn: 145854

Add definitions of 64-bit extract and insert instrucions and make
PerformANDCombine and PerformOrCombine aware of them. Test cases are included
too.

llvm-svn: 145853

Split ExtIns into two base classes and have instructions EXT and INS derive from
them.

llvm-svn: 145852

Thumb2 prefer encoding T3 to T4 for ADD/SUB immediate instructions.

rdar://10529348

llvm-svn: 145851

Have LowerJumpTable support Mips64. Modify 2010-07-20-Switch.ll to test N64 and
O32 with relocation-model=pic too.

llvm-svn: 145850

Add a warning for implicit conversion from function literals (and static
methods) to bool. E.g.

void foo() {}
if (f) { ... // <- Warns here.
}

Only applies to non-weak functions, and does not apply if the function address
is taken explicitly with the addr-of operator.

llvm-svn: 145849

[asan]: test a pure C file with -faddress-sanitizer; lint fixes

llvm-svn: 145848

ARM assembly parsing for the rest of the VMUL data type aliases.

Finish up rdar://10522016.

llvm-svn: 145846

Make isWeakDecl available as a method on ValueDecl.

llvm-svn: 145845

Fix previous commit. Oops.

llvm-svn: 145844

Tidy up. No functional change.

llvm-svn: 145843

ARM assmebler parsing for two-operand VMUL instructions.

Combined destination and first source operand for f32 variant of the VMUL
(by scalar) instruction.

rdar://10522016

llvm-svn: 145842

More objc rewriter refactoring.

llvm-svn: 145841

Sanity check the inputs to SBCommandInterpreter::HandleCompletion

llvm-svn: 145840

[asan] add the test for bug 11468

llvm-svn: 145839

[asan] always collect malloc statstics (removed FLAG_stats)

llvm-svn: 145838

Change the Dominators recalculate() function to only rely on GraphTraits

This is a patch by Guoping Long!

As part of utilizing LLVM Dominator computation in Clang, made two changes to LLVM dominators tree implementation:

 - (1) Change the recalculate() template function to only rely on GraphTraits.
 - (2) Add a size() method to GraphTraits template class to query the number of nodes in the graph.

llvm-svn: 145837

[analyzer] Add a missing taint tester warning.

llvm-svn: 145834

[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
class.

We are going into the direction of handling SymbolData and other SymExpr
uniformly, so it makes less sense to keep two different SVal classes.
For example, the checkers would have to take an extra step to reason
about each type separately.

The classes have the same members, we were just using the SVal kind
field for easy differentiation in 3 switch statements. The switch
statements look more ugly now, but we can make the code more readable in
other ways, for example, moving some code into separate functions.

llvm-svn: 145833

[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
ExprEngine.

Teach SimpleConstraintManager::assumeSymRel() to propagate constraints
to symbolic expressions.

+ One extra warning (real bug) is now generated due to enhanced
assumeSymRel().

llvm-svn: 145832

[analyzer] First step toward removing
ConstraintManager::canReasonAbout() from the ExprEngine.

ExprEngine should not care if the constraint solver can reason about
something or not. The solver should be able to handle all the SymExprs.

To do this, the solver should be able to keep track of not only the
SymbolData but of all SymExprs. This is why we change SymbolRef to be an
alias of SymExpr*. When encountering an expression it cannot simplify,
the solver should just add the constraints to it.

llvm-svn: 145831

[analyzer] Minor improvements on RangeConstraint pretty-printing.

llvm-svn: 145830

[analyzer] Change RetainCountChecker to use symbol dump method instead
of relying on SymbolID.

This way any expression can be printed (not only SymbolData).

llvm-svn: 145829

[analyzer] Add ability to do a simple ProgramState dump() without
requiring CFG.

Adding more ugly code; the evnvironment printing should be moved to
envirnment at some point.

llvm-svn: 145828

[analyzer] Add a debug checker to test for tainted data.

llvm-svn: 145827