shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
llvm-project/llvm/lib/Analysis
History
Yingwei Zheng 554feb0058
[InstSimplify] Simplify select cond, undef, val to val if val = poison implies cond = poison (#76465) 
This patch folds:
```
select cond, undef, val -> val
select cond, val, undef -> val
```
iff `impliesPoison(val, cond)` returns true.

Example:
```
define i32 @src1(i32 %retval.0.i.i) {
  %cmp.i = icmp sgt i32 %retval.0.i.i, -1
  %spec.select.i = select i1 %cmp.i, i32 %retval.0.i.i, i32 undef
  ret i32 %spec.select.i
}

define i32 @tgt1(i32 %retval.0.i.i) {
  ret i32 %retval.0.i.i
}
```
Alive2: https://alive2.llvm.org/ce/z/okJW3G

Compile-time impact:
http://llvm-compile-time-tracker.com/compare.php?from=38c9390b59c4d2b9181614d6a909887497d3692f&to=e146f51ba278aa3bb6879a9ec651831ac8938e91&stat=instructions%3Au
2023-12-28 23:37:19 +08:00
..
models
RegAlloc: Rename MLRegalloc* files to use consistent captalization
2023-09-03 09:00:27 -04:00
AliasAnalysis.cpp
[IR] Add dead_on_unwind attribute (#74289)
2023-12-14 09:58:14 +01:00
AliasAnalysisEvaluator.cpp
[NewPM] Remove AAEval Legacy Pass (#71358)
2023-11-06 21:42:56 -08:00
AliasSetTracker.cpp
[AST] Switch to MemoryLocation in add method (NFC)
2023-12-13 12:15:09 +01:00
Analysis.cpp
[NewPM] Remove LazyValueInfoPrinter Pass (#73408)
2023-11-27 15:09:18 -08:00
AssumeBundleQueries.cpp
[ValueTracking] Handle operand bundle assumes in same loop (NFCI)
2023-11-21 14:34:02 +01:00
AssumptionCache.cpp
[AssumptionCache] Remove unnecessary bitcast/not handling
2023-11-28 14:31:16 +01:00
BasicAliasAnalysis.cpp
[ValueTracking] Convert MaskedValueIsZero() to use SimplifyQuery (NFC)
2023-11-29 11:18:42 +01:00
BlockFrequencyInfo.cpp
BlockFrequencyInfo: Add PrintBlockFreq helper (#67512)
2023-10-05 18:26:50 -07:00
BlockFrequencyInfoImpl.cpp
BlockFrequencyInfoImpl: Avoid big numbers, increase precision for small spreads
2023-10-24 20:27:39 -07:00
BranchProbabilityInfo.cpp
[BPI] Reuse the AsmWriter's BB naming scheme in BranchProbabilityPrinterPass (#73593)
2023-12-02 13:01:48 -08:00
CallGraph.cpp
[NewPM] Remove CallGraphPrinterLegacyPass (#73409)
2023-11-25 15:39:59 -08:00
CallGraphSCCPass.cpp
[llvm] Add missing StringExtras.h includes
2023-06-25 15:42:22 +01:00
CallPrinter.cpp
…
CaptureTracking.cpp
[CaptureTracking] Treat vector GEPs as captures
2023-12-05 10:09:52 +01:00
CFG.cpp
…
CFGPrinter.cpp
[NewPM] Remove CFGPrinterLegacyPass (#73414)
2023-11-26 01:46:31 -08:00
CFGSCCPrinter.cpp
…
CGSCCPassManager.cpp
[llvm] Fix duplicate word typos. NFC
2023-09-01 18:25:16 -07:00
CMakeLists.txt
[ValueTracking] Add dominating condition support in computeKnownBits() (#73662)
2023-12-06 14:17:18 +01:00
CmpInstAnalysis.cpp
[InstCombine] Allow splats with poison/undef in llvm::decomposeBitTestICmp
2023-04-11 09:03:01 +01:00
CodeMetrics.cpp
…
ConstantFolding.cpp
[AMDGPU] - Add constant folding to s_wqm intrinsic (#72382)
2023-11-21 16:36:45 +01:00
ConstraintSystem.cpp
[ConstraintSystem] Remove GCD handling (NFCI).
2023-12-28 15:22:23 +00:00
CostModel.cpp
[NewPM] Remove CostModelAnalysis Legacy Pass (#72941)
2023-11-21 00:52:23 -08:00
CycleAnalysis.cpp
[RFC] Introduce convergence control intrinsics
2023-07-12 12:31:42 +05:30
DDG.cpp
[llvm] Use *{Map,Set}::contains (NFC)
2023-03-15 18:06:32 -07:00
DDGPrinter.cpp
…
Delinearization.cpp
[NewPM] Remove Delinearization legacy pass (#72942)
2023-11-21 00:57:37 -08:00
DemandedBits.cpp
Revert "[ValueTracking] Remove by-ref computeKnownBits() overloads (NFC)"
2023-10-16 14:04:09 +02:00
DependenceAnalysis.cpp
…
DependenceGraphBuilder.cpp
…
DevelopmentModeInlineAdvisor.cpp
[mlgo][nfc] Remove / fix vestigial references to Tensorflow
2023-10-11 08:04:04 -07:00
DomConditionCache.cpp
[DomCondCache] Remove unused variable (NFC)
2023-12-08 10:25:04 +01:00
DominanceFrontier.cpp
…
DomPrinter.cpp
…
DomTreeUpdater.cpp
…
FunctionPropertiesAnalysis.cpp
Move global namespace cl::opt inside llvm:: or internalize them
2023-10-10 19:58:03 -07:00
GlobalsModRef.cpp
[AA] Skip the layer of indirection in returning conservative results.
2023-07-28 12:13:35 -07:00
GuardUtils.cpp
[GuardUtils] Revert llvm::isWidenableBranch change (#66411)
2023-09-20 11:27:54 +02:00
HeatUtils.cpp
…
ImportedFunctionsInliningStatistics.cpp
…
IndirectCallPromotionAnalysis.cpp
…
InlineAdvisor.cpp
[llvm] Add missing StringExtras.h includes
2023-06-25 15:42:22 +01:00
InlineCost.cpp
[AArch64][SME] Extend Inliner cost-model with custom penalty for calls. (#68416)
2023-10-31 10:28:40 +00:00
InlineOrder.cpp
[ModuleInliner] Remove an extraneous pair of std::push_heap and std::pop_heap (NFC) (#69672)
2023-10-24 09:25:32 -07:00
InlineSizeEstimatorAnalysis.cpp
…
InstCount.cpp
[NewPM] Remove InstCountLegacyPass (#72936)
2023-11-21 00:51:52 -08:00
InstructionPrecedenceTracking.cpp
[llvm] Use *{Map,Set}::contains (NFC)
2023-03-15 18:06:32 -07:00
InstructionSimplify.cpp
[InstSimplify] Simplify select cond, undef, val to val if val = poison implies cond = poison (#76465)
2023-12-28 23:37:19 +08:00
InteractiveModelRunner.cpp
…
Interval.cpp
…
IntervalPartition.cpp
…
IRSimilarityIdentifier.cpp
Use Dense{Map,Set}::contains (NFC)
2023-03-29 23:01:11 -07:00
IVDescriptors.cpp
[Analysis] Remove unnecessary includes (NFC)
2023-12-07 22:15:32 -08:00
IVUsers.cpp
[IVUsers] Check getExpr result in findAddRecForLoop.
2023-07-20 14:56:19 +01:00
LazyBlockFrequencyInfo.cpp
…
LazyBranchProbabilityInfo.cpp
…
LazyCallGraph.cpp
…
LazyValueInfo.cpp
[LVI] Remove unnecessary TLI dependency
2023-12-19 14:32:43 +01:00
Lint.cpp
[Lint] Permit aliasing noalias and readnone arguments
2023-08-14 14:11:17 +02:00
Loads.cpp
Analysis: Fix assertion when load alignment exceeds address space size
2023-06-30 12:31:32 -04:00
Local.cpp
[llvm][TypeSize] Fix addition/subtraction in TypeSize. (#72979)
2023-11-22 08:52:53 +00:00
LoopAccessAnalysis.cpp
[LoopVectorize] Enable hoisting of runtime checks by default (#71538)
2023-12-18 09:41:54 +00:00
LoopAnalysisManager.cpp
…
LoopCacheAnalysis.cpp
[SCEV] When computing trip count, only zext if necessary
2023-04-10 19:40:52 -07:00
LoopInfo.cpp
[llvm] Use StringRef::{starts,ends}_with (NFC) (#74956)
2023-12-11 21:01:36 -08:00
LoopNestAnalysis.cpp
…
LoopPass.cpp
[ADT] Rename llvm::erase_value to llvm::erase (NFC) (#70156)
2023-10-24 23:03:13 -07:00
LoopUnrollAnalyzer.cpp
…
MemDerefPrinter.cpp
[Passes] Remove some legacy printer passes
2023-06-13 13:18:48 -07:00
MemoryBuiltins.cpp
[MemoryBuiltins] Simplify getAllocFnKind() implementation (NFC)
2023-10-19 16:35:02 +02:00
MemoryDependenceAnalysis.cpp
[Analysis] Use range-based for loops (NFC)
2023-12-24 15:13:15 -08:00
MemoryLocation.cpp
LLVM_FALLTHROUGH => [[fallthrough]]. NFC
2023-05-24 12:40:10 -07:00
MemoryProfileInfo.cpp
[MemProf] Add hot allocation type
2023-05-08 10:34:53 -07:00
MemorySSA.cpp
[MemorySSA] Handle queries with empty memory location.
2023-08-10 09:57:32 -07:00
MemorySSAUpdater.cpp
…
MLInlineAdvisor.cpp
[mlgo][coro] Assign coro split-ed functions a FunctionLevel (#68263)
2023-10-04 21:20:00 -07:00
ModelUnderTrainingRunner.cpp
…
ModuleDebugInfoPrinter.cpp
[Passes] Remove some legacy printer passes
2023-06-13 13:18:48 -07:00
ModuleSummaryAnalysis.cpp
[ThinLTO] Add tail call flag to call edges in summary (#74043)
2023-12-06 08:41:44 -08:00
MustExecute.cpp
[Passes] Remove some legacy printer passes
2023-06-13 13:18:48 -07:00
NoInferenceModelRunner.cpp
…
ObjCARCAliasAnalysis.cpp
[AA] Skip the layer of indirection in returning conservative results.
2023-07-28 12:13:35 -07:00
ObjCARCAnalysisUtils.cpp
…
ObjCARCInstKind.cpp
…
OptimizationRemarkEmitter.cpp
…
OverflowInstAnalysis.cpp
…
PHITransAddr.cpp
Revert "[GVN] Support address translation through select instructions"
2023-02-27 12:57:59 +03:00
PhiValues.cpp
…
PostDominators.cpp
…
ProfileSummaryInfo.cpp
[profiling] Move option declarations into headers
2023-09-30 18:51:28 -07:00
PtrUseVisitor.cpp
…
RegionInfo.cpp
…
RegionPass.cpp
…
RegionPrinter.cpp
[llvm] Stop including llvm/ADT/DepthFirstIterator.h (NFC)
2023-10-22 12:15:46 -07:00
ReplayInlineAdvisor.cpp
…
ScalarEvolution.cpp
[SCEV] Ensure shift amount is in range before calling getZExtValue()
2023-12-22 14:16:54 +00:00
ScalarEvolutionAliasAnalysis.cpp
[scev-aa] Make TypeSize -> uint64_t conversion explicit
2023-10-26 10:37:18 +02:00
ScalarEvolutionDivision.cpp
Revert "Revert "[SCEV] Add SCEVType to represent vscale.""
2023-03-02 13:14:07 +00:00
ScalarEvolutionNormalization.cpp
[SCEV] Add flag to control invertible check for normalization.
2023-07-05 18:11:44 +01:00
ScopedNoAliasAA.cpp
[AA] Skip the layer of indirection in returning conservative results.
2023-07-28 12:13:35 -07:00
StackLifetime.cpp
[Analysis] Use *{Set,Map}::contains (NFC)
2023-03-14 00:32:40 -07:00
StackSafetyAnalysis.cpp
[NFC] Remove Type::getInt8PtrTy (#71029)
2023-11-07 17:26:26 +01:00
StructuralHash.cpp
[IR] Add SturcturalHash printer pass
2023-08-29 18:59:52 -07:00
SyntheticCountsUtils.cpp
…
TargetLibraryInfo.cpp
[TLI] Add getLibFunc that accepts an Opcode and scalar Type. (#75919)
2023-12-21 11:02:54 +00:00
TargetTransformInfo.cpp
[SLP][TTI][X86]Add addsub pattern cost estimation. (#76461)
2023-12-28 05:04:04 -08:00
TensorSpec.cpp
…
TFLiteUtils.cpp
[mlgo][nfc] Remove / fix vestigial references to Tensorflow
2023-10-11 08:04:04 -07:00
Trace.cpp
…
TrainingLogger.cpp
[MLGO] Remove -tfutils-use-simplelogger flag (#72492)
2023-11-16 12:50:46 -08:00
TypeBasedAliasAnalysis.cpp
[AA] Skip the layer of indirection in returning conservative results.
2023-07-28 12:13:35 -07:00
TypeMetadataUtils.cpp
Add a type_checked_load_relative to support relative function pointer tables
2023-06-29 08:33:45 -07:00
UniformityAnalysis.cpp
[LLVM] refactor GenericSSAContext and its specializations
2023-07-27 09:54:50 +05:30
ValueLattice.cpp
…
ValueLatticeUtils.cpp
…
ValueTracking.cpp
[InstCombine] Fold minmax intrinsic using KnownBits information (#76242)
2023-12-23 04:41:32 +08:00
VectorUtils.cpp
[VFABI] Create FunctionType for vector functions (#75058)
2023-12-19 12:05:28 +00:00
VFABIDemangling.cpp
[TLI] Pass replace-with-veclib works with Scalable Vectors. (#73642)
2023-12-21 12:37:57 +00:00