llvm-svn: 138759

addrmode_imm12 and addrmode2_offset encode their immediate values differently.  Update the manual instruction selection code that was encoding them the addrmode2 way even though LDR_PRE_IMM/LDRB_PRE_IMM had switched to addrmode_imm12.  Should fix a number of nightly test failures.

llvm-svn: 138758

Patch by Jean-Daniel Dupas. Thanks for spotting and fixing!

llvm-svn: 138757

Optimize chained bitcasts of the form A->B->A.
Undo r138722 and change isEliminableCastPair to allow this case.

llvm-svn: 138756

llvm-svn: 138754

llvm-svn: 138753

llvm-svn: 138752

llvm-svn: 138751

llvm-svn: 138750

llvm-svn: 138749

llvm-svn: 138748

llvm-svn: 138747

Update the load-store optimizer for changes to the operands on LDR_PRE_IMM and LDRB_PRE_IMM in r138653.

llvm-svn: 138746

The APFloat "Zero" test was actually calling the
APFloat(const fltSemantics &, integerPart) constructor, and EXPECT_EQ was
treating 0 and -0 as equal.

llvm-svn: 138745

llvm-svn: 138744

No change in functionality.

llvm-svn: 138742

features, so clients can check for the availability of these features
even before we get around to implementing them.

llvm-svn: 138741

Add support for parsing #-0 on non-memory-operand immediate values, and add a testcase that necessitates it.

llvm-svn: 138739

This patch is by DeLesley Hutchins.

llvm-svn: 138738

Patch by Xiaoyi Guo!

llvm-svn: 138737

llvm-svn: 138736

qualification of a type doesn't affect whether a conversion is a narrowing
conversion.
This doesn't work in template cases because SubstTemplateTypeParmType gets in
the way.

llvm-svn: 138735

Submitted by: Villmow, Micah <Micah.Villmow@amd.com>

llvm-svn: 138734

llvm-svn: 138731

This matches gcc's logic. Second half of PR10661.

llvm-svn: 138730

llvm-svn: 138729

[analyzer] Introduce a new callback for checkers, printState, to be used for debug-printing the contents of a ProgramState.

Unlike the other callbacks, this one is a simple virtual method, since it is only to be used for debugging.

This new callback replaces the old ProgramState::Printer interface, and allows us to move the printing of refcount bindings from CFRefCount to RetainReleaseChecker.

llvm-svn: 138728

llvm-svn: 138726

llvm-svn: 138725

when outputting them.  With this, the entire LLVM testsuite
passes when built with dragonegg.

llvm-svn: 138724

llvm-svn: 138723

llvm-svn: 138722

llvm-svn: 138721

[analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we were ignoring it anyway. No functionality change.

llvm-svn: 138720

llvm-svn: 138719

This is a common path for function and C++ method calls, Objective-C messages and property accesses, and C++ construct-exprs.

As support, add message receiver accessors to ObjCMessage and CallOrObjCMessage.

llvm-svn: 138718

non-deterministic crash in the test suite. Fixes PR10055!

llvm-svn: 138717

[analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation.

Also, allow CallOrObjCMessage to wrap a CXXConstructExpr as well.

Finally, this allows us to remove the clunky whitelisting system from CFRefCount/RetainReleaseChecker. Slight regression due to CXXNewExprs not yet being handled in post-statement callbacks (PR forthcoming).

llvm-svn: 138716

to varargs functions in unevaluated contexts.  AFAICT, there is no
standards justification for this, but it matches what other compilers do
and therefore preserves compatibility with certain template metaprogramming
idioms.

Should fix self-host.

llvm-svn: 138715

to class implementation where it is supposed to be
implemented. // rdar://10009982.

llvm-svn: 138714