llvm-svn: 2311

(This can be improved to avoid making the initial pass over the method.)
Also, ensure automatic vars and reg. spills areas are not extended
if their sizes are used for computing some other offset.

llvm-svn: 2310

* Verify that load, store, and GEP instructions indices are correct, because
  they _continually_ bite me on this pool allocations stuff

llvm-svn: 2309

Assert now returns from the current function on error.

llvm-svn: 2308

llvm-svn: 2307

* Implement checking that a binary operator's two sides are the same type
* Actually check that an instruction does not have a name if it has a void
  return type.

llvm-svn: 2305

llvm-svn: 2302

llvm-svn: 2300

put it into the AsmWriter.  This code is kinda gross and could probably be
cleaned up, but not now.

llvm-svn: 2299

llvm-svn: 2298

  assert it.
* Use WriteAsOperand instead of getStringValue for constants

llvm-svn: 2296

llvm-svn: 2295

llvm-svn: 2294

llvm-svn: 2293

We now use an InstVisitor to delegate to different cases that we are
interested in handling.  We also fix the FIXME's by adding users to the
worklist when appropriate.

llvm-svn: 2292

llvm-svn: 2286

CTor's do not allow names anymore for StoreInst objects

llvm-svn: 2285

llvm-svn: 2284

llvm-svn: 2283

llvm-svn: 2282

llvm-svn: 2277

llvm-svn: 2275

nodes that are not shadow nodes

This fixes em3d to be _correct_ if not optimial

llvm-svn: 2274

llvm-svn: 2272

* Allow structs with negative offsets.  This enables the em3d benchmark to
  be made typesafe.  In this case, the struct had an array as the first
  element, so a negative index was ok (the expr was -8 + 8x)

llvm-svn: 2271

llvm-svn: 2270

llvm-svn: 2269

* Fix bug printing method types (oops when converting previous code)
* Move some of the code from Constant::getStrValue implementations here.
  This allows us to do a MUCH MUCH better job printing out complex constant
  values (think an array of structure pointers), because we print symbolic
  type names instead of structural.  The assistance when debugging is immense

Eventually, Constant::getStrValue should be removed (it existed before because
the asmwriter file was not in VMCore), and everyone should go through the
asmwriter that want's equivalent functionality.

llvm-svn: 2268

* Make the function pointer argument explicit for a call nodes
* Eliminate unreachable global values
* Merge call nodes that are identical

llvm-svn: 2266

* Fold call nodes that are indistinguishable for each other.  This is a big
  win for external functions like sqrt, which would multiply dramatically
  before.
* Global nodes with no edges to or from them are now eliminated from the graph.

llvm-svn: 2257

obviously duplicate loads of the pool base.

llvm-svn: 2255

llvm-svn: 2254

llvm-svn: 2252

llvm-svn: 2251

* Fix bug where the character after a % was being discarded

llvm-svn: 2248

llvm-svn: 2247

* Build new datatypes correctly
* Transform instructions that return null pointers from functions to return
  a null index.

llvm-svn: 2244

* Check that arguments match the method types of the method they live in

llvm-svn: 2243

llvm-svn: 2241

* Add new function printTypeAtLeastOneLevel used to...
* Print the symbol table *WITH SYMBOLIC TYPES*.  Now we get:
       %tree = type { int, %tree*, %tree* }
  in the type definition section of the disassembled output instead of
       %tree = type { int, \2*, \2* }
  the different for the health benchmark and power are simply amazing.

llvm-svn: 2240