Andrew Litteken 063af63b96 [IRSim][IROutliner] Canonicalizing commutative value numbering between similarity sections. ...

When the initial relationship between two pairs of values between
similar sections is ambiguous to commutativity, arguments to the
outlined functions can be passed in such that the order is incorrect,
causing miscompilations.  This adds a canonical mapping to each
similarity section, so that we can maintain the relationship of global
value numbering from one section to another.

Added Tests:
Transforms/IROutliner/outlining-commutative-operands-opposite-order.ll
unittests/Analysis/IRSimilarityIdentifierTest.cpp - IRSimilarityCandidate:CanonicalNumbering

Reviewers: jroelofs, jpaquette, yroux

Differential Revision: https://reviews.llvm.org/D104143

2021-08-27 15:02:56 -07:00

..

Inputs/ir2native_x86_64_model

…

AliasAnalysisTest.cpp

[AA][NFC] Convert AliasResult to class containing offset for PartialAlias case.

2021-04-09 13:26:09 +03:00

AliasSetTrackerTest.cpp

…

AssumeBundleQueriesTest.cpp

Internalize some cl::opt global variables or move them under namespace llvm

2021-05-07 11:15:43 -07:00

BasicAliasAnalysisTest.cpp

…

BlockFrequencyInfoTest.cpp

…

BranchProbabilityInfoTest.cpp

…

CallGraphTest.cpp

…

CaptureTrackingTest.cpp

…

CFGTest.cpp

…

CGSCCPassManagerTest.cpp

Revert "[NPM] Do not run function simplification pipeline unnecessarily"

2021-05-21 16:38:02 -07:00

CMakeLists.txt

Unpack the CostEstimate feature in ML inlining models.

2021-07-02 16:57:16 +00:00

ConstraintSystemTest.cpp

…

DDGTest.cpp

…

DivergenceAnalysisTest.cpp

[NewPM] Introduce (GPU)DivergenceAnalysis in the new pass manager

2021-02-16 10:26:45 +05:30

DomTreeUpdaterTest.cpp

…

FunctionPropertiesAnalysisTest.cpp

…

GlobalsModRefTest.cpp

…

InlineCostTest.cpp

Unpack the CostEstimate feature in ML inlining models.

2021-07-02 16:57:16 +00:00

IRSimilarityIdentifierTest.cpp

[IRSim][IROutliner] Canonicalizing commutative value numbering between similarity sections.

2021-08-27 15:02:56 -07:00

IVDescriptorsTest.cpp

[IVDescriptors] Fix comment that getUnsafeAlgebraInst has been renamed to getExactFPMathInst

2021-06-21 07:56:22 +08:00

LazyCallGraphTest.cpp

…

LoadsTest.cpp

…

LoopInfoTest.cpp

[unittest] Fix -Wunused-variable after D94717

2021-05-07 11:42:16 -07:00

LoopNestTest.cpp

LoopNest Analysis expansion to return instructions that prevent a Loop

2021-08-17 22:25:49 +00:00

MemoryBuiltinsTest.cpp

…

MemorySSATest.cpp

[AA][NFC] Convert AliasResult to class containing offset for PartialAlias case.

2021-04-09 13:26:09 +03:00

PhiValuesTest.cpp

…

ProfileSummaryInfoTest.cpp

…

ScalarEvolutionTest.cpp

[unittest] Exercise SCEV's udiv and udiv ceiling routines

2021-07-15 11:55:00 -07:00

SparsePropagation.cpp

…

TargetLibraryInfoTest.cpp

[OpenMP] Change __kmpc_free_shared to include the paired allocation size

2021-07-21 20:56:21 -04:00

TBAATest.cpp

…

TFUtilsTest.cpp

[NFC][MLGO] Make logging more robust

2021-08-06 04:44:52 -07:00

UnrollAnalyzerTest.cpp

[unroll] Use value domain for symbolic execution based cost model

2021-05-26 08:41:25 -07:00

ValueLatticeTest.cpp

…

ValueTrackingTest.cpp

[ValueTracking] Fix computeConstantRange to use "may" instead of "always" semantics for llvm.assume

2021-08-02 22:20:17 +02:00

VectorFunctionABITest.cpp

[NFC] Change VFShape so it contains an ElementCount rather than seperate VF and IsScalable properties.

2021-07-26 12:25:46 +01:00

VectorUtilsTest.cpp

[NFC] Change VFShape so it contains an ElementCount rather than seperate VF and IsScalable properties.

2021-07-26 12:25:46 +01:00