maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
85,904 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

14315 Commits

Author SHA1 Message Date
Chris Lattner 6c5abe88bf Implement rdar://7530813 - collapse multiple GEP instructions in IRgen 
This avoids generating two gep's for common array operations.  Before
we would generate something like:

  %tmp = load i32* %X.addr                        ; <i32> [#uses=1]
  %arraydecay = getelementptr inbounds [100 x i32]* %A, i32 0, i32 0 ; <i32*> [#uses=1]
  %arrayidx = getelementptr inbounds i32* %arraydecay, i32 %tmp ; <i32*> [#uses=1]
  %tmp1 = load i32* %arrayidx                     ; <i32> [#uses=1]

Now we generate:

  %tmp = load i32* %X.addr                        ; <i32> [#uses=1]
  %arrayidx = getelementptr inbounds [100 x i32]* %A, i32 0, i32 %tmp ; <i32*> [#uses=1]
  %tmp1 = load i32* %arrayidx                     ; <i32> [#uses=1]

Less IR is better at -O0.

llvm-svn: 106966
 2010-06-26 23:03:20 +00:00
Ted Kremenek f00eac5cff Allow '__extension__' to be analyzed in a lvalue context. 
llvm-svn: 106964
 2010-06-26 22:40:52 +00:00
Chris Lattner 57ce97151f minor cleanup: don't emit the base of an array subscript until after 
we're done diddling around with the index stuff.  Use a cheaper type
comparison.

llvm-svn: 106963
 2010-06-26 22:40:46 +00:00
Chris Lattner 431bef4409 fix inc/dec to honor -fwrapv and -ftrapv, implementing PR7426. 
llvm-svn: 106962
 2010-06-26 22:18:28 +00:00
Chris Lattner 05dc78c096 move scalar inc/dec codegen into ScalarExprEmitter instead 
of being in CGF.  No functionality change.

llvm-svn: 106961
 2010-06-26 22:09:34 +00:00
Chris Lattner fa20e95043 use more efficient type comparison predicates. 
llvm-svn: 106958
 2010-06-26 21:52:32 +00:00
Chris Lattner 0bf27620f0 Fix unary minus to trap on overflow with -ftrapv, refactoring binop 
code so we can use it from VisitUnaryMinus.

llvm-svn: 106957
 2010-06-26 21:48:21 +00:00
Chris Lattner 51924e517b Implement support for -fwrapv, rdar://7221421 
As part of this, pull together trapv handling into the same enum.

This also add support for NSW multiplies.

This also makes PCH disagreement on overflow behavior silent, since it
really doesn't matter except for warnings and codegen (no macros get 
defined etc).

llvm-svn: 106956
 2010-06-26 21:25:03 +00:00
Chris Lattner 217e056e40 implement rdar://7432000 - signed negate should codegen as NSW. 
While I'm in there, adjust pointer to member adjustments as well.

llvm-svn: 106955
 2010-06-26 20:27:24 +00:00
Chris Lattner 30c924b3e8 Implement support for #pragma message, patch by Michael Spencer! 
llvm-svn: 106950
 2010-06-26 17:11:39 +00:00
Anders Carlsson 04775f8413 Change EmitReferenceBindingToExpr to take a decl instead of a boolean. 
llvm-svn: 106949
 2010-06-26 16:35:32 +00:00
Anders Carlsson 709ef8e46c Add function for mangling reference temporaries. 
llvm-svn: 106948
 2010-06-26 16:09:40 +00:00
Charles Davis f4db33cbdf Mangle pointer and (lvalue) reference types in the Microsoft C++ Mangler. 
Also, fix mangling of throw specs. Turns out MSVC totally ignores throw
specs when mangling names.

llvm-svn: 106937
 2010-06-26 03:50:05 +00:00
Bob Wilson f11a38dcce Add a missing dependency to try to fix a buildbot failure. 
It complained with:

llvm[5]: Building Clang arm_neon.h.inc with tblgen
cp: cannot create regular file `/build/buildbot-llvm/clang-x86_64-linux-selfhost-rel/llvm.obj.2/Release/lib/clang/2.0/include/arm_neon.h': No such file or directory

llvm-svn: 106922
 2010-06-26 00:03:23 +00:00
Ted Kremenek 58f61ec1de Relax assertion since non-pod C++ classes are not aggregates, but still can appear in this context. 
llvm-svn: 106919
 2010-06-25 23:51:38 +00:00
Jordy Rose c3bcc36a0b When a constant size array is casted to another type, its length should be scaled as well. 
llvm-svn: 106911
 2010-06-25 23:23:04 +00:00
Ted Kremenek abb1f91325 Use TypeSourceInfo to help determine the SourceRange of a CXXNewExpr. This fixes several 
cases where we generated an invalid SourceRange for this expression.  Thanks to John McCall
for helping me figure this out.

llvm-svn: 106903
 2010-06-25 22:48:49 +00:00
Ted Kremenek fe97a1ac65 Add "checker caching" to GRExprEngine::CheckerVisit to progressively build 
a winowed list of checkers that actually do something for a given StmtClass.
As the number of checkers grows, this may potentially significantly reduce
the number of checkers called at any one time.  My own measurements show that
for the ~20 registered Checker objects, only ~5 of them respond at any one time
to a give statement.  While this isn't a net performance win right now (there
is a minor slowdown on sqlite.3) this improvement does greatly improve debugging
when stepping through the checkers used to evaluate a given statement.

llvm-svn: 106884
 2010-06-25 20:59:31 +00:00
Ted Kremenek 76abf19ea6 Fix -analyze-display-progress (once again), this time with an additional regression test. 
llvm-svn: 106883
 2010-06-25 20:59:24 +00:00
Fariborz Jahanian b66b08ef01 Minor change to my last patch to fix PR7490. 
llvm-svn: 106875
 2010-06-25 20:01:13 +00:00
Eric Christopher 17c7b89054 Translate numbers properly. 
llvm-svn: 106873
 2010-06-25 19:04:52 +00:00
Fariborz Jahanian d5202e0926 IRGen for trivial initialization of dynamiccaly allocated 
array of other done c++ objects. Fixes PR7490.

llvm-svn: 106869
 2010-06-25 18:26:07 +00:00
Tom Care 375387d1f8 Change RegionStoreManager::Retrieve to infer the type of a symbolic region from the context when it is not already available. 
llvm-svn: 106868
 2010-06-25 18:22:31 +00:00
Daniel Dunbar 283fe3d07a build: Get CLANG_VERSION from Version.inc instead of depending on VER file directly. 
llvm-svn: 106864
 2010-06-25 17:33:49 +00:00
Argyrios Kyrtzidis b1d38e3f4a Support NonTypeTemplateParmDecl for PCH. 
llvm-svn: 106860
 2010-06-25 16:25:09 +00:00
Argyrios Kyrtzidis 03e5e0467c Make PCHWriter::FlushStmts() robust. If we added null Stmts, reading them back got messed up. 
llvm-svn: 106859
 2010-06-25 16:25:02 +00:00
Argyrios Kyrtzidis f0f7a792d7 Support DependentTemplateSpecializationType and ElaboratedType for PCH. 
llvm-svn: 106858
 2010-06-25 16:24:58 +00:00
Argyrios Kyrtzidis dc9ca0afa8 Add forgotten breaks in case statements. 
llvm-svn: 106857
 2010-06-25 16:24:51 +00:00
Argyrios Kyrtzidis 58e01ad26f Support UnresolvedLookupExpr for PCH. 
llvm-svn: 106832
 2010-06-25 09:03:34 +00:00
Argyrios Kyrtzidis b8d3c63820 Support UnresolvedMemberExpr for PCH. 
llvm-svn: 106831
 2010-06-25 09:03:26 +00:00
Argyrios Kyrtzidis 6ba1bb5dec Print source location when we encounter unhandled statement during PCH writing. 
llvm-svn: 106830
 2010-06-25 09:03:12 +00:00
Chandler Carruth f40c42f2cd Implement dependent alignment attribute support. This is a bit gross given the 
current attribute system, but it is enough to handle class templates which
specify parts of their alignment in terms of their template parameters.

This also replaces the attributes test in SemaTemplate with one that actually
tests working attributes instead of broken ones. I plan to add more tests here
for non-dependent attributes in a subsequent patch.

Thanks to John for walking me through some of this. =D

llvm-svn: 106818
 2010-06-25 03:22:07 +00:00
Fariborz Jahanian ad356a14f9 Add comment for my last patch. 
llvm-svn: 106813
 2010-06-25 00:05:45 +00:00
John Thompson ceebdf1fc6 Fixed another double-char in PPC-specific asm constraints. 
llvm-svn: 106812
 2010-06-25 00:02:05 +00:00
John Thompson 07a61a41c8 Added PPC-specific asm constraints, PS3 configuration changes. 
llvm-svn: 106806
 2010-06-24 22:44:13 +00:00
Eric Christopher ca10da8839 Remove HAS_TLS define. 
llvm-svn: 106786
 2010-06-24 20:41:41 +00:00
Fariborz Jahanian 4f9c9d6591 Fixes a regression when redeclaration of a global satic 
is an extern local to a function. Radar 8125274.

llvm-svn: 106773
 2010-06-24 18:50:41 +00:00
Ted Kremenek 87f475a329 Return null pointer instead of 'false' (fixes clang warning). 
llvm-svn: 106755
 2010-06-24 16:26:12 +00:00
Zhongxing Xu facf8a8e74 Add check for illegal whence argument of fseek. 
llvm-svn: 106742
 2010-06-24 13:36:41 +00:00
Zhongxing Xu a7e5dd6c3a Should return stateNotNull. 
llvm-svn: 106741
 2010-06-24 13:09:02 +00:00
Zhongxing Xu ae45144d81 Let StreamChecker::CheckNullStream() return a GRState after successful check. 
llvm-svn: 106738
 2010-06-24 12:52:28 +00:00
Argyrios Kyrtzidis bfcacee9b3 Support a couple more C++ Exprs for PCH. 
llvm-svn: 106727
 2010-06-24 08:57:31 +00:00
Argyrios Kyrtzidis 30d98f3d9e Fix broken de/serialization for a couple of C++ Exprs. 
llvm-svn: 106726
 2010-06-24 08:57:09 +00:00
Eric Christopher 03256c32ff More clang support for darwin tls. Add a __has_feature macro and 
target specific preprocessor define as well.

llvm-svn: 106715
 2010-06-24 02:02:00 +00:00
Fariborz Jahanian 9b5528d278 Patch to correctly mangle block helper functions 
when block literal is declared inside a ctor/dtor.
Fixes radr 8096995.

llvm-svn: 106700
 2010-06-24 00:08:06 +00:00
Ted Kremenek 574f304631 Add 'VisitEndAnalysis' callback to Checker class. This callback is called by GRExprEngine 
when the worklist algorithm has terminated.  This allows some checkers to do a post-analysis
phase after all paths have been analyzed.

llvm-svn: 106689
 2010-06-23 22:08:00 +00:00
Duncan Sands d3e231eb3c Add parentheses suggested by gcc. 
llvm-svn: 106668
 2010-06-23 19:34:52 +00:00
Daniel Dunbar a99a3c108f Driver: Add make variable to allow disabling default integrated assembler, till 
all the kinks are worked out.

llvm-svn: 106641
 2010-06-23 18:15:13 +00:00
Argyrios Kyrtzidis 818c5db054 Support C++ class template specializations and partial specializations for PCH. 
llvm-svn: 106625
 2010-06-23 13:48:30 +00:00
Argyrios Kyrtzidis fe6ba881b6 Modify ClassTemplateSpecializationDecl and ClassTemplatePartialSpecializationDecl to allow PCH read/write. 
llvm-svn: 106624
 2010-06-23 13:48:23 +00:00