llvm/Transforms at 2037eb7f158f6a7b745b1c8d7be2f7015d8bca38 - llvm - Gitea: Git with a cup of tea

RPCSX/llvm

mirror of https://github.com/RPCSX/llvm.git synced 2025-02-27 08:26:23 +00:00

History

Davide Italiano 2037eb7f15 [SCCP] Teach the pass how to handle div with overdefined operands.

This can prove that:

extern int f;
int g() {
    int x = 0;
    for (int i = 0; i < 365; ++i) {
        x /= f;
    }
    return x;
}

always returns zero. Thanks to Sanjoy for confirming this
transformation actually made sense (bugs are mine).

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

2017-01-19 23:07:51 +00:00

..

[ADCE] Add code to remove dead branches

2016-12-13 16:42:18 +00:00

AddDiscriminators

…

AlignmentFromAssumptions

…

ArgumentPromotion

…

…

Introduce -unroll-partial-threshold to separate PartialThreshold from Threshold in loop unorller.

2017-01-17 23:39:33 +00:00

[BDCE] Skip metadata while replacing uses.

2016-12-07 21:47:32 +00:00

…

…

[Analysis] Centralize objectsize lowering logic.

2016-12-20 23:46:36 +00:00

ConstantHoisting

…

…

[InstCombiner] Simplify lib calls to round{,f}

2016-12-26 14:29:29 +00:00

…

CorrelatedValuePropagation

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

CountingFunctionInserter

…

…

llvm/test/Transforms/DCE/calls-errno.ll: Suppress checking @pow(+0,-1).

2016-11-04 18:50:45 +00:00

…

DeadStoreElimination

…

[EarlyCSE] Don't DSE across readnone functions that may throw

2017-01-17 20:15:47 +00:00

EliminateAvailableExternally

…

…

ForcedFunctionAttrs

…

IR, X86: Understand !absolute_symbol metadata on global variables.

2016-12-08 19:01:00 +00:00

[ThinLTO] Ensure callees get hot threshold when first seen on cold path

2016-12-15 18:21:01 +00:00

[IR] Remove the DIExpression field from DIGlobalVariable.

2016-12-20 02:09:43 +00:00

Test the different scenarios of GlobalDCE and comdats more

2016-12-26 08:54:01 +00:00

Renumber testcase metadata nodes after r290153.

2016-12-22 00:45:21 +00:00

Renumber testcase metadata nodes after r290153.

2016-12-22 00:45:21 +00:00

[GlobalSplit] Port to the new pass manager.

2016-11-21 00:28:23 +00:00

…

[Devirtualization] MemDep returns non-local !invariant.group dependencies

2017-01-12 11:33:58 +00:00

Revert "[GVNHoist] Move GVNHoist to function simplification part of pipeline."

2016-12-17 01:53:15 +00:00

[IndVars] Change the order to compute WidenAddRec in widenIVUse.

2016-11-15 17:34:52 +00:00

InferFunctionAttrs

…

Revert "[InlineCost] Use TTI to check if GEP is free."

2017-01-19 22:51:03 +00:00

[InstCombine] Simplify gep (gep p, a), (b-a)

2017-01-19 18:51:56 +00:00

…

[ValueTracking] Extend known bits to understand @llvm.bitreverse.

2017-01-17 17:23:51 +00:00

InterleavedAccess/X86

…

…

…

[IRCE] Avoid loop optimizations on pre and post loops

2016-12-13 21:05:21 +00:00

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

…

Improve what can be promoted in LICM.

2017-01-19 19:31:40 +00:00

…

LoadStoreVectorizer

[LoadStoreVectorizer] Enable vectorization of stores in the presence of an aliasing load

2016-11-23 17:43:15 +00:00

LoopDataPrefetch

…

[PM] Teach LoopDeletion to correctly update the LPM when loops are

2017-01-18 02:41:26 +00:00

Move test of lazy BFI with ORE to a generic directory

2017-01-13 00:16:23 +00:00

Enable disabled loopidiom test. Apparently we handle it now

2017-01-03 19:08:05 +00:00

LoopInterchange

…

Fix LoopLoadElimination to keep original alignment on the inital hoisted store

2017-01-06 21:06:51 +00:00

[LoopReroll] Make root-finding more aggressive.

2016-11-21 22:35:34 +00:00

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

Make a test actually test what it set out to test.

2017-01-12 03:49:07 +00:00

LoopSimplifyCFG

…

LoopStrengthReduce

[PM] Clean up the testing for IVUsers, especially with the new PM.

2017-01-15 09:29:27 +00:00

Introduce -unroll-partial-threshold to separate PartialThreshold from Threshold in loop unorller.

2017-01-17 23:39:33 +00:00

[Loop Unswitch] Patch to selective unswitch only the reachable branch instructions.

2016-11-25 14:07:44 +00:00

[LV] Run loop-simplify and LCSSA explicitly instead of "requiring" them

2017-01-19 00:42:28 +00:00

[LDist] Match behavior between invoking via optimization pipeline or opt -loop-distribute

2016-12-21 04:07:40 +00:00

LoopVersioningLICM

…

…

LowerExpectIntrinsic

…

LowerGuardIntrinsic

…

…

…

LowerTypeTests: Implement exporting of type identifiers.

2017-01-19 01:20:11 +00:00

…

[MemCpyOpt] Don't sink LoadInst below possible clobber.

2016-12-27 17:58:12 +00:00

…

…

NameAnonGlobals

…

NaryReassociate

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

NewGVN: Fix PR31613 test regex naming

2017-01-13 23:54:10 +00:00

…

PartiallyInlineLibCalls

Add positive test for sqrt "partial inlining". NFC.

2017-01-04 21:24:56 +00:00

Resubmit "[PGO] Turn off comdat renaming in IR PGO by default"

2017-01-11 20:19:41 +00:00

…

PlaceSafepoints

…

PreISelIntrinsicLowering

…

…

Fixed the lost FastMathFlags in Reassociate optimization.

2016-11-22 20:23:04 +00:00

…

RewriteStatepointsForGC

…

…

Renumber testcase metadata nodes after r290153.

2016-12-22 00:45:21 +00:00

…

[SCCP] Teach the pass how to handle div with overdefined operands.

2017-01-19 23:07:51 +00:00

SeparateConstOffsetFromGEP

…

Renumber testcase metadata nodes after r290153.

2016-12-22 00:45:21 +00:00

…

[SLP] Add a tests for a fix for PR30787.

2017-01-18 18:07:46 +00:00

SpeculativeExecution

…

[DIExpression] Introduce a dedicated DW_OP_LLVM_fragment operation

2016-12-05 18:04:47 +00:00

StraightLineStrengthReduce

…

StripDeadPrototypes

…

Renumber testcase metadata nodes after r290153.

2016-12-22 00:45:21 +00:00

[StructurizeCfg] Update dominator info.

2017-01-10 02:50:47 +00:00

Avoid tail recursion elimination across calls with operand bundles

2016-11-07 21:01:49 +00:00

ThinLTOBitcodeWriter

ThinLTOBitcodeWriter: Clear comdats on filtered globals.

2017-01-18 20:03:02 +00:00

[AliasAnalysis] Teach BasicAA about memcpy.

2016-12-25 22:42:27 +00:00

WholeProgramDevirt

WholeProgramDevirt: Teach the pass to handle structs of arrays.

2016-12-09 01:10:11 +00:00