llvm-svn: 101043

The information is already available with "opt -analyze". The DominatorTree
does also not have this in its runOnFunction. So they behave now
more consistent.

llvm-svn: 101038

This template is not needed anymore as it was replaced by the
DOTGraphTraitsViewer.

llvm-svn: 101036

llvm-svn: 101034

llvm-svn: 101033

a ScalarEvolution bug with overflow handling is fixed, the normal analysis
code will automatically decline to operate on the icmp instructions which
are responsible for the loop exit.

llvm-svn: 101032

have preheaders or dedicated exit blocks, as clients may not otherwise
need to run LoopSimplify.

llvm-svn: 101030

AddRecs so that it checks for overflow in the computation that it is
performing, rather than just checking hasNo{Signed,Unsigned}Wrap, since
those flags are for a different computation. This fixes a bug that
impacts an upcoming change.

llvm-svn: 101028

instead of deleting just the user. This makes it more consistent with
other code in IndVarSimplify, and theoretically can eliminate more users
earlier.

llvm-svn: 101027

llvm-svn: 101023

need TargetData, just return false if we don't have it.

Update testcases accordingly.

Fixes PR6807.

llvm-svn: 101011

llvm-svn: 101010

llvm-svn: 101009

the loop exit test. This usually doesn't come up for a variety of
reasons, but it isn't impossible, so make IndVarSimplify handle it
conservatively.

llvm-svn: 101008

llvm-svn: 101002

llvm-svn: 101001

variables. For example, with code like this:

  for (i=0;i<n;++i)
    if (i<n)
      x[i] = 0;

IndVarSimplify will now recognize that i is always less than n inside
the loop, and eliminate the if.

llvm-svn: 101000

loop conditions which are invariants.

llvm-svn: 100995

llvm-svn: 100994

ConstantRange(0, 0) creates an empty range rather than a full one.

llvm-svn: 100993

intentionally ignored.

llvm-svn: 100984

llvm-svn: 100983

llvm-svn: 100981

that it's only testing for the entry condition, not full loop-invariant
conditions.

llvm-svn: 100979

parameters in the CBE by implicitly adding a fixed argument.
This allows eliminating a work-around from DAE.  Patch by
Sylvere Teissier!

llvm-svn: 100944

in some cases.

llvm-svn: 100937

llvm-svn: 100936

$ llvm-as t.ll
llvm-as: t.ll:1:6: error: expected 'type' after '='
%0 = = type { i32, float, float, double }
     ^

PR6810.

llvm-svn: 100934

llvm-svn: 100933

patch by Patrick Walton!

llvm-svn: 100932

llvm-svn: 100908

into adjacent loops. Also, ensure that the insert position is
dominated by the loop latch of any loop in the post-inc set which
has a latch.

llvm-svn: 100906

llvm-svn: 100904

variable TARGET_HAS_DYNAMIC_LIBS

llvm-svn: 100896

llvm-svn: 100895

llvm-svn: 100894

llvm-svn: 100893

such that the non-VFP versions have no implicit defs of VFP registers.
If any callee-saved VFP registers are marked as having been defined, the
prologue/epilogue code will try to save and restore them.
Radar 7770432.

llvm-svn: 100892

a hoisted intermediate result if the intermediate result isn't an
Instruction.

llvm-svn: 100884

so that an unfortunately placed bitcast doesn't pin a value in a
register.

llvm-svn: 100883