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

41304 Commits

Author SHA1 Message Date
Ted Kremenek f7146ca3bc Added support for attribute "noreturn." 
llvm-svn: 47689
 2008-02-27 20:43:06 +00:00
Evan Cheng 3d17e4c427 This is done. 
llvm-svn: 47688
 2008-02-27 20:26:32 +00:00
Evan Cheng fdc732ab9a Fix a bug in dead spill slot elimination. 
llvm-svn: 47687
 2008-02-27 19:57:11 +00:00
Dan Gohman e5e32ec8f7 Remove the `else', at Evan's insistence. 
llvm-svn: 47686
 2008-02-27 19:44:57 +00:00
Ted Kremenek fef05fae67 Small tweaks to the transfer function for DeclStmt: do not mark external global 
variables as uninitialized, and only "initialize" static function variables.

llvm-svn: 47683
 2008-02-27 19:21:33 +00:00
Lauro Ramos Venancio e1938405fa Disable internalize. Unfortunately, the configure scripts are not ready for some link time optimizations. 
llvm-svn: 47682
 2008-02-27 18:46:32 +00:00
Ted Kremenek 41dd9d0bee Removed VarDecl::hasStaticStorage() (redundant with hasGlobalStorage()) 
Removed VarDecl::hasAutoStorage() (only used by hasLocalStorage())

Merged logic from VarDecl::hasAutoStorage() into VarDecl::hasLocalStorage(),
and expanded (fixed) the logic of hasLocalStorage() to handle Extern and PrivateExtern.

Renamed Expr::hasStaticStorage() to Expr::hasGlobalStorage().

llvm-svn: 47681
 2008-02-27 18:39:48 +00:00
Dan Gohman 61377a3dc8 Add -analyze support to postdomtree. 
llvm-svn: 47680
 2008-02-27 18:38:29 +00:00
Ted Kremenek fd8352c2b9 Added string "[CHECKER]" to the output diagnostics produced by the GRSimpleVals analysis. 
llvm-svn: 47678
 2008-02-27 17:56:16 +00:00
Chris Lattner 3df31ba41b actually run llc, thanks Dan :) 
llvm-svn: 47677
 2008-02-27 17:46:54 +00:00
Duncan Sands ef40c5b204 Add a FIXME about the VECTOR_SHUFFLE evil hack. 
llvm-svn: 47676
 2008-02-27 17:39:13 +00:00
Ted Kremenek 40d876376d Fixed edge-case in CFG construction where goto jumps would not always get 
properly back-patched.

llvm-svn: 47675
 2008-02-27 17:33:02 +00:00
Lauro Ramos Venancio 14241b29b2 Emit an error when a library is not found. It is the GNU ld behavior and it is expected by the configure scripts. 
llvm-svn: 47674
 2008-02-27 17:20:32 +00:00
Lauro Ramos Venancio 7143697def A, q and Z are valid LLVM inline asm constraints. 
Fix regression in Applications/ClamAV/clamscan.

llvm-svn: 47673
 2008-02-27 16:53:36 +00:00
Duncan Sands e158a82f26 LegalizeTypes support for EXTRACT_VECTOR_ELT. The 
approach taken is different to that in LegalizeDAG
when it is a question of expanding or promoting the
result type: for example, if extracting an i64 from
a <2 x i64>, when i64 needs expanding, it bitcasts
the vector to <4 x i32>, extracts the appropriate
two i32's, and uses those for the Lo and Hi parts.
Likewise, when extracting an i16 from a <4 x i16>,
and i16 needs promoting, it bitcasts the vector to
<2 x i32>, extracts the appropriate i32, twiddles
the bits if necessary, and uses that as the promoted
value.  This puts more pressure on bitcast legalization,
and I've added the appropriate cases.  They needed to
be added anyway since users can generate such bitcasts
too if they want to.  Also, when considering various
cases (Legal, Promote, Expand, Scalarize, Split) it is
a pain that expand can correspond to Expand, Scalarize
or Split, so I've changed the LegalizeTypes enum so it
lists those different cases - now Expand only means
splitting a scalar in two.
The code produced is the same as by LegalizeDAG for
all relevant testcases, except for
2007-10-31-extractelement-i64.ll, where the code seems
to have improved (see below; can an expert please tell
me if it is better or not).
Before < vs after >.

<       subl    $92, %esp
<       movaps  %xmm0, 64(%esp)
<       movaps  %xmm0, (%esp)
<       movl    4(%esp), %eax
<       movl    %eax, 28(%esp)
<       movl    (%esp), %eax
<       movl    %eax, 24(%esp)
<       movq    24(%esp), %mm0
<       movq    %mm0, 56(%esp)
---
>       subl    $44, %esp
>       movaps  %xmm0, 16(%esp)
>       pshufd  $1, %xmm0, %xmm1
>       movd    %xmm1, 4(%esp)
>       movd    %xmm0, (%esp)
>       movq    (%esp), %mm0
>       movq    %mm0, 8(%esp)

<       subl    $92, %esp
<       movaps  %xmm0, 64(%esp)
<       movaps  %xmm0, (%esp)
<       movl    12(%esp), %eax
<       movl    %eax, 28(%esp)
<       movl    8(%esp), %eax
<       movl    %eax, 24(%esp)
<       movq    24(%esp), %mm0
<       movq    %mm0, 56(%esp)
---
>       subl    $44, %esp
>       movaps  %xmm0, 16(%esp)
>       pshufd  $3, %xmm0, %xmm1
>       movd    %xmm1, 4(%esp)
>       movhlps %xmm0, %xmm0
>       movd    %xmm0, (%esp)
>       movq    (%esp), %mm0
>       movq    %mm0, 8(%esp)

<       subl    $92, %esp
<       movaps  %xmm0, 64(%esp)
---
>       subl    $44, %esp

<       movl    16(%esp), %eax
<       movl    %eax, 48(%esp)
<       movl    20(%esp), %eax
<       movl    %eax, 52(%esp)
<       movaps  %xmm0, (%esp)
<       movl    4(%esp), %eax
<       movl    %eax, 60(%esp)
<       movl    (%esp), %eax
<       movl    %eax, 56(%esp)
---
>       pshufd  $1, %xmm0, %xmm1
>       movd    %xmm1, 4(%esp)
>       movd    %xmm0, (%esp)
>       movd    %xmm1, 12(%esp)
>       movd    %xmm0, 8(%esp)

<       subl    $92, %esp
<       movaps  %xmm0, 64(%esp)
---
>       subl    $44, %esp

<       movl    24(%esp), %eax
<       movl    %eax, 48(%esp)
<       movl    28(%esp), %eax
<       movl    %eax, 52(%esp)
<       movaps  %xmm0, (%esp)
<       movl    12(%esp), %eax
<       movl    %eax, 60(%esp)
<       movl    8(%esp), %eax
<       movl    %eax, 56(%esp)
---
>       pshufd  $3, %xmm0, %xmm1
>       movd    %xmm1, 4(%esp)
>       movhlps %xmm0, %xmm0
>       movd    %xmm0, (%esp)
>       movd    %xmm1, 12(%esp)
>       movd    %xmm0, 8(%esp)

llvm-svn: 47672
 2008-02-27 13:34:40 +00:00
Gabor Greif c848f9ea4e Remove inappropriate whitespace, change CVS to SVN where it makes sense. 
llvm-svn: 47671
 2008-02-27 13:34:15 +00:00
Duncan Sands 2111bd2e37 LegalizeTypes support for legalizing the mask 
operand of a VECTOR_SHUFFLE.  The mask is a
vector of constant integers.  The code in
LegalizeDAG doesn't bother to legalize the
mask, since it's basically just storage for
a bunch of constants, however LegalizeTypes
is more picky.  The problem is that there may
not exist any legal vector-of-integers type
with a legal element type, so it is impossible
to create a legal mask!  Unless of course you
cheat by creating a BUILD_VECTOR where the
operands have a different type to the element
type of the vector being built...  This is
pretty ugly but works - all relevant tests in
the testsuite pass, and produce the same
assembler with and without LegalizeTypes.

llvm-svn: 47670
 2008-02-27 13:03:44 +00:00
Duncan Sands 5d5bc484d0 LegalizeTypes support for INSERT_VECTOR_ELT. 
llvm-svn: 47669
 2008-02-27 10:18:23 +00:00
Evan Cheng 8ae8e2d50b Don't track max alignment during stack object allocations since they can be deleted later. Let PEI compute it. 
llvm-svn: 47668
 2008-02-27 10:04:56 +00:00
Duncan Sands 96658d0189 Support for legalizing MEMBARRIER. 
llvm-svn: 47667
 2008-02-27 08:53:44 +00:00
Ted Kremenek a1523a38f9 Bug fix in CFG construction: Properly register the loop head as the implicit 
successor of blocks created above it.

llvm-svn: 47666
 2008-02-27 07:20:00 +00:00
Ted Kremenek cbb21b61c8 Small fix to VisitLVal: this method can be called on Block-Level expressions. 
In such cases, handle them just like Visit().

llvm-svn: 47665
 2008-02-27 07:04:16 +00:00
Ted Kremenek 1c64daba5b When analyzing a function, eagerly create symbolic values for all 
globals/parameters at the beginning of the analysis.

llvm-svn: 47664
 2008-02-27 06:47:26 +00:00
Bill Wendling 97925ec704 Final de-tabification. 
llvm-svn: 47663
 2008-02-27 06:33:05 +00:00
Chris Lattner 6fca938971 Add path separator support, patch by Sam Bishop. 
llvm-svn: 47662
 2008-02-27 06:17:10 +00:00
Ted Kremenek c025841dd4 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. 
llvm-svn: 47661
 2008-02-27 06:07:00 +00:00
Chris Lattner 83263b8cfb Make X86TargetLowering::LowerSINT_TO_FP return without creating a dead 
stack slot and store if the  SINT_TO_FP is actually legal.  This allows
us to compile:

double a(double b) {return (unsigned)b;}

to:

_a:
	cvttsd2siq	%xmm0, %rax
	movl	%eax, %eax
	cvtsi2sdq	%rax, %xmm0
	ret

instead of:

_a:
	subq	$8, %rsp
	cvttsd2siq	%xmm0, %rax
	movl	%eax, %eax
	cvtsi2sdq	%rax, %xmm0
	addq	$8, %rsp
	ret

crazy.

llvm-svn: 47660
 2008-02-27 05:57:41 +00:00
Chris Lattner 5fe95a04f5 this code is correct but strange looking ;-) 
llvm-svn: 47659
 2008-02-27 05:48:44 +00:00
Chris Lattner 3c7d3d5700 Compile x86-64-and-mask.ll into: 
_test:
	movl	%edi, %eax
	ret

instead of:

_test:
        movl    $4294967295, %ecx
        movq    %rdi, %rax
        andq    %rcx, %rax
        ret

It would be great to write this as a Pat pattern that used subregs 
instead of a 'pseudo' instruction, but I don't know how to do that
in td files.

llvm-svn: 47658
 2008-02-27 05:47:54 +00:00
Evan Cheng 6d56368caf Spiller now remove unused spill slots. 
llvm-svn: 47657
 2008-02-27 03:04:06 +00:00
Dan Gohman 66272a545b Teach Legalize how to expand an EXTRACT_ELEMENT. 
llvm-svn: 47656
 2008-02-27 01:52:30 +00:00
Dan Gohman f19609abe8 Convert the last remaining users of the non-APInt form of 
ComputeMaskedBits to use the APInt form, and remove the
non-APInt form.

llvm-svn: 47654
 2008-02-27 01:23:58 +00:00
Devang Patel 5bc621c680 Add comment. 
llvm-svn: 47653
 2008-02-27 01:20:54 +00:00
Chris Lattner 3f86109fd1 add a note 
llvm-svn: 47652
 2008-02-27 01:17:20 +00:00
Ted Kremenek 947528f000 Similar bug fix to r47650; when processing CallExprs if we did not generate an 
ExplodedNode for the Callee subexpression we would not evaluate the CallExpr
transfer function.

llvm-svn: 47651
 2008-02-27 00:46:25 +00:00
Ted Kremenek 76a2e985c3 Fixed bug in the core transfer function logic for CallExprs where we would 
sometimes skip evaluating all the arguments when some arguments would not
create new ExplodedNodes.

llvm-svn: 47650
 2008-02-27 00:44:11 +00:00
Ted Kremenek 39321aa199 Fixed CFG construction bug that occurred when a condition for a loop spanned 
multiple basic blocks (which can happen when they contain '&&', '||', '?'). The
bug was that the loop backedge when to the last block in the loop condition, not
the first.

llvm-svn: 47649
 2008-02-27 00:28:17 +00:00
Dan Gohman ae2b6fbb8e Convert SimplifyDemandedMask and ShrinkDemandedConstant to use APInt. 
Change several cases in SimplifyDemandedMask that don't ever do any
simplifying to reuse the logic in ComputeMaskedBits instead of
duplicating it.

llvm-svn: 47648
 2008-02-27 00:25:32 +00:00
Chris Lattner bb7bc8d4f0 fix an interaction between -isystem . and isysroot. 
llvm-svn: 47646
 2008-02-26 23:46:22 +00:00
Ted Kremenek 6217dffec3 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. 
llvm-svn: 47645
 2008-02-26 23:37:01 +00:00
Bill Wendling 30075852ef Upgrade testcase. 
llvm-svn: 47644
 2008-02-26 23:22:40 +00:00
Devang Patel 0362de154e regenerate. 
llvm-svn: 47642
 2008-02-26 23:19:08 +00:00
Devang Patel 4db58fce82 Add assert. 
llvm-svn: 47641
 2008-02-26 23:17:50 +00:00
Owen Anderson e41c19c987 Add PR number to testcase. 
llvm-svn: 47640
 2008-02-26 23:16:11 +00:00
Owen Anderson d29ed0b122 Fix an issue where GVN had the sizes of the two memcpy's reverse, resulting 
in an invalid transformation.

llvm-svn: 47639
 2008-02-26 23:06:17 +00:00
Ted Kremenek 448538d860 Added boilerplate for plug-in transfer function support for CallExprs. 
GRSimpleVals performs the following action: invalidate all values passed-by-reference.

llvm-svn: 47638
 2008-02-26 23:04:29 +00:00
Devang Patel f287e7dcc6 Add assert to check return type. 
llvm-svn: 47637
 2008-02-26 22:55:21 +00:00
Ted Kremenek dea8c07899 Don't emit divide-by-zero errors when we divide by an unknown (not 
uninitialized) value. At this point we're just too imprecise.

llvm-svn: 47636
 2008-02-26 22:27:51 +00:00
Arnold Schwaighofer 3bfca3e942 Refactor according to Evan's and Anton's suggestions. 
llvm-svn: 47635
 2008-02-26 22:21:54 +00:00
Devang Patel 8490c6935b regenerate 
llvm-svn: 47634
 2008-02-26 22:17:48 +00:00