llvm-svn: 35140

llvm-svn: 35139

Add some more micro-optimizations: x * 0 = 0, a - x = a --> x = 0.

llvm-svn: 35138

llvm-svn: 35137

llvm-svn: 35135

to be really bad. Once they are joined they are not broken apart. Also, physical
intervals cannot be spilled!

Added a heuristic as a workaround for this. Be careful coalescing with a
physical register if the virtual register uses are "far". Check if there are
uses in the same loop as the source (copy instruction). Check if it is in the
loop preheader, etc.

llvm-svn: 35134

llvm-svn: 35133

in that BB.

llvm-svn: 35132

llvm-svn: 35131

llvm-svn: 35130

llvm-svn: 35129

Fix MultiSource/Applications/aha test.

llvm-svn: 35128

llvm-svn: 35127

llvm-svn: 35126

llvm-svn: 35125

computation used as GEP indexes and if the expression can be folded into
target addressing mode of GEP load / store use types.

llvm-svn: 35123

llvm-svn: 35122

folded into target addressing mode for the given type.

llvm-svn: 35121

llvm-svn: 35120

Add new micro-optimizations.

Add icmp predicate snuggling. Given %x ULT 4, "icmp ugt %x, 2" becomes
"icmp eq %x, 3". This doesn't apply in any non-trivial cases yet due to missing
support for NE values in ValueRanges.

llvm-svn: 35119

llvm-svn: 35118

llvm-svn: 35117

llvm-svn: 35116

llvm-svn: 35115

llvm-svn: 35114

llvm-svn: 35113

last entry stored in the map could be retrieved for a given integer type.
Propagating the sign information required an invasive change to ensure that
all ValueRef (ValID) instances get the right sign information as well. Also,
put in some assertions to ensure the RenameMap always gives us out the type
that is expected.

This fixes PR1256 and
test/Assembler/2007-03-14-UgpradeLocalSignless.ll

llvm-svn: 35112

Carry sign with ValID and make TypeInfo sortable (useful in a map).

llvm-svn: 35111

llvm-svn: 35110

it as a late BURR scheduling tie-breaker.
Intuitively, it's good to push down instructions whose results are liveout so
their long live ranges won't conflict with other values which are needed inside
the BB. Further prioritize liveout instructions by the number of operands which
are calculated within the BB.

llvm-svn: 35109

llvm-svn: 35108

llvm-svn: 35107

type, not the source type.

llvm-svn: 35106

llvm-svn: 35105

llvm-svn: 35104

llvm-svn: 35103

llvm-svn: 35102

llvm-svn: 35101

llvm-svn: 35100

llvm-svn: 35099