llvm-svn: 60509

llvm-svn: 60508

on PseudoSourceValue values. This also fixes a FIXME in
lib/VMCode/AsmWriter.cpp.

llvm-svn: 60507

llvm-svn: 60506

llvm-svn: 60505

llvm-svn: 60504

llvm-svn: 60503

llvm-svn: 60502

llvm-svn: 60501

llvm-svn: 60500

llvm-svn: 60499

an area where eventually it would be good to use target-dependent
information.

llvm-svn: 60498

llvm-svn: 60497

examining non-anti-dependence edges.

llvm-svn: 60496

llvm-svn: 60495

llvm-svn: 60494

llvm-svn: 60493

llvm-svn: 60492

llvm-svn: 60491

- Fix nonsensical logic in AssumeSymGE. When comparing 'sym >= constant' and the
  constant is the maximum integer value, add the constraint that 'sym ==
  constant' when the path is deemed feasible.  All other cases are feasible.
- Improve AssumeSymGT. When comparing 'sym > constant' and constant is the
  maximum integer value we know the path is infeasible.
- Add test case for this enhancement to AssumeSymGT.

llvm-svn: 60490

- Fix nonsensical logic in AssumeSymLE. When comparing 'sym <= constant' and the
  constant is the minimum integer value, add the constraint that 'sym ==
  constant' when the path is deemed feasible.  All other cases are feasible.
- Improve AssumeSymLT to address <rdar://problem/6407949>.  When comparing
  'sym < constant' and constant is the minimum integer value we know the
  path is infeasible.
- Add test case for <rdar://problem/6407949>.

llvm-svn: 60489

parts, and add target-independent code to add/preserve
MachineMemOperands.

llvm-svn: 60488

llvm-svn: 60487

the frame reference. This will help post-RA scheduling determine
that spills to distinct stack slots are independent.

llvm-svn: 60486

llvm-svn: 60485

llvm-svn: 60484

llvm-svn: 60483

a new node if the node was actually remapped.

llvm-svn: 60482

Print a single parameter .file directive if we have an ELF target.

llvm-svn: 60480

llvm-svn: 60479

llvm-svn: 60478

llvm-svn: 60477

llvm-svn: 60476

llvm-svn: 60471

1) have it fold "br undef", which does occur with
   surprising frequency as jump threading iterates.
2) teach j-t to delete dead blocks.  This removes the successor
   edges, reducing the in-edges of other blocks, allowing 
   recursive simplification.
3) Fold things like:
     br COND, BBX, BBY
  BBX:
     br COND, BBZ, BBW

   which also happens because jump threading iterates.

llvm-svn: 60470

llvm-svn: 60469

llvm-svn: 60468

loop deletion (it is for a ton of passes), which is very bad.

llvm-svn: 60465

unconditionally delete the block.  All likely clients will
do the checking anyway.

llvm-svn: 60464

DeleteBlockIfDead method.

llvm-svn: 60463