shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
45,792 Commits 1,713 Branches 298 Tags
Commit Graph

45792 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ted Kremenek
f7faa42c6c Fix caching bug. 
llvm-svn: 53759
 2008-07-18 17:39:56 +00:00
Ted Kremenek
3b2294c7e6 Add panic support for NSAssertionHandler. 
llvm-svn: 53758
 2008-07-18 17:24:20 +00:00
Dan Gohman
29c3adaae0 Revert r53735. It broke SPEC 464.h264ref. 
llvm-svn: 53757
 2008-07-18 16:44:49 +00:00
Daniel Dunbar
155ed24359 Prevent clang from emitting output when input has errors 
+ test case
<rdar://problem/6080040>
http://llvm.org/bugs/show_bug.cgi?id=2280

llvm-svn: 53756
 2008-07-18 16:38:05 +00:00
Ted Kremenek
d785465167 Add panic function. 
llvm-svn: 53755
 2008-07-18 16:28:33 +00:00
Ted Kremenek
36f6b04295 Fix 80 col violation 
llvm-svn: 53754
 2008-07-18 15:59:33 +00:00
Ted Kremenek
b1c91bfc45 Fix regression by explicitly checking if we are negating a SymIntConstantVal. 
llvm-svn: 53753
 2008-07-18 15:54:51 +00:00
Ted Kremenek
6a62d908c3 Improve path-sensitivity when using the logical not operator. 
llvm-svn: 53752
 2008-07-18 15:46:06 +00:00
Ted Kremenek
91614e6fe6 Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is unfortunately needed because virtual methods with the same name can be hidden by subclasses. 
llvm-svn: 53751
 2008-07-18 15:27:58 +00:00
Ted Kremenek
8d6b42e096 Created ValueStateSet class to manage the creation of multiple states by a method. 
Modified the new EvalBinOpNN to generate states instead of nodes.  This is a much simpler interface and is what clients will want to do.

llvm-svn: 53750
 2008-07-18 05:53:58 +00:00
Chris Lattner
eee1f57cea verify limits-fndefn.c from the GCC testsuite before the 
heat death of the universe, fixing an O(N^2) problem in the
size of a basic block.

llvm-svn: 53749
 2008-07-18 05:23:39 +00:00
Ted Kremenek
072429320a Remove dead method. 
llvm-svn: 53748
 2008-07-18 04:55:41 +00:00
Mon P Wang
194c58f56d Add support shufpd 
llvm-svn: 53747
 2008-07-18 00:14:09 +00:00
Dan Gohman
0ece943845 Re-introduce LeakDetector support for MachineInstrs and MachineBasicBlocks. 
Fix a leak that this turned up in LowerSubregs.cpp.
And, comment a leak in LiveIntervalAnalysis.cpp.

llvm-svn: 53746
 2008-07-17 23:49:46 +00:00
Ted Kremenek
e330aacbed Update signature of EvalAssume. 
llvm-svn: 53745
 2008-07-17 23:33:10 +00:00
Ted Kremenek
2fe3afca04 Provide static methods in BinaryOperator to determine if an opcode is an equality opcode, a relational opcode, or a logical opcode. 
llvm-svn: 53744
 2008-07-17 23:24:36 +00:00
Ted Kremenek
9c32a1ecf5 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. 
llvm-svn: 53743
 2008-07-17 23:15:45 +00:00
Ted Kremenek
9976888190 Added headers 
llvm-svn: 53742
 2008-07-17 22:41:39 +00:00
Ted Kremenek
a79d9a9c79 Remove redundant logic. 
llvm-svn: 53740
 2008-07-17 21:36:43 +00:00
Ted Kremenek
bc9118b165 Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of the methods only return an RVal; we want them to be able to create an arbitrary number of states. 
llvm-svn: 53739
 2008-07-17 21:27:31 +00:00
Dan Gohman
7168de7872 When printing MemOperand nodes, only use print() for 
PseudoSourceValue values, which never have names. Use getName()
for all other values, because we want to print just a short summary
of the value, not the entire instruction.

llvm-svn: 53738
 2008-07-17 21:12:16 +00:00
Daniel Dunbar
1f32c759dc Fix for codegen crash on multibit bool bitfield initialization 
<rdar://problem/6078606>

llvm-svn: 53737
 2008-07-17 21:07:48 +00:00
Owen Anderson
fd7102037d Use MergeBlockIntoPredecessor to simplify some code. 
llvm-svn: 53735
 2008-07-17 20:00:46 +00:00
Evan Cheng
cefd6e62fa Subreg live interval valno may not have a corresponding def machineinstr since it's less precise. 
llvm-svn: 53734
 2008-07-17 19:48:53 +00:00
Evan Cheng
c5add64f0a Add nounwind. 
llvm-svn: 53733
 2008-07-17 19:48:04 +00:00
Daniel Dunbar
e086221da2 test commit access 
llvm-svn: 53732
 2008-07-17 19:46:54 +00:00
Owen Anderson
27405efdc0 Make MergeBlockIntoPredecessor more aggressive when the same successor appears 
more than once.

llvm-svn: 53731
 2008-07-17 19:42:29 +00:00
Owen Anderson
addbe3eed1 Enable PRE. My last batch of changes fixed the miscompile. 
llvm-svn: 53730
 2008-07-17 19:41:00 +00:00
Duncan Sands
656b256a1a Use a legal type for elements of the vector_shuffle 
mask.  These are just indices into the shuffled vector
so their type is unrelated to the type of the
shuffled elements (which is what was being used before).
This fixes vec_shuffle-11.ll when using LegalizeTypes.
What seems to have happened is that Dan's recent change
r53687, which corrected the result type of the shuffle,
somehow caused LegalizeTypes to notice that the mask
operand was a BUILD_VECTOR with a legal type but elements
of an illegal type (i64).  LegalizeTypes legalized this
by introducing a new BUILD_VECTOR of i32 and bitcasting
it to the old type.  But the mask operand is not supposed
to be a bitcast but a straight BUILD_VECTOR of constants,
causing a crash.

