Do not eliminate allocas whose alignment exceeds that of the
copied-in constant, as a subsequent user may rely on over alignment.
Fixes PR12885.

llvm-svn: 157134

Add a FIXME about access to negative stack-pointer offsets on PPC32.

The current code will generate a prologue which starts with something like:
        mflr 0
        stw 31, -4(1)
        stw 0, 4(1)
        stwu 1, -16(1)

But under the PPC32 SVR4 ABI, access to negative offsets from R1 is not allowed.

This was pointed out by Peter Bergner.

llvm-svn: 157133

Remove the late DCE in RegisterCoalescer.

Dead code and joined copies are now eliminated on the fly, and there is
no need for a post pass.

This makes the coalescer work like other modern register allocator
passes: Code is changed on the fly, there is no pending list of changes
to be committed.

llvm-svn: 157132

Erase joined copies immediately.

The late dead code elimination is no longer necessary.

The test changes are cause by a register hint that can be either %rdi or
%rax. The choice depends on the use list order, which this patch changes.

llvm-svn: 157131

Fix an ancient bug in removeCopyByCommutingDef().

Before rewriting uses of one value in A to register B, check that there
are no tied uses. That would require multiple A values to be rewritten.

This bug can't bite in the current version of the code for a fairly
subtle reason: A tied use would have caused 2-addr to insert a copy
before the use. If the copy has been coalesced, it will be found by the
same loop changed by this patch, and the optimization is aborted.

This was exposed by 400.perlbench and lua after applying a patch that
deletes joined copies aggressively.

llvm-svn: 157130

On Haswell, perfer storing YMM registers using a single instruction.

llvm-svn: 157129

Revert fix to llvm.org/bugs/show_bug.cgi?id=12867 for the reason now included in the code comment.

llvm-svn: 157128

Add support for additional in-reg vbroadcast patterns

llvm-svn: 157127

Disambiguate call to operator==.

clang++ and msvc happily had no problem with it but g++ refuses to compile.

llvm-svn: 157126

Collect inflatable virtual registers on the fly.

There is no reason to defer the collection of virtual registers whose
register class may be replaced with a larger class.

llvm-svn: 157125

ValueMap: Use DenseMap's find_as mechanism to reduce use list churn.

Otherwise just looking up a value in the map requires creating a VH, adding it to the use lists and destroying it again.

llvm-svn: 157124

Move CallbackVHs dtor inline, it can be devirtualized in many cases. Move the other virtual methods out of line as they are only called from within Value.cpp anyway.

llvm-svn: 157123

Tidy up some spacing and inconsistent use of pre/post increment. No functional change intended.

llvm-svn: 157122

objective-c: Warn if default synthesizing readonly IBOutlet properties
and provide a 'fixit' to change 'readonly' to 'readwrite'. 'fixit'
part needs little more work. // rdar://11448209

llvm-svn: 157121

Missing line break.

llvm-svn: 157120

Use RecordDecl::field_iterator because D1, D2 are RecordDecls.  No functional change.

llvm-svn: 157119

Remove extra semicolons.

llvm-svn: 157118

Apparently empty names are allowed here.

llvm-svn: 157117

Simplify some users of DeclarationName::getNameKind. Fold getFETokenInfoAsVoid into its only caller.

llvm-svn: 157116

Inline a trivial clear() method.

llvm-svn: 157114

Provide move semantics for TinyPtrVector and for DenseMap's rehash function.

This makes DenseMap<..., TinyPtrVector<...>> as cheap as it always should've been!

llvm-svn: 157113

Ordinary PR1255 patch: DifferenceEngine and CPPBackend adopted to the new SwitchInst methods.

llvm-svn: 157112

Simplify code, add an assertion.

llvm-svn: 157111

Fixes the case where we created a dummy target, deleted it, and then tried to evaluate an expression with no target.

llvm-svn: 157110

Copy some AVX support from MCJIT to JIT. Maybe will fix PR12748.

llvm-svn: 157109

Revert my _LIBCPP_INLINE_VISIBILITY changes, r157097 and r157107

llvm-svn: 157108

valarray resize should not be _LIBCPP_INLINE_VISIBILITY

llvm-svn: 157107

