llvm-mirror

mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 20:23:11 +01:00

History

Nick Lewycky e30c07ab2b Add C++ global operator {new,new[],delete,delete[]}(unsigned {int,long}) to the memory builtins as equivalent to malloc/free. This is different from any attribute we have. For example, you can delete the allocators when their result is unused, but you can't collapse two calls to the same function, even if no global/memory state has changed in between. The noalias return states that the result does not alias any other pointer, but instcombine optimizes malloc() as though the result is non-null for the purpose of eliminating unused pointers. llvm-svn: 127673		2011-03-15 07:31:32 +00:00
..
IPA	Use the new addEscapingValue callback to update GlobalsModRef when GVN adds PHIs of GEPs. For the moment,	2011-01-03 23:51:43 +00:00
AliasAnalysis.cpp	Stub out a new updating interface to AliasAnalysis, allowing stateful analyses to be informed when	2011-01-03 21:38:41 +00:00
AliasAnalysisCounter.cpp
AliasAnalysisEvaluator.cpp
AliasDebugger.cpp
AliasSetTracker.cpp
Analysis.cpp	Delete the LiveValues pass. I won't get get back to the project it	2011-02-28 19:37:59 +00:00
BasicAliasAnalysis.cpp	Give GetUnderlyingObject a TargetData, to keep it in sync	2011-01-24 18:53:32 +00:00
CaptureTracking.cpp
CFGPrinter.cpp
CMakeLists.txt	Unbreak CMake build.	2011-03-01 00:02:51 +00:00
ConstantFolding.cpp	convert ConstantVector::get to use ArrayRef.	2011-02-15 00:14:00 +00:00
DbgInfoPrinter.cpp	Move DbgInfoPrinter specific utlities inside DbgInfoPrinter.cpp	2011-02-15 17:36:11 +00:00
DebugInfo.cpp	Remove DIFactory. Patch by Devang.	2011-03-02 20:30:37 +00:00
DIBuilder.cpp	Today, the language front ends produces llvm.dbg.* intrinsics, used to encode arguments' debug info, in order any way, most of the times. However, if a front end mix-n-matches llvm.dbg.declare and llvm.dbg.value intrinsics to encode debug info for arguments then code generator needs a way to find argument order.	2011-03-01 22:58:13 +00:00
DominanceFrontier.cpp	Move DominanceFrontier from VMCore to Analysis.	2011-01-18 06:06:27 +00:00
DomPrinter.cpp	split dom frontier handling stuff out to its own DominanceFrontier header,	2011-01-02 22:09:33 +00:00
InlineCost.cpp	Remove premature optimization that avoided calculating argument weights	2011-02-06 21:27:46 +00:00
InstCount.cpp
InstructionSimplify.cpp	Fix two cases I forgot to update when doing a mental "getSwappedPredicate".	2011-03-09 08:20:06 +00:00
Interval.cpp
IntervalPartition.cpp
IVUsers.cpp	split dom frontier handling stuff out to its own DominanceFrontier header,	2011-01-02 22:09:33 +00:00
LazyValueInfo.cpp	Teach LazyValueInfo that allocas aren't NULL. Over all of llvm-test, this saves	2011-01-15 09:16:12 +00:00
LibCallAliasAnalysis.cpp
LibCallSemantics.cpp
Lint.cpp	Give GetUnderlyingObject a TargetData, to keep it in sync	2011-01-24 18:53:32 +00:00
Loads.cpp	Move Value::getUnderlyingObject to be a standalone	2010-12-15 20:02:24 +00:00
LoopDependenceAnalysis.cpp	split dom frontier handling stuff out to its own DominanceFrontier header,	2011-01-02 22:09:33 +00:00
LoopInfo.cpp
LoopPass.cpp	Introduce DebugInfoProbe. This is used to monitor how llvm optimizer is treating debugging information.	2011-03-10 00:21:25 +00:00
Makefile
MemDepPrinter.cpp
MemoryBuiltins.cpp	Add C++ global operator {new,new[],delete,delete[]}(unsigned {int,long}) to the	2011-03-15 07:31:32 +00:00
MemoryDependenceAnalysis.cpp	Give GetUnderlyingObject a TargetData, to keep it in sync	2011-01-24 18:53:32 +00:00
ModuleDebugInfoPrinter.cpp
NoAliasAnalysis.cpp	Use the new addEscapingValue callback to update GlobalsModRef when GVN adds PHIs of GEPs. For the moment,	2011-01-03 23:51:43 +00:00
PathNumbering.cpp	Implementation of path profiling.	2011-01-29 01:09:53 +00:00
PathProfileInfo.cpp	Implementation of path profiling.	2011-01-29 01:09:53 +00:00
PathProfileVerifier.cpp	Implementation of path profiling.	2011-01-29 01:09:53 +00:00
PHITransAddr.cpp	split dom frontier handling stuff out to its own DominanceFrontier header,	2011-01-02 22:09:33 +00:00
PostDominators.cpp	split dom frontier handling stuff out to its own DominanceFrontier header,	2011-01-02 22:09:33 +00:00
ProfileEstimatorPass.cpp	fix PR8928 by clearing a stale map, patch by Jakub Staszak!	2011-01-24 18:36:51 +00:00
ProfileInfo.cpp	Null initialize a few variables flagged by	2011-01-23 17:05:06 +00:00
ProfileInfoLoader.cpp
ProfileInfoLoaderPass.cpp
ProfileVerifierPass.cpp
README.txt
RegionInfo.cpp	Add single entry / single exit accessors.	2011-01-13 23:18:04 +00:00
RegionPass.cpp
RegionPrinter.cpp	RegionPrinter: Ignore back edges when layouting the graph	2011-02-27 04:11:07 +00:00
ScalarEvolution.cpp	Remove getMinusSCEVForExitTest().	2011-03-15 01:16:14 +00:00
ScalarEvolutionAliasAnalysis.cpp
ScalarEvolutionExpander.cpp	Added SCEV::NoWrapFlags to manage unsigned, signed, and self wrap	2011-03-14 16:50:06 +00:00
ScalarEvolutionNormalization.cpp	Added SCEV::NoWrapFlags to manage unsigned, signed, and self wrap	2011-03-14 16:50:06 +00:00
SparsePropagation.cpp
Trace.cpp
TypeBasedAliasAnalysis.cpp	Update a comment.	2010-12-16 02:55:10 +00:00
ValueTracking.cpp	Teach ComputeMaskedBits about sub nsw.	2011-03-12 17:18:11 +00:00

README.txt

Analysis Opportunities:

//===---------------------------------------------------------------------===//

In test/Transforms/LoopStrengthReduce/quadradic-exit-value.ll, the
ScalarEvolution expression for %r is this:

  {1,+,3,+,2}<loop>

Outside the loop, this could be evaluated simply as (%n * %n), however
ScalarEvolution currently evaluates it as

  (-2 + (2 * (trunc i65 (((zext i64 (-2 + %n) to i65) * (zext i64 (-1 + %n) to i65)) /u 2) to i64)) + (3 * %n))

In addition to being much more complicated, it involves i65 arithmetic,
which is very inefficient when expanded into code.

//===---------------------------------------------------------------------===//

In formatValue in test/CodeGen/X86/lsr-delayed-fold.ll,

ScalarEvolution is forming this expression:

((trunc i64 (-1 * %arg5) to i32) + (trunc i64 %arg5 to i32) + (-1 * (trunc i64 undef to i32)))

This could be folded to

(-1 * (trunc i64 undef to i32))

//===---------------------------------------------------------------------===//