llvm-svn: 53729
 2008-07-17 19:28:41 +00:00
Dan Gohman
1705968102 Add a new function, ReplaceAllUsesOfValuesWith, which handles bulk 
replacement of multiple values. This is slightly more efficient
than doing multiple ReplaceAllUsesOfValueWith calls, and theoretically
could be optimized even further. However, an important property of this
new function is that it handles the case where the source value set and
destination value set overlap. This makes it feasible for isel to use
SelectNodeTo in many very common cases, which is advantageous because
SelectNodeTo avoids a temporary node and it doesn't require CSEMap
updates for users of values that don't change position.

Revamp MorphNodeTo, which is what does all the work of SelectNodeTo, to
handle operand lists more efficiently, and to correctly handle a number
of corner cases to which its new wider use exposes it.

This commit also includes a change to the encoding of post-isel opcodes
in SDNodes; now instead of being sandwiched between the target-independent
pre-isel opcodes and the target-dependent pre-isel opcodes, post-isel
opcodes are now represented as negative values. This makes it possible
to test if an opcode is pre-isel or post-isel without having to know
the size of the current target's post-isel instruction set.

These changes speed up llc overall by 3% and reduce memory usage by 10%
on the InstructionCombining.cpp testcase with -fast and -regalloc=local.

llvm-svn: 53728
 2008-07-17 19:10:17 +00:00
Evan Cheng
d8c156e8be Indentation. 
llvm-svn: 53727
 2008-07-17 18:41:20 +00:00
Ted Kremenek
88a6b7fa80 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. 
llvm-svn: 53726
 2008-07-17 18:38:48 +00:00
Ted Kremenek
9ace803308 We now build universal binaries of the checker. 
llvm-svn: 53725
 2008-07-17 18:35:12 +00:00
Argyrios Kyrtzidis
ef34aed1f9 Unify ctx_iterator/ctx_begin()/ctx_end() and iterator/begin()/end() so that a single iterator type is used for both traversing decls of the same declaration context *and* of the parent declaration contexts, depending on the value of the bool parameter 'LookInParentCtx' that is passed to IdentifierResolver::begin(). 
llvm-svn: 53724
 2008-07-17 17:49:50 +00:00
Duncan Sands
7e5edf1a1f LegalizeTypes support for what seems to be the 
only missing ppc long double operations: FNEG
and FP_EXTEND.

llvm-svn: 53723
 2008-07-17 17:35:14 +00:00
Nate Begeman
3851e29e20 Remove unnecessary readme entry 
llvm-svn: 53722
 2008-07-17 17:21:14 +00:00
Duncan Sands
d9256a7ceb Turn LegalizeTypes back off again for the moment: 
it is breaking Darwin bootstrap due to missing
functionality.

llvm-svn: 53721
 2008-07-17 17:06:03 +00:00
Nate Begeman
3a2147aa97 Fix a typo in last commit 
llvm-svn: 53720
 2008-07-17 17:04:58 +00:00
Nate Begeman
55b7becb29 SSE codegen for vsetcc nodes 
llvm-svn: 53719
 2008-07-17 16:51:19 +00:00
Matthijs Kooijman
8b69d77a7a Make GlobalOpt preserve address spaces when scalar replacing aggregate globals. 
llvm-svn: 53716
 2008-07-17 11:59:53 +00:00
Chris Lattner
c600c53d1f Fix PR2553 
llvm-svn: 53715
 2008-07-17 06:07:20 +00:00
Mon P Wang
1e2c6bfa41 When lowering certain atomics, we need to copy the memoperand from the old 
atomic operation to the new one.

llvm-svn: 53714
 2008-07-17 04:54:06 +00:00
Duncan Sands
77a3d05f1e Factorize some code for determining which libcall to use. 
llvm-svn: 53713
 2008-07-17 02:36:29 +00:00
Evan Cheng
97cd0298cc Inliner tweak. Function calls should cost more than one instruction! 
llvm-svn: 53712
 2008-07-17 01:31:49 +00:00
Owen Anderson
c062381c7b Factor MergeBlockIntoPredecessor out into BasicBlockUtils. 
llvm-svn: 53705
 2008-07-17 00:01:40 +00:00
Steve Naroff
97adf60418 RewriteObjC::SynthMessageExpr(): Fix super rewrite (a fairly recent regression). 
Fixes <rdar://problem/6046663> clang ObjC rewriter: Regression in handling of 'super' in latest build.

llvm-svn: 53703
 2008-07-16 22:35:27 +00:00
Argyrios Kyrtzidis
bd25998a45 When in C++, make EnumConstant names hide tag names in the same scope, instead of colliding with them. 
llvm-svn: 53702
 2008-07-16 21:01:53 +00:00
Devang Patel
41cfed7e49 Name string length is end position marker - begin position marker. 
llvm-svn: 53697
 2008-07-16 19:49:09 +00:00
Steve Naroff
d7ebc05476 Remove a FIXME from RewriteObjC::RewriteObjCSynchronizedStmt(). 
llvm-svn: 53696
 2008-07-16 19:47:39 +00:00
Steve Naroff
8dd1525b9a RewriteObjC::Initialize(): add function decls used by @synchronized. 
This fixes <rdar://problem/6040143> clang ObjC rewriter: @synchronized keyword inserts undeclared objc functions.

llvm-svn: 53695
 2008-07-16 18:58:11 +00:00