llvm-svn: 144169

llvm-svn: 144168

the other helper functions, since we already differentiated the cases it was
testing between. No functionality change.

llvm-svn: 144167

Enhance verifyLoop so that it can reliably verify that every block in a loop is reachable from the loop header.

llvm-svn: 144166

version of Ubuntu. It has a very broken multiarch configuration, and so
we need special logic to handle it correctly. Fixing and testing this
uncovered a few other trivial issues with the logic that are fixed as
well.

I added tests to cover this as it is hard to notice if you install
recent versions of the OS.

llvm-svn: 144165

Should've read the patch a bit closer, sorry.

llvm-svn: 144164

remove a fair number of unnecessary materialized constants.
rdar://10412592

llvm-svn: 144163

block-typed __block variables using objc_retainBlock
and objc_dispose.  Previously we were using
_Block_object_assign and _Block_object_destroy
with BLOCK_BYREF_CALLER, which causes the runtime
to completely ignore the retain and release.
In most cases this doesn't cause catastrophe
because the retain/release are balanced and
because the block in the variable was copied
upon assignment there.  However, the stack
copy of the variable will be released when
it goes out of scope, which is a problem if
that value was released due to an assignment
to the heap copy.  Similarly, a leak can occur
if the variable is assigned after the copy to
the heap.

llvm-svn: 144162

llvm-svn: 144161

-Wextended-offsetof, from Jeff Walden!

llvm-svn: 144160

expression. Fixes PR11339.

llvm-svn: 144159

llvm-svn: 144158

(bycopy, inout, etc.). Fixes <rdar://problem/10402900>.

llvm-svn: 144157

llvm-svn: 144156

llvm-svn: 144155

llvm-svn: 144154

In certain cases ASTReader would call the normal DiagnosticsEngine API to initialize
the state of diagnostic pragmas but DiagnosticsEngine would try to compare source locations
leading to crash because the main FileID was not yet initialized.

Yet another case of the ASTReader trying to use the normal APIs and inadvertently breaking
invariants. Fix this by having the ASTReader set up the internal state directly.

llvm-svn: 144153

llvm-svn: 144152

During the initial RPO traversal of the basic blocks, remember the ones
that are incomplete because of back-edges from predecessors that haven't
been visited yet.

After the initial RPO, revisit all those loop headers so the incoming
DomainValues on the back-edges can be properly collapsed.

This will properly fix execution domains on software pipelined code,
like the included test case.

llvm-svn: 144151

llvm-svn: 144150

When merging two uncollapsed DomainValues, place a link to the active
DomainValue from the passive DomainValue.  This allows old stale
references to the passive DomainValue to be updated to point to the
active DomainValue.

The new resolve() function finds the active DomainValue and updates the
pointer.

This change makes old live-out lists more useful since they may contain
uncollapsed DomainValues that have since been merged into other
DomainValues.

llvm-svn: 144149

llvm-svn: 144148

This allows clear() to be called on a DomainValue with references.

llvm-svn: 144147

llvm-svn: 144146

llvm-svn: 144145

opaque values.  Silly C type system.

llvm-svn: 144144

// rdar://10415026

llvm-svn: 144143

llvm-svn: 144142

Change the flow of the SATestAdd so that it could be used for regenerating
the reference output without exiting with an error.

llvm-svn: 144141

Patch by Jack Carter.

llvm-svn: 144139

*headdesk*

llvm-svn: 144138

llvm-svn: 144136

There is no need to involve the LiveRegs array and kill() any longer.

llvm-svn: 144133

No functional change.

llvm-svn: 144132

This new function will decrement the reference count, and collapse a
domain value when the last reference is gone.

This simplifies DomainValue reference counting, and decouples it from
the LiveRegs array.

llvm-svn: 144131

and is different than the normal name.

llvm-svn: 144130

basic blocks containing calls. This works around a problem in which
these artificial dependencies can get tied up in calling seqeunce
scheduling in a way that makes the graph unschedulable with the current
approach of using artificial physical register dependencies for calling
sequences. This fixes PR11314.

llvm-svn: 144124

llvm-svn: 144123

No functional change intended.

llvm-svn: 144122

llvm-svn: 144121