Nick Lewycky daf27ea899 Teach instcombine to preserve the nsw bit by doing an after-the-fact analysis ...

when combining add and sub instructions. Patch by Pranav Bhandarkar!


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@137570 91177308-0d34-0410-b5e6-96231b3b80d8

2011-08-14 01:45:19 +00:00

..

ADCE

stop accepting begin/end around function bodies in the .ll parser, this isn't pascal anymore.

2011-06-17 06:42:57 +00:00

ArgumentPromotion

fix PR8932, a case where arg promotion could infinitely promote.

2011-01-16 08:09:24 +00:00

BlockPlacement

…

BranchFolding

…

CodeExtractor

manually upgrade a bunch of tests to modern syntax, and remove some that

2011-06-17 03:14:27 +00:00

CodeGenPrepare

Roll r127459 back in:

2011-03-11 21:52:04 +00:00

ConstantMerge

Teach the ConstantMerge pass about alignment. Fixes PR10514!

2011-07-27 19:47:34 +00:00

ConstProp

Land the long talked about "type system rewrite" patch. This

2011-07-09 17:41:24 +00:00

CorrelatedValuePropagation

Test for lazy value info's ability to prove the absense of NULLs in pointers.

2011-01-16 21:57:20 +00:00

DeadArgElim

Move "atomic" and "volatile" designations on instructions after the opcode

2011-08-12 22:50:01 +00:00

DeadStoreElimination

Move "atomic" and "volatile" designations on instructions after the opcode

2011-08-12 22:50:01 +00:00

EarlyCSE

Move "atomic" and "volatile" designations on instructions after the opcode

2011-08-12 22:50:01 +00:00

FunctionAttrs

rip out a ton of intrinsic modernization logic from AutoUpgrade.cpp, which is

2011-06-18 06:05:24 +00:00

GlobalDCE

…

GlobalOpt

Move "atomic" and "volatile" designations on instructions after the opcode

2011-08-12 22:50:01 +00:00

GVN

Added test cases for GVN signed intrinsics recognition, r134777.

2011-07-09 00:36:54 +00:00

IndVarSimplify

Made SCEV's UDiv expressions more canonical. When dividing a

2011-08-06 07:00:37 +00:00

Inline

rip out a ton of intrinsic modernization logic from AutoUpgrade.cpp, which is

2011-06-18 06:05:24 +00:00

InstCombine

Teach instcombine to preserve the nsw bit by doing an after-the-fact analysis

2011-08-14 01:45:19 +00:00

InstSimplify

Remove bogus test: for all possible inputs of %X, the 'sub nsw' is guaranteed

2011-07-19 08:22:57 +00:00

Internalize

Add test for r127138.

2011-03-07 21:28:14 +00:00

IPConstantProp

remove parser support for the obsolete "multiple return values" syntax, which

2011-06-17 06:49:41 +00:00

JumpThreading

Move "atomic" and "volatile" designations on instructions after the opcode

2011-08-12 22:50:01 +00:00

LCSSA

Do not add PHIs with no users when creating LCSSA form. Patch by Andrew Clinton.

2011-03-15 07:41:25 +00:00

LICM

Move "atomic" and "volatile" designations on instructions after the opcode

2011-08-12 22:50:01 +00:00

LoopDeletion

Add a reduced test case for the buildbot failure (clang self-hosted

2011-06-21 08:33:49 +00:00

LoopIdiom

A real testcase for r135286.

2011-07-15 20:58:38 +00:00

LoopRotate

remove asmparser support for the old getresult instruction, which has been subsumed by extractvalue.

2011-06-17 06:57:15 +00:00

LoopSimplify

SCEV: Use AssertingVH to catch dangling BasicBlock* when passes forget

2011-08-03 18:32:11 +00:00

LoopStrengthReduce

LSR, correct fix for rdar://9786536. Silly casting bug.

2011-07-21 01:45:54 +00:00

LoopUnroll

A slew of unit tests for the recent LoopInfo::updateUnloop feature

2011-08-11 23:38:09 +00:00

LoopUnswitch

Bail on unswitching a switch statement for a case with a critical edge. We name

2011-06-03 06:27:15 +00:00

LowerAtomic

…

LowerExpectIntrinsic

Introduce "expect" intrinsic instructions.

2011-07-06 18:22:43 +00:00

LowerInvoke

…

LowerSwitch

…

Mem2Reg

Add test for r133251.

2011-06-18 07:23:25 +00:00

MemCpyOpt

Land the long talked about "type system rewrite" patch. This

2011-07-09 17:41:24 +00:00

MergeFunc

When removing a function from the function set and adding it to deferred, we

2011-02-09 06:32:02 +00:00

ObjCARC

Move "atomic" and "volatile" designations on instructions after the opcode

2011-08-12 22:50:01 +00:00

PhaseOrdering

This directory was missing the dg.exp to cause the tests to run. Some time since

2011-06-06 20:23:00 +00:00

PruneEH

manually upgrade a bunch of tests to modern syntax, and remove some that

2011-06-17 03:14:27 +00:00

Reassociate

Remove empty test.

2011-08-02 02:47:45 +00:00

ScalarRepl

Move "atomic" and "volatile" designations on instructions after the opcode

2011-08-12 22:50:01 +00:00

SCCP

Land the long talked about "type system rewrite" patch. This

2011-07-09 17:41:24 +00:00

SimplifyCFG

Move "atomic" and "volatile" designations on instructions after the opcode

2011-08-12 22:50:01 +00:00

SimplifyLibCalls

Move "atomic" and "volatile" designations on instructions after the opcode

2011-08-12 22:50:01 +00:00

Sink

…

StripSymbols

fix PR10286, a problem with the .ll printer handling block addresses that are out-of-scope.

2011-08-03 06:15:41 +00:00

TailCallElim

make the asmparser reject function and type redefinitions. 'Merging' hasn't been

2011-06-17 07:06:44 +00:00

TailDup

Move few target-dependant tests to appropriate directories.

2011-05-06 18:24:46 +00:00