llvm-svn: 86160

makes several optimization passes abort in cases where they're currently
silently miscompiling code.

Remove the indirectbr assertion from SplitEdge. Indirectbr is only
a problem for critical edges, and SplitEdge defers to SplitCriticalEdge
to handle those, and SplitCriticalEdge has its own assertion for
indirectbr.

llvm-svn: 86147

llvm-svn: 86141

llvm-svn: 86133

MallocInst-autoupgrade users use non-TargetData-computed allocation sizes.
Optimization uses use TargetData to compute the allocation size.

Now that malloc calls can have constant sizes, update isArrayMallocHelper() to use TargetData to determine the size of the malloced type and the size of malloced arrays.
Extend getMallocType() to support malloc calls that have non-bitcast uses.

Update OptimizeGlobalAddressOfMalloc() to optimize malloc calls that have non-bitcast uses.  The bitcast use of a malloc call has to be treated specially here because the uses of the bitcast need to be replaced and the bitcast needs to be erased (just like the malloc call) for OptimizeGlobalAddressOfMalloc() to work correctly.

Update PerformHeapAllocSRoA() to optimize malloc calls that have non-bitcast uses.  The bitcast use of the malloc is not handled specially here because ReplaceUsesOfMallocWithGlobal replaces through the bitcast use.

Update OptimizeOnceStoredGlobal() to not care about the malloc calls' bitcast use.

Update all globalopt malloc tests to not rely on autoupgraded-MallocInsts, but instead use explicit malloc calls with correct allocation sizes.

llvm-svn: 86077

Hans Wennborg!

llvm-svn: 86067

resizes in IPSCCP.  This fixes PR5394.

llvm-svn: 86036

to EmitGEPOffset.  

Implement some new transforms for optimizing 
subtracts of two pointer to ints into the same vector.  This happens
for C++ iterator idioms for example, stringmap takes a const char*
that points to the start and end of a string.  Once inlined, we want
the pointer difference to turn back into a length.

This is rdar://7362831.

llvm-svn: 86021

more aggressive an correct.  This survives building llvm in 64-bit
mode with optimizations and the built llvm passes make check.

llvm-svn: 85973

llvm-svn: 85937

functions that don't have local linkage.  Basically, we need to be more
careful about propagating argument information to functions whose results
we aren't tracking.  This fixes a miscompilation of 
LLVMCConfigurationEmitter.cpp when built with an llvm-gcc that has ipsccp
enabled.

llvm-svn: 85923

to follow.

llvm-svn: 85903

llvm-svn: 85896

llvm-svn: 85863

llvm-svn: 85859

llvm-svn: 85858

std::map to DenseMap, exposed on release llvm-gcc bootstrap.

llvm-svn: 85840

llvm-svn: 85818

disable it until I can fix it.

llvm-svn: 85810

function to calls of that function, regardless of whether it has local
linkage or has its address taken.  Not escaping should only affect 
whether we make an aggressive assumption about the arguments to a 
function, not whether we can track the result of it.

llvm-svn: 85795

llvm-svn: 85793

a shared place instead of duplicating it 4 times.

llvm-svn: 85792

"multiple return values" but not "first class aggregates"

llvm-svn: 85791

llvm-svn: 85790

instead of reinventing SCCP-specific logic.  This gives us
new powers.

llvm-svn: 85789

a DenseMap.  Doing this required being aware of subtle iterator
invalidation issues, but it provides a big speedup.  In a 
release-asserts build, this sped up optimizing 403.gcc from
1.34s -> 0.79s (IPSCCP) and 1.11s -> 0.44s (SCCP).

This commit also conflates in a bunch of general cleanups, sorry.

llvm-svn: 85788

llvm-svn: 85786

an assertion on the buildbot.

llvm-svn: 85784

simplify some code.

llvm-svn: 85783

llvm-svn: 85780

llvm-svn: 85778

llvm-svn: 85777

function, eliminate temporary (and pointless) smallvector.

llvm-svn: 85776

llvm-svn: 85775

llvm-svn: 85774

llvm-svn: 85773

of the two loads agree.  Propagate that onto the new store.

llvm-svn: 85772

not the max.  This didn't matter until the previous patch because
instcombine would refuse to sink loads with differenting alignments.

llvm-svn: 85738

llvm-svn: 85737

phis, it didn't preserve the alignment of the load.  This is a missed
optimization of the alignment is high and a miscompilation when the
alignment is low.

llvm-svn: 85736