Eliminate dead code after remat.

This will remove the original def once it has no more uses.

llvm-svn: 157104

Don't remat during updateRegDefsUses().

Remaining virtreg->physreg copies were rematerialized during
updateRegDefsUses(), but we already do the same thing in joinCopy() when
visiting the physreg copy instruction.

Eliminate the preserveSrcInt argument to reMaterializeTrivialDef(). It
is now always true.

llvm-svn: 157103

Immediately erase trivially useless copies.

There is no need for these instructions to stick around since they are
known to be not dead.

llvm-svn: 157102

Run proper recursive dead code elimination during coalescing.

Dead copies cause problems because they are trivial to coalesce, but
removing them gived the live range a dangling end point. This patch
enables full dead code elimination which trims live ranges to their uses
so end points don't dangle.

DCE may erase multiple instructions. Put the pointers in an ErasedInstrs
set so we never risk visiting erased instructions in the work list.

There isn't supposed to be any dead copies entering RegisterCoalescer,
but they do slip by as evidenced by test/CodeGen/X86/coalescer-dce.ll.

llvm-svn: 157101

Allow LiveRangeEdit to be created with a NULL parent.

The dead code elimination with callbacks is still useful.

llvm-svn: 157100

Move _LIBCPP_VISIBLE_INLINE from the out-of-line definitions of member
functions to the original declarations, so that Clang will actually
see them. Part of <rdar://problem/11489333>.

llvm-svn: 157097

Updated LLVM to take a disassembler fix that causes
the LOCK prefix to be printed explicitly when it's
the first prefix on the instruction.

llvm-svn: 157096

Update API usage for llvm DIBuilder changes for rvalue reference
types and ensure we are actually creating the type.

rdar://11479676

llvm-svn: 157095

Actually support DW_TAG_rvalue_reference_type that we were trying
to generate out of the front end.

rdar://11479676

llvm-svn: 157094

Add support for the 'd' mips inline asm output modifier.

Patch by Jack Carter.

llvm-svn: 157093

SCEV: Add MarkPendingLoopPredicates to avoid recursive isImpliedCond.

getUDivExpr attempts to simplify by checking for overflow.
isLoopEntryGuardedByCond then evaluates the loop predicate which
may lead to the same getUDivExpr causing endless recursion.

Fixes PR12868: clang 3.2 segmentation fault.

llvm-svn: 157092

bump to lldb-150.

llvm-svn: 157090

[analyzer] c++11: do not crash on namespace alias

llvm-svn: 157089

[analyzer] For locations, use isGLValue() instead of isLValue().

llvm-svn: 157088

Forgot to bump the local string buffer up in size after debugging to make sure long strings would be correctly read when the buffer is too small for the string.

llvm-svn: 157087

Suggest adding 'typename' when it would make the compiler
accept the template argument expression as a type.

llvm-svn: 157085

Add test cases where we start three worker threads, with a write watchpoint set.  As soon as a watchpoint is hit in either of the worker thread,
we delete the watchpoint.  The test succeeds when no more watchpoint hit event fires after the deletion of the watchpoint.

related to rdar://problem/11320188

llvm-svn: 157084

Found a quick way to improve the speed with which we can read object files from memory when they are in the shared cache: always read the symbol table strings from memory and let the process' memory cache do the work.

llvm-svn: 157083

[analyzer] Fix a c++11 crash: xvalues can be locations (VisitMemberExpr)

llvm-svn: 157082

[analyzer] Malloc checker: remove unnecessary comparisons.

llvm-svn: 157081

Fix replacing all the users of objc weak runtime routines
when deleting them. rdar://11434915.

llvm-svn: 157080

Modernize naming convention for class members.

No functional change.

llvm-svn: 157079

Warn when we detect a valid dSYM file that is empty. This can happen when a dSYM file is created from a binary with no debug info, that has been stripped, or when the .o files are not available when the dSYM is created.

llvm-svn: 157078

Cleanup a custom thread-format so we don't fail TestLoadUnload when running the
test suite for two architectures (the full path to d.c would appear).

llvm-svn: 157077

objc: use "class extension" instead of "continuation class"
to match documentation. // rdar://11309706

