shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
llvm-project/llvm/lib/Analysis
History
Tejas Joshi 0609b65aaf
[SCEV] Fix potentially empty set for unsigned ranges 
The following commit enabled the analysis of ranges for heap allocations:
22ca38da25e19a7c5fcfeb3f22159aba92ec381e

The range turns out to be empty in cases such as the one in test (which
is [1,1)), leading to an assertion failure. This patch fixes for the
same case.

Fixes https://github.com/llvm/llvm-project/issues/63856

Reviewed By: fhahn

Differential Revision: https://reviews.llvm.org/D159160
2023-09-04 10:46:53 +01:00
..
models
RegAlloc: Rename MLRegalloc* files to use consistent captalization
2023-09-03 09:00:27 -04:00
AliasAnalysis.cpp
[LICM][AA] Move isWritableObject() to AA (NFC)
2023-08-16 14:43:01 +02:00
AliasAnalysisEvaluator.cpp
…
AliasSetTracker.cpp
[llvm] Add missing StringExtras.h includes
2023-06-25 15:42:22 +01:00
Analysis.cpp
[Passes] Remove some legacy printer passes
2023-06-13 13:18:48 -07:00
AssumeBundleQueries.cpp
[Local] Mark Instruction argument of wouldInstructionBeTriviallyDead as const. NFC.
2023-08-14 14:49:51 +07:00
AssumptionCache.cpp
Attributor: Assume handling for nofpclass
2023-03-17 07:39:40 -04:00
BasicAliasAnalysis.cpp
[AA] Skip the layer of indirection in returning conservative results.
2023-07-28 12:13:35 -07:00
BlockFrequencyInfo.cpp
[Analysis] Make order of analysis executions more stable
2023-03-17 09:33:16 +01:00
BlockFrequencyInfoImpl.cpp
[llvm] Move AttributeMask to a separate header
2023-06-27 15:26:17 +01:00
BranchProbabilityInfo.cpp
[BPI] Add method to swap outgoing edges probabilities
2023-04-18 20:05:24 +07:00
CallGraph.cpp
[CallGraph][FIX] Ensure generic intrinsics are represented in the CG
2023-01-10 11:38:58 -08:00
CallGraphSCCPass.cpp
[llvm] Add missing StringExtras.h includes
2023-06-25 15:42:22 +01:00
CallPrinter.cpp
…
CaptureTracking.cpp
[Core][FIX] Do not assume instruction users in DetermineUseCaptureKind
2023-09-01 17:17:51 -07:00
CFG.cpp
[CFG] Add const qualifier to isPotentiallyReachableFromMany() (NFC)
2022-10-18 10:06:07 +02:00
CFGPrinter.cpp
[Analysis] Use *{Set,Map}::contains (NFC)
2023-03-14 00:32:40 -07:00
CFGSCCPrinter.cpp
Ensure newlines at the end of files (NFC)
2022-10-22 09:29:40 -07:00
CGSCCPassManager.cpp
[llvm] Fix duplicate word typos. NFC
2023-09-01 18:25:16 -07:00
CMakeLists.txt
[IR] Add SturcturalHash printer pass
2023-08-29 18:59:52 -07:00
CmpInstAnalysis.cpp
[InstCombine] Allow splats with poison/undef in llvm::decomposeBitTestICmp
2023-04-11 09:03:01 +01:00
CodeMetrics.cpp
…
ConstantFolding.cpp
ConstantFolding: Handle exp10 intrinsic
2023-09-02 09:20:51 -04:00
ConstraintSystem.cpp
[ConstraintElim] Fix integer overflow in ConstraintSystem::negate.
2023-04-21 16:09:46 +01:00
CostModel.cpp
[NFC] Fix a few whitespace inconsistencies.
2022-10-20 14:52:25 +00: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
…
DemandedBits.cpp
[DemandedBits] Print function name when printing analysis.
2023-07-06 14:17:20 +01:00
DependenceAnalysis.cpp
Fix some -Wconstant-conversion warnings for future Clang (D139114)
2023-01-13 16:28:44 -08:00
DependenceGraphBuilder.cpp
…
DevelopmentModeInlineAdvisor.cpp
[mlgo][inl] Interactive mode: optionally tell the default decision
2023-04-10 12:20:09 -07:00
DominanceFrontier.cpp
…
DomPrinter.cpp
…
DomTreeUpdater.cpp
[NFC] Replaced BB->getInstList().{erase(),pop_front(),pop_back()} with eraseFromParent().
2022-11-23 22:47:46 -08:00
FunctionPropertiesAnalysis.cpp
[FunctionPropertiesAnalysis] Add CFG and call properties
2023-08-25 15:02:09 -07:00
GlobalsModRef.cpp
[AA] Skip the layer of indirection in returning conservative results.
2023-07-28 12:13:35 -07:00
GuardUtils.cpp
[NFC][GuardUtils] Add util to extract widenable conditions
2023-08-18 17:36:05 +02:00
HeatUtils.cpp
[iwyu] Move <cmath> out of llvm/Support/MathExtras.h
2022-09-28 20:49:01 +02:00
ImportedFunctionsInliningStatistics.cpp
[Inliner] Move cl::opt inside llvm::
2022-11-24 20:31:13 -08:00
IndirectCallPromotionAnalysis.cpp
…
InlineAdvisor.cpp
[llvm] Add missing StringExtras.h includes
2023-06-25 15:42:22 +01:00
InlineCost.cpp
[Analysis] Fix a comment typo (NFC)
2023-08-25 13:18:57 -07:00
InlineOrder.cpp
Fix typo in module inliner priority flag
2023-08-16 12:26:06 -04:00
InlineSizeEstimatorAnalysis.cpp
[NFC] Cleanup: Remove instances of Function::getBasicBlockList()
2022-12-15 13:08:25 -08:00
InstCount.cpp
…
InstructionPrecedenceTracking.cpp
[llvm] Use *{Map,Set}::contains (NFC)
2023-03-15 18:06:32 -07:00
InstructionSimplify.cpp
InstSimplify: Handle folding fcmp with literal nans without a context instruction
2023-09-02 10:22:09 -04:00
InteractiveModelRunner.cpp
Reapply 9cffabc68ca380be937e192be909feff7b144822
2023-02-02 08:44:39 -08:00
Interval.cpp
…
IntervalPartition.cpp
…
IRSimilarityIdentifier.cpp
Use Dense{Map,Set}::contains (NFC)
2023-03-29 23:01:11 -07:00
IVDescriptors.cpp
[llvm] Fix duplicate word typos. NFC
2023-09-01 18:25:16 -07:00
IVUsers.cpp
[IVUsers] Check getExpr result in findAddRecForLoop.
2023-07-20 14:56:19 +01:00
LazyBlockFrequencyInfo.cpp
…
LazyBranchProbabilityInfo.cpp
…
LazyCallGraph.cpp
Move from llvm::makeArrayRef to ArrayRef deduction guides - llvm/ part
2023-01-05 14:11:08 +01:00
LazyValueInfo.cpp
[JumpThreading][NFC] Improved access to LazyValueInfoImpl.
2023-09-04 11:50:14 +08: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
Detemplate llvm::EmitGEPOffset and move it into a cpp file. NFC.
2022-12-29 16:24:21 +01:00
LoopAccessAnalysis.cpp
[LoopVectorize] Allow inner loop runtime checks to be hoisted above an outer loop
2023-08-24 12:14:02 +00:00
LoopAnalysisManager.cpp
[Analysis] Use std::optional in LoopAnalysisManager.cpp (NFC)
2022-11-25 10:28:54 -08:00
LoopCacheAnalysis.cpp
[SCEV] When computing trip count, only zext if necessary
2023-04-10 19:40:52 -07:00
LoopInfo.cpp
[LoopInfo] Move generic LoopInfo into own files
2023-04-24 06:07:05 +00:00
LoopNestAnalysis.cpp
[Analysis] llvm::Optional => std::optional
2022-12-14 07:32:24 +00:00
LoopPass.cpp
Use PassGate from LLVMContext if any otherwise global one
2022-11-25 15:13:04 +07:00
LoopUnrollAnalyzer.cpp
…
MemDerefPrinter.cpp
[Passes] Remove some legacy printer passes
2023-06-13 13:18:48 -07:00
MemoryBuiltins.cpp
[InstSimplify] Fold all global variables with initializers
2023-07-03 15:11:41 -06:00
MemoryDependenceAnalysis.cpp
Revert "[GVN] Support address translation through select instructions"
2023-02-27 12:57:59 +03: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] Fix build error concerning ScalarShape.
2023-04-27 23:52:36 +00:00
ModelUnderTrainingRunner.cpp
[Analysis] llvm::Optional => std::optional
2022-12-14 07:32:24 +00:00
ModuleDebugInfoPrinter.cpp
[Passes] Remove some legacy printer passes
2023-06-13 13:18:48 -07:00
ModuleSummaryAnalysis.cpp
[ThinLTO] Mark callers of local ifunc not eligible for import
2023-08-29 12:26:40 -07: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
[YAML] Convert Optional to std::optional
2022-12-06 12:49:32 -08:00
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
[Analysis] Refactor MBB hotness/coldness into templated PSI functions.
2023-06-28 22:32:52 -07:00
PtrUseVisitor.cpp
…
RegionInfo.cpp
…
RegionPass.cpp
Use PassGate from LLVMContext if any otherwise global one
2022-11-25 15:13:04 +07:00
RegionPrinter.cpp
…
ReplayInlineAdvisor.cpp
[Analysis] llvm::Optional => std::optional
2022-12-14 07:32:24 +00:00
ScalarEvolution.cpp
[SCEV] Fix potentially empty set for unsigned ranges
2023-09-04 10:46:53 +01:00
ScalarEvolutionAliasAnalysis.cpp
[ScalarEvolution][NFC] Typo fix
2023-07-31 20:16:15 +03: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
Support atomic write operations in stack safety
2023-08-31 15:41:08 -07:00
StructuralHash.cpp
[IR] Add SturcturalHash printer pass
2023-08-29 18:59:52 -07:00
SyntheticCountsUtils.cpp
…
TargetLibraryInfo.cpp
[NFC][TLI] Replace std::lower_bound call in getLibFunc with DenseMap lookup
2023-08-15 22:37:18 +05:30
TargetTransformInfo.cpp
[CostModel] Use min/max intrinsics for vecreduce.min/max costs
2023-07-04 15:02:30 +01:00
TensorSpec.cpp
Fix "not all control paths return a value" introduced by D142642
2023-01-27 17:59:05 -08:00
TFLiteUtils.cpp
[Analysis] llvm::Optional => std::optional
2022-12-14 07:32:24 +00:00
Trace.cpp
…
TrainingLogger.cpp
[mlgo] Allow logging the spec for the "advice", if needed
2023-02-01 10:24:38 -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
[ValueLattice] Fix typo in condition (NFC)
2022-11-02 17:52:13 +01:00
ValueLatticeUtils.cpp
…
ValueTracking.cpp
ValueTracking: exp10 does not introduce poison
2023-09-01 20:23:45 -04:00
VectorUtils.cpp
[LV] Complete load groups and release store groups. Try 2.
2023-08-08 18:10:23 -04:00
VFABIDemangling.cpp
[Analysis] llvm::Optional => std::optional
2022-12-14 07:32:24 +00:00