llvm-svn: 17286

and work better with VC++.  Patch contributed by Morten Ofstad!

llvm-svn: 17281

http://mail.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20041018/019708.html

exposed ANOTHER latent bug in this xform, which caused Prolangs-C/bison to fill
the zion nightly tester disk up and make the tester barf.

This is obviously not a good thing, so lets fix this bug shall we? :)

llvm-svn: 17276

llvm-svn: 17270

llvm-svn: 17218

llvm-svn: 17157

llvm-svn: 17155

doing... I guess they're right.

llvm-svn: 17142

llvm-svn: 17136

loops.  This optimization is not turned on by default yet, but may be run
with the opt tool's -loop-reduce flag.  There are many FIXMEs listed in the
code that will make it far more applicable to a wide range of code, but you
have to start somewhere :)

This limited version currently triggers on the following tests in the
MultiSource directory:
pcompress2: 7 times
cfrac: 5 times
anagram: 2 times
ks: 6 times
yacr2: 2 times

llvm-svn: 17134

Patch contributed by Morten Ofstad. Thanks Morten!

llvm-svn: 17123

change hacks off 10K of bytecode from perlbmk (.5%) even though the front-end
is not generating them yet and we are not optimizing the resultant code.
This isn't too bad.

llvm-svn: 17111

llvm-svn: 17110

occurs in the entry node of a function

llvm-svn: 17109

exercise that I'm not interested in tackling right now.  Just punt and treat them
like unwind's.

This 'fixes' test/Regression/Transforms/ADCE/unreachable-function.ll

llvm-svn: 17106

other blocks.

llvm-svn: 17099

so prepare for this.

llvm-svn: 17095

llvm-svn: 17069

llvm-svn: 17067

ugly and giant constnat exprs in some programs.

llvm-svn: 17066

llvm-svn: 17047

ignore unreachable instructions

llvm-svn: 17044

llvm-svn: 17043

llvm-svn: 16950

llvm-svn: 16932

marker from one ilist into the middle of another basic block!

llvm-svn: 16925

pointer recurrences into expressions from this:

  %P_addr.0.i.0 = phi sbyte* [ getelementptr ([8 x sbyte]* %.str_1, int 0, int 0), %entry ], [ %inc.0.i, %no_exit.i ]
  %inc.0.i = getelementptr sbyte* %P_addr.0.i.0, int 1            ; <sbyte*> [#uses=2]

into this:

  %inc.0.i = getelementptr sbyte* getelementptr ([8 x sbyte]* %.str_1, int 0, int 0), int %inc.0.i.rec

Actually create something nice, like this:

  %inc.0.i = getelementptr [8 x sbyte]* %.str_1, int 0, int %inc.0.i.rec

llvm-svn: 16924

llvm-svn: 16918

llvm-svn: 16893

-debug-only!

llvm-svn: 16868

llvm-svn: 16863

254.gap.

llvm-svn: 16853

This comes up when doing adds to bitfield elements.

llvm-svn: 16836

This triggers in cases of bitfield additions, opening opportunities for
future improvements.

llvm-svn: 16834

llvm-svn: 16769

an instruction if it can be hoisted to a common dominator of the block.
This implements: test/Regression/Transforms/TailDup/MergeTest.ll

llvm-svn: 16758

llvm-svn: 16598

* SubOne/AddOne functions always return ConstantInt, declare them as such
* Pull code for handling setcc X, cst, where cst is at the end of the range,
  or cc is LE or GE up earlier in visitSetCondInst.  This reduces #iterations
  in some cases.
* Fold: (div X, C1) op C2 -> range check, implementing div.ll:test6 - test9.

llvm-svn: 16588

This takes something like this:

%A = phi int [ 3, %cond_false.0 ], [ 2, %endif.0.i ], [ 2, %endif.1.i ]
%B = div int %tmp.243, 4

and turns it into:

%A = phi int [ 3/4, %cond_false.0 ], [ 2/4, %endif.0.i ], [ 2/4, %endif.1.i ]

which is later simplified (in this case) into %A = 0.

This triggers thousands of times in spec, for example, 269 times in 176.gcc.

This is tested by InstCombine/add.ll:test23 and set.ll:test18.

llvm-svn: 16582

llvm-svn: 16568