llvm-svn: 157074

Move all work list processing to copyCoalesceWorkList().

This will make it possible to filter out erased instructions later.

llvm-svn: 157073

allow LazyValueInfo::getEdgeValue() to reason about multiple edges from the same switch instruction by doing union of ranges (which may still be conservative, but it's more aggressive than before)

llvm-svn: 157071

Optimizations to the Python ObjC formatters - Benchmarking infrastructure

llvm-svn: 157066

Lexer::ReadToEndOfLine: Only build the string if it's actually used and do so in a less malloc-intensive way.

llvm-svn: 157064

Refactor data-in-code annotations.

Use a dedicated MachO load command to annotate data-in-code regions.
This is the same format the linker produces for final executable images,
allowing consistency of representation and use of introspection tools
for both object and executable files.

Data-in-code regions are annotated via ".data_region"/".end_data_region"
directive pairs, with an optional region type.

data_region_directive := ".data_region" { region_type }
region_type := "jt8" | "jt16" | "jt32" | "jta32"
end_data_region_directive := ".end_data_region"

The previous handling of ARM-style "$d.*" labels was broken and has
been removed. Specifically, it didn't handle ARM vs. Thumb mode when
marking the end of the section.

rdar://11459456

llvm-svn: 157062

fix warnings when compiling with -Wshadow

llvm-svn: 157061

Remove duplicate code that we could just fallthrough to.

llvm-svn: 157060

Simplify RegisterCoalescer::copyCoalesceInMBB().

It is no longer necessary to separate VirtCopies, PhysCopies, and
ImpDefCopies. Implicitly defined copies are extremely rare after we
added the ProcessImplicitDefs pass, and physical register copies are not
joined any longer.

llvm-svn: 157059

add test case for bugfix in r157032

llvm-svn: 157058

Add support for the mips 'x' inline asm modifier.

Patch by Jack Carter.

llvm-svn: 157057

Remove support for PhysReg joining.

This has been disabled for a while, and it is not a feature we want to
support. Copies between physical and virtual registers are eliminated by
good hinting support in the register allocator. Joining virtual and
physical registers is really a form of register allocation, and the
coalescer is not properly equipped to do that. In particular, it cannot
backtrack coalescing decisions, and sometimes that would cause it to
create programs that were impossible to register allocate, by exhausting
a small register class.

It was also very difficult to keep track of the live ranges of aliasing
registers when extending the live range of a physreg. By disabling
physreg joining, we can let fixed physreg live ranges remain constant
throughout the register allocator super-pass.

One type of physreg joining remains: A virtual register that has a
single value which is a copy of a reserved register can be merged into
the reserved physreg. This always lowers register pressure, and since we
don't compute live ranges for reserved registers, there are no problems
with aliases.

llvm-svn: 157055

Typo.

llvm-svn: 157054

FileCheck-ify, apropos of nothing

llvm-svn: 157051

Fixed the test for the new process launch abbreviation.

llvm-svn: 157050

Protect __shared_weak_count::__get_deleter declaration with _LIBCPP_NO_RTTI.  Fixes llvm.org/bugs/show_bug.cgi?id=12867

llvm-svn: 157049

tsan: check for overflow in malloc()

llvm-svn: 157048

tsan: fix potential NULL deref

llvm-svn: 157047

Recommited reworked r156804:
SelectionDAGBuilder::Clusterify : main functinality was replaced with CRSBuilder::optimize, so big part of Clusterify's code was reduced.

llvm-svn: 157046

Simplify code a bit. No functional change intended.

llvm-svn: 157044

Simplify handling of v16i8 shuffles and fix a missed optimization.

llvm-svn: 157043

<rdar://problem/11386214>
<rdar://problem/11455913>

"target symbol add" should flush the cached frames
"register write" should flush the thread state in case registers modifications change stack

llvm-svn: 157042

bump to lldb 149.

llvm-svn: 157040

Centralize the handling of the "attribute declaration must precede definition"
warning. This also makes us warn on tags, which, ironically, is the only case
gcc warns on.

llvm-svn: 157039

Teach two-address pass to update the "source" map so it doesn't perform a
non-profitable commute using outdated info. The test case would still fail
because of poor pre-RA schedule. That will be fixed by MI scheduler.

rdar://11472010

llvm-svn: 157038

[analyzer]Malloc: refactor and report use after free by memory
allocating functions.

llvm-svn: 157037

rdar://problem/11140741

For "process attach", make the success criterion as the inferior changes its state to eStateStopped.
Otherwise, mark it as a failure and say so.

llvm-svn: 157036

Temporarily disabled the MCJIT tests for Darwin, because the RuntimeDyldMachO has a problems with relocations for 32bit x86.

llvm-svn: 157035

Another test for r157025  <rdar://problem/11460990>.

llvm-svn: 157034

Clarify comment.

llvm-svn: 157033

fix corner case in ConstantRange::intersectWith().
this fixes the missed optimization I was seeing in the CorrelatedValuePropagation pass

llvm-svn: 157032

Fixed a bug in llvm-objdump when disassembling using -macho option for a binary
containing no symbols.  Fixed the crash and fixed it not disassembling anything.

llvm-svn: 157031

Remove a test that was only testing for physreg joining.

This is the same as the other tests: Clever tricks are required to make
the arguments and return value line up in a single-instruction function.
It rarely happens in real life.

We have plenty other examples of this behavior.

llvm-svn: 157030

Make the debug output that comes as printf's from code called in the target for getting ObjC class names and ObjC method implementations only come out when doing verbose logging.

llvm-svn: 157029

<rdar://problem/11405850>

The "run" and "r" aliases were for gdb compatability, so make then do what GDB does by default: launch in a shell.

For those that don't want launching with a shell by default, add the following to your ~/.lldbinit file:

command unalias run
command unalias r
command alias r process launch --
command alias run process launch --

llvm-svn: 157028

Remove -join-physregs from the test suite.

This option has been disabled for a while, and it is going away so I can
clean up the coalescer code.

The tests that required physreg joining to be enabled were almost all of
the form "tiny function with interference between arguments and return
value". Such functions are usually inlined in the real world.

The problem exposed by phys_subreg_coalesce-3.ll is real, but fairly
rare.

llvm-svn: 157027

I have updated Clang to include support for Objective-C
boxed expressions returning numbers and strings.

I also added boxed expressions to our testcases, and
enabled boxed expressions when libarclite is linked into
the inferior.

llvm-svn: 157026

A selector match between two Objective-C methods does *not* guarantee
that the methods have the same number of parameters, although we
certainly assumed this in many places. Objective-C can be insane
sometimes. Fixes <rdar://problem/11460990>.

llvm-svn: 157025

minor simplification in the call to ConstantRange constructor

llvm-svn: 157024

Remove trailing periods which snuck into a few diagnostic strings.

llvm-svn: 157022

In the override search for Objective-C methods, protect against ASTs that have NULL interfaces behind a category, which can happen in invalid code. Fixes <rdar://problem/11478173>, a recent regression

llvm-svn: 157021

comments

llvm-svn: 157020

Fix the encoding of the armv7m (MClass) for MSR APSR writes which was missing
the 0b10 mask encoding bits.  Make MSR APSR writes without a _<bits> qualifier
an alias for MSR APSR_nzcvq even though ARM as deprecated it use.  Also add
support for suffixes (_nzcvq, _g, _nzcvqg) for APSR versions.  Some FIXMEs in
the code for better error checking when versions shouldn't be used.
rdar://11457025

llvm-svn: 157019

Drop the question mark when complaining about a non-existing -Wno- flag.

We're certain that it doesn't exist.

llvm-svn: 157017

- Added ExecutionEngine/MCJIT tests
- Added HOST_ARCH to Makefile.config.in
The HOST_ARCH will be used by MCJIT tests filter, because MCJIT supported only x86 and ARM architectures now.

llvm-svn: 157015

Add -mno-implicit-float to the M group.

llvm-svn: 157014

<rdar://11477301>

Restore Xcode as a valid white list client using the XPC root launcher

llvm-svn: 157012

Remove extraneous ';'.

llvm-svn: 157011

Reduce the timeout value for the "get class name" and "po" functions to .1 second.  1 second (what they were before) is way too long.

llvm-svn: 157009