Test that invalid numbered value references get an error message.

llvm-svn: 35175

llvm-svn: 35174

Eliminate support for type planes in numbered values. This simplifies the
data structures involved in managing forward definitions, etc. Instead of
requiring maps from type to value, we can now just use a vector of values.
These changes also required rewrites of some support functions such as
InsertValue, getBBVal, and ResolveDefinitions. Some other cosmetic changes
were made as well.

llvm-svn: 35173

named or numbered ValIDs.

llvm-svn: 35172

Radically simplify the SlotMachine. There is no need to keep Value planes
around any more. This change causes slot numbering to number all un-named,
non-void values starting at 0 and incrementing monotonically through the
function, regardless of type (including BasicBlocks). Getting slot numbers
is now a single lookup operation instead of a double lookup.

llvm-svn: 35171

Revise numeric value references to accommodate collapsed type planes.

llvm-svn: 35170

llvm-svn: 35169

llvm-svn: 35168

llvm-svn: 35167

llvm-svn: 35166

llvm-svn: 35165

llvm-svn: 35164

llvm-svn: 35163

rematerializable. Only used for constant generation for now.

llvm-svn: 35162

llvm-svn: 35161

llvm-svn: 35160

llvm-svn: 35159

It means the instruction can be easily re-materialized at any point. e.g.
constant generation, load from constantpool.

llvm-svn: 35158

llvm-svn: 35156

llvm-svn: 35153

llvm-svn: 35152

llvm-svn: 35151

implements Transforms/ScalarRepl/memset-aggregate-byte-leader.ll

llvm-svn: 35150

llvm-svn: 35149

llvm-svn: 35148

llvm-svn: 35147

llvm-svn: 35146

Rearrange some code to simplify it now that shifts are binops

llvm-svn: 35145

llvm-svn: 35144

llvm-svn: 35143

entry:
        icmp ugt i32 %x, 4              ; <i1>:0 [#uses=1]
        br i1 %0, label %cond_true, label %cond_false

cond_true:              ; preds = %entry
        %tmp1 = tail call i32 (...)* @bar( i32 12 )             ; <i32> [#uses=0]
        ret void

cond_false:             ; preds = %entry
        switch i32 %x, label %cond_true15 [
                 i32 4, label %cond_true3
                 i32 3, label %cond_true7
                 i32 2, label %cond_true11
                 i32 0, label %cond_false17
        ]

...

llvm-svn: 35142

- Use distance to closest use to determine whether to abort coalescing.

llvm-svn: 35